skysight-inc/HackerNews huggingface dataset:
I had a different GRUB2 upgrade breakage a couple years ago. Mine related to a hybrid ISO/MBR disk (extremely common for distro install disks); previously grub had silently just used the obvious partition table, but the new grub insisted on erroring out due to ambiguity. I had to do some really hairy "dd to back up the MBR; wipefs; dd to restore the MBR" to get a working system again; luckily I didn't lose power.

(note that many distros normally don't upgrade grub after the first install to avoid exactly this kind of breakage, but there was some "important security crap" at the time)
kgrep: small search with sources, without fluff
One example that comes to mind is the delimited continuation primitive (what Guile calls a "prompt" [0]) that would allow for lightweight concurrency in elisp code, something that elisp is not good at today.

[0] https://www.gnu.org/software/guile/manual/html_node/Prompts....
The Java impl for protobuf will never generate a NullPointerException, as calling `get` on a field would just return the default instance of that field.

This was a mistake. You still want to check whether it was initialized most of the time, and when you do the wrong thing it's even more difficult to see the error.
I get what you are saying and have done that myself. I bought a cheap tile saw at Harbor Freight, retiled a couple rooms in my home, then gave the saw to a neighbor who did the same. Spending more on that would have been a waste especially since it's not something I was keeping.

A trimmer, on the other hand, is something that I handle every week. It's something that takes up space inside my home. The trimmer they are talking about is around $35 and the cheap version is probably $10. There are times when going for the nicer option is money well spent if using it is a nicer experience even if it does exactly the same thing as the cheap version.

Now if the trimmer were $350, that would probably be a hard pass. But $35? That's fine.
Ask HN: How did agile took over the whole industry?
What is the exact story on how agile, scrum and others took the whole industry?

Not asking about the story presented as counterpart against Waterfall or the story of its idea development from Takeuchi & Nonaka or yet another well deserved criticism over its real world implementation, but how from a social and business perspective it took over the whole industry. I know it is not 100% of the companies, but most of them, and now it is even expanding to other industries.

Was it an incentive for management control? Did it have influencers and evangelists? Was there some tupperware scheme on selling titles and courses? just the promise of streamlined progress and predictability together with ending the contrast against the waterfall issues? was it because it is easier to pivot and adapt to change due continuous deliver? was it part of a larger atractor of rejecting long term planning, like now very few people do proper business plans and long term planning, etc?

Please keep it on the sociocultural and business aspect.
The problem with User-Agent strings
and yet if you live in Madison today… https://apple.news/AY6KuotdlTFW4aCRQYKH1Jw
MATLAB/Simulnk is imperative. They have signal flow/causal approach. So you should know ahead of time which variable causes another variable to change i.e. which is defined first.

Modelica is acausal. You define the variables and how they are related (equations). The compiler handles variable dependencies and resolution internally.

There are pros & cons of each. Both are used for simulating cyber-physical systems.
No mention in that example of internet. If I had to think of specifics, he's probably talking about the things that fall under the category of "free range kids" but also result in parents being criminally prosecuted.
Yet, they were able to find a market for their products. He knew both how to code and what to code.

Ultima Underword was technologically superior to Wolfenstein 3D.

System Shock was technologically superior to Doom and a much better game for my taste. I also think it has aged better.

Doom, Wolf 3D and Quake were less sophisticated, but kicked ass. They captured the spirit of the times and people loved it.

They're still pretty good games too, 30 years later.
Is there a place where we could see all public characters good to use without payment?
A 45-74% green Anise drink for anyone wondering

https://en.wikipedia.org/wiki/Absinthe

Gin is around 35-60%
We have something similar in Australia with the Online Safety Act 2021. I think this highlights a critical misunderstanding at the heart of the legislation: it imagines the internet as a handful of giant platforms rather than a rich tapestry of independent, community-driven spaces. The Online Safety Act’s broad, vague requirements and potential penalties are trivial hurdles for billion-dollar companies with in-house legal teams, compliance departments, and automatic moderation tooling. But for a single individual running a forum as a labour of love—or a small collective operating on volunteer time—this creates a legal minefield where any disgruntled user can threaten real financial and personal harm.

In practice, this means the local cycling forum that fostered trust, friendship, and even mental health support is at risk of vanishing, while the megacorps sail on without a scratch. Ironically, a measure allegedly designed to rein in “Big Tech” ends up discouraging small, independent communities and pushing users toward the same large platforms the legislation was supposedly targeting.

It’s discouraging to watch governments double down on complex, top-down solutions that ignore the cultural and social value of these smaller spaces. We need policy that recognises genuine community-led forums as a public good, encourages sustainable moderation practices, and holds bad actors accountable without strangling the grassroots projects that make the internet more human. Instead, this act risks hollowing out our online diversity, leaving behind a more homogenised, corporate-dominated landscape.
Yeah, arm-wrestling is kind of a specific skill that isn't covered by most "exercise" (including strength training) unless you are specifically focused on it. It's like notorious for skinny-looking specialists being able to best jacked non-specialists.
Back when Imagen was not public, they didn't properly validate whether you were a "trusted tester" on the backend, so I managed to generate a few images..

..and that's when I realized how much cherry picking we have in these "demos". These demos are about deceiving you into thinking the model is much better than it actually is.

This promotes not making the models available, because people then compare their extrapolation of demo images with the actual outputs. This can trick people into thinking Google is winning the game.
I think realistically we have to reduce our body mass by 99% if we want to go interplanetary, much less interstellar. It's extremely expensive to drag around 70kg of meat and minimizing weight is key to making solar sails work.
I wonder what happens with these sorts of regulations if an entirely decentralized social media platform becomes popular. Who do the authorities go after if there's no owner or server?
What's with the daily re-posting?

https://news.ycombinator.com/item?id=42425987
Arrayed CRISPR libraries: genome-wide precise control of protein-coding genes
Again, sounds like the nonsense spoken on here when GDPR came out. Everyone was going to get fined millions. Except people with violations actually got compliance advice from the ICO. They only got fined (a small amount of money) when they totally ignored the ICO
Yes, yes, it's safe to presume GP means "figure out muscle atrophy without the well-known terrible side effects of current treatments" from even a mildly charitable reading of his comment.
The goal isn’t to directly force them, but to create a market competitive enough that the only way to compete is to sell the best product they can with a minimal markup.

I have no issue selling into a competitive market, that’s just how things work for individuals. It’s only at the scale of countries and giant companies that the ability for anti competitive behavior really shows up.
This is a fascinating comment, because it shows such a mis-reading of the history and point of technology (on a tech forum). Technological progress always leads to loss of skilled labor like your own, usually resulting in lower quality (but higher profits and often lower prices). Of COURSE an LLM won't be able to do work as well as you, just as industrial textile manufacturing could not, and still does not, produce the quality of work of 19th century cottage industry weavers; that was in fact one of their main complaints.

As an aside, at the top of the front page right now is a sprawling essay titled "Why is it so hard to buy things that work well?"...
No.This has nothing to do with averages or proportions.Its a done deal.
Per capita energy use (world) will continue to climb,atmospheric CO2(etc) will continue to climb. Runnaway, global warming, fueled climate change, will happen, on this, our only world.
The degree to which this effects any indivual, on the other hand, will have many variables.
I was only there for the debate you mentioned and not there for the reversal, so I dunno.
the article doesn't dig deeply enough into why specifically absinthe triggered the panic — why not all anise drinks? What's specific about absinthe that's so psychedelic?

If anything, tequila has way more of an effect on poor judgment...
Depends. If an item is ordered to be removed from a store, there isn't an assumption that the shelf be left empty.
Hah! It's upvoted now but I was really confused by it too tbh and I usually am not; guessing it was either less coherent than I thought and/or someone misread it entirely.
£18m is a maximum, not a minimum, but your point stands.
> “Find the dependencies — and eliminate them.” When you're working on a really, really good team with great programmers, everybody else's code, frankly, is bug-infested garbage, and nobody else knows how to ship on time.

Does anyone have a feeling that this has never been further from the truth?
For trivial setups this might work, but for anything sufficiently complex that actually hits on real complexity in the domain, it's hard to see any LLM doing an adequate job. Especially if the person driving it doesn't know what they don't know about the domain.
A demand spike for Windows laptops is next fall.

That's when Windows 10 stops getting free support and laptops that can't run Windows 11 will need replacement...yes, Linux is an option for some people but don't put your money on 2025 as the year of the Linux Desktop.

Right now, there's just ordinary laptop demand and ordinary laptop demand has been low for many years.

But when demand spikes next year, there will be mature products in the market.
The presumption of the article is that software correctness is the same the formal methods (which I lump mainstream classical program synthesis correctness into) is the same as some symbolic software satisfying some strong logical predicate, which, especially in general conditions, is pspace complete.

And my repeat response is no, software correctness, e.g., formal software acceptance criteria, is typically something different: "Just" testing.

RE:Hardness, it comes from the verification step of most classical synthesizers that use iterative search-based solvers. If verification was 'easy', the problem goes away. Verifiers say 'yes', 'no', and crucially, provide hints for 'try this next'.

RE:LLM's can't do. As in my other thread, if still working here, I'd be very much working on the combination of the two, such as where I pointed at below on work by Dawn Song and Terence Tao. (And some of our customer work on security policies and graph query synthesis may still lead us here.) There's a funny irony to statements like "LLMs can't prove..." in that the last decade's program synthesizers popularly rely on, in practice, the impressive engineering tricks that go on inside SMT solvers to hit relevant scale.

RE:Weasel words, that is pretty core to my criticism. By pointing out some programs are currently tricky, and especially under classical problem framings such as the above, I see a pattern of pedantic argumentation that the article is representative of. It hinges on a misunderstanding or misrepresentation of the task of writing acceptable software. I can't use the word "correct" here because of it.
Absolutely correct.

Traditional office culture makes it very difficult to get a proper workout in while, at the same time, confining you mostly to your chair, hunched over a desk (and/or craning over a small screen), to view things on a screen that eats away at your eyes by default.

WFH made this worse. I've worked with so many people that start work at 0700 and end at 1700 or later.

Add shitty, cheap food, 2.5 kids and a partner in there, and you're basically on an express train to bad hips, bad knees, poor health markersa and immobility at (not so) old age.

"Work out during your lunch hour," you say. The author spends a lot of time on muscle use. Powerlifting workouts require lots of rest between sets, especially as you get stronger. Spending 2h on a workout is normal in powerlifting. Not happening during lunch hour, not like this matters because someone will just schedule a meeting over it anyway.

"But I wake up at 0400..." No. Just no. (A) A parent with two and a half kids is not getting up at ass o clock in the morning to chase that pump (or work out to stay healthy) when their kids are gonna wake them at 0640, and (b) this is an awesome way to either sleep like shit forever or incinerate the last fledglings of your social life.

All this aside, the farmer life is a super hard way to live, . Overuse injuries are very common. However, we went the complete opposite direction in building today's office culture, and it's a real shame.
What makes you think this is unique to Chinese tech companies? Windows 11 put ads in our start menu.
It is already quite popular to regulate ads about certain edible substances. Nicotine, alcohol and drugs are some examples. Looks like certain ratios of sugar, sodium and saturated fats will qualify too, at least in the UK.
...how is _this_ the insight that you come away from this post with?

This post is a commentary on product quality issues, the underlying cost models (both goods and services), and the interplay with American culture. There's like 20+ company/product anecdotes in there - a mistake about one detail about one technical detail of one product is wildly uninteresting.
I have huge balls and I am not threatened by RNG.
LLM's are a model therefore require data, including new data. When it comes to obscure tasks, niche systems and peculiar integrations, LLM's seem to struggle with that nuance.

So should you be worried they will replace you? No. You should worry about not adopting the technology in some form, otherwise your peers will outpace you.
There's no fundamental right. But wishing for competition is certainly reasonable! We should all be rooting for competition to improve the efficiency of our markets.
Jive Turkey's old YT videos in which he'd play Cold Waters and talk about late-Cold War-era sonar operation were amazing.

And now sadly gone. :(

Word is some of the information was still a little too OPSEC accurate (physics doesn't change that fast) + a career change to the private defense industry necessitated rebranding.

Shame, as he did an excellent job teaching about thermoclines et al. in the context of passive sonar systems.
Some software, in absolute, has to be as safe as a quality concrete dam: think 737 MAX.

Other software, perhaps not so life-or-death, …but with which side of that “spectrum” would you like to run your business or project of importance?

The USAF has put these things to paper quite some time ago: reliability, repeatability, reproducible process, and quantification (even if in a statistical interval), etc.

The problem with software is that making one more unit has a marginal cost of zero. And, going from “prototype product” to “production product” is a mere file rename away.
So the temptation to see one more bug as a fact of life is always there - and that makes the thin line between Engineering and a DIY hobby being usually far too thin.
There is an MIT course by the developers of MTK: https://sciml.github.io/ModelingToolkitCourse
FWIW the research does not show enlarged heart or many of the other negative side effects for people taking TRT at therapeutic, physiological doses (like, your 100mg/week is not supraphysiological for many men with low T). (And if you aren't low T, why take exogenous T? Especially given your concerns about borrowing from the future.) The heart issues and other bad side effects happens when bodybuilders take 200-5000 mg/wk doses.
We only look at when the stock is objectively "undervalued". I'm not saying the system will tell you that a stock like Palantir is undervalued because it has a bright future. No. This system only tells when a stock is objectively undervalued. There are a few ways to know this.

Here some examples:

- Market cap is less than book value.

- Market cap is less than free cash flow x 8

There are other ways, but these are some examples. Being undervalued doesn't mean its a good company, the trick is knowing why its undervalued and if that valuation is justified.
At which point I loose all the benefits of lazy decoding that the accessor methods can provide, so I could just decode directly into a sensible struct, except you can’t with Protobuf.
AMD has inexplicably decided not to invest in software. Just like car manufacturers don't realize that a shitty infotainment system can keep people from buying the $100k car, AMD doesn't seem to realize that people aren't buying a GPU for ML if their ML framework doesn't run on it...

And this goes down to consumer drivers too. I've sworn to myself that I'm not buying AMD for my next laptop, after endless instability issues with the graphics driver. I don't care how great and cheap and performant and whatever it is when I'm afraid to open Google Maps because it might kernel panic my machine.
As much as I love Tintin, gotta agree with Hergé here. Although Congo and America aren't that much better.
I studied bond graphs in modeling & simulation courses in college. I thought they were so cool! The utility knife of understanding mechanical phenomena.

Until I discovered Hamiltonian physics :)
“Their job is to simplify it to their constituents well enough to keep their jobs” sounds awfully similar to what I’m saying. Maybe “don’t care” is a little too absolute, but it doesn’t make much difference if they don’t care or if they care but their priority is still keeping their jobs.
Right now LLMs have a slight advantage over stackoverflow etc in that they'll react to your specific question/circumstances, but they also require you to doublecheck everything they spit out. I don't think that will ever change, and I think most of the hype comes from people whose salaries depend on it being right around the corner or people who are playing a speculation game (if I learn this tool I'll never have to work again/ avoid this tool will doom me to poverty forever).
The major federal government food assistance programs came out of findings in WW2 that many potential recruits were literally malnourished and underweight. They had grown up poor and starving during the Great Depression. Beyond the human tragedy this was a national security issue. Some men were too small and weak to meet military standards.
> it screwed up the API for C++, with many compromises

The implicit presence garbage screwed up the API for many languages, not just C++

What is wild is how obviously silly it was at the time, too - no hindsight was needed.
We have offerings for both retail and institutions. Institutions can choose between on-prem solutions or a dedicated cloud deployment.

Both retail and institutions can also use for our SAAS solution. We don't share our user data with third parties.

I do review the AI interactions for the following reasons:

- To ensure the AI system (AI assistants and agents) meets expectations.

- Safety: To ensure the AI system is not generating false or misleading information.

- To understand how the AI system is performing and how to improve it.
That is the largest goalpost move I've ever seen, but sure, at that order of magnitude anything is plausible.
> Are there actual studies to back that up?

I am aware of an equal number of studies about the time saved overall by use of LLMs, and time saved overall by use of syntax highlighting.

In fact, here's a study claiming syntax highlighting in IDEs does not help code comprehension: https://link.springer.com/article/10.1007/s10664-017-9579-0

Shall we therefore conclude that syntax highlighting is not useful, that developers who use syntax highlighting are just part of the IDE hype train, and that anecdotal reports of syntax highlighting being helpful are counterbalanced by anecdotal reports of $IDE having incorrect syntax highlighitng on $Esoteric_file_format?

Most of the failures of LLMs with coding that I have seen has been a result of asking too much of the LLM. Writing a hundred context-aware unit tests is something that an LLM is excellent at, and would have taken a developer a long time previously. Asking an LLM to write a novel algorithm to speed up image processing of the output of your electron microscope will go less well.
It isn't just beginner gains. Testosterone and anabolics are really, really effective. (They also have horrible side effects.)
You can’t extrapolate the future trajectory of progress from the past. It comes in pushes and phases. We had long phases of AI stagnation in the past, we might see them again. The past five years or so might turn out to be a phase transition from pre-LLM to post-LLM, rather than the beginning of endless dramatic improvements.
> why specifically absinthe triggered the panic

Classism and moral panic. In the 19th century, it was a poor man's liquor. Jean Lanfray's drunken murder suicide of his wife also played a massive role in that.

This was also the era of a very active and prominent temperance movement, as women were often at the mercy of alcoholic husbands and had few options for legal recourse.

You'll find similar temperance movements today in India, Thailand, Vietnam, and other developing countries.

> If anything, tequila has way more of an effect on poor judgment

Never understood that stereotype either. I love drinking Mezcal neat and that's basically aged and smokey Tequila (yes ik this is a massive simplification).

The only poor judgement it induced was me spending a ridiculous amount on niche Mezcals plus the occasional trip to Oaxaca.
I did notice the bit in the Wikipedia article where they mention the US station isn't used for submarine comms anymore. Thanks for the higher quality info.
> Because insurance would then just lowball the cost of everything.

They do. Many, many billable items are priced to the limit that insurance will pay. Insurance and providers have agreements on the prices they can charge for certain procedures or supplies.

It used to be the norm that insurance would pay their maximum and leave the rest to you. Sometimes the provider would waive the difference, sometimes it was billed to you.

The cost of healthcare is 100% an artefact of insurance price fixing and absolutely nothing else.
Add Tiktok to those as well. In fact it should be the first one banned along with Meta.
related https://www.superherohype.com/comics/561991-popeye-artist-re...
Something doesn't add up - CoreDNS's kubernetes plugin should be serving Service RRs from its internal cache even if APIServer is down because it's using cache.Indexer. The records would be stale but unless their application pods all restarted, which they could not since APIServer was down, or all CoreDNS pods got restarted, which, again, they could not, just records expiring from the cache shouldn't have caused full discovery outage.
This is a take that shows a completely lack of understanding on what software engineering is actually about.