- Can you guarantee that a function has no bugs? https://rchaves.app/can-you-guarantee-no-bugs/ 12 comments programming
Linked pages
- GitHub Copilot · Your AI pair programmer · GitHub https://copilot.github.com/ 2148 comments
- Simon Peyton Jones - Haskell is useless - YouTube https://youtube.com/watch?feature=youtu.be&v=iSmkqocn0oQ 695 comments
- Null References: The Billion Dollar Mistake - InfoQ https://www.infoq.com/presentations/Null-References-The-Billion-Dollar-Mistake-Tony-Hoare/ 694 comments
- They Write the Right Stuff https://www.fastcompany.com/28121/they-write-right-stuff 646 comments
- Where are we going from here? Software engineering needs formal methods | nicholas@web https://ntietz.com/tech-blog/future-of-software-engineering-is-formal-methods/ 145 comments
- We need to talk about testing - Dan North & Associates Ltd https://dannorth.net/2021/07/26/we-need-to-talk-about-testing/ 74 comments
- TLA+ Video Course https://lamport.azurewebsites.net/video/videos.html 28 comments
- Paxos (computer science) - Wikipedia https://en.wikipedia.org/wiki/Paxos_(computer_science) 0 comments
- fast-check - npm https://www.npmjs.com/package/fast-check 0 comments
- Henrik Eichenhardt's blog: Why shared mutable state is the root of all evil. http://henrikeichenhardt.blogspot.com/2013/06/why-shared-mutable-state-is-root-of-all.html 0 comments
- Pawel Szulc - Formal verification applied (with TLA+) - YouTube https://www.youtube.com/watch?v=l9XZYI3jta0 0 comments
Related searches:
Search whole site: site:rchaves.app
Search title: Can you guarantee that a function has no bugs? · Rogério Chaves
See how to search.