59:50Search results
- Category: Systems, Networks & Security
Results for “specification”
3 videos59:50
30:06formal specification with tla+Talk
"Tackling Concurrency Bugs with TLA+" by Hillel Wayne
Strange Loop Conference
3 HN recommenders
8:16pdf javascript hacksTalk
!!Con 2020 - Playing Breakout… inside a PDF!! by Omar Rizwan
!!Con
Discussed on HN
Sources and selection
Videos shared and discussed on Hacker News, with original community evidence and topic labels.
Indie Picks is organized from video metadata and uploader descriptions; it is not a full-video editorial review. HN Library retains community discussions. Sources and data notes