"Inside the Wizard Research Engine" by Ben L. Titzer

  Рет қаралды 2,912

Strange Loop Conference

Strange Loop Conference

Күн бұрын

Пікірлер
"Formal semantics for multi-language programs" by Amal Ahmed
40:23
"Formal semantics for multi-language programs" by Amal Ahmed
Strange Loop Conference
Рет қаралды 2,6 М.
"Concatenative programming and stack-based languages" by Douglas Creager
40:30
"Concatenative programming and stack-based languages" by Douglas Creager
Strange Loop Conference
Рет қаралды 15 М.
To Brawl AND BEYOND!
00:51
To Brawl AND BEYOND!
Brawl Stars
Рет қаралды 17 МЛН
伪装成一棵树整蛊妹妹，结果妹妹当场怀疑人生竟要揍我？【两只马儿-恶搞姐妹】
00:57
伪装成一棵树整蛊妹妹，结果妹妹当场怀疑人生竟要揍我？【两只马儿-恶搞姐妹】
两只马儿—恶搞姐妹
Рет қаралды 44 МЛН
Леон киллер и Оля Полякова 😹
00:42
Леон киллер и Оля Полякова 😹
Канал Смеха
Рет қаралды 4,7 МЛН
⚡Токаев ШОКИРОВАЛ Кремль! РАЗМАЗАЛ заявлением Путина #shorts
00:33
⚡Токаев ШОКИРОВАЛ Кремль! РАЗМАЗАЛ заявлением Путина #shorts
24 Канал
Рет қаралды 941 М.
"From Geometry to Algebra and Back Again: 4000 Years of Papers" by Jack Rusher
31:35
"From Geometry to Algebra and Back Again: 4000 Years of Papers" by Jack Rusher
Strange Loop Conference
Рет қаралды 22 М.
"Is my Large Language Model a Strange Loop?" by Zac Hatfield-Dodds (Strange Loop 2023)
39:37
"Is my Large Language Model a Strange Loop?" by Zac Hatfield-Dodds (Strange Loop 2023)
Strange Loop Conference
Рет қаралды 3,6 М.
Main Hall 06: Why is Functional Programming so hard?
37:44
Main Hall 06: Why is Functional Programming so hard?
DDD Melbourne
Рет қаралды 8 М.
Inside the Wizard Research Engine - Ben Titzer, Carnegie Mellon University
35:26
Inside the Wizard Research Engine - Ben Titzer, Carnegie Mellon University
The Linux Foundation
Рет қаралды 264
"Swift as C++ Successor in FoundationDB" by Konrad Malawski (Strange Loop 2023)
42:24
"Swift as C++ Successor in FoundationDB" by Konrad Malawski (Strange Loop 2023)
Strange Loop Conference
Рет қаралды 16 М.
"Simple Made Easy" - Rich Hickey (2011)
1:01:39
"Simple Made Easy" - Rich Hickey (2011)
Strange Loop Conference
Рет қаралды 108 М.
"Why Programming Languages Matter" by Andrew Black
56:39
"Why Programming Languages Matter" by Andrew Black
Strange Loop Conference
Рет қаралды 27 М.
"Supporting Data Journalism through Compilers for Visual Inputs" by Parker Ziegler
36:35
"Supporting Data Journalism through Compilers for Visual Inputs" by Parker Ziegler
Strange Loop Conference
Рет қаралды 3,6 М.
The Truth about Rust/WebAssembly Performance
29:47
The Truth about Rust/WebAssembly Performance
Greg Johnston
Рет қаралды 190 М.
The Return of Procedural Programming - Richard Feldman
52:53
The Return of Procedural Programming - Richard Feldman
ChariotSolutions
Рет қаралды 61 М.
To Brawl AND BEYOND!
00:51
To Brawl AND BEYOND!
Brawl Stars
Рет қаралды 17 МЛН