Category

C++

C++
Premium

Type Checking and Pointers

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...

C++
Premium

On modern C++ and PLT

Howdy, It's been a while :-). I've been largely immersed in modern C++ for the last few years—particularly C++20 and C++23, which have some groundbreaking changes if you haven't kept up. I'll get to...