Hello!

My name is Ian and I’m a founding engineer at Strix. 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.

Send me slop, and I will prompt you: How not to be a meat proxy as a young engineer.

You and I have an agreement. If you send me slop, I will just start prompting you. If you don’t want me to prompt you, as is probably the case, then your communication with me should be two-sided: On the one hand, I give you my attention, and on the other, you give me something of value in return. This has been the defining human tradition for all of recorded history, and many millennia worth of prehistory besides. For example: ...

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: A C-to-BF Compiler

C2BF: A C-to-Brainfuck Compiler.

Building a Program Synthesizer

Design & Implementation of an Program Synthesizer