Y Hacker News new | ask | show | jobs

user: LightMachine created: 2015-09-27 karma: 1647 submissions: Claude Plays Pokémon 75 points | 24 comments Show HN: SupGen, an model-free program synthesizer by examples / dependent types 21 points | 9 comments Optimal context passing with HVM's "pure mutable references" 1 points | 0 comments HVM3's Optimal Atomic Linker (With Polarization) 2 points | 0 comments Since Agda->JS is unmaintained, I'm now using Sonnet-3.5 as the compiler 2 points | 0 comments Optimal Evaluation in 1 Minute (or 10 Minutes) (or 10 Years) 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments