Top all-time · #5637
David J. Pearce
Personal blog · whileydave.comprogrammingmath
David J. Pearce writes Dave's Homepage, a personal blog at whileydave.com about programming and math. Since 2020, 14 different Hacker News readers have linked it 25 times, most often “Test-Driving the Rust Model Checker (RMC)”. It is still writing: the last post was on 2026-04-02, and you can follow it by feed.
Most-linked posts?
- Test-Driving the Rust Model Checker (RMC)3 people · 3 mentions · first linked 2021-10-27
- The Semantics of Semantic Versioning?3 people · 3 mentions · first linked 2020-10-05
- Programming Languages Going Above and Beyond2 people · 2 mentions · first linked 2023-06-28
What Hacker News says?
One of the best post-beginner / intermediate learning experiences wrt. Rust is to try to model the Borrow Checker behavior with Rust. Just write small (>10 LoC) programs within safe subset of Rust: 1. Rejected unsafe programs (and the why ) 2. Rejected safe programs (and the why ) .. and try to convince yourself that you understand the logic behind the two. https://whileydave.com/2021/12/06/modelling-borrow-checking…
Comment linking /2021/12/06/modelling-borrow-checking-in-rust/
on “Thread Safety in C++ and Rust”Submitted The Semantics of Semantic Versioning? as a story · 3 points
HN discussionhttps://whileydave.com/publications/pea22_gpce/
Comment linking /publications/pea22_gpce/
on “Language Design Meets Verifying Compilers (GPCE 2022 Keynote)”Submitted Type Checking in Whiley Goes Both Ways as a story · 2 points
HN discussionSubmitted Test-Driving the Rust Model Checker (RMC) as a story · 2 points
HN discussionSubmitted Test-Driving the Rust Model Checker (RMC) as a story · 2 points
HN discussionSubmitted QuickCheck for Whiley as a story · 2 points
HN discussionSubmitted The Semantics of Semantic Versioning? as a story · 2 points
HN discussionSubmitted Sound and complete flow typing with unions, intersections and negations [pdf] as a story · 1 points
HN discussionSubmitted Digging into the EVM Object Format (EOF) as a story · 1 points
HN discussionSubmitted Functions as Methods in Dafny? as a story · 1 points
HN discussionSubmitted Programming Languages Going Above and Beyond as a story · 1 points
HN discussionSubmitted Programming Languages Going Above and Beyond as a story · 1 points
HN discussionSubmitted Disassembling EVM Bytecode (The Basics) as a story · 1 points
HN discussionSubmitted Verifying a Token Contract as a story · 1 points
HN discussionSubmitted Whiley Gets Rusty as a story · 1 points
HN discussionSubmitted Formally Verifying an Auction Contract as a story · 1 points
HN discussionSubmitted Verifying the Whiley Standard Library as a story · 1 points
HN discussionSubmitted Test-Driving the Rust Model Checker (RMC) as a story · 1 points
HN discussionSubmitted A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust [pdf] as a story · 1 points
HN discussionSubmitted Sizing Up Types in Rust as a story · 1 points
HN discussionSubmitted Sizing Up Types in Rust as a story · 1 points
HN discussionSubmitted Understanding Generic Type Variance as a story · 1 points
HN discussionSubmitted Dynamic Deadlock Detection in Abseil as a story · 1 points
HN discussionSubmitted The Semantics of Semantic Versioning? as a story · 1 points
HN discussion
