59:50Search results
- Category: Systems, Networks & Security
Results for “specification”
3 videos
59: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
What happens below an application determines how it performs and how it fails. These videos cover databases, operating systems, networks, distributed systems and security. They are suited to developers and operators investigating storage, reliability, infrastructure or the assumptions behind a security design.
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