Hacker News
Linking pages
- List of Articles about Programming Skepticism • Hillel Wayne https://www.hillelwayne.com/post/skepticism/ 9 comments
- GitHub - ligurio/practical-fm: A gently curated list of companies using verification formal methods in industry https://github.com/ligurio/practical-fm 1 comment
- GitHub - asatarin/testing-distributed-systems: Curated list of resources on testing distributed systems https://github.com/asatarin/testing-distributed-systems 0 comments
Related searches:
Search whole site: site:www.pamelazave.com
Search title: Comparisons of Alloy and Spin
See how to search.