articles
Index
10 entries
-
A pub/sub behavior specified—with TLA+ thus verified
Into the realm of formal specification
-
AI utility: a quest for clarity
Toward an effetive framework for leveraging LLMs in software engineering
-
Fine-grained parallelism in the Rust compiler front end
Dimensioning a build system
-
Announcing Absolut 0.2.1
Yeeting Z3
-
Autogenerated bytewise SIMD-optimized lookup tables
Long live SMT. Long live meta-programming
-
Rust Deref confusion
Unusually high astonishment by Rust standards
-
Fixing my corrupted FEZ savefile
Software is more fragile than you think
-
Source code is not enough
The fine print in FOSS promises
-
Joining the Church of Emacs
A summary of how I configured my Emacs
-
Yet another blog
How hard can it be?