MurphyA/hacker-news huggingface dataset:
by munificent | 2025-07-24 19:48:11+00:00
> Even in an OOP language you probably want `UUID.from(string): Maybe<UUID>`, not `new UUID(string)` that throws.

One way to think about exceptions is that they are a pattern matching feature that privileges one arm of the sum type with regards to control flow and the type system (with both pros and cons to that choice). In that sense, every constructor is `UUID.from(string): MaybeWithThrownNone<UUID>`.
by thewebguyd | 2025-07-24 19:48:40+00:00
> As much as it sucks. Tracking calories is very helpful. Commit to 1-2 months of tracking and you can train yourself to better eyeball what you're eating. It's very hard to just 'eat healthy' to lose weight if you don't have a baseline of calorie content of food.

Just to add to this - periodically track again as well and keep track of your weight progress and bodyfat % if you are able.

If you aren't also building muscle, as you lose weight your total energy expenditure will decrease as well so after a while what was enough of a calorie deficit for you may no longer be in a deficit as you lose weight. So if you notice you start stalling after a while, start tracking again to see if your TDEE has changed and adjust as needed.
by dmonitor | 2025-07-24 19:48:42+00:00
> they and their peers were fairly proficient with tablets, etc.

I'm really curious what people mean when they say that. I didn't grow up with smart screens, but I've never felt particularly encumbered by them, and I wouldn't even consider using them a skill. What does the difference between a "bad iPad user" and a "good iPad user" really amount to? Is swiping Tiktok and watching Youtube really something you can become proficient in?
by uolmir | 2025-07-24 19:48:47+00:00
Important context to be found in the reporting on this saga, e.g., https://www.nytimes.com/2025/07/24/science/arseniclife-retra....

In short, the authors and NASA strongly disagree with the decision to retract and argue that this is clearly outside of the typical norms for what retraction is supposed to represent. A paper being wrong isn't and shouldn't be the standard for retraction, particularly in this case when the original paper was published with multiple technical responses and rejoinders.
by iggldiggl | 2025-07-24 19:48:59+00:00
> Some of the stations in the surrounding area are absolutely mental (Durmersheim for example), you have to walk over rails where ICEs and cargo goes through.

That's not the fault of the tram-train system, though - without the tram-trains, you'd still have the same platform access situation if you wanted to take the heavy rail regional train instead.
by johannes1234321 | 2025-07-24 19:49:03+00:00
It is a tough thing. I want to focus on the negatives from two perspectives, as you wrote some positive:

* This can make it harder to recruit further contributors as there is a two-clays system of contributors. Paid and unpaid. "Why should I fix a bug for free, while others earn the money?" * Accepting money make sit a business transaction, if I accept somebody's money they have demands towards me. Then I got to work on it.

But of course the volunteer free model has sustainability issues ...
by FreakLegion | 2025-07-24 19:49:13+00:00
Cuckoo filters with windows instead of buckets (https://scispace.com/pdf/3-5-way-cuckoo-hashing-for-the-pric...) would be a good addition. The xor_singleheader repo's chart is deceptive. Cuckoo filters are actually smaller once you get into low false positive rates, especially with the higher occupancy of windows.
by runako | 2025-07-24 19:49:41+00:00
> three dimensions they can differentiate on: cost, speed, and quality

The fourth dimension is likely to be the most powerful of the differentiators: specificity.

Think Cursor or Lovable, but tailored for other industries.

There's a weird thing where engineers tend to be highly paid, but people who employ engineers are hesitant to spend highly on tools to make their engineers more productive. Hence all Cursor's magic only gets its base price to ~50% of Intercom's entry-level fee for a tool for people who do customer support.

LLMs applied to high-value industries outside of tech are going to be a big differentiator. And the companies that build such solutions will not have the giant costs associated with building the next foundation model, or potentially operating any models at all.
by shmerl | 2025-07-24 19:49:49+00:00
Feels like a hype distro to me since they package WIP / unreleased features as if they are released left and right. It's not even using upstream kernel. Many newcomers especially don't realize this and when they hit problems coming from these mods, they come to the realization that they can't report bugs upstream.

I don't recommend it if you want to contribute your bug reports to Linux gaming community back properly.
by nan60 | 2025-07-24 19:50:02+00:00
Based on benchmarks[1], CachyOS is slightly faster than other distros, only behind Clear Linux (RIP), but I would be extremely curious to see why this would warrant a whole who distro being created. These optimizations can (and probably will) be upstreamed into Arch Linux at some point in the future. Compiler optimizations are one thing, but enabling newer instruction sets doesn't improve performance sans some very specific workloads. This all seems like marketing hype to me with very little substance.

[1] https://www.phoronix.com/review/cachyos-linux-perf
by ch4s3 | 2025-07-24 19:50:07+00:00
If you're drinking beer or wine it is certainly very calorie dense. You're looking at 208 kcal per pint of beer or 123 kcal for a 5oz pour of wine. A pound of fat takes about 3,500 excess calories, or 16 pints of beer. So if you drink 2 a day all else equal you could gain nearly 1 lb a week.
by constantcrying | 2025-07-24 19:50:07+00:00
>I see by your comment history that you live in Germany. You do understand that even California is considerably less urban than your country, right?

Is it? Much of Germany is rural, especially manufacturing, you would be surprised.

>But if the only solution to the drug problem in the US is incarceration, given the current state of prisons in the US, a more humane approach might be mass executions.

My point is that the homelessness problem is downstream of drugs. I have never said, nor do I believe, that just putting drug addicts in prison will solve anything. Especially when the prisons are full of drugs, as they are, even in Germany.

I do believe that trying to solve homelessness, while not addressing how to get people of drugs is a pointless endeavor.

>And to be clear, I'm not saying my brother-in-law doesn't need to quit drugs. I'm saying that the in the US's justice system, just putting him in prison until he's clean will just guarantee that he's in and out of prison until he eventually overdoses, all the while dooming his 11-year-old daughter, my children's beloved cousin, to a life of addiction and abuse herself. Moreover, even if he does get himself clean, because of his criminal record, he's doomed to working those same shit jobs, living at the ragged edge of the poverty line, for the rest of his life, because very few will take the risk of hiring an ex-con. Nobody ever relapsed in those conditions, no sir.

But the drugs clearly started it all. It is the root cause, not the lack of housing or distance to jobs. We both know that had he never taken any drugs none of this would have happened.
by _DeadFred_ | 2025-07-24 19:50:09+00:00
Yes... totally agree that AI's not being allowed to train on Heinlein or any references to his scifi work will 'improve AI output' now that the Government declared including his works is restricted as it covered the exploration of trans identity, how gender impacts being human, etc.

2025 America, where we can't handle the radical pushing of thought by Heinlein in the late 1950s. Unbelievable.

Any Government comment periods going forward I will be asking if the government agency made sure AIs used were not trained on Heinlein or any discussions relating to him to ensure that 'huge chunks of America's desire to exclude trans and to make sure our AIs are the best possible AIs and don't have extremist 1950s agitprop scifi trans thought thinkers like Heinlein included.
by qcnguy | 2025-07-24 19:50:33+00:00
Haskell has this, it's called newtype.

In OOP languages as long as the type you want to specialize isn't final you can just create a subclass. It's cheap (no additional wrappers or boxes), easy, and you can specialize behavior if you want to.

Unfortunately for various good reasons Java makes String final, and String is one of the most useful types to specialize on.
by vkazanov | 2025-07-24 19:50:42+00:00
Sounds weird.

I have 2 intel/dell laptops and thinkpad/amd 14s laptop. Both Dells (a workstation-class 22 core cpu and a more power-efficient one) suck massively when compared to amd ai-something-something-ryzen.

What's worse, intel drivers are a mess on linux right now. Dell xps 13 plus is the worst laptop I had in a decade, and that's after owning every Linux-preinstalled Dell XPS 13 ever released.
by thayne | 2025-07-24 19:50:50+00:00
It's complicated. Reviewing a PR takes time and effort, and the maintainer may not want to do that for a feature that mainly benefits a company that isn't paying the maintenance fee.

OTOH, as a maintainer, if a company finds a bug that would impact a lot of users, I would want them to report it, regardless of their payment status.

But saying something like "Issues from paying customers/donors have higher priority" is kind of vague, and doesn't provide any concrete value to the payer. So I'm not really sure what a good balance would be.
by jader201 | 2025-07-24 19:51:22+00:00
Anecdotal counterpoint:

I have been quite sedentary for several years, since going fully remote.

I had seasons where I would gain wait and lose weight, and my level of activity remained unchanged.

A few years ago, I started paying more attention to my weight, and got to where I was consistently in my ideal weight range. Again, level of activity remained unchanged.

About a year ago, I started indoor cycling (Zwift) quite regularly — about 2.5 hours per week, averaging right in the middle of my target heart rate zone. Diet remained the same. Weight remained mostly unchanged (still in my ideal weight range — I’ve maybe lost 5 or so pounds, but I lost way more weight when only changing my diet).

So — for me — diet has definitely had more impact on my weight than my level of activity.
by kelnos | 2025-07-24 19:51:23+00:00
This doesn't even require you to be an athlete, or do extensive physical activity. Add even a half-hour jog three days a week to your otherwise-mostly-sedentary routine and you'll tend to engage in "compensatory eating" even if you don't realize it.

This is why exercise alone often doesn't cause you to lose weight, or at least not as much as you'd expect given the extra calories you're burning: you're probably eating more (or the same amount, but foods with higher calorie density) than you were before, even if you didn't consciously choose to do so.
by pydry | 2025-07-24 19:51:39+00:00
The other papers ive seen so far all used toy projects. This paper was the first ive seen that deliberately used realistic projects.

I think that part is understated, while the part about the "steep learning curve" has been considerably overstated. Ive watched plenty of good developers with hours of cursor practice, using plenty of relevant context giving clear instructions wasting chunks of 5-10 minutes at a time because 4/5 times claude produced crap that needed to be undone.

That story doesnt sell though. Nobody will pay me consulting fees to say it. Hype has more $$$ attached.
by throw0101b | 2025-07-24 19:52:19+00:00
> Neglecting to do it or meaning to do it then getting pulled in to some meeting (or other important distraction) and then imagining you did it.

If your job is to make sure your file system and your database—SQLite, Pg, My/MariDB, etc—are tuned together, and you don't tune it, then you should be called into a meeting. Or at least the no-fault RCA should bring up remediation methods to make sure it's part of the SOP so that it won't happen again.

The alternative the GP suggests is using Btrfs, which I find even more irresponsible than your non-tuning situation. (Heck, if someone on my sysadmin team suggested we start using Btrfs for anything I would think they were going senile.)
by ElevenLathe | 2025-07-24 19:52:26+00:00
But it's a fair consideration in that you would probably get much higher prices if you did a one-and-done Apollo-style mission, because the assumption would be that there aren't more coming, at least for a while. In that case, the world's billionaires are competing for status by owning one of a limited few (maybe only one?) Mars rocks. If you're clearly setting up a colony up there, then world's billionaires are only competing for temporary status, since there will eventually be more on the market, and they probably won't be whipped into a such a fervor in the bidding.
by kennywinker | 2025-07-24 19:53:15+00:00
I agree entirely, but I think that’s a problem because gov is captured by corporate interests / neoliberal ideas.

They try to balance keeping corporate donors happy with keeping people happy, and create regulations that are toothless empty gestures that only serve as employment opportunities for lawyers and consultants.

So yes, “if done right” is doing a lot of work. But i refuse to cede gov to the corps and retreat to anarcho-capitalist ideas like “this is a technical problem”. We attack on all fronts - regulation and technological solutions.
by joshstrange | 2025-07-24 19:53:18+00:00
I will die on this hill.

Nothing annoys me more than OpenAI acting like something is rolling out (or rolled out already) and then taking forever to do so.

> ChatGPT agent starts rolling out today to Pro, Plus, and Team; Pro will get access by the end of day, while Plus and Team users will get access over the next few days.

"Next few days" - It's 8 days later (so far). Lest one think "It's only 8 days, geez, calm down": They do this _all the time_. I don't even remember the length of the gap between announcing the enhanced voices and then forgetting about it completely before it finally rolled out.

It sours every announcement they make in my opinion.
by ulrikrasmussen | 2025-07-24 19:53:36+00:00
Yes, in this particular example you could. But in general the database cannot make assumptions that changes are independent of each other.

I think SQLite assumes that a failing checksum occurs due to a crash during a write which never finished. A corrupt WAL frame before a valid frame can only occur if the underlying storage is corrupt, but it makes no sense for SQLite to start handling that during replay as it has no way to recover. You could maybe argue that it should emit a warning
by anonymars | 2025-07-24 19:53:53+00:00
You might find this organization will resonate with you: https://en.wikipedia.org/wiki/Braver_Angels

> Braver Angels ... is a ... nonprofit dedicated to political depolarization. The organization runs workshops, debates, and other events where "red" (conservative) and "blue" (liberal) participants attempt to better understand one another's positions and discover their shared values.

> The organization states that it is the "largest, grassroots, bipartisan organization in America dedicated to reviving the communal spirit of American democracy." As noted by Cavendish, they say that their "method involves bringing politically diverse people together in small groups to listen empathetically to each others' perspectives."
by Sohcahtoa82 | 2025-07-24 19:53:58+00:00
> If Netflix made you pay a fee that is not part of your contract or you didn't initiate, you should be able to retrieve that money without asking a racket business to cover you.

Allowing customers to claw back money unilaterally opens the door for customers to make a purchase, receive the product, then fraudulently take their money back.

There needs to be a third party in the middle to determine if a chargeback is fraudulent. Chargeback fraud already exists, and what you're proposing makes the problem significantly worse.
by tomtom1337 | 2025-07-24 19:54:30+00:00
I interpret your question as «given that I am doing many conversions between temperature, because that makes it easier to write correct code, then I worry that my code will be slow because I am doing many conversions».

My response is: these conversions are unlikely to be the slow step in your code, don’t worry about it.

I do agree though, that it would be nice if the compiler could simplify the math to remove the conversions between units. I don’t know of any languages that can do that.
by 0xbadcafebee | 2025-07-24 19:54:34+00:00
In other news: a group of scientists announced today the results of their recent study, where they conclude that drowning is not caused by a lack of swimming, but instead seems to be due to water. Other scientists have refuted the claim and point out defects in the study criteria. In response, US officials have pulled funding from the National Science Foundation for any further studies into the causes of drowning, calling any claim of drowning that doesn't end with the sentence "the will of God" as unpatriotic.
by kriops | 2025-07-24 19:54:45+00:00
As someone who has been happy with both Arch and Gentoo for non-gaming purposes, my hot take in 2025 is that I cannot recommend good old Debian enough. Homebrew/cargo for bleeding edge software, but since that lives in my home folder it doesn’t affect or interfere with the rock solid experience of Debian. I use Lutris for Windows-exclusive games, and actually have better performance than in Windows thanks to Microsoft’s unholy levels of bullshit in their OS.

But yeah: Debian truly “just works”, with the caveat of initial setup for Nvidia cards. And I would say that certain Gnome extensions are kind of mandatory as well, but the IX of installing those is ridiculously good for what they are.
by yardstick | 2025-07-24 19:54:47+00:00
In my experience, the top level exception handler will catch all incl Throwable, and then inspect the exception class and any nested exception classes for things like SQL error or MyPermissionsException etc and return the politically correct error to the end user. And if the exception isn’t in a whitelist of ones we don’t need to log, we log it to our application log.
by markasoftware | 2025-07-24 19:54:53+00:00
if you could somehow put something into persistent storage on the satellites that causes it to crash every time it tries to start up before it gets to the point where it's able to update the software, then they'd be bricked.

see also: https://arstechnica.com/cars/2022/02/radio-station-snafu-in-...
by margalabargala | 2025-07-24 19:55:01+00:00
Probably because they, unlike you, are able to read comment datestamps?

EDIT: this is fascinating. On web, their comment shows as 1 hour ago. But on my mobile app, their comment shows as 3 days ago. Looks like the HN mods second-chanced this article, and it edited all the old comment timestamps as a result?
by AlotOfReading | 2025-07-24 19:55:02+00:00
sqlite does actually provide database checksums, via the vfs extension I mentioned previously.

There's no harm to having redundant checksums and it's not truly redundant for small messages. It's pretty common for systems not to have lower level checksumming either. Lots of people are still running NTFS/EXT4 on hardware that doesn't do granular checksums or protect data in transit.

Of course this is all a moot point because sqlite does WAL checksums, it just does them with an obsolete algorithm.
Show HN: Go-respec – Generate OpenAPI specs from Go code, no annotations needed
by zachacious2000 | 2025-07-24 19:55:09+00:00
Hey HN,

I built go-respec to solve a long-standing annoyance with OpenAPI tooling in Go — the overwhelming reliance on magic comments and boilerplate. If you’ve used swaggo, oapi-codegen, or similar tools, you probably know the pain.

go-respec takes a different approach:

- No annotations - No code generation - No wrappers

It statically analyzes your Go source and infers a full OpenAPI v3 spec — routes, request/response bodies, parameters, middleware, even security — and gives you clean override options when needed. It’s framework-agnostic (works with chi, gin, echo, etc.) and doesn’t care what architecture you use.

You can get a working spec in seconds:

go install github.com/Zachacious/go-respec/cmd/respec@latest respec . -o openapi.yaml

I built this for my own projects after being frustrated with the existing ecosystem, but it’s already proven useful beyond just my use case.

Would love your thoughts, critiques, or feature requests.

Repo: https://github.com/Zachacious/go-respec Docs: https://github.com/Zachacious/go-respec#readme
by cjs_ac | 2025-07-24 19:55:11+00:00
I started computer programming at a similar age, but there's a difference between an individual child following their passion at the level of their own abilities, and a classroom teacher trying to develop abstract thinking in 25 or 30 children simultaneously.

There was a great paper I read from the 1950s, where the researcher simply observed a teacher reading a story and asking comprehension questions of the class, who were six years old or so. When the teacher asked a question, all the children raised their hands, but when a child was nominated to answer the question, the children frequently didn't have an answer. They were just raising their hands because it was the socially desirable thing to do; they just wanted to please the teacher. As children grow older, they become more skilled in feigning understanding, and even when teachers do see through the illusion, they often don't have the time in the classroom environment to provide the individual support needed to fix the problem.
by LorenPechtel | 2025-07-24 19:55:15+00:00
Yup, we have a limit in our ability to take in and metabolize calories, although it is somewhat flexible in that if you do it enough you'll get better at it. Look at the people who do the long thru-hikes. Stuff like the Appalachian Trail (Georgia to the highest point in Maine), PCT or CDT (both run from the Mexican border to the Canadian border). They will hit saturation on the ability to take in calories, although enough time out there can increase the ability to metabolize fat (very useful in that it has about 2x the calories per pound of other food)

But you are right that it's very definitely about the balance.
by Nokinside | 2025-07-24 19:55:17+00:00
It'll be the same for Intel with their new process node.

Everyone working with the latest process node is tightly coupled with the manufacturer: Nvidia, Apple, AMD, and Qualcomm. Microarchitecture design and optimization for a new process is super expensive and hard.

Legacy processes have settled, have standardized design software and tooling, so everything costs less.

ps. Nvidia and Qualcomm are considering Samsungs 2mm because TSMC's 2-nanometer chip production capacity is extremely limited.