Skip to Content
Blog
Projects
Talks
Consulting
About
Newsletter
Patreon
Learn TLA+
New:
My new book,
Logic for Programmers
, is now in
early access
!
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