Мысли и методы

Как забыть почти обо всём и писать веб-приложения в платоническом вакууме (почти). Спонсор выпуска — компания Selectel (https://selectel.ru/). У них можно в том числе развернуть serverless-функции :)...

Немного побурчал про простые, очевидные, но несуществующие вещи. ——— Вы можете поддержать подкаст на Patreon → https://www.patreon.com/freetonik

Расширяемость языка программирования зависит от двух аспектов: расширяемости типов и расширяемости операций. The Expression Problem описывает сложность в одновременной реализации этих двух требований....

Давно обещанный выпуск про пару игр, которые мне понравились :) Выпуск со свежими книжными и фильмовыми рекомендациями на подходе. ——— Вы можете поддержать подкаст на Patreon → https://www.patreon.c...

Про расширения, Org mode и как я использую его для публикации контента. Ресурсы: - Org mode https://orgmode.org/ - Org mode tutorial https://orgmode.org/worg/org-tutorials/orgtutorial_dto.html - Ema...

Про текстовые редакторы, инструменты, вечно поломанный автомобиль и суть Emacs. Ресурсы: - Literate Devops with Emacs https://www.youtube.com/watch?v=dljNabciEGg - Мой конфиг https://github.com/free...

Вторая часть: реализация, эволюция, настоящее и будущее LISP. ——— Вы можете поддержать подкаст на Patreon → https://www.patreon.com/freetonik

Первая из двух частей рассказа об истории LISP. ——— Вы можете поддержать подкаст на Patreon → https://www.patreon.com/freetonik

Короткий научно-фантастический рассказ "Модель согласованности". Автор, голос: Рахим Давлеткалиев. Музыка: Ross Bugden - The Wasteland Хельсинки, Финляндия, 2020. ——— Вы можете поддержать подкас...

Как обещал в последнем выпуске, делюсь описанием фантазийного языка программирования для новичков. ——— Вы можете поддержать подкаст на Patreon → https://www.patreon.com/freetonik

Какие темы программирования сложны новичкам? Рекурсия, замыкания и ООП? А как насчет переменных? Или просто return у функции? ——— Вы можете поддержать подкаст на Patreon → https://www.patreon.com/fr...

Какие темы программирования сложны новичкам? В первой части поговорим об инфраструктуре и практических аспектах. Во второй — о концептуальных. ——— Вы можете поддержать подкаст на Patreon → https://w...

В самом широком, жизненном смысле — "что делать?". Почему этот вопрос имеет смысл? Почему не "в чем смысл жизни?". Почему не "как быть счастливым?". И если что-то делать, то как понять что? Как плыть...

Спасибо вам!

Поговорим про три невозможные штуки в информатике. - Проблема остановки - Теорема CAP - Задача двух генералов

Вторая часть выпуска ответов на вопросы из топика на форуме: Хочется немного конкретизировать предыдущий вопрос - в частности, на примере ведения персональной базы знаний (если таковая имеется). Мне...

Выпуск ответов на вопросы из топика на форуме (https://mimpod.discourse.group/t/topic/26): Пользуешься ли какими-нибудь time management техниками? (Maslakov) --- Как проходит твой рабочий процесс, ка...

Что такое динамическая vs. статическая типизация. Что такое слабая и сильная (строгая) типизация. Почему эти свойства не связаны. Почему компилируемый язык не обязательно статически типизирован. И...

В чём разница между компилируемыми языками (например, C, C++), и интерпретируемыми языками (например, Python, JavaScript, Ruby). Причём тут Java и JVM. Почему JS мне показался "круче". Этот выпуск –...

На простом примере пытаемся понять моноид и монаду. ——— Вы можете поддержать подкаст на Patreon → https://www.patreon.com/freetonik

Форум! https://mimpod.discourse.group Начал подходить к теме монады через пространное описание теории категорий. О механизмах создания сложных систем из простых, о композиции и абстракции, о теории в...

По мотивам письма Антона: "Вот если человеческое сознание оцифруют и повместительней в некую матрицу, в которой все люди будут знать где они находятся и что они цифровые копии, как они себя будут вес...

Межсезонный выпуск. Рассказываю о планах на осень, о будущем сайте/форуме подкаста, и рекомендую книги. - The Three-Body Problem (trilogy) by Cixin Liu https://www.goodreads.com/book/show/40197001-th...

Юбилейный выпуск! Обзор разделов математики в контексте истории и информатики. Как связаны разные сферы, почему математика – скорее всего – язык вселенной, и в чем заключается основной парадокс. His...

Как обещал, немного отхожу от сугубо компьютерных тем и пробую поговорить о математике в чистом виде. Сегодня – глубинный смысл математического анализа, производных и интегралов, и почему Ньютон и Лей...

Размышляю о кофемолке, велосипеде и упрощении физических вещей. Потом анализирую результаты опроса слушателей и делюсь планами на следующий этап "Мыслей и методов". Вы можете поддержать подкаст на Pa...

Давно ждал эту тему! Поговорим о Ньютоне, теории относительности, истине и моделях вычислимости. Перейдём от вопросов декларативного и императивного программирования к лямбда-исчислению и научному мет...

Заключительный выпуск трехмесячного эксперимента. Спасибо за вашу поддержку! Если есть пара минут, заполните, пожалуйста, анонимный опрос → https://forms.gle/XnaNj8RfgvG2dWFa6 Хочу получше знать кт...

Рассуждаю о постоянстве в творческом процессе и Ш-образности людей, а потом отвечаю на письмо слушателя Андрея про природный процессор, свиноматок и паразитов. Мои office hours → https://rakhim.org/2...

Знакомимся с моделью вычислимости, основанной на свойствах квантовой физики и индетерминированности. Вы можете поддержать подкаст на Patreon → https://www.patreon.com/freetonik Вы будете получать вы...