59:23Search results
- Category: Systems, Networks & Security
Results for “logic”
12 videos59:23
1:55:54
1:25:52
2:18:23cryptocurrency and nft critiqueDocumentary
Line Goes Up – The Problem With NFTs
Folding Ideas
12 HN recommenders
59:50
38:49reverse engineeringTalk
DEF CON 23 - Chris Domas - Repsych: Psychological Warfare in Reverse Engineering
DEFCONConference
4 HN recommenders
30:06formal specification with tla+Talk
"Tackling Concurrency Bugs with TLA+" by Hillel Wayne
Strange Loop Conference
3 HN recommenders
14:18airport securityExplainer
How to Design Impenetrable Airport Security
Wendover Productions
2 HN recommenders
56:03
58:37ada spark adoptionTalk
NVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)
AdaCore
1 HN recommender
49:45formally verified operating systemsTalk
seL4 Is Free – What Does This Mean For You?
Linux.conf.au 2015 -- Auckland, New Zealand
1 HN recommender
7:27logical clocksInterview
Lamport on writing "Time, Clocks, and the Ordering of Events in a Distributed System"
Turing Awardee Clips
1 HN recommender
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