LightMachine
- Karma
- 1,647
- Created
- 10 years ago
Recent Submissions
- 1. ▲ Claude Plays Pokémon (twitch.tv)
- 2. ▲ Show HN: SupGen, an model-free program synthesizer by examples / dependent types (youtube.com)
- 3. ▲ Optimal context passing with HVM's "pure mutable references" (gist.github.com)
- 4. ▲ HVM3's Optimal Atomic Linker (With Polarization) (gist.github.com)
- 5. ▲ Since Agda->JS is unmaintained, I'm now using Sonnet-3.5 as the compiler (twitter.com)
- 6. ▲ Optimal Evaluation in 1 Minute (or 10 Minutes) (or 10 Years) (gist.github.com)