from Hacker News

LightMachine

joined 9/27/15, 11:08 PM has 1647 karma

• Claude Plays Pokémon

  by LightMachine on 2/25/25, 4:19 PM, with 24 comments

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

  by LightMachine on 1/20/25, 7:03 PM, with 9 comments

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

  by LightMachine on 11/28/24, 1:14 AM, with 0 comments

• HVM3's Optimal Atomic Linker (With Polarization)

  by LightMachine on 11/1/24, 11:40 PM, with 0 comments

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

  by LightMachine on 9/20/24, 10:46 PM, with 0 comments

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

  by LightMachine on 8/30/24, 4:14 PM, with 0 comments

• Bend: a high-level language that runs on GPUs (via HVM2)

  by LightMachine on 5/17/24, 2:23 PM, with 253 comments