Top all-time · #22589
William Schultz
Personal blog · will62794.github.ioprogrammingsystemsmath
William Schultz's personal blog at will62794.github.io covers programming, systems and math. Since 2024, 3 different Hacker News readers have linked it 9 times. It is still writing: the last post was on 2026-10-01, and you can follow it by feed.
Too few sampled comments (1) to say how often HN recommends it.?
Why HN links it
Linked for a paper, hosted on the site, on MongoDB transactions. The commenter cites it for using TLA+ models to generate test suites.
Summarised by Claude from a sample of 1 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
My personal website.
What Hacker News says?
Main way we're validating that now is by using TLA+ models to generate test suites. Mongo came out with a new paper on this recently: https://will62794.github.io/assets/papers/mdb-txns-modular-v...
Comment linking /assets/papers/mdb-txns-modular-verification.pdf
on “Fast”Submitted Logless Raft as a story · 3 points
HN discussionSubmitted TLA+ Web Explorer as a story · 3 points
HN discussionSubmitted Modern Views of Transaction Isolation as a story · 2 points
HN discussionSubmitted Interactive Formal Specifications as a story · 2 points
HN discussionSubmitted Towards Autonomous Protocol Proofs as a story · 1 points
HN discussionSubmitted One-Off Verified Transpilation with Claude as a story · 1 points
HN discussionSubmitted Transactions as Transformers as a story · 1 points
HN discussionSubmitted Transactions as Transformers as a story · 1 points
HN discussion