Proofy
Quickly validate and verify your email lists.
Correctness proofs of distributed systems with Isabelle/HOL
2019-12-12
A Visual Telling of Joyal's Proof of Cayley's Formula
2019-12-09
A (New) Simple Proof of the Quadratic Formula
2019-12-09
How did software get so reliable without proof? [video]
2019-07-02
State of the Art Proof-of-Work: RandomX
2019-07-02
A new set of images that fool AI could help make it more hacker-proof
2019-07-01
Living Proof: Stories of Resilience Along the Mathematical Journey [pdf]
2019-06-30
NetBSD on the last G4 Mac mini and making the kernel power failure proof
2019-06-29
A proof-of-concept implementation of a generics proposal for Go
2019-06-28
Living Proof – Stories of Resilience Along the Mathematical Journey [pdf]
2019-06-27
