Hello!
My name is Ian and I’m a programmer based in New York. I’m interested in math and computer science generally, but I’m especially interested in logic and programming languages.
Lists are Geometric Series
Taylor Expansions of Recursive Data Types
Solving & Generating Nurikabe Puzzles
A Step-by-Step Approach
C? Rewrite it in Brainfuck.
C2BF: A C-to-Brainfuck Compiler.
Building a Program Synthesizer
Design & Implementation of an Program Synthesizer