Hacker News
Lobsters
Linking pages
- How to argue for something without any scientific evidence • Buttondown https://buttondown.email/hillelwayne/archive/how-to-advocate-something-without-any-scientific/ 0 comments
- How to argue for something without any scientific evidence • Buttondown https://buttondown.com/hillelwayne/archive/how-to-advocate-something-without-any-scientific/ 0 comments
Linked pages
- Literature review on the benefits of static types https://danluu.com/empirical-pl/ 1348 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/ 125 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
- Contracts.ruby by egonSchiele http://egonschiele.github.io/contracts.ruby/ 7 comments
- GitHub - codemix/babel-plugin-contracts: Design by Contract for JavaScript via a Babel plugin. https://github.com/codemix/babel-plugin-contracts 4 comments
- Most testing is ineffective - Hypothesis https://hypothesis.works/ 3 comments
- http://alloy.mit.edu/alloy/ 2 comments
- Sign in - Google Accounts https://plus.google.com/+LaurentBossavit/posts/aNKut1QV8pT 2 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
- Test-Driven Development · It Will Never Work in Theory http://neverworkintheory.org/2016/10/05/test-driven-development.html 0 comments
- BitFunnel performance estimation · BitFunnel http://bitfunnel.org/strangeloop/ 0 comments
- Jesse Ruderman » Fuzzers love assertions http://www.squarefree.com/2014/02/03/fuzzers-love-assertions/ 0 comments
Related searches:
Search whole site: site:hillelwayne.com
Search title: Why TDD Isn't Crap • Hillel Wayne
See how to search.