Skip to Content
Blog
Projects
Talks
Consulting
About
Tipjar
Newsletter
New Workshop
:
One-Day TLA+ Training
. Choice of three dates (
March
, May, June).
Hillel Wayne
Tag:
Culture
Posted on
2018, Apr 25
The Great Theorem Prover Showdown
Posted on
2017, Dec 10
What's the Right Tool for the Job?
Posted on
2017, Aug 14
How Do We Trust Our Science Code?
Posted on
2017, Jun 09
List of Articles about Programming Skepticism