Do you find probabilities hard to grasp? Ever wondered whether you are more likely to be struck by lightning, a shark or a car? My brother built a nice website to explore such statistics and probabilities, and test your expectations (heh):
verisimilitude.thms.de
Has a thing for abstraction.
Haskeller, Computer Scientist.
Dances tango, swing and blues.
Stand-up comedian and paraglider.
🦣 mastodon.online/@nomeata
- Very nicely done video by @dwrensha explaining some of my work on #leanprover and well-founded recursion: https://
- Very nice post. Makes me draw connections to how humans behave on the stock market. And of course the whole idea behind insurances.I just published To Flip Or Not To Flip medium.com/p/to-flip-or-n…
- Very much enjoying meeting so many enthusiastic Lean users! I got a Lean-themed t-shirt printed in time for this event, it’s the blue one at the back of the group photo. Do you get the “visual pun” on it?Day 3 at #ItaLean2025 here in Bologna! Great talks this morning and now the project work session is buzzing: so many new ideas everywhere and exciting collaborative projects taking shape. What a fantastic atmosphere! #LeanLang #FormalMath #AI4Math
- My talk “Report from the FRO” from the Lean Workshop at ITP'25, where I highlight select improvements to Lean from the last year, was recorded and is now online: youtu.be/d3uJk6LkD80&li… #lean



