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
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