Hacker News
Lobsters
Linked pages
- Literature review on the benefits of static types https://danluu.com/empirical-pl/ 1278 comments
- Idris: A Language for Type-Driven Development http://www.idris-lang.org 258 comments
- "Type Systems - The Good, Bad and Ugly" by Paul Snively and Amanda Laucher - YouTube https://www.youtube.com/watch?v=SWTWkYbcWU0 246 comments
- Learn TLA+ — Learn TLA+ https://learntla.com/ 176 comments
- GitHub - mermaid-js/mermaid: Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown https://github.com/knsv/mermaid 131 comments
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 61 comments
- Distributed Systems Safety Research http://jepsen.io/ 60 comments
- The TLA+ Home Page http://lamport.azurewebsites.net/tla/tla.html 32 comments
- ACL2 Version 8.5 http://www.cs.utexas.edu/users/moore/acl2/ 13 comments
- "Tackling Concurrency Bugs with TLA+" by Hillel Wayne - YouTube https://www.youtube.com/watch?v=_9B__0S21y8 11 comments
- Most testing is ineffective - Hypothesis https://hypothesis.works/ 3 comments
- http://ttendency.cs.ucl.ac.uk/projects/type_study/documents/type_study.pdf 1 comment
- https://www.microsoft.com/en-us/research/wp-content/uploads/2009/10/Realizing-Quality-Improvement-Through-Test-Driven-Development-Results-and-Experiences-of-Four-Industrial-Teams-nagappan_tdd.pdf 1 comment
Related searches:
Search whole site: site:www.hillelwayne.com
Search title: Why TDD Isn't Crap • Hillel Wayne
See how to search.