Apr 10, 2023 Scheme C ZFS What I've Learned About Formal Methods In Half a Year Jakob's Personal Webpage
Feb 21, 2021 C Rust Linux A great alternative is rarely fatter than what it aims to replace Drew DeVault's blog
Apr 10, 2023 Scheme C ZFS What I've Learned About Formal Methods In Half a Year Jakob's Personal Webpage
May 1, 2024 C Hiring CentOS Reader feedback on autoconf and bugginess in general Writing - rachelbythebay