Skip to content
HomeVideos
AllLongsCategoriesPlaylists
BooksBlogsPodcasts
HistoryListsWatch laterLiked videosFollowing

The videos, books, blogs and podcasts Hacker News keeps recommending, all in one place.

VideosBooksBlogsPodcastsAboutPrivacySettings

Data from Hacker News, HackerTube, HackerBooks, HackerBlogs and Open Library. Credits · Not affiliated with Y Combinator.

HomeVideosBooksBlogsPodcasts
Ctrl K

    "Finding bugs without running or even looking at code" by Jay Parlar

    Strange Loop Conference

    4 HN recommenders · recommended in 4 months, 2019–2023

    YouTube

    40:27 · 42K views · Sep 14, 2019

    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 security bug and a UI feature-interaction bug.

    HN commenters point to it as the best practical introduction to Alloy and to lightweight formal modeling.

    Mathematics & Theoretical CSLogic & formal methodsTesting, debugging & developer toolsSoftware architecture & design
    1. 30:06
      "Tackling Concurrency Bugs with TLA+" by Hillel WayneStrange Loop Conference24K views • 9 years ago
    2. 43:04
      "Stop Writing Dead Programs" by Jack Rusher (Strange Loop 2022)Strange Loop Conference468K views • 4 years ago
    3. 45:50
      "The Mess We're In" by Joe ArmstrongStrange Loop Conference398K views • 12 years ago
    4. 25:06
      "Making Impossible States Impossible" by Richard Feldmanelm-conf63K views • 10 years ago
    5. 40:20
      "Testing Distributed Systems w/ Deterministic Simulation" by Will WilsonStrange Loop Conference56K views • 12 years ago
    6. 1:01:39
      "Simple Made Easy" - Rich Hickey (2011)Strange Loop Conference220K views • 5 years ago
    7. 36:58
      "A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya SiramStrange Loop Conference26K views • 9 years ago
    8. 34:55
      "Outperforming Imperative with Pure Functional Languages" by Richard FeldmanStrange Loop Conference98K views • 5 years ago
    9. 40:00
      "Agility & Robustness: Clojure spec" by Stuart HallowayStrange Loop Conference25K views • 10 years ago
    10. 42:15
      "Performance Matters" by Emery BergerStrange Loop Conference502K views • 7 years ago
    11. 1:16:14
      Spec-ulation Keynote - Rich HickeyClojureTV136K views • 9 years ago
    12. 44:29
      Breaking the x86 Instruction SetBlack Hat381K views • 9 years ago
    13. 45:55
      Ruby Conf 12 - Boundaries by Gary BernhardtConfreaks58K views • 13 years ago
    14. 43:31
      Analyzing Programs with Z3Compose Conference24K views • 10 years ago
    15. 44:35
      Object-Oriented Programming is BadBrian Will2.6M views • 10 years ago
    16. 40:55
      "Controlling Time and Space: understanding the many formulations of FRP" by Evan CzaplickiStrange Loop Conference69K views • 12 years ago
    17. 1:03:55
      🚀 TDD, Where Did It All Go Wrong (Ian Cooper)DevTernity Conference619K views • 8 years ago
    18. 39:40
      "Type-Driven Program Synthesis" by Nadia PolikarpovaStrange Loop Conference15K views • 8 years ago
    19. 59:50
      Leslie Lamport: Thinking Above the CodeMicrosoft Research403K views • 12 years ago
    20. 59:23
      28c3: The Science of Insecurity28c342K views • 14 years ago

    4 comments from Hacker News

    1. @ParetoOptimalApr 2023· in “Modeling Git Internals in Alloy, Part 2: Commits and Tags”

      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?

      Strongly recommendsView on HN
    2. @hwayneOct 2019· in “Alloy is a language for describing structures and a tool for exploring them”

      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)

      Strongly recommendsView on HN
    3. @kilotarasApr 2020· in “Show HN: A basketball hoop to maximize shots that go in [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

      RecommendsView on HN
    4. @_andrei_Oct 2023· in “Modeling CRDTs in Alloy – the importance of idempotence”

      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

      RecommendsView on HN