HNHacker News
TopNewBestAskShowJobs

Ericson2314

8,155 karma · joined April 1, 2013

Focuses on program languages and systems programming, with the ideal of formal correctness always in mind.

x should be designed not by piling feature on top of feature, but by removing the weaknesses and restrictions that make additional features appear necessary. - R^nRS

Nothing is more important than good abstractions.

Haskell is practical; it pays my bills. (https://www.obsidian.systems/ is where I work.)

submissionscomments
Ericson2314··on GitHub Stacked PRs
Sapling and JJ can sort it out, the outside world will only care for one of them.
Ericson2314··on For the first time in the U.S., renewables generate more power than natural gas
Good stuff. But I would blame the Trump admin more then data centers for coal power plants staying on line. Gas would substitute for the coal ata minimum otherwise.

> Nine coal power plants that were set for retirement last year have had their operating lives extended, including five in response to emergency orders from the Department of Energy.

Maybe the other 4 still stay open without the bullshit DoE order keeping the 5 open, but who knows.

Ericson2314··on Sam Altman may control our future – can he be trusted?
Ronan Farrow's expertise is investigations into elite amorality, not evaluating technical products. Why are you asking this question?
Ericson2314··on Slop is not necessarily the future
The economic force is the LLMs themselves are worse at maintaining slop than good good.

Everything fundamental that makes good easier for humans to maintain also makes it easier for LLMs to maintain. Full stop.

Ericson2314··on Ollama is now powered by MLX on Apple Silicon in preview
I figured it out from context clues

CC: Claude Code

TC: total comp(ensation)

Ericson2314··on I put all 8,642 Spanish laws in Git – every reform is a commit
All legislatures need to work this way as soon as possible!
Ericson2314··on An incoherent Rust
Ah this is very good, both the directionary tracking and getting rid of as much coherence as possible. Yay!
Ericson2314··on Our commitment to Windows quality
Just in time for https://github.com/nix-windows/nix-windows-demo, heh
Ericson2314··on Grief and the AI split
> Before AI, both camps were doing the same thing every day. Writing code by hand. Using the same editors, the same languages,

Hell no. I, a craftsman, was going out of my way to use things like Haskell. I was very aware of the divide the entire time. The present is a relief.

Ericson2314··on Micropayments as a reality check for news sites
There's two possible futures

- give up capitalism for information, and rely on UBI and gov grants for art and media

- make the market great again with micropayments and subscriptions

Both of these have problems, but also both are better than ads, which have been an unmitigated disaster.

Ericson2314··on We're no longer attracting top talent: the brain drain killing American science
Frankly, if the places that dominate at healthcare delivery efficiency also dominate at research, that could be good for the world.

The US having a dogshit healthcare delivery system but so much research means that good vertical integration is not possible.

Conversely a more integrated EU — continent scale welfare state — could do really interesting "integrated OpEx and CapEx" medical research in ways that are simply impossible in the US.

Remember the Danes making Ozempic is making something that is fundamentally far more useful for Americans than Danes (of course the money is good for Danes). Most non-American drug research today probably chases the lucrative American market, but ideally that would change.

Ericson2314··on Neurons outside the brain
Came here to say the same thing — 2's abstract claims the exact opposite. Really damning.
Ericson2314··on A Crisis comes to Wordle: Reusing old words
Yeah I don't think it is incorrect. The NYTimes to me does imply they are running out, because the alternative reasons are a bit more condescending to the users and/ or more subjective. So it begs the question in it looks like the NYTimes is hiding their motivate, which is at the very least not so trivial after all.
Ericson2314··on A Crisis comes to Wordle: Reusing old words
I think the idea was NYT was trying to imply they were running out.

To me, "begging the question" doesn't mean assuming the conclusion in particular, it just means that some of the premises used are less obvious than they are being passed off as. Assuming the conclusion is merely an especially egregious form of that.

Ericson2314··on The dank case for scrolling window managers
My favorite part about Niri is that a bunch of people said that writing a Wayland compositor in Rust was too hard to do for years. Turns out they're wrong!
Ericson2314··on Show HN: I made a dual-bootable NixBSD (NixOS and FreeBSD) image
Jon has showed me this before, and I'm very exited!

Multiple kernels, one filesystem is the dream. We'll restore competition between kernels by lowering switching costs to zilch, finally solving the problem in the infamous Rob Pike paper (which is that the switching costs make the path dependency of "just keep working on the same legacy-constrained OS" too powerful).

FreeBSD is just the first non-Linux kernel to be done this way --- OpenBSD has been NixOS-ified too (a bit bitrotted atm though) too. Your favorite kernel can be NixOS-ified too!

Ericson2314··on IP Addresses Through 2025
Really need governments to start pushing harder on IPv6 adoption. We need sticks, not just carrots. My favorite is chaos engineering forced IPv4 downtime.
Ericson2314··on What came first: the CNAME or the A record?
No they won't do that, because vibe coding boring tedious shit is easy and looks good to your manager.

I'm dead serious, we should be in a golden age of "programming in the large" formal protocols.

Ericson2314··on What came first: the CNAME or the A record?
It's a pity they have to make an entirely new RFC, rather than amend the old RFC. Having independent RFCs and not a single unified "internet standard" under version control is a bit of a bummer in this manner.
Ericson2314··on Dead Internet Theory
I think that's just incorrect. There are varying conventions for spaces vs no spaces around em dashes, but all English manuals of style confine to en dashes just to things like "0–10" and "Louisville–Calgary" — at least to my knowledge.
Ericson2314··on Dead Internet Theory
Also on phones it is really easy to use em dashes. It's quite out in the open whether I posted from desktop or phone because the use of "---" vs "—" is the dead give-away.
Ericson2314··on High-Level Is the Goal
This is why I think the maximally from source bootstrap that Guix did, and that Nixpkgs is about to do too https://github.com/NixOS/nixpkgs/pull/479322 is so important.

These bootstraps essentially speedrun software history, and so they tell us a lot about how we got here, and why we write the things we write. But they also create perfect game to weite greenfield alternative bootstraps. The shortest, most readable bootstrap, is proof of the best abstractions, the best way of doing things.

It's a chance to finally put the sort of software stack / tech tree stuff on a more apples-to-apples basis.

Ericson2314··on The Myth of the ThinkPad
Framework should get in that same business.

I mean, my company buys them, I know at least one other that does too. Both are too technical I think to bother with a hardware support contract. But others might!

Ericson2314··on Photos capture the breathtaking scale of China's wind and solar buildout
Solar fucks up the landscape far more than wind
Ericson2314··on Photos capture the breathtaking scale of China's wind and solar buildout
US military already has a base there.
Ericson2314··on Why senior engineers let bad projects fail
Every time I read this guy's blog posts, I'm very glad i don't have his career.
Ericson2314··on There's a ridiculous amount of tech in a disposable vape
Mechanism design for better trash economics is hard for the same reasons that making a good linearly typed programming language is hard.

I'm not kidding :)

Ericson2314··on Greenland sharks maintain vision for centuries through DNA repair mechanism
Yes I love it too, wish more people appreciated it
Ericson2314··on US will ban Wall Street investors from buying single-family homes
Stupid populism. Homeownership is bad policy, and I welcome private equity buying it all so we are finally disabused of it.

(Of course, they were not buying it all.)

Ericson2314··on Opus 4.5 is not the normal AI agent experience that I have had thus far
I know the customer's couldn't care about the quality of the code they see. But the idea that they don't care about software being bad/laggy/bloated ever, because it "still solves problems", doesn't stand up to scrutiny as an immutable fact of the universe. Market conditions can change.

I'm banking on a future that if users feel they can (perhaps vibe) code their own solutions, they are far less likely to open their wallets for our bloatware solutions. Why pay exorbitant rents for shitty SaaS if you can make your own thing ad-free, exactly to your own mental spec?

I want the "computers are new, programmers are in short supply, customer is desperate" era we've had in my lifetime so far to come to a close.

← PreviousPage 2 of 34Next →