Hacker News
- Verification-First Development https://buttondown.com/hillelwayne/archive/verification-first-development/ 24 comments
Linked pages
- Learn TLA+ — Learn TLA+ https://learntla.com/ 176 comments
- Use of Assertions – Embedded in Academia https://blog.regehr.org/archives/1091 58 comments
- Welcome — Sphinx documentation https://www.sphinx-doc.org/en/master/ 10 comments
- Hillel Wayne https://www.hillelwayne.com/ 0 comments
- Logic for Programmers by Hillel Wayne [Leanpub PDF/iPad/Kindle] https://leanpub.com/logic/ 0 comments
Related searches:
Search whole site: site:buttondown.com
Search title: Verification-First Development • Buttondown
See how to search.