[Berkeley Seminar] Evan Patterson: Collaborative modeling with domain-specific categorical logics

Поділитися
Вставка
  • Опубліковано 27 січ 2025

КОМЕНТАРІ •

Наступне
Автоматичне відтворення
[Berkeley Seminar] David Espinosa: Monad translations compose57:23[Berkeley Seminar] David Espinosa: Monad translations compose
[Berkeley Seminar] David Espinosa: Monad translations composeTopos Institute
Переглядів 315
[Berkeley Seminar] Kris Brown: Categorical approaches to inferentialist semantics1:01:27[Berkeley Seminar] Kris Brown: Categorical approaches to inferentialist semantics
[Berkeley Seminar] Kris Brown: Categorical approaches to inferentialist semanticsTopos Institute
Переглядів 945
Jason Gross: "Compact Proofs: Measuring Quality of Understanding with a Compression-Based Metric"59:41Jason Gross: "Compact Proofs: Measuring Quality of Understanding with a Compression-Based Metric"
Jason Gross: "Compact Proofs: Measuring Quality of Understanding with a Compression-Based Metric"Topos Institute
Переглядів 314
СОЛДАТ КНДР: ВТЕЧА/ВІЙНА В УКРАЇНІ/10 РОКІВ ШПИГУВАВ У ПІВНІЧНІЙ КОРЕЇ/ТОРГУЮТЬ НАРКОТИКАМИ І ЗБРОЄЮ39:11СОЛДАТ КНДР: ВТЕЧА/ВІЙНА В УКРАЇНІ/10 РОКІВ ШПИГУВАВ У ПІВНІЧНІЙ КОРЕЇ/ТОРГУЮТЬ НАРКОТИКАМИ І ЗБРОЄЮ
СОЛДАТ КНДР: ВТЕЧА/ВІЙНА В УКРАЇНІ/10 РОКІВ ШПИГУВАВ У ПІВНІЧНІЙ КОРЕЇ/ТОРГУЮТЬ НАРКОТИКАМИ І ЗБРОЄЮPRESSING
Переглядів 431 тис.
ШАЛОСТЬ (смешное видео, приколы, юмор, поржать)00:59ШАЛОСТЬ (смешное видео, приколы, юмор, поржать)
ШАЛОСТЬ (смешное видео, приколы, юмор, поржать)Натурал Альбертович
Переглядів 1,9 млн
УГАДАЙ КОНТЕЙНЕР - ЗАБЕРИ ТАЧКУ! Новогодний выпуск!1:34:52УГАДАЙ КОНТЕЙНЕР - ЗАБЕРИ ТАЧКУ! Новогодний выпуск!
УГАДАЙ КОНТЕЙНЕР - ЗАБЕРИ ТАЧКУ! Новогодний выпуск!Жекич Дубровский
Переглядів 2,9 млн
Ветеран війни отримав гроші на житло00:28Ветеран війни отримав гроші на житло
Ветеран війни отримав гроші на житлоСуспільне Полтава
Переглядів 233 тис.
Evolution of software architecture with the co-creator of UML (Grady Booch)1:30:43Evolution of software architecture with the co-creator of UML (Grady Booch)
Evolution of software architecture with the co-creator of UML (Grady Booch)The Pragmatic Engineer
Переглядів 118 тис.
Category theory (2022-23): Lecture 11:27:21Category theory (2022-23): Lecture 1
Category theory (2022-23): Lecture 1Alex Simpson
Переглядів 8 тис.
[Berkeley Seminar] Sam Vandervelde: Where is the middle of a Fibonacci sequence?59:30[Berkeley Seminar] Sam Vandervelde: Where is the middle of a Fibonacci sequence?
[Berkeley Seminar] Sam Vandervelde: Where is the middle of a Fibonacci sequence?Topos Institute
Переглядів 473
Applied Category Theory • Ken Scambler • YOW! 201924:51Applied Category Theory • Ken Scambler • YOW! 2019
Applied Category Theory • Ken Scambler • YOW! 2019GOTO Conferences
Переглядів 5 тис.
[Berkeley Seminar] Shaowei Lin: Safety by Shared Synthesis58:45[Berkeley Seminar] Shaowei Lin: Safety by Shared Synthesis
[Berkeley Seminar] Shaowei Lin: Safety by Shared SynthesisTopos Institute
Переглядів 177
NVIDIA CEO Jensen Huang's Vision for Your Future1:03:03NVIDIA CEO Jensen Huang's Vision for Your Future
NVIDIA CEO Jensen Huang's Vision for Your FutureCleo Abram
Переглядів 179 тис.
Arezoo Islami: "Unravelling the 'Unreasonable Effectiveness' of Mathematics"1:25:45Arezoo Islami: "Unravelling the 'Unreasonable Effectiveness' of Mathematics"
Arezoo Islami: "Unravelling the 'Unreasonable Effectiveness' of Mathematics"Topos Institute
Переглядів 854
[Berkeley Seminar] Owen Lynch: Stateful Lenses1:07:22[Berkeley Seminar] Owen Lynch: Stateful Lenses
[Berkeley Seminar] Owen Lynch: Stateful LensesTopos Institute
Переглядів 358
The Man Who Revolutionized Computer Science With Math7:50The Man Who Revolutionized Computer Science With Math
The Man Who Revolutionized Computer Science With MathQuanta Magazine
Переглядів 2,9 млн
Як азовська піхота прийняла групу розвідки вс рф? Зізнання окупантів і кадри з GoPro16:06Як азовська піхота прийняла групу розвідки вс рф? Зізнання окупантів і кадри з GoPro
Як азовська піхота прийняла групу розвідки вс рф? Зізнання окупантів і кадри з GoProАЗОВ
Переглядів 541 тис.
1% vs 100% #beatbox #tiktok01:101% vs 100% #beatbox #tiktok
1% vs 100% #beatbox #tiktokBeatboxJCOP
Переглядів 66 млн
#JasonDeruloTV // Funny #GotPermissionToPost From @SofiManassyan #SlowLow00:18#JasonDeruloTV // Funny #GotPermissionToPost From @SofiManassyan #SlowLow
#JasonDeruloTV // Funny #GotPermissionToPost From @SofiManassyan #SlowLowJason Derulo
Переглядів 14 млн
Cute Baby Ties Up Dad And Wants To Play With His Phone #funny #fatherhoodlove#cute#fatherhoodmoments00:19Cute Baby Ties Up Dad And Wants To Play With His Phone #funny #fatherhoodlove#cute#fatherhoodmoments
Cute Baby Ties Up Dad And Wants To Play With His Phone #funny #fatherhoodlove#cute#fatherhoodmomentsCute Baby Funny Video
Переглядів 4,3 млн
«Просив пробачення, що не уберіг Діму» - історія братів Василя Репчука і Дмитра Мурару #shorts00:47«Просив пробачення, що не уберіг Діму» — історія братів Василя Репчука і Дмитра Мурару #shorts
«Просив пробачення, що не уберіг Діму» - історія братів Василя Репчука і Дмитра Мурару #shortsПерший
Переглядів 364 тис.
The Security Guard Fell Into The Trap Of The Beauty #still #parkour #funny#skate00:24The Security Guard Fell Into The Trap Of The Beauty #still #parkour #funny#skate
The Security Guard Fell Into The Trap Of The Beauty #still #parkour #funny#skateFun Parkour Mr Wang
Переглядів 17 млн
до конца, там самая счастливая табалапка🐾🐾 #тикток #табалапка00:44до конца, там самая счастливая табалапка🐾🐾 #тикток #табалапка
до конца, там самая счастливая табалапка🐾🐾 #тикток #табалапкаMaryana Lokel
Переглядів 1,9 млн
Wall Rebound Challenge 🙈😱00:34Wall Rebound Challenge 🙈😱
Wall Rebound Challenge 🙈😱Celine Dept
Переглядів 23 млн