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.

Lambdir: The World's First No-Code, O(0)-Memory, Directory-Oriented Programming Language

Finally, the directory-oriented combinatory logic based programming language that the Market been yearning for has arrived.

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