PLUG talk - linear types and runtime performance

Idris 2: Quantitative Types in Action - Edwin Brady

Linear Types – Constantine Ter-Matevosian

(Не)надежные генераторы случайных чисел в С++

Boilerplate-free servers using lenses (MSP 101)

Ошибки наследования

A tour of linear types and linear base by Divesh Otwani

Теренс Тао о том, как Григорий Перельман решил гипотезу Пуанкаре | Лекс Фридман

Принц Персии: разбираем код гениальной игры, вытирая слезы счастья

[IWACO24] Modular Borrowing Without Ownership or Linear Types

БЕЛЫЕ СПИСКИ: какой VPN-протокол справится? Сравниваю все

Программирование с использованием математики | Лямбда-исчисление

Что такое "Reverse Engineering". Показываю как ломают софт.

Dependent Type Driven Program Synthesis in Idris | Edwin Brady | Code Mesh V 2020

ATS: Why Linear Types are the Future of Systems Programming

Парадокс разгибания кривой доски

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

Computer Science ∩ Mathematics (Type Theory) - Computerphile

Building a Typechecker from scratch [1/20] Introduction to Type theory and checking

The hidden superpowers of linear types: how linear types control the future and prevent bugs

Как мозг слышит ритм: тайна трёхсекундного окна