Top all-time · #16459
Tack, Hunt, Pool
Personal blog · raywang.techsystemssecurity
Tack, Hunt, Pool is a personal blog at raywang.tech about systems and security. Since 2017, 4 different Hacker News readers have linked it 4 times, most often “Formal Verification: The Gap Between Perfect Code and Reality”. The last post was in 2024, but the archive is still widely read.
Too few sampled comments (1) to say how often HN recommends it.?
Why HN links it
Linked from a thread on the MIT 6.875 cryptography course video. The only comment discusses course prerequisites and study resources, not the blog's writing, so what HN values about the blog is not stated.
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.
Where I keep all the stuff that doesn't fit in my head
Most-linked posts?
- Formal Verification: The Gap Between Perfect Code and Reality2 people · 2 mentions · first linked 2017-12-24
What Hacker News says?
According to an older ocw version of this course [1], you need " General ease with algorithms, elementary number theory and discrete probability ". You can learn these from MIT's own ocw's excellent "Mathematics for Computer Science" [2] and "Introduction to Algorithms" [3]. For a gentler intro to crypto, I am planning to do Cristof Paar's course first, given that he takes his time to carefully explain all the math;…
Comment linking /2017/04/21/set5-writeup/
on “MIT 6.875 – Cryptography and Cryptanalysis [video]”Submitted Formal Verification: The Gap Between Perfect Code and Reality as a story · 222 points
HN discussionSubmitted Formal Verification: The Gap Between Perfect Code and Reality [2017] as a story · 3 points
HN discussionSubmitted Tips for speed and ergonomics for programmers and Mac users as a story · 1 points
HN discussion