Independent · no institutional funding
Support the work.
The research, the engines, the open code — all produced independently, with no institutional affiliation behind it.
If something here has been useful to you, or you just want more of it to exist, you can help keep it going. Every bit funds time to publish the next preprint and open-source the next tool.
What it goes toward
- ~97 preprints with companion code, and the next ones in the queue
- Open engines and languages: audio, GPU, ML, compilers
- Formal proofs in Lean 4, released with no gaps left open
- Keeping the whole corpus free to read and build on