Proofy
Quickly validate and verify your email lists.
Future-Proofing Evernote’s Foundations
2023-09-06
Bourbaki Proof Checker [pdf]
2023-09-06
Show HN: Theoriz3r, minimal proof of concept exploratory theorem prover
2023-09-06
Proofs based on diagonalization help reveal the limits of algorithms
2023-09-06
Babcock Ranch: Florida's first hurricane-proof town
2023-09-05
Tell HN: Buying a lottery ticket is rational
2023-09-05
Ask HN: Is there a “spend more money” problem in political discourse?
2023-09-05
Show HN: Lineage-Diff for dbt data projects (no account required)
2023-09-04
Ask HN: Which books are the best to self study proof based math?
2023-09-04
How to write correct code by construction using the Coq Proof Assistant
2023-09-03
