58:37NVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)
AdaCore
1 HN recommender
Programming language design
Programming language design: language semantics, type systems, type theory, syntax, language features, Jai, Haskell type classes, Rust design, language history, why languages succeed or fail.
- Topic: Programming language design
Results for “software security”
1 video58:37Sources and selection
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