skysight-inc/HackerNews huggingface dataset:
Thanks,

and there is Subobject, which looks like the subobject classifier.

https://github.com/leanprover-community/mathlib4/blob/master...
The passage "Wouldn't the sentence 'I want to put a hyphen between the words Fish and And and And and Chips in my Fish-And-Chips sign' have been clearer if quotation marks had been placed before Fish, and between Fish and and, and and and And, and And and and, and and and And, and And and and, and and and Chips, as well as after Chips?" would sprawl across the page if newlines were placed between the and words, and words and Fish, and Fish and and, and and and between, and between and Fish, and Fish and and, and and and and, and and and and, and and and and, and and and and, and and and And, and And and and, and and and And, and And and and, and and and and, and and and and, and and and and, and and and and, and and and And, and And and and, and and and And, and And and and, and and and and, and and and and, and and and and, and and and and, and and and Chips, as well as after Chips.
Second that.

If one names development=trunk it is the same.

In git flow team also should not be active on release branch, it should only be fixes for the release and release branches should not be long lived. Well you might have staging or acceptance main branch but you don’t use it like long lived branch once you start release development/trunk becomes new truth so team should not maintain these “branches” really.

Developers worry only about trunk/development an their own feature benches in git flow. For me it is exactly the same as TBD.
If “spouting off” includes incriminating yourself then there’s nothing stopping law enforcement from using what you say in the public square as evidence in court. Thus, if IG is a public square, then scraping IG is also fair game for producing suspects.
Sure. I wasn’t really commenting on pros and cons of any particular system, just that the statement I quoted is true for any system but unrealistic.
The business of VCs is to take risk. VCs _know_ that 8 out of 10 of their investment will return zero, zitch, nada. They just expect one of of 10 to make it even -- and another one to make it 20x.

So that doesn't mean that Arduino is on anything great: it just means it has been able to convince VCs that there's _some probability_ that they will make it big.

But the probability of doing something big is still very low...

( In fact a VC once told me that, 3 months after investing - i.e. a few board meetings max - he already knows if the company will succeed or not. And in 8 out of 10, he will just do the figuration until failure - at best, buy for cents on the dollar)
Because PR
I think we basically agree, some debugging and profiling was probably warranted here, since they were going to go through the effort of horizontal scaling.
Exciting! I've been picking up some small side projects in Lean again to add more to https://agentultra.github.io/lean-4-hackers/ -- a guide for programmers interested in using it as a programming language.

Congrats on the milestone!
As someone who used that site forever ago to learn cubing algorithms, I was surprised to learn that Badmephisto is actually Andrej Karpathy (OpenAI, Tesla).

These days I prefer to use though: http://algdb.net/
You use it only for the one class you are allocating a million times per second and let the other ones be GC, often this technique is used within a single heavy function with a tight loop

Most of your application probably doesn't need it and the tight loop might not be big enough to be worth using JNI to write in a non-GC language (as well as maintaining another compiler stack for)

Ideally the runtime should allow you to manually manage memory when you need to, like some keyword that lets you manually keep track of an object lifetime. But as far as I know most GC languages don't have that
Any bets on whether IBM will be able to keep afloat until 2035?

They're still big but they keep making one unforced error after another. One surefire way to get your customers to research the competition is by such immense price changes. This sort of thing is done gradually unless you are trying to get rid of a certain segment of your customers. Which may well be the case, but if it isn't they have a problem, and regardless you can't really predict how many of the customers you wanted to keep will leave as well. And that's before we get into reputation damage.
That news is very nice to hear! Good to know that CEO is onboard with it.
I haven't used bookmarks or even had the toolbar visible in 20 years, but only because of kagi I now had to add a bookmarks toolbar back, populate it, and consciously remember to use it for anything that it has, and only use the address bar for things it doesn't have.

This is not the worst thing in the world, but it is annoying to me and not a life upgrade.

Maybe the search results are better enough to make it worth it (on top of also paying money), or maybe not. I'm still determining that, but it's question and not a slam dunk.
"Today login screen on Facebook become permanent."

With uBlock origin, you can easily "zap" the popup by enabling advanced features, and continue scrolling. (It works on Instagram as well).
Gun deaths among US kids continue to rise; Southern states have worst rates
As prices rise, some restaurants see fewer customers
They had the same rough cognitive abilities potential, but isn't it possible that something non-genetic - such as the ability to read and write - plays a significant enough part in raising the "total intelligence of a society" that the times before it was common for more than a tiny minority of people to read or write the average effective intelligence really was lower, significantly enough to make "people back then were as smart or dumb as we are" not true?

Possibly even on an individual level - that learning to read and write may allow each of us to become more "clever" than if we hadn't. But especially on a societal level, where the ability to read and write has meant that education isn't (as) bottlenecked as when the only learning possible was direct from someone who had learned directly from someone else - even before communication technologies like phones and the internet, the ability to write down scientific research and send it to other non-local researchers sped up a lot of scientific progress. And while people of today may not have an intrinsic better ability of understanding specific things than people of 500 years ago, people in politics do study historical politics (both recent and ancient) to learn from and form new ideas around, so while it's not quite as easy as science to see trees of research where learning/understanding X led to the possibility of also discovering Y, it's surely equally plausible in social subjects that without as much written thinking on the subject, people were also less capable of thinking about it to today's levels?

And that's just thinking about reading and writing, the first thing that popped into my mind. Maybe there's lots of other things that had significant effects too? Maybe diet / available food either had a direct impact on cognitive abilities, or had an impact on lowering the average energy people had leading to lower cognitive function? Etc.
As a person using ChatGPT to write university assignments and essays myself, I wonder what is the problem with that? When I get an assignment "write 3000 words about a subject" which actually can be resumed in 500 words, the whole introduction, and sections that are just there as fill-in, can really be speed-up with ChatGPT. Yes, you have to read it, check for plagiarism, add references, but i cannot see it as bad, if the meat, is written by me.
Thinking about this story last night I visualised three axes on which
to place technology (probably greatly influenced by Postman and
Mumford).

The first axis, 0 to 1, is the value axis, from "technology is neutral
(0)?" to "technology is political (1)?".

The second axis is a malevolence/beneficence scale, Technology is
either a universal utility, as a tool (1) or a weapon (0) for entirely
destructive purposes.

Third, is a technology public or private? Public technologies (1) are
basically open, accessible science, free for all to create. An
example of a "private" technology (0) might be a nuclear power plant,
since regardless of state or corporate ownership the average person is
unable to make one. Code has enabled a more public face of tech, but
that is subtracted from by centralised "cloud" industries.

So far all good as a offhand taxonomy for tech...

But then the real question is, where does a given person's
psychological attitude towards tech lie in that space?

Most tech entrepreneurs probably imagine themselves in a
neutral/benificent/private cluster. Perhaps free-software advocates
would occupy a political/benificent/public cluster.

Musk claimed to be outraged that 'his creation is not being used for
good'. But I think that's hypocritical posturing. Musk looks a lot like
someone whose stance on technology is about private power and clusters
in the political/benevolent/private corner of the cube.

Or maybe worse; he's pissed of that someone else is using his weapon
to fight wars other than his own campaign for world domination.
Consider your learning style and career goals. In-person roles offer more immediate mentorship and collaboration opportunities, which can be great for skill development. Remote work offers flexibility but may require more self-discipline. Also, the job market in your area matters; some regions have more remote opportunities than others.
> But the original point being made was that this individual choice is not going to make any difference as long as someone else comes along behind you to do it.

I know. But the original point is wrong or at least it doesn't tell the whole story.

That is, not all bad things will get done, and some bad things will get harder/more expensive to do if lots of people refuse to do it. Seeing it as a binary thing is overly reductive and may lead people down the path they disagree with.
What’s the Future of Generative AI?
which I wouldn't have expected, honestly
To Type or Not to Type? A Comparison of the Quality of JavaScript and TS Apps
Actual full title (too long): "To Type or Not to Type? A Systematic Comparison of the Software Quality of JavaScript and TypeScript Applications on GitHub"
So how does slow tasting freedom help achieve the goal?

It doesn't. Stallman hand-waved the "taste of freedom" nostrum to avoid
throwing away the man-years supporting emacs on Windows and Mac. The
same stupid argument was made to justify the new Android port.
> Apple wants to avoid making iOS feel slower or clunkier than Android

Then they should let us selectively disable all background processes
I love the way how NOONE mentions that it is not available on android:
"We're sorry, the requested URL was not found on this server."

https://play.google.com/store/apps/details?id=com.earslap.to...
No audio on the website. No audio or graphics in the app (except menus). iPhone 12 mini on latest iOS 16
I find it very hard to believe in all of these recent finds, which all follow the same pattern "some englishmen claim they have found a huge intact encrypted text from a famous author, while never leaving a major library".

I wonder if any of these finds were held to the same level of scrutiny as the recent Korean superconductor candidate.
Voyager Labs and Cobwebs Technologies are both linked to foreign intelligence, specifically Israeli intelligence. NYPD and foreign intelligence are an uncomfortable mix, imo.
I don't get why this line is repeated so much. Verbal agreements and reassurances in the realm of foreign policy are essentially worthless, especially when you're dealing with democratically elected leaders. Unless you have a formal agreement the next president or prime minister has to abide by, there is no continuity.

This expansion argument also ignores that Eastern European countries are joining NATO of their own accord.

Btw Russia and the US also signed the Budapest memorandum to respect Ukraine's sovereignty.
I used to read a lot of Slashdot in the 2000-2010 era. One of the things I really wished HN had were summaries on the front page. This is (generally) what I've been looking for.

It would be interesting to merge some of this functionality into the "Refined Hacker News" plugin. (Or even HN itself.) I'd love a chevron on the front page that I could expand to see the summary.
Only Microsoft users can sign in at the moment.
Sounds like this will be the decade of chip shortages.
Not new. Seeing as the NYPD also surveils people well outside of the city: https://www.nj.com/news/2012/02/nypd_muslims.html
Takes CO2 and extracts one oxygen molecule. Really neat they can do that with Mars' thin atmosphere .

Does anyone know if there is a similar process that can separate both oxygen molecules and the carbon molecule? Then use the C to 3d print things and the oxygen to breathe/fuel/etc? Probably energy limited?
Out Of The Tar Pit (2006) [pdf]
I like Ctrl + Shift + P for private mode. Since Ctrl + Shift + N, is inconsistent with ctrl + shift + T, where it open last closed tabs. It should open last closed windows.

For me it is better UX.
The Lean Zulip chat includes a "Is there code for X" section; you can go there and ask if a specific theorem or research problem has been formalized/verified in Lean, and if not, whether someone is working or intends to work on it. This way you can form impromptu working groups if you find others interested in your problem.
It's not like the authors are using them for the actual results indeed. After all, that would be dishonest!

From the article:

Cabanac noticed that some of the equations in the paper didn’t make sense, but the giveaway was above a table: ‘Please note that as an AI language model, I am unable to generate specific tables or conduct tests …’
Nonconsensual? Homebrew lets you know upfront before they send anything to their (non-US) analytics server, and running `brew analytics off` turns off analytics permanently. Sure, opt-in in preferable, but this is as good as it gets for opt-out.
> Rewriting the logic in Rust was not hard

For you perhaps but it’s a pretty massive change in the longer term, though. You now have Rust in your codebase. How many engineers on the team will be able to work on it? If you leave tomorrow will the code become a liability?

With the numbers the author is providing it sounds very much like the problem could be solved in Node, even if it means using an unconventional programming style and there would be a smaller maintenance overhead than reaching for Rust.
It's very easy to see how that happens. Intelligence and morality aren't closely coupled, and may even have hardly any overlap at all.
Yeah, I get the concept of using different browsers for different things to compartmentalize, and I've tried it, but to me it just seems like I'm making my life more complicated switching back and forth, and I feel like it's cluttering up my system. I love how Librewolf takes privacy to another level, but honestly, all I want is Firefox without all the BS and the ability to disable things I don't want (and not having them turned back on).
It depends on the dosage. Start by slowly taking incremental 50mg steps, once a month. Less if you have a low body weight .

But less is more. Mescaline is very potent.

It’s not something you want to be doing too much of anyway, it’s exhausting.
As someone who uses mushrooms too help control depression, not having to fear arrest and jail is working out great for me.
Yeah, the OP writes "And before you ask: no, the contents of the morgue aren’t digitized…" A lot of the morgue has been; I saw a presentation a few years ago at a Strata Conference. What is true is a lot of the digitized materials aren't available to the public because the Times doesn't have to rights to do so.
> are at least double the price of others like Hertzner or Vultr

Unless you specifically need a lot of bandwidth then no.

Vultr has EPYC 3rd gen behind a more expensive paywall and don't have 4th gen announced yet either.

Hetzner is better, but again 3rd / 4th gen are only available for dedicated CPU plans. It's a bit of a lottery and there aren't many 4th gens in the mix. There is like a 40% performance difference.

So whereas with Oracle cloud you can specifically pick the latest generation and with preemptible instances it's not as bad as it looks. Definitely not 2x.
Aardvark'd: The Fog Creek documentary, 18 years later
How long does it take to start? I've given it a few minutes and still nothing. I'm on fast stable wifi and the audio worked immediately on a desktop on the same wifi so I can't imagine it's having trouble downloading the samples.
>Are they going to beat confessions out of "guilty" thoughtcrime "perpetrators" too?

Have police across the country NOT been doing this for decades now?
Ctrl+F has been an important part of detective work since shortly after Ctrl+F was invented by Larry Tesler.
Bookmarks were my obvious answer as well, but bookmarks are annoying to me. I don't like managing them and I don't like having the bar visible and I don't like having to remember to use the bookmark for things that have a bookmark, and the addressbar for things that don't have a bookmark.

It's a work-around, not an actual resolution, unless you already happen to like using bookmarks.
I dont think its the "tech community" being okay with this application of the tech as much as it is fear of standing up to Israelis in any way.

Imagine you own a infosec company and an applicant with excellent skills applies. You look at the CV in detail before the interview and you see that they proudly declare their NSO background. Tell me what will you do? Cancel the interview? How comfortable would you be to deny the applicant a job for that reason alone?

I would wager the majority would consciously hire them out of fear of blowback and most of the remainder would unconsciously suppress their opinions on the NSO.
The reasonable solution for evaluating researchers has always been peer review, not publication. The gold standard in science (going back generations) has always been peer replication, not publication. A white paper that has been cited 0 times and never replicated is as good as scientific fake news as far as I'm concerned.

We all saw this live with LK-99. Publication isn't the end, it's the beginning. Replication is literally all that matters.
Oh man! Thank you for posting this. I saw this here on HN years ago and loved it, and then could never find it again. Judging by the YouTube videos linked from the page, it looks like 8 years ago?! I got chills playing through it. Awesome to see that it's still up on the internet after all those years.

It's interesting to compare the comments here to the original launch 8 years ago: https://news.ycombinator.com/item?id=9490372

And the Reddit post from the same time: https://old.reddit.com/r/InternetIsBeautiful/comments/34vcmz...
Why Do Cats Knead Like They’re Making Biscuits?
This is the AI summary of HN I've been using for the last couple of months:

https://hackernews.betacat.io/

It has totally revolutionized my use of HN. It saves me a lot of time each day being able to scan the summaries to decide what to read.

It has better design than the OP's site, but don't know if the summaries are better or not yet.
If the technique works...

Excel has caught lots of financial crimes. No reason to hate on old text search.
>Making your IG/FB/whatever profile private doesn't change that.

If someone tells you something in private in a public square in a way that nobody else in the public square can hear it, like lowering the volume of their voice so nobody else can hear, then it is possible to discuss in private in a public setting. There is no obligation to immediately share that private information with the entire public square just because the public square was used. This isn't some FOSS with a licensing agreement that says it must be made public.

You can use the features of a social platform to share with a chosen group of people while not allowing the entirety of the platform access. That's what private means. Not respecting that for sake of "it's a public platform" is just that person being a dick. Whether that's you holding this opinion or a scrapper justifying their manner if not respecting the poster's intent, it's all people with utter lack of respect. It's an AB conversation, and you're trying to be C. We've already indicated you're not the intended audience by setting to private. You doing everything you can to get around that is, again, you being a dick
I do find it quite fascinating we have reached so many different parts of the world and still maintained tiny bit of culture from back home. We have historically avoided Latin America even more so than Africa, so it is even more surprising.
I don’t know, but it seems to be this one: <https://news.ycombinator.com/item?id=37425482>
Beyond this, some reviewers use their position to take advantage of the process to suppress, slow, or preempt work that overlaps or disagrees with their own. The journal editors are supposed to police this kind of thing, but they are similarly providing a community service that is lacking quality.
Of course there's always the risk that ChatGPT would actually write a paper worth reading.

Reminds me of that oddly prescient r/xkcd comic (https://xkcd.com/810/), pointing out the same issue for spam in online forums.
Power Program Selects Teams to Design Power Beaming Relays
> Value is more in making connections and using internal networks than banging out code, biasing towards longer term.

bingo. it's about finding the right people and building them solutions.

my boss used to fly into different offices early to make time to see different people and just ask them pain points. buy coffee and donuts for the different team and pick their brains for things that needed solutions. a couple times he had them just show him and walk through stuff.

many of our deliverables and projects came out of that, and we became dedicated git-r-done staff.
Speaking only on the technical aspects, I think this is a cool (technical) idea, but over-engineered:

> Both the Checker and Rule Manager services are built in Scala with the Play framework. Data in the Rule Manager is stored in a Postgres database, queried via ScalikeJDBC.
>
> Google credentials are fetched from SSM using AWS Credentials or Instance Role.

For what's essentially a regexp checker? Good lord. Sounds like someone had fun though.

Speaking on the sociological aspects, I like it less. How many squiggly red underlines do you think it will take before the writers fall in line and switch their creativity off? There's something to be said for technology staying out of the creative fields.

Speaking on the irony aspects (emphasis mine):

> The goal of the Typerighter project is to address the above challenges with a universally available document proofing service, via an _easy-to-use and minimal interface_, that is accurate, transparent, and responsive to change.
Of course, if you incriminate yourself while spouting off (or while engaged in any other activity, like writing in your diary), then you are producing evidence of a different crime, but spouting off is not a crime in itself.
AI-Powered Education Tools Chosen for Further Development