Noughts & Crosses: Computing with Product Types [Intro to HoTT, No. 5, Part 3]

Поділитися
Вставка
  • Опубліковано 25 лис 2024

КОМЕНТАРІ • 3

  • @SoteriosXI
    @SoteriosXI 6 місяців тому +10

    I F***ING LOVE PRODUCT TYPES WOOOOOOOO

  • @quantumsoul3495
    @quantumsoul3495 6 місяців тому +1

    Lmao I watched part 2 yesterday

Наступне
Автоматичне відтворення
Mechanics, or Magic?: STLC and Propositional Logic [Intro to HoTT, No. 6, Part 0]20:24Mechanics, or Magic?: STLC and Propositional Logic [Intro to HoTT, No. 6, Part 0]
Mechanics, or Magic?: STLC and Propositional Logic [Intro to HoTT, No. 6, Part 0]jacobneu
Переглядів 499
Three for One: Logic Interpretation [Intro to HoTT, No. 1, Part 3]24:11Three for One: Logic Interpretation [Intro to HoTT, No. 1, Part 3]
Three for One: Logic Interpretation [Intro to HoTT, No. 1, Part 3]jacobneu
Переглядів 3,2 тис.
Eliminating Run-Time Errors with Agda - Computerphile18:37Eliminating Run-Time Errors with Agda - Computerphile
Eliminating Run-Time Errors with Agda - ComputerphileComputerphile
Переглядів 65 тис.
Президент відвідав українських воїнів, які проходять лікування в госпіталі00:11Президент відвідав українських воїнів, які проходять лікування в госпіталі
Президент відвідав українських воїнів, які проходять лікування в госпіталіЗе!Президент
Переглядів 135 тис.
Players push long pins through a cardboard box attempting to pop the balloon!00:31Players push long pins through a cardboard box attempting to pop the balloon!
Players push long pins through a cardboard box attempting to pop the balloon!Daily Viral Brief
Переглядів 32 млн
Mix the spurious with the genuine #joker #cosplay#Harriet Quinn00:33Mix the spurious with the genuine #joker #cosplay#Harriet Quinn
Mix the spurious with the genuine #joker #cosplay#Harriet Quinn佐助与鸣人
Переглядів 30 млн
Jake Paul vs. Mike Tyson FIGHT HIGHLIGHTS 🥊 | ESPN Ringside02:35Jake Paul vs. Mike Tyson FIGHT HIGHLIGHTS 🥊 | ESPN Ringside
Jake Paul vs. Mike Tyson FIGHT HIGHLIGHTS 🥊 | ESPN RingsideESPN
Переглядів 34 млн
Noughts & Crosses: Cartesian Product [Intro to HoTT, No. 5, Part 1]8:09Noughts & Crosses: Cartesian Product [Intro to HoTT, No. 5, Part 1]
Noughts & Crosses: Cartesian Product [Intro to HoTT, No. 5, Part 1]jacobneu
Переглядів 809
Logic & Lambdas: Context Extension [Intro to HoTT, No. 4, Part 1]16:00Logic & Lambdas: Context Extension [Intro to HoTT, No. 4, Part 1]
Logic & Lambdas: Context Extension [Intro to HoTT, No. 4, Part 1]jacobneu
Переглядів 1,1 тис.
Propositions as Types - Computerphile17:46Propositions as Types - Computerphile
Propositions as Types - ComputerphileComputerphile
Переглядів 99 тис.
3 01 A Functional Programmer's Guide to Homotopy Type Theory1:00:353 01 A Functional Programmer's Guide to Homotopy Type Theory
3 01 A Functional Programmer's Guide to Homotopy Type TheoryICFP Video
Переглядів 24 тис.
What P vs NP is actually about17:58What P vs NP is actually about
What P vs NP is actually aboutPolylog
Переглядів 133 тис.
Booleans in HoTT: Putting Bool to Use [Intro to HoTT, No. 3, Part 1]19:57Booleans in HoTT: Putting Bool to Use [Intro to HoTT, No. 3, Part 1]
Booleans in HoTT: Putting Bool to Use [Intro to HoTT, No. 3, Part 1]jacobneu
Переглядів 1,4 тис.
Logic & Lambdas: Constructive Modus Ponens [Intro to HoTT, No. 4, Part 0]17:50Logic & Lambdas: Constructive Modus Ponens [Intro to HoTT, No. 4, Part 0]
Logic & Lambdas: Constructive Modus Ponens [Intro to HoTT, No. 4, Part 0]jacobneu
Переглядів 1,5 тис.
What is...homotopy type theory?14:41What is...homotopy type theory?
What is...homotopy type theory?VisualMath
Переглядів 6 тис.
Noughts & Crosses: Set Interpretation [Intro to HoTT, No. 5, Part 0]14:52Noughts & Crosses: Set Interpretation [Intro to HoTT, No. 5, Part 0]
Noughts & Crosses: Set Interpretation [Intro to HoTT, No. 5, Part 0]jacobneu
Переглядів 1,1 тис.
БУНКЕР в реальной жизни !**Братишкин , Дипинс , Амина , Генсуха, Сударь, Монтажник, Гуакамоле**1:29:43БУНКЕР в реальной жизни !**Братишкин , Дипинс , Амина , Генсуха, Сударь, Монтажник, Гуакамоле**
БУНКЕР в реальной жизни !**Братишкин , Дипинс , Амина , Генсуха, Сударь, Монтажник, Гуакамоле**ЯЯНА
Переглядів 3,9 млн
ПОДРАЛСЯ С БРАТОМ (Смешное видео, юмор, приколы, поржать )00:59ПОДРАЛСЯ С БРАТОМ (Смешное видео, юмор, приколы, поржать )
ПОДРАЛСЯ С БРАТОМ (Смешное видео, юмор, приколы, поржать )Натурал Альбертович
Переглядів 2,6 млн
Players push long pins through a cardboard box attempting to pop the balloon!00:31Players push long pins through a cardboard box attempting to pop the balloon!
Players push long pins through a cardboard box attempting to pop the balloon!Daily Viral Brief
Переглядів 32 млн
ГОНКА на ВЕСЬ АВТОПАРК! ВЕНГАЛБИ vs ТАМАЕВ1:08:09ГОНКА на ВЕСЬ АВТОПАРК! ВЕНГАЛБИ vs ТАМАЕВ
ГОНКА на ВЕСЬ АВТОПАРК! ВЕНГАЛБИ vs ТАМАЕВАсхаб Тамаев
Переглядів 3,5 млн
💔«Закінчується відчуття радості та щастя» #конкурентtv #новини #новинисьогодні00:20💔«Закінчується відчуття радості та щастя» #конкурентtv #новини #новинисьогодні
💔«Закінчується відчуття радості та щастя» #конкурентtv #новини #новинисьогодніТелеканал Конкурент TV - новини Луцька та Волині
Переглядів 903 тис.
From Small To Giant 0%🍫 VS 100%🍫 #katebrush #shorts #gummy00:19From Small To Giant 0%🍫 VS 100%🍫 #katebrush #shorts #gummy
From Small To Giant 0%🍫 VS 100%🍫 #katebrush #shorts #gummyKate Brush
Переглядів 8 млн
СТАЛКЕР 2 ВЫШЕЛ ➤ STALKER 2: Heart of Chornobyl ◉ Прохождение 14:46:15СТАЛКЕР 2 ВЫШЕЛ ➤ STALKER 2: Heart of Chornobyl ◉ Прохождение 1
СТАЛКЕР 2 ВЫШЕЛ ➤ STALKER 2: Heart of Chornobyl ◉ Прохождение 1TheGideonGames
Переглядів 901 тис.
Chico, Qatoshi & paashee - Акація02:45Chico, Qatoshi & paashee - Акація
Chico, Qatoshi & paashee - АкаціяNaprocente
Переглядів 634 тис.