Published by Michael . on December 2 2025. permalinkA few notes on the Haskell fix function I hack in C++, LISP & Rust. I think a lot about writing provably correct code. Yesterday, I had reason to consider the problem of finding a function…
Published by Michael . on September 8 2025. permalinkHow to integration test Rust binaries I hack in C++, LISP & Rust. I think a lot about writing provably correct code. One of the things I liked about Rust when I first came to the language…
Published by Michael . on June 21 2024. permalinkSome first thoughts on matching dependent types in Coq I hack in C++, LISP & Rust. I think a lot about writing provably correct code. I've always hated having to write match arms for cases th…
Published by Michael . on June 12 2024. permalinkUnderstanding cross references in Org Mode I hack in C++, LISP & Rust. I think a lot about writing provably correct code. This is a companion to my previous post on Org Mode & \(\LaTeX\) that…
Published by Michael . on May 27 2024. permalinkAn introduction to \(\lambda\underline{\omega}\) I hack in C++, LISP & Rust. I think a lot about writing provably correct code. This post is part of a series on how to reason about code. It de…
Published by Michael . on March 19 2024. permalinkHow exactly does Org Mode interact with LaTeX? I hack in C++, LISP & Rust. I think a lot about writing provably correct code. I've spent the past few days understanding how to embed LaTeX in…
Published by Michael . on September 6 2023. permalinkUsing tools to author more bad code is not a solution to bad code I hack in C++, LISP & Rust. I think a lot about writing provably correct code. Just saw a tweet extolling the virtues of
Published by Michael . on July 30 2023. permalinkConfiguring Emacs as an IDE for Rust programming I hack in C++, LISP & Rust. I think a lot about writing provably correct code. One of the joys of Emacs is the ability to customize it in such…
Published by Michael . on June 30 2023. permalinkAnother CherryPy issue I hack in C++, LISP & Rust. I think a lot about writing provably correct code. Following-up on my last post, we found a second problem. When you initialize a CherryPy H…
Published by Michael . on June 7 2023. permalinkBringing your own domain to Route 53 is easy, once you know how I hack in C++, LISP & Rust. I think a lot about writing provably correct code. I wanted to host indie-org.sh as simply as possib…
Published by Michael . on October 9 2022. permalinkName squatting & RFCs I hack in C++, LISP & Rust. I think a lot about writing provably correct code. I've just published a new crate to crates.io that provides syslog support for the tracin…
Published by Michael . on September 5 2022. permalinkThoughts on documenting software projects I hack in C++, LISP & Rust. I think a lot about writing provably correct code. I've had a few thoughts recently on documenting one's code. Nothin…