Lean Together 2024: Joe Hendrix, Lean Standard Library 2024

  Рет қаралды 454

leanprover community

leanprover community

Күн бұрын

Пікірлер
Lean Together 2024: David Thrane Christiansen, Verso: Documentation as a DSL
33:01
Lean Together 2024: David Thrane Christiansen, Verso: Documentation as a DSL
leanprover community
Рет қаралды 990
The moment we stopped understanding AI [AlexNet]
17:38
The moment we stopped understanding AI [AlexNet]
Welch Labs
Рет қаралды 863 М.
На Каху наехали #непосредственнокаха
00:53
На Каху наехали #непосредственнокаха
К-Media
Рет қаралды 14 МЛН
This is not my neighbor Terrible neighbor! #funny #zoonomaly #memes
00:26
This is not my neighbor Terrible neighbor! #funny #zoonomaly #memes
Watch Me
Рет қаралды 15 МЛН
НРАВИТСЯ ЭТОТ ФОРМАТ??
00:37
НРАВИТСЯ ЭТОТ ФОРМАТ??
МЯТНАЯ ФАНТА
Рет қаралды 8 МЛН
I'm Excited To see If Kelly Can Meet This Challenge!
00:16
I'm Excited To see If Kelly Can Meet This Challenge!
Mini Katana
Рет қаралды 31 МЛН
Creating Asynchronous Applications with Virtual Threads Venkat Subramaniam BackEnd
57:30
Creating Asynchronous Applications with Virtual Threads Venkat Subramaniam BackEnd
Developer Summit
Рет қаралды 5 М.
Lean Together 2024: Ramon Fernández Mir, CvxLean, modeling convex optimization problems in Lean
33:23
Lean Together 2024: Ramon Fernández Mir, CvxLean, modeling convex optimization problems in Lean
leanprover community
Рет қаралды 269
researcher accidentally finds 0-day affecting his entire internet service provider
29:02
researcher accidentally finds 0-day affecting his entire internet service provider
Low Level Learning
Рет қаралды 700 М.
Lean Together 2024: Jad Ghalayini, Explicit Refinement Types
29:59
Lean Together 2024: Jad Ghalayini, Explicit Refinement Types
leanprover community
Рет қаралды 436
Why Isn't Functional Programming the Norm? - Richard Feldman
46:09
Why Isn't Functional Programming the Norm? - Richard Feldman
Metosin
Рет қаралды 1,5 МЛН
Rust and RAII Memory Management - Computerphile
24:22
Rust and RAII Memory Management - Computerphile
Computerphile
Рет қаралды 222 М.
The software engineering industry in 2024: what changed in 2 years, why, and what is next
44:51
The software engineering industry in 2024: what changed in 2 years, why, and what is next
The Pragmatic Engineer
Рет қаралды 107 М.
Lean Together 2024: Joël Riou, Overview of Homology in Mathlib
29:35
Lean Together 2024: Joël Riou, Overview of Homology in Mathlib
leanprover community
Рет қаралды 148
Lean Together 2024: Kaiyu Yang, Large Language Models as Copilots for Theorem Proving in Lean
29:52
Lean Together 2024: Kaiyu Yang, Large Language Models as Copilots for Theorem Proving in Lean
leanprover community
Рет қаралды 696
Has Generative AI Already Peaked? - Computerphile
12:48
Has Generative AI Already Peaked? - Computerphile
Computerphile
Рет қаралды 927 М.
My iPhone 15 pro max 😱🫣😂
0:21
My iPhone 15 pro max 😱🫣😂
Nadir Show
Рет қаралды 1,9 МЛН
САМАЯ СТРАННАЯ МЫШКА ДЛЯ КИБЕРСПОРТА: МЫШЬ ДЛЯ КИБЕРСПОРТСМЕНОВ #cs2
0:27
САМАЯ СТРАННАЯ МЫШКА ДЛЯ КИБЕРСПОРТА: МЫШЬ ДЛЯ КИБЕРСПОРТСМЕНОВ #cs2
flaco
Рет қаралды 982 М.
Опасность фирменной зарядки Apple
0:57
Опасность фирменной зарядки Apple
SuperCrastan
Рет қаралды 12 МЛН
 14 Pro Max premium case white colour with metal camera ring free  heart case scratch proof 
0:50
 14 Pro Max premium case white colour with metal camera ring free  heart case scratch proof 
Rj Mobile 01
Рет қаралды 16 МЛН
Todos os modelos de smartphone
0:20
Todos os modelos de smartphone
Spider Slack
Рет қаралды 66 МЛН
I'll tell you who has the strongest iPad keyboard #ipadkeyboard 3ipadcase #typecase #ipad
0:24
I'll tell you who has the strongest iPad keyboard #ipadkeyboard 3ipadcase #typecase #ipad
Typecase
Рет қаралды 12 МЛН
Yanlışlıkla Telefonumu Parçaladım!😱
0:18
Yanlışlıkla Telefonumu Parçaladım!😱
Safak Novruz
Рет қаралды 2,9 МЛН