Encoding SAT in OCaml GADTs
Programming
Nathan Farlow
Software, Security, Machine Learning
Posts
Running Pokemon Red on my GitHub Profile
Programming
Compiling OCaml to the TI-84+ CE Calculator
Programming
wee: A Tiny Instruction Set
Programming
Speedrunning and Modding The Incredibles: Rise of the Underminer
Security
Programming
Alma: Computer Assisted Sticker Placing
Art
Programming
Time Locked Cryptography
Art
Security
Impossible Code Golf Record via Covert Channel
Security
Accelerating Lightning Simulation with Neural Networks
Machine Learning
Breaking a Creativity World Record with a Genetic Algorithm
Programming
Hacking the Nintendo DSi Browser
Security