Про текстовые редакторы, инструменты, вечно поломанный автомобиль и суть Emacs.
Ресурсы:
- Literate Devops with Emacs https://www.youtube.com/watch?v=dljNabciEGg
- Мой конфиг https://github.com/freetonik/emacs-dotfiles
- Мой подкаст про Emacs https://emacscast.org/
———
Вы можете поддержать подкаст на Patreon → https://www.patreon.com/freetonik
Плейлист
Мысли и методы
Как забыть почти обо всём и писать веб-приложения в платоническом вакууме (почти).
Спонсор выпуска — компания 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
Вы будете получать вы...