At about 1 a.m. on Christmas morning, I finished x86-64 code generation for Linux and BSD in credence. If you subtract the hours at work, you can see exactly when I started on my GitHub contribution graph: Credence has been the culmination of a...
December 19th, 2025 Since I wrote this post, type checking in Credence has changed. Originally, I talked about how profound it was that I "accidentally" got a type system. Today, the Type Checker is more discrete and separate from the Table and Table...
I've been working on a noteworthy amount of language and compiler design for the last couple of years, both professionally and at home. In compiler theory, some of the most useful tools are intermediate languages, intermediate representation (IR)
