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. I also love receiving email, so don’t hesitate to reach out for any reason.
Finally, the directory-oriented combinatory logic based programming language that the Market been yearning for has arrived.
LLM alignment faking headlines don’t seem to hold up under scrutiny.
Infinite Expansions of Recursive Data Types
C2BF: A C-to-Brainfuck Compiler.
Design & Implementation of an Program Synthesizer