1:02:50Search results
- Category: Systems, Networks & Security
Results for “language design”
19 videos1:02:50
41:06unison programming languageTalk
"Unison: a new distributed programming language" by Paul Chiusano
Strange Loop Conference
7 HN recommenders
42:34actor modelInterview
Hewitt, Meijer and Szyperski: The Actor Model (everything you wanted to know...)
jasonofthel33t
5 HN recommenders
52:29declarative distributed programmingTalk
"I See What You Mean" by Peter Alvaro
Strange Loop Conference
6 HN recommenders
1:26:02rack-scale server designTalk
Stanford Seminar - The Soul of a New Machine: Rethinking the Computer
Stanford Online
3 HN recommenders
40:56dynamic features in c and unixTalk
"Liberating the Smalltalk lurking in C and Unix" by Stephen Kell
Strange Loop Conference
2 HN recommenders
42:24swift c++ interoperabilityTalk
"Swift as C++ Successor in FoundationDB" by Konrad Malawski (Strange Loop 2023)
Strange Loop Conference
3 HN recommenders
30:06formal specification with tla+Talk
"Tackling Concurrency Bugs with TLA+" by Hillel Wayne
Strange Loop Conference
3 HN recommenders
1:22:21swift c++ interoperabilityTalk
Introducing a Memory-Safe Successor Language in Large C++ Code Bases - John McCall - CppNow 2023
CppNow
3 HN recommenders
1:01:45programming language paradigmsTalk
Four Languages from Forty Years Ago - Scott Wlaschin
NDC Conferences
2 HN recommenders
56:03
48:30
9:58
31:38sans-io protocol librariesTalk
Cory Benfield - Building Protocol Libraries The Right Way - PyCon 2016
PyCon 2016
2 HN recommenders
42:31functional query languagesTalk
"Datafun: a functional query language" by Michael Arntzenius
Strange Loop Conference
2 HN recommenders
15:52kOS minimal operating systemTalk
Geo Carncross: How to program computers (kos)
Justin Cormack
2 HN recommenders
58:37ada spark adoptionTalk
NVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)
AdaCore
1 HN recommender
38:43
1:08:52Sources 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