(no title)
benreesman | 9 days ago
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`?
achierius|9 days ago
benreesman|9 days ago
It's a fairly hairy patch and now the broken ass eval cache breaks more.
I'm fixing it all. Read the fucking repo friend, it's biblical.
benreesman|9 days ago
Here's a colleague who is nearly done with a correct reimplementation of the OpenCode client/server API: https://github.com/straylight-software/weapon-server-hs
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
Here's the last web framework I'll ever use: https://github.com/straylight-software/hydrogen
That's all *begun in the last 96 hours.
This is why: https://github.com/straylight-software/.github/blob/main/pro...
bschwarz|9 days ago
chasd00|9 days ago