Software & Languages

Page 11 of 41

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

    Strange Loop ConferenceLength: 40 minutesLogic & formal methods

    In briefJay 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.

  2. Who Destroyed Three Mile Island? - Nickolas Means | The Lead Developer Austin 2018

    LeadDevLength: 37 minutesSoftware practice, open source & careers

    In briefNickolas Means recounts the 1979 Three Mile Island accident minute by minute, from the control rod insertion to the operator's decision to switch off emergency cooling. He argues that finding systemic causes is more useful than blaming individuals.

  3. Debt Metaphor

    Ward CunninghamLength: 5 minutesSoftware architecture & design

    In briefWard Cunningham explains the history and intent of the debt metaphor, which he coined while refactoring the WyCash product. He says debt means code reflecting an incomplete understanding of the problem, not sloppy programming.