Hacker News
- Thinking for Programmers (2014) [video] https://channel9.msdn.com/Events/Build/2014/3-642 4 comments
- Thinking for Programmers (2014) [video] https://channel9.msdn.com/Events/Build/2014/3-642 11 comments
- Leslie Lamport: Thinking for Programmers [video] http://channel9.msdn.com/Events/Build/2014/3-642 32 comments
Linking pages
- Uncle Bob and Silver Bullets • Hillel Wayne https://www.hillelwayne.com/post/uncle-bob/ 465 comments
- Uncle Bob and Silver Bullets • Hillel Wayne https://www.hillelwayne.com/uncle-bob/ 92 comments
- Leslie Lamport on Distributed Systems and Precise Thinking http://www.infoq.com/news/2014/10/ser-lamport-interview 14 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
- Recommended Build 2014 sessions – Jacob Jedryszek – Software Engineer at Meta (Ex-MSFT). http://jj09.net/recommended-build-2014-sessions/ 0 comments
- TLA+ for startups (part 1). Why formal specifications are not a… | by Neil O'Connor | Koodoo | Medium https://medium.com/koodoo/tla-for-startups-part-1-8b162863824b 0 comments
Related searches:
Search whole site: site:channel9.msdn.com
Search title: Shows | Microsoft Learn
See how to search.