Proofy
Quickly validate and verify your email lists.
The Burden of Proof: Why People Must Support Their Arguments
2019-04-03
How to write SQL injection proof PL/SQL (2008) [pdf]
2019-04-03
EverCrypt, a cryptographic library that is provably secure against known attacks
2019-04-03
Cryptography That Can’t Be Hacked
2019-04-02
Show HN: Jupyter Kernel for Coq Proof Assistant – coq_jupyter
2019-04-01
Proof Complexity (free book, pdf and corrections)
2019-04-01
The Incredible Proof Machine (2016)
2019-04-01
Coinhive Proof of Work Captcha
2019-04-01
TypeTalk: Proof-of-concept of Smalltalk-like live coding system in the browser
2019-03-31
How the Matrix Built a Bullet-Proof Legacy
2019-03-31
