Мысли и методы 37: Лямбда-исчисление и исходный код реальности
Давно ждал эту тему! Поговорим о Ньютоне, теории относительности, истине и моделях вычислимости. Перейдём от вопросов декларативного и императивного программирования к лямбда-исчислению и научному методу. Короткое практическое описание https://learnxinyminutes.com/docs/lam... Хорошее видео: Fundamentals of Lambda Calculus & Functional Programming in JavaScript • Lambda Calculus - Fundamentals of Lambda C... Другое хорошее видео :) • Lambda Calculus - Computerphile Ссылка на аудио → / episode_37 Вы можете поддержать подкаст на Patreon → / freetonik
▶︎
Мысли и методы 38: Ритуалы, упрощение и расширение сознания
▶︎
Теория алгоритмов: лямбда исчисления
▶︎
Мысли и методы 33: Алан Кей, ООП и клетки
▶︎
Лямбда-исчисление
▶︎
Лекция 1. С.Л. Кузнецов. Лямбда-исчисление
▶︎
1. Лямбда-исчисление
▶︎
Мысли и методы 47: Тайм-менеджмент, рабочие процессы и инструменты
▶︎
Главный навык 21 века! Как читать людей без слов и получать то, что хочешь?
▶︎
Gorodok - "Beauty Salon"
▶︎
Страшный ПРОГНОЗ на ИЮЛЬ 2026 напугал всех! Такого ещё не было никогда
▶︎
Что такое лямбда-исчисление? Душкин объяснит
▶︎
Исторический анекдот или встреча с ферматистом
▶︎
Лекция №11. Л.Д. Беклемишев. Модели лямбда-исчисления
▶︎
Device Searches 2026: What the FSB Looks for at the Border and How to Hide Your Data
▶︎
Шумерская табличка описывает Эдемский сад — за 1500 лет до Книги Бытия
▶︎
Андрей Миронов "Разговор актера с режиссером". Кинопанорама (1982)
▶︎
Мысли и методы 46: Типизация: статическая, динамическая, сильная, строгая, слабая
▶︎
Матлогика 32. Лямбда-исчисление
▶︎
Эти вырезанные сцены вы никогда не увидите в "Служебном романе"
▶︎