I finished the x86-64 code generation for Linux and BSD in credence on Christmas morning, just in time to step away and spend time with family! ARM64 work has already started, and it's turning out to be even more exciting. The final test...
Update: December 19th, 2025 Since I wrote this post, type checking in Credence has changed. Originally, I talked about how neat it was that I "accidentally" got a type system. Today, the Type Checker is more discrete and separate from the Table and...
As I mentioned in my Hello, 2025 post, I've picked up work on my B language compiler again, and lately I haven't been able to put it down. My first post on IRs was quite some time ago, and since then,...
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)
