John Leo: Dependent Types in GHC

Похожие видео

Judah Jacobson and Frederick Mayle: Haskell Bindings for TensorFlow

@rae: Update on Dependent Haskell

@rae: The monomorphism restriction in Haskell causes order dependency. Ack!

ШУЛЬМАН: новая мобилизация, уход Путина, смута. Чебурнет. Большое интервью / МОЖЕМ ОБЪЯСНИТЬ

Sandy Maguire: Don't Eff It Up: Free Monads in Action

Михаил Задорнов «Как КГБшник часы выбирал»

Комплексные числа: коротко и понятно – Алексей Савватеев | Лекции по математике | Научпоп

Сумеет ли Дуров обойти блокировку «Телеграма»?

АУДИО. Как звучал древнерусский язык? • Подкаст Arzamas о русском языке • s01e01

BayHac 2017

7 лучших инструментов для создания ИИ-агентов, которые действительно работают

Математик и черт

Разведчик о том, как использовать людей

Савватеев учится играть в шахматы: простые позиции, эндшпиль, этюд Рети

Комедийная короткометражка «Альтернативная математика» | Озвучка DeeAFilm

Самая простая нерешённая задача — гипотеза Коллатца [Veritasium]

СПАСЕТ ЛИ ПУТИНА ВОЙНА В ИРАНЕ? БЕСЕДА С ИГОРЕМ ЛИПСИЦЕМ @ИГОРЬ ЛИПСИЦ

Элементарные частицы, масса и гравитация | Физик Алексей Семихатов

Сети для несетевиков // OSI/ISO, IP и MAC, NAT, TCP и UDP, DNS

Новый китайский ИИ DuClaw сделал OpenClaw мгновенным и непобедимым.