Skip to Content
Blog
Talks
About
Logic for Programmers
Newsletter
New:
Logic for Programmers
is out in print!
Learn more and buy it 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