LightMachine

Claude Plays Pokémon

75 points by LightMachine 4 months ago | 24 comments

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

21 points by LightMachine 5 months ago | 9 comments

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

1 point by LightMachine 7 months ago | 0 comments

HVM3's Optimal Atomic Linker (With Polarization)

2 points by LightMachine 8 months ago | 0 comments

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

2 points by LightMachine 9 months ago | 0 comments

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

2 points by LightMachine 10 months ago | 0 comments