Recent Posts

The Great Theorem Prover Challenge II

7 minute read

This is the second of a series on Hillel Wayne’s Great Theorem Prover Showdown. Make sure to check out the first part! You can also follow my progress in thi...

The Great Theorem Prover Challenge I

13 minute read

I was having a discussion with a coworker over lunch the other day about code reasoning and informal correctness (things like “it feels correct” and “it pass...

PACTF 2016 - Reflections

4 minute read

By the time anybody is reading this, we should have finalized both DQs and prizes for PACTF 2016. If I said I thought everything went 100% as I wanted it to,...