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

Why HN readers recommended it

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

This is a summary from the source dataset, not an endorsement by Hacker News or the video creator.

Video & recommendation details

Creator / channel

Strange Loop Conference

Topic

formal modeling with alloy

Format

talk

Level

intermediate

HN recommenders in dataset

4

HN mentions in dataset

4

Recommendation years in dataset

2019–2023

These counts and years describe the included Hacker News records; they are not YouTube views or the video’s publication date.

From the original HN conversations

Excerpts from the recorded comments. Follow each source for the full comment and surrounding discussion.

• There was a fantastic talk at strangeloop this year on Alloy: [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 …

• I was exposed to alloy by this wonderful video: "Finding bugs without running or even looking at code" by Jay Parlar [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 …

• 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] [VIDEO]