Types, and Why You Should Care

  Рет қаралды 17,985

Jane Street

Jane Street

Күн бұрын

Пікірлер
Curriculum Design as an Engineering Problem: Lessons from the Field
1:10:18
Curriculum Design as an Engineering Problem: Lessons from the Field
Jane Street
Рет қаралды 6 М.
Unboxed Types for OCaml
47:18
Unboxed Types for OCaml
Jane Street
Рет қаралды 7 М.
The Best Band 😅 #toshleh #viralshort
00:11
The Best Band 😅 #toshleh #viralshort
Toshleh
Рет қаралды 22 МЛН
coco在求救？ #小丑 #天使 #shorts
00:29
coco在求救？ #小丑 #天使 #shorts
好人小丑
Рет қаралды 120 МЛН
Little Coco was manipulated, and the kind-hearted Harley Quinn saved everyone #Joker #HarleyQuinn
00:57
Little Coco was manipulated, and the kind-hearted Harley Quinn saved everyone #Joker #HarleyQuinn
超人夫妇
Рет қаралды 60 МЛН
Cool Items!🥰 New Gadgets, Smart Appliances, Kitchen Tools Utensils, Home Cleaning, Beauty #shorts
00:40
Cool Items!🥰 New Gadgets, Smart Appliances, Kitchen Tools Utensils, Home Cleaning, Beauty #shorts
Cool Items Official
Рет қаралды 75 МЛН
Jane and the Compiler
1:03:46
Jane and the Compiler
Jane Street
Рет қаралды 13 М.
Keynote: Advent of Code, Behind the Scenes - Eric Wastl
46:01
Keynote: Advent of Code, Behind the Scenes - Eric Wastl
CppNorth
Рет қаралды 35 М.
Rant: Entity systems and the Rust borrow checker ... or something.
1:01:51
Rant: Entity systems and the Rust borrow checker ... or something.
Jonathan Blow
Рет қаралды 246 М.
Why OCaml
1:06:40
Why OCaml
Jane Street
Рет қаралды 126 М.
Outliers: Why Some People Succeed and Some Don't
1:16:05
Outliers: Why Some People Succeed and Some Don't
Microsoft Research
Рет қаралды 3,2 МЛН
RustBelt: Logical Foundations for the Future of Safe Systems Programming
1:06:00
RustBelt: Logical Foundations for the Future of Safe Systems Programming
Jane Street
Рет қаралды 9 М.
uv: An Extremely Fast Python Package Manager
40:34
uv: An Extremely Fast Python Package Manager
Jane Street
Рет қаралды 70 М.
"Propositions as Types" by Philip Wadler
42:43
"Propositions as Types" by Philip Wadler
Strange Loop Conference
Рет қаралды 131 М.
OCaml for Fun & Profit: An Experience Report • Tim McGilchrist • YOW! 2023
45:42
OCaml for Fun & Profit: An Experience Report • Tim McGilchrist • YOW! 2023
GOTO Conferences
Рет қаралды 8 М.
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 М.
The Best Band 😅 #toshleh #viralshort
00:11
The Best Band 😅 #toshleh #viralshort
Toshleh
Рет қаралды 22 МЛН