Submissions by LightMachine

Claude Plays Pokémon

Show HN: SupGen, an model-free program synthesizer by examples / dependent types

Optimal context passing with HVM's "pure mutable references"

HVM3's Optimal Atomic Linker (With Polarization)

Since Agda->JS is unmaintained, I'm now using Sonnet-3.5 as the compiler

Optimal Evaluation in 1 Minute (or 10 Minutes) (or 10 Years)