"Finding bugs without running or even looking at code" by Jay Parlar Published -- Download video MP4 360p Recommendations 40:18 "Compacting the Uncompactable" by Bobby Powers 45:31 Alloy for TLA+ users - Jay Parlar 45:38 Keynote: Formal Verification? No, Formal Reasoning! | Marianne Bellotti | Code BEAM America 2022 38:38 "Tree-sitter - a new parsing system for programming tools" by Max Brunsfeld 59:50 Leslie Lamport: Thinking Above the Code 23:33 How to Find Your First Bug 52:29 "I See What You Mean" by Peter Alvaro 39:26 "Cursorless: A spoken language for editing code" by Pokey Rule (Strange Loop 2023) 41:02 "Parser Parser Combinators for Program Transformation" by Rijnard van Tonder 40:30 "Concatenative programming and stack-based languages" by Douglas Creager 22:19 This Is Why Python Data Classes Are Awesome 42:38 "Correctness proofs of distributed systems with Isabelle" by Martin Kleppmann 34:55 "Outperforming Imperative with Pure Functional Languages" by Richard Feldman Similar videos 01:24 Ondrik8 form codeby.net 00:04 Fixing bugs First Rule of #Programming #code #bug #softwaredeveloper 😂 04:22 Taming Deep Concurrency Bugs with ConFu 29:34 PYCON UK 2017: Finding bugs for free - The magic of code analysis 00:25 Finding Bugs with Tracing, Part 1 - Intro to Java Programming 04:49 Explainable Bug Prediction for Code Changes: Are We There Yet? 00:15 Steel structure alloy workshop video 00:33 THIS Is The Best AI Tool to Automate Your Business in 2023 11:42 Code Challenge - Find the Security Bug! 01:07 Bug Free Software project. Dassault Systemes / Biovia: Homepage bugs More results