Top all-time · #13561
David Turner
Personal blog · davecturner.github.ioprogrammingmath
David Turner's personal blog at davecturner.github.io covers programming and math. Since 2018, 5 different Hacker News readers have linked it 5 times, most often “Working with timezones”. It is still writing: the last post was on 2025-12-21, and you can follow it by feed.
Too few sampled comments (1) to say how often HN recommends it.?
Why HN links it
HN readers link David Turner's blog for its essay on proving TLA+ specifications in Isabelle, which one commenter offers alongside the TLAPS proof system as further reading on formal verification.
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.
Github Pages
Most-linked posts?
- Working with timezones2 people · 2 mentions · first linked 2018-08-12
- TLA+ in Isabelle/HOL2 people · 2 mentions · first linked 2019-05-04
What Hacker News says?
You might be interested in TLAPS, the TLA+ proof system: https://tla.msr-inria.inria.fr/tlaps/content/Home.html There's also this essay on proving TLA+ specifications in Isabelle: https://davecturner.github.io/2018/02/12/tla-in-isabelle.htm...
Comment linking /2018/02/12/tla-in-isabelle.html
on “TLA+: design, model, document, and verify concurrent systems”Submitted TLA+ in Isabelle/HOL as a story · 79 points
HN discussionSubmitted Identifying Leap Years (2020) as a story · 28 points
HN discussionSubmitted Working with timezones as a story · 4 points
HN discussionSubmitted Working with timezones as a story · 1 points
HN discussion