Blog Index

// 2025-03-20
// Dimensioning a build system
goto "Fine-grained parallelism in the Rust compiler front-end";
// 2024-04-18
// Yeeting Z3
goto "Announcing Absolut 0.2.1";
// 2023-08-06
// Long live SMT. Long live meta-programming
goto "Autogenerated bytewise SIMD-optimized look-up tables";
// 2023-07-09
// Unusually high astonishment by Rust standards
goto "Deref confusion";
// 2023-01-16
// Software is more fragile than you think
goto "Fixing my corrupted FEZ savefile";
// 2022-10-26
// The fine print in FOSS promises
goto "Source code is not enough";
// 2022-10-03
// A summary of how I configured my Emacs
goto "Joining The Church of Emacs";
// 2022-07-20
// How hard can it be?
goto "Yet another blog";