Trivaxy's Blog https://trivaxy.github.io A blog about programming, compilers, game development, and whatever else suits my fancy. en Wed, 28 Jan 2026 07:51:47 GMT Accidentally building a dependently-typed language with Z3 https://trivaxy.github.io/posts/verifex/ https://trivaxy.github.io/posts/verifex/ Wed, 28 Jan 2026 07:51:47 GMT A deep dive on Verifex, a programming language powered by an SMT solver and prayers Nutcracker, Part 1 https://trivaxy.github.io/posts/nutcracker-pt1/ https://trivaxy.github.io/posts/nutcracker-pt1/ Wed, 28 Jan 2026 07:51:47 GMT Read more at https://trivaxy.github.io/posts/nutcracker-pt1/ Compilers - From Play to Production https://trivaxy.github.io/posts/play-to-production-compilers/ https://trivaxy.github.io/posts/play-to-production-compilers/ Wed, 28 Jan 2026 07:51:47 GMT Read more at https://trivaxy.github.io/posts/play-to-production-compilers/