Top all-time · #25242
pit-claudel.fr
Personal blog · pit-claudel.fr/clement/blogmathprogramming
pit-claudel.fr is a personal blog at pit-claudel.fr about math and programming. Since 2012, 3 different Hacker News readers have linked it 3 times. No feed was found, so read it on the site itself.
Too few sampled comments (2) to say how often HN recommends it.?
Why HN links it
Linked for posts on generating uniformly random bits from biased coin tosses, and for work on formal verification. One commenter points to the site as a source of material on formal verification.
Summarised by Claude from a sample of 2 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
What Hacker News says?
> The voting system sounds even weirder. How does taking groups of threes solve malicious voters? What even are malicious voters? This is normally talked about in terms of biased coin tosses. You know Von Neumann's de-skew technique? http://pit-claudel.fr/clement/blog/generating-uniformly-rand... > If independence of successive tosses is assumed, we can reconstruct a 50-50 chance out of even a badly biased coin by t…
Comment linking /clement/blog/generating-uniformly-random-data-from-skewed-input-biased-coins-loaded-dice-skew-correction-and-the-von-neumann-extractor/
on “New technique produces real randomness”Submitted How random is pseudo-random? Testing generators and measuring randomness as a story · 2 points
HN discussionI saw a fascinating talk by Clément Pit‑Claudel on closing this gap. I don’t have references handy but his website seems informative: https://pit-claudel.fr/clement/
Comment linking /clement/
on “The Case Against Formal Verification, 50 Years Later”