Y Hacker News new | ask | show | jobs

user: farlow created: 2023-03-06 karma: 69 submissions: Running a Minecraft Server and More on a 1960s Univac Computer 4 points | 0 comments 0 points | 0 comments 0 points | 0 comments An Analysis of Poptropica's Mancala 4 points | 0 comments Encoding SAT in OCaml GADTs 4 points | 0 comments Compiling OCaml to the TI-84 CE Calculator 110 points | 5 comments 0 points | 0 comments 0 points | 0 comments Speedrunning and Modding the Incredibles: Rise of the Underminer 78 points | 7 comments