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.
Is AI really alignment faking?
LLM alignment faking headlines don’t seem to hold up under scrutiny.
Lists are Geometric Series
Infinite 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