Skip to Content
Blog
Projects
Talks
Consulting
About
Newsletter
Learn TLA+
New:
Logic for Programmers
is now content-complete and in the hands of the copy editor! Get the current beta for 20% off
here
.
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