Credence is done. The ARM64 engineering has been both incredible and exhausting, but it's the last backend I planned to support. The work on x86-64 and ARM64 together has been remarkable to say the least: It is my Magnum Opus That's...
On Christmas morning, I finished the x86-64 code generation for Linux and BSD in credence. ARM64 work has already started, and it's turning out to be exciting. The final test was the translation of switch control structures from my IR, the JMP_E...
Two months after my last post, I now have a 2-meter-long beard and haven't seen the outdoors in many weeks - just kidding 😆. A few weeks after the first post, I was satisfied with the table and type checker. So I started engineering...
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...
Oh boy, these last few weeks working on Credence have been tough. Recall that in my previous post, I spoke about breaking down the AST into a queue of operators and operands. This algorithm has a name, the Shunting Yard algorithm, similar to a shunting...