// 2026-02-21
// Toward an effetive framework for leveraging LLMs in software engineering
goto "AI utility: a quest for clarity";
// 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 lookup tables";
// 2023-07-09
// Unusually high astonishment by Rust standards
goto "Rust 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";