Proofy
Quickly validate and verify your email lists.
Show HN: Villagers – A group travel app
2022-10-26
Ask HN: Proof Irrelevance and De Morgan's Laws
2022-10-26
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
2022-10-25
APIs as infrastructure: future-proofing Stripe with versioning (2017)
2022-10-24
A study of malicious CVE proof of concept exploits in GitHub
2022-10-24
Colleges that ditched admission tests find it harder to fairly choose students
2022-10-22
Book of Proof (2018)
2022-10-21
New engineered proteins could be used to develop adaptation-proof Covid vaccine
2022-10-21
But why is proof by contradiction non-constructive?
2022-10-21
Why Proof-of-Work Is Superior to Proof-of-Stake
2022-10-20
