"War Time Proofs and Futuristic Programs" by Valeria de Paiva

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

Strange Loop Conference

Strange Loop Conference

Күн бұрын

Пікірлер: 2
@RedneckPythagorean-ms9ox
@RedneckPythagorean-ms9ox Жыл бұрын
Beautiful mind. Important work! Thank you!
@valentinussofa4135
@valentinussofa4135 Жыл бұрын
Amazing👏 She is a legend.
"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 М.
"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 М.
БОЙКАЛАР| bayGUYS | 27 шығарылым
28:49
БОЙКАЛАР| bayGUYS | 27 шығарылым
bayGUYS
Рет қаралды 1,1 МЛН
GIANT Gummy Worm #shorts
0:42
GIANT Gummy Worm #shorts
Mr DegrEE
Рет қаралды 152 МЛН
Did She Really Cut Her Hair?!😅 I'm Not Surprised Why She Crafted A DIY Hairdresser! #shorts
0:46
Did She Really Cut Her Hair?!😅 I'm Not Surprised Why She Crafted A DIY Hairdresser! #shorts
Cool Tool Shorts
Рет қаралды 82 МЛН
ТРЕШЕРМЕН СТРИМДА 1 VS 1 ШЫҚТЫМ! ТРЕШЕРДІ ОЙЫНЫММЕН ТАН ҚАЛДЫРДЫМ
11:28
ТРЕШЕРМЕН СТРИМДА 1 VS 1 ШЫҚТЫМ! ТРЕШЕРДІ ОЙЫНЫММЕН ТАН ҚАЛДЫРДЫМ
EROOKA
Рет қаралды 89 М.
"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 М.
Valeria de Paiva: Natural Language Inference: for humans and machines
1:08:15
Valeria de Paiva: Natural Language Inference: for humans and machines
Topos Institute
Рет қаралды 488
"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 М.
50 years of Prolog: Becoming More Declarative - David S. Warren
49:56
50 years of Prolog: Becoming More Declarative - David S. Warren
Declarative Amsterdam
Рет қаралды 3,5 М.
"Inside the Wizard Research Engine" by Ben L. Titzer
44:12
"Inside the Wizard Research Engine" by Ben L. Titzer
Strange Loop Conference
Рет қаралды 2,9 М.
Category Theory for Neuroscience (pure math to combat scientific stagnation)
32:16
Category Theory for Neuroscience (pure math to combat scientific stagnation)
Astonishing Hypothesis
Рет қаралды 104 М.
"Oatmeal is Cheap: A Fundamental Theorem for Procedural Generators" by Younès Rabii
41:59
"Oatmeal is Cheap: A Fundamental Theorem for Procedural Generators" by Younès Rabii
Strange Loop Conference
Рет қаралды 6 М.
Jeremy Avigad: "Formal mathematics, dependent type theory, and the Topos Institute"
1:01:15
Jeremy Avigad: "Formal mathematics, dependent type theory, and the Topos Institute"
Topos Institute
Рет қаралды 2,6 М.
Limits of Logic: The Gödel Legacy
58:16
Limits of Logic: The Gödel Legacy
The Flame of Reason
Рет қаралды 210 М.
"Concatenative programming and stack-based languages" by Douglas Creager
40:30
"Concatenative programming and stack-based languages" by Douglas Creager
Strange Loop Conference
Рет қаралды 15 М.
БОЙКАЛАР| bayGUYS | 27 шығарылым
28:49
БОЙКАЛАР| bayGUYS | 27 шығарылым
bayGUYS
Рет қаралды 1,1 МЛН