alf » from archive
RT @craigstuntz: "Test-Only Development" with the Z3 Theorem Prover http://blogs.teamb.com/craigstuntz/2014/07/07/38818/ I hope this is the coolest programming technique you see all week!