HNHacker News
TopNewBestAskShowJobs

Ericson2314

8,152 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 Transit rewards
That's an artifact of where you live haha
Ericson2314··on Claude discovers a novel enzyme system with CRISPR-like repeats
RL robotics is increasingly something that cannot be avoided, I think.
Ericson2314··on Nvidia announces native GPU programming in Rust
To everyone skeptical of people saying that it's better to separate CPU and GPU code into separate files, riddle me this:

With this system, how do we specify whether dependencies are needed to be compiled for the CPU, GPU, or both?

----

Technically I don't know really care whether it's multiple files or one, I just want to make sure we are not reinventing a shittier version of CFG. What they are providing looks to me like:

1. explicitly annotate some things as `cfg(GPU)` or ungated (both)

2. unlabeled means annotated `cfg(not(GPU))` by definitely

Put this way, this has nothing to do with GPUs, and just has to do with creating some crate-local CFG shorthanded. Great! Let's do that first, get a solid foundation, and then come back to whatever is remaining for CUDA Rust.

Ericson2314··on AI safety is mostly a sex cult
The problem is not the sex, the problem is the cult. The sex is merely evidence for the cult.
Ericson2314··on A third world engineer responds to “RISC-V: They should have known better”
My perspective using Nix is that it's hardly worth standardizing ISAs. Recompiling software is easy and we should have a Cambrian explosion of different designs.

This is especially good if one scopes out a family of ISAs that are ABI compatible such that one can compile down to a semi-pre-optimized portable IR, and just do the last bit per ISA.

Ericson2314··on libexpat now funded by the City of Munich for up to 6 months
Sure.

Nixpkgs cross support for Windows has been in there a while. Native windows support for Nix is a bit less advertised because it is pre-release/pre-MVP-on-master, but see https://github.com/nix-windows/nix-windows-demo . And expect to hear more on this in the next few weeks :).

Ericson2314··on AMD acquires Taalas to boost inference performance by etching models in silicon
I totally agree with you on the first bit, but I also think that I am way better at deciding on how to refactor code bases than the LLM is.

Right now, I put models in low thinking mode during my refactors and hate waiting. I would much rather have a faster model that that maybe was slightly stupider, and I would wait far less long between prompts where it needs my valuable input.

Models that are dumb, but humble and fast, can be fine.

Ericson2314··on AMD acquires Taalas to boost inference performance by etching models in silicon
If your task has incremental rewards/feedback, you can push the "intelligence rate" simply by sampling the reward function faster. That's not fake, even if it not a substitute either.

This is the "dumber but honest person that works harder" phenomenon, vs "lazy genius".

Ericson2314··on libexpat now funded by the City of Munich for up to 6 months
> PS: If anyone managed to combine Clang-based MinGW with AddressSanitizer and Wine without crashing at launch, please show me how and drop me an e-mail. Thank you!

It's for problems like these that I have been working at cross and native Windows support in the Nix ecosystem

Ericson2314··on The Economic Benefit of Refactoring
No this isn't mindless reinventing --- this is finally having clear empiric evidence for something that we knew the entire time. This is a huge relief!

Next up is demonstrating the AI is more productive with better programming languages.

Ericson2314··on Who's afraid of Chinese models?
> While using floating point?

Where is this meme coming from? IEEE floating point is deterministic

Ericson2314··on Who's afraid of Chinese models?
Skill issue
Ericson2314··on Who's afraid of Chinese models?
Deterministic seed
Ericson2314··on Who's afraid of Chinese models?
Yeah maybe *both" sass and training companies are wiped, imagine that!
Ericson2314··on Command and Conquer Generals natively ported to macOS, iPhone, iPad using Fable
Good job, but the parent fork already did macOS, so this wasn't too hard.
Ericson2314··on Scientists find molecular-level evidence for two structures in liquid water
Well put. That's exactly right. (And I don't even mind mouse studies!)
Ericson2314··on Scientists find molecular-level evidence for two structures in liquid water
This neural network stuff does give me real divination vibes, not gonna lie.
Ericson2314··on Journalism is rearranging the deckchairs. It needs to reinvent itself
There probably is no substitute for the state paying for it. We just need to balloon NPR/PBS into BBC scale (relative to the size of the US, so even bigger) and hope for the best.

Yeah yeah, there are plenty of ways this could go wrong, but those pitfalls are not guaranteed, whereas the ways private sector journalism can go wrong have occurred in practice. So we might as well try it.

Ericson2314··on Humanity isn't ready for the coming intelligence explosion
Oxford Brain
Ericson2314··on WASI 0.3
That's like saying "the US Constitution has clearly shown it's a model that is built to last"

Sometimes bad designs stick around due to pure inertia

Ericson2314··on I found a seashell in the middle of the desert
No, a layperson doing a bunch of math but barking up the wrong tree theory-wise is actually super instructive for this forum of autodidacts.

And I say that as one of the autodidacts.

Ericson2314··on Show HN: Darnix – Darwin Built with Nix
As long as Apple doesn't change the license, I think this means we can make legal semi-hackintoshes good enough for CI purposes. That could be a real game-changer!
Ericson2314··on We need a federation of forges
Do you think it will be possible to use them together? Having some sort of unified distributed system is intriguing to me. (e.g. can the Radical foundation and AT-proto foundation integrate, even?)
Ericson2314··on Google plans to invest up to $40B in Anthropic
Stocks vs Flows! You can't compare (as in subtract and check sign) $ and $/s!
Ericson2314··on IPv6 traffic crosses the 50% mark
ISPs almost all offer IPv6. The reason the US number is not higher is lazy corporate networks.
Ericson2314··on Costasiella kuroshimae
I remember as a kid wondering if we could give humans chlorolaplasts.
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.

Page 1 of 34Next →