RustBelt: Logical Foundations for the Future of Safe Systems Programming

  Рет қаралды 8,692

Jane Street

Jane Street

Күн бұрын

Пікірлер
Unboxed Types for OCaml
47:18
Unboxed Types for OCaml
Jane Street
Рет қаралды 7 М.
Safe at Any Speed: Building a Performant, Safe, Maintainable Packet Processor
57:57
Safe at Any Speed: Building a Performant, Safe, Maintainable Packet Processor
Jane Street
Рет қаралды 8 М.
ТВОИ РОДИТЕЛИ И ЧЕЛОВЕК ПАУК 😂#shorts
00:59
ТВОИ РОДИТЕЛИ И ЧЕЛОВЕК ПАУК 😂#shorts
BATEK_OFFICIAL
Рет қаралды 6 МЛН
Симбу закрыли дома?! 🔒 #симба #симбочка #арти
00:41
Симбу закрыли дома?! 🔒 #симба #симбочка #арти
Симбочка Пимпочка
Рет қаралды 5 МЛН
Why no RONALDO?! 🤔⚽️
00:28
Why no RONALDO?! 🤔⚽️
Celine Dept
Рет қаралды 91 МЛН
一碗水真的能端平吗？不能也得能！#四小只吖 #日常 #搞笑 #搞笑家庭 #姐弟 #家庭生活
00:19
一碗水真的能端平吗？不能也得能！#四小只吖 #日常 #搞笑 #搞笑家庭 #姐弟 #家庭生活
四小只吖
Рет қаралды 7 МЛН
Is It Time to Rewrite the Operating System in Rust?
1:09:18
Is It Time to Rewrite the Operating System in Rust?
InfoQ
Рет қаралды 303 М.
Rust & Zig Combined • Richard Feldman • GOTO 2023
45:34
Rust & Zig Combined • Richard Feldman • GOTO 2023
GOTO Conferences
Рет қаралды 78 М.
"Type-Driven API Design in Rust" by Will Crichton
40:57
"Type-Driven API Design in Rust" by Will Crichton
Strange Loop Conference
Рет қаралды 125 М.
Types, and Why You Should Care
1:08:43
Types, and Why You Should Care
Jane Street
Рет қаралды 17 М.
Why It (Mostly) Doesn't Matter How You Code In Rust
22:57
Why It (Mostly) Doesn't Matter How You Code In Rust
Oliver Jumpertz
Рет қаралды 15 М.
All Rust features explained
21:30
All Rust features explained
Let's Get Rusty
Рет қаралды 323 М.
GothamGo 2018 - Things in Go I Never Use by Mat Ryer
24:53
GothamGo 2018 - Things in Go I Never Use by Mat Ryer
Nation Confrences
Рет қаралды 85 М.
Next Gen Networking Infrastructure with Rust
51:00
Next Gen Networking Infrastructure with Rust
InfoQ
Рет қаралды 18 М.
Rust's Journey to Async/Await
48:46
Rust's Journey to Async/Await
InfoQ
Рет қаралды 87 М.
System Jitter and Where to Find It: A Whack-a-Mole Experience
27:17
System Jitter and Where to Find It: A Whack-a-Mole Experience
Jane Street
Рет қаралды 14 М.
ТВОИ РОДИТЕЛИ И ЧЕЛОВЕК ПАУК 😂#shorts
00:59
ТВОИ РОДИТЕЛИ И ЧЕЛОВЕК ПАУК 😂#shorts
BATEK_OFFICIAL
Рет қаралды 6 МЛН