Sadly, this is the most serious comment here. People who are not shocked are people who haven’t seen what a highly educated computer scientist can do in single player mode.
It's not worth my time to read something that was not done to a high standard, where that standard has a definition with some basis in rigor rather than opinion, where even the notion of good taste is in some way attached to experience of the distribution from which examples of good and bad taste are drawn.
It is not about the author and it is in not about the effort. It is about the quality.
I'm rounding the corner on a ground's up reimplementation of `nix` in what is now about 34 hours of wall clock time, I have almost all of it on `wf-record`, I'll post a stream, but you can see the commit logs here: https://github.com/straylight-software/nix/tree/b7r6/correct...
Everyone has the same ability to use OpenRouter, I have a new event loop based on `io_uring` with deterministic playbook modeled on the Trinity engine, a new WASM compiler, AVX-512 implementations of all the cryptography primitives that approach theoretical maximums, a new store that will hit theoretical maximums, the first formal specification of the `nix` daemon protocol outside of an APT, and I'm upgrading those specifications to `lean4` proof-bearing codegen: https://github.com/straylight-software/cornell.
34 hours.
Why can I do this and no one else can get `ca-derivations` to work with `ssh-ng`?
Here's another colleague with a Git forge that will always work and handle 100x what GitHub does per infrastructure dollar while including stacked diffs and Jujitsu support as native in about 4 days: https://github.com/straylight-software/strayforge
Here's another colleague and a replacement for Terraform that is well-typed in all cases and will never partially apply an infrastructure change in about 4 days: https://github.com/straylight-software/converge
/tangent i've always like the word "straylight", I use to run a fansite for a local band and the site was called straylight6. This was maybe 20 years ago.
Monetization destroyed open source. Agent code made the bankruptcy legible.
Open source software was trivially better in the nineties because it was done by people who would have and often did do it for free. Those people are better by simp.
The people bitching about it now didn't push back when it unified on a forge, or when it sold to Microsoft, or when it started working in like button stars.
It's a client/server architecture with an Open API spec at the boundary. You can tear off either side, put a proxy in the middle, whatever. Few hundred lines of diff weaponizes it.
If you want to make a million bucks a year then go put in three consecutive quarters of demonstrable lift on a renenue-adjacent metric at Stripe or Uber.
If you want to make a zillion a year ask Claude to search for whatever Zuckerberg is blowing a billion on this quarter.
All of those companies are certain to exist in 12 months. Altman is flying to Dubai like every other week trying to close a hundred billion dollar gap by July with a 3rd place product and a gutted, demoralized senior staff.
No one has built business AI that is flat correct to the standards of a high redundancy human organization.
Individuals make mistakes in air traffic control towers, but as a cumulative outcome it's a scandal if airplanes collide midair. Even in contested airspace.
The current infrastructure never gets there. There is no improvement path from MCP to air traffic control.
Machine assisted rigorous software engineering is an even bigger wealth transfer from unscrupulous people to passionate computer scientists.
reply