"Finding bugs without running or even looking at code" by Jay Parlar
Strange Loop Conference4 HN recommenders · recommended in 4 months, 2019–2023
talk · intermediate · evergreen · 2019–2023 on HN
Jay Parlar's Strange Loop talk shows how model checkers such as Alloy can find complex bugs in a system's design without running or reading any code. He walks through modeling architectures and checking every possible sequence of operations, including a real…
HN commenters point to it as the best practical introduction to Alloy and to lightweight formal modeling.
Up next
4 mo on HNThe medical test paradox, and redesigning Bayes' rule
3Blue1Brown
4 HN recommender · 2020–2025
3 mo on HNEmacs From Scratch #1 - Getting Started with a Basic Usable Configuration
System Crafters
3 HN recommender · 2021–2024
4 mo on HNJohn Wiegley: Putting Lenses to Work
Bay Area Haskell
4 HN recommender · 2020–2024
10 mo on HNBrian Beckman: Don't fear the Monad
jasonofthel33t
9 HN recommender · 2012–2024
9 mo on HN28c3: The Science of Insecurity
28c3
9 HN recommender · 2012–2024
8 mo on HN"Propositions as Types" by Philip Wadler
Strange Loop Conference
9 HN recommender · 2015–2026
7 mo on HNMath's Fundamental Flaw
Veritasium
7 HN recommender · 2021–2024
7 mo on HNThe Banach–Tarski Paradox
Vsauce
6 HN recommender · 2015–2024
7 mo on HNThe Future of Mathematics?
Microsoft Research
9 HN recommender · 2019–2025
5 mo on HNLeslie Lamport: Thinking Above the Code
Microsoft Research
5 HN recommender · 2015–2026
5 mo on HNHow To Count Past Infinity
Vsauce
6 HN recommender · 2016–2022
4 mo on HNEdwin Brady - Idris 2 - Type-driven Development of Idris
Curry On!
4 HN recommender · 2019–2023
4 comments from Hacker News
I was exposed to alloy by this wonderful video: "Finding bugs without running or even looking at code" by Jay Parlar ▶ this video I believe the general idea could be applicable in practice for core parts of most businesses software. So now I'm very interested in real world accounts of using alloy like this. Anyone have other posts like this one or experiences to share along these lines?
There was a fantastic talk at strangeloop this year on Alloy: ▶ this video . The speaker used it to find a serious security bug in their live code and a feature interaction bug in their UI that had meant they had been writing broken code for the past _year_. (full disclosure I'm referenced towards the end)
There is a talk that gives a good overview on Alloy and how useful using something like this is: "Finding bugs without running or even looking at code" by Jay Parlar ▶ this video
There's a great talk from StrangeLoop[0] where a presenter uses Alloy modelling in exactly the same manner: - generate a couple examples - see something wrong - add a rule - repeat [0] ▶ this video