computer science, research, thoughts
At about 1 am christmas morning, I "finished" credence. Five months. If you subtract the hours of my work organization, you can see exactly when I started on the backend in my GitHub contribution graph: Credence has been the culmination of a lot...
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...
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,...
