Top all-time · #12815
Proofs and Intuitions
Personal blog · proofsandintuitions.netmathprogramming
Proofs and Intuitions is a personal blog at proofsandintuitions.net about math and programming. Since 2026, 6 different Hacker News readers have linked it 12 times, most often “Liveness Proofs in Veil, Part I: The First Step”. It is still writing: the last post was on 2026-10-18, 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 this blog for its posts on formal verification in Lean, including a demo of distributed protocol verification. The single comment cites a post as a demo alongside a project link.
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.
A blog about mathematics, computing, formal verification, and the ideas behind them
Most-linked posts?
- Liveness Proofs in Veil, Part I: The First Step3 people · 3 mentions · first linked 2026-06-25
- Verifying Distributed Protocols in Veil2 people · 2 mentions · first linked 2026-02-09
- On the Unreasonable Effectiveness of PBT for Validating Formal Specifications2 people · 2 mentions · first linked 2026-05-19
- When the Hard Part Stops Being Hard2 people · 2 mentions · first linked 2026-08-14
What Hacker News says?
Check out https://veil.dev/ There's a blog post with a demo at https://proofsandintuitions.net/2026/02/09/distributed-verif... It's still early days, but we're committed to making distributed protocol verification work extremely well in Lean.
Comment linking /2026/02/09/distributed-verification-veil/
on “Introduction to Formal Verification with Lean Part 1”Submitted Liveness Proofs in Veil, Part I: The First Step as a story · 4 points
HN discussionSubmitted When the Hard Part Stops Being Hard as a story · 3 points
HN discussionSubmitted The Vermilion Experiment: Implementing a Lean Back End for Verus as a story · 2 points
HN discussionSubmitted Liveness proofs in Veil: Part 1 as a story · 2 points
HN discussionSubmitted The Unreasonable Effectiveness of Property Testing for Validating Formal Specs as a story · 1 points
HN discussionSubmitted When the Hard Part Stops Being Hard as a story · 1 points
HN discussionSubmitted Liveness Proofs in Veil, Part I: The First Step as a story · 1 points
HN discussionSubmitted On the Unreasonable Effectiveness of PBT for Validating Formal Specifications as a story · 1 points
HN discussionSubmitted Verifying Move Borrow Checker in Lean:An Experiment in AI-Assisted PL Metatheory as a story · 1 points
HN discussionSubmitted Verifying Distributed Protocols in Veil as a story · 1 points
HN discussionSubmitted Multi-Modal Program Verification in Velvet as a story · 1 points
HN discussion
