LightMachine

Posts

• Claude Plays Pokémon
  by LightMachineon 2/25/25, 4:19 PMwith 24 comments
• Show HN: SupGen, an model-free program synthesizer by examples / dependent types
  by LightMachineon 1/20/25, 7:03 PMwith 9 comments
• Optimal context passing with HVM's "pure mutable references"
  by LightMachineon 11/28/24, 1:14 AMwith 0 comments
• HVM3's Optimal Atomic Linker (With Polarization)
  by LightMachineon 11/1/24, 11:40 PMwith 0 comments
• Since Agda->JS is unmaintained, I'm now using Sonnet-3.5 as the compiler
  by LightMachineon 9/20/24, 10:46 PMwith 0 comments
• Optimal Evaluation in 1 Minute (or 10 Minutes) (or 10 Years)
  by LightMachineon 8/30/24, 4:14 PMwith 0 comments
• Bend: a high-level language that runs on GPUs (via HVM2)
  by LightMachineon 5/17/24, 2:23 PMwith 253 comments