abiro | Dark Hacker News

1.	Anatomy of a Lean proof for software engineers(agostbiro.net) 131 points by abiro 16 days ago \| 78 comments
2.	We're Gonna Need More Mathematicians(terrytao.wordpress.com) 13 points by abiro 22 days ago \| 2 comments
3.	The Proof in the Code: How a Truth Machine Is Transforming Math and AI(publishersweekly.com) 1 points by abiro 27 days ago \| 0 comments
4.	27 days ago \| discuss
5.	Liveness Proofs in Veil, Part I: The First Step(proofsandintuitions.net) 4 points by abiro 41 days ago \| 0 comments
6.	Formal Verification of Cryptographic Protocol Implementations in Rust(dl.acm.org) 2 points by abiro 80 days ago \| 0 comments
7.	Zero Knowledge Encryption: Analysis of Three Cloud-based Password Managers(eprint.iacr.org) 3 points by abiro 244 days ago \| 0 comments
8.	AMA with a WoW botter / gold seller(old.reddit.com) 2 points by abiro 3 years ago \| 0 comments
9.	Why the golden ratio is mostly non-sense by a Fields Medal winner [video](youtube.com) 4 points by abiro 3 years ago \| 0 comments
10.	Free42 – An HP-42S Calculator Simulator(thomasokken.com) 80 points by abiro 3 years ago \| 35 comments
11.	Exploring Ethereum Token Transfers with TLA+ for Wallet Security(sealvault.org) 1 points by abiro 3 years ago \| 0 comments
12.	How do you reason about a probabilistic distributed system? (2020)(ahelwer.ca) 3 points by abiro 3 years ago \| 0 comments
13.	Construction of the St. Lawrence Seaway (Walter Cronkite, 1958)(youtube.com) 2 points by abiro 3 years ago \| 0 comments