23 сентября 2019
43. Теория всего, ложь ООП и прелюдия к монаде
10
Форум! https://mimpod.discourse.group Начал подходить к теме монады через пространное описание теории категорий. О механизмах создания сложных систем из простых, о композиции и абстракции, о теории всего в математике и физике, и о том, почему кому-то может быть интересна теория категорий. Блог о теории категорий и программировании: https://bartoszmilewski.com/ ——— Вы можете поддержать подкаст на Patreon → https://www.patreon.com/freetonik
Плейлист
Хекслет
Какие темы программирования сложны новичкам? В первой части поговорим об инфраструктуре и практических аспектах. Во второй — о концептуальных. ——— Вы можете поддержать подкаст на Patreon → https://w...
06 апреля 2020
0
Спасибо вам!
31 декабря 2019
15
Поговорим про три невозможные штуки в информатике. - Проблема остановки - Теорема CAP - Задача двух генералов
19 декабря 2019
9
Вторая часть выпуска ответов на вопросы из топика на форуме: Хочется немного конкретизировать предыдущий вопрос - в частности, на примере ведения персональной базы знаний (если таковая имеется). Мне...
06 ноября 2019
10
Выпуск ответов на вопросы из топика на форуме (https://mimpod.discourse.group/t/topic/26): Пользуешься ли какими-нибудь time management техниками? (Maslakov) --- Как проходит твой рабочий процесс, ка...
05 ноября 2019
12
Что такое динамическая vs. статическая типизация. Что такое слабая и сильная (строгая) типизация. Почему эти свойства не связаны. Почему компилируемый язык не обязательно статически типизирован. И...
04 октября 2019
9
В чём разница между компилируемыми языками (например, C, C++), и интерпретируемыми языками (например, Python, JavaScript, Ruby). Причём тут Java и JVM. Почему JS мне показался "круче". Этот выпуск –...
03 октября 2019
13
На простом примере пытаемся понять моноид и монаду. ——— Вы можете поддержать подкаст на Patreon → https://www.patreon.com/freetonik
24 сентября 2019
8
Форум! https://mimpod.discourse.group Начал подходить к теме монады через пространное описание теории категорий. О механизмах создания сложных систем из простых, о композиции и абстракции, о теории в...
23 сентября 2019
10
По мотивам письма Антона: "Вот если человеческое сознание оцифруют и повместительней в некую матрицу, в которой все люди будут знать где они находятся и что они цифровые копии, как они себя будут вес...
20 августа 2019
14
Межсезонный выпуск. Рассказываю о планах на осень, о будущем сайте/форуме подкаста, и рекомендую книги. - The Three-Body Problem (trilogy) by Cixin Liu https://www.goodreads.com/book/show/40197001-th...
18 августа 2019
15
Юбилейный выпуск! Обзор разделов математики в контексте истории и информатики. Как связаны разные сферы, почему математика – скорее всего – язык вселенной, и в чем заключается основной парадокс. His...
01 июля 2019
14
Как обещал, немного отхожу от сугубо компьютерных тем и пробую поговорить о математике в чистом виде. Сегодня – глубинный смысл математического анализа, производных и интегралов, и почему Ньютон и Лей...
28 июня 2019
16
Размышляю о кофемолке, велосипеде и упрощении физических вещей. Потом анализирую результаты опроса слушателей и делюсь планами на следующий этап "Мыслей и методов". Вы можете поддержать подкаст на Pa...
23 июня 2019
19
Давно ждал эту тему! Поговорим о Ньютоне, теории относительности, истине и моделях вычислимости. Перейдём от вопросов декларативного и императивного программирования к лямбда-исчислению и научному мет...
19 июня 2019
11
Заключительный выпуск трехмесячного эксперимента. Спасибо за вашу поддержку! Если есть пара минут, заполните, пожалуйста, анонимный опрос → https://forms.gle/XnaNj8RfgvG2dWFa6 Хочу получше знать кт...
31 мая 2019
17
Рассуждаю о постоянстве в творческом процессе и Ш-образности людей, а потом отвечаю на письмо слушателя Андрея про природный процессор, свиноматок и паразитов. Мои office hours → https://rakhim.org/2...
29 мая 2019
12
Знакомимся с моделью вычислимости, основанной на свойствах квантовой физики и индетерминированности. Вы можете поддержать подкаст на Patreon → https://www.patreon.com/freetonik Вы будете получать вы...
27 мая 2019
11
Что такое объектно-ориентированное программирование? Почему объекты в современных ООП-языках не совсем похожи на то, что подразумевал изначально Алан Кей? И как можно переиспользовать природные вычисл...
16 мая 2019
10
Выпуск лирических отступлений. Советую странный фильм (https://www.imdb.com/title/tt0244290/), странную книгу (https://www.goodreads.com/book/show/331680.Programming_the_Universe) и делюсь размышления...
15 мая 2019
16
Обзор публикации Алана Тьюринга Computing Machinery and Intelligence (1950 год) https://www.csee.umbc.edu/courses/471/papers/turing.pdf Вы можете поддержать подкаст на Patreon → https://www.patreon.c...
29 апреля 2019
19
Перейдём от темы конечных автоматов к теме языков, совместимых с такими машинами, и откроем большую тему языков и грамматик в целом. Что такое язык? Что такое машина, обрабатывающая или генерирующая я...
19 апреля 2019
10
Рассмотрим одну из простых моделей вычислений, стоящей на несколько уровней ниже универсальной машины Тьюринга. Вы можете поддержать подкаст на Patreon → www.patreon.com/freetonik Вы будете получать...
12 апреля 2019
7
Выпуск свободного повествования. Отвечаю на комментарии Алексея Наумова и Влада Бокова. Вы можете поддержать подкаст на Patreon → www.patreon.com/freetonik Вы будете получать выпуски на несколько дн...
31 марта 2019
5
Заключительный эпизод из серии трёх выпусков о генетических алгоритмах и будущем. Доходим до уровня процессора. Почему в современных электронных компьютерах не получится делать "природный" биософт, и...
24 марта 2019
11
Второй эпизод из серии трёх выпусков о генетических алгоритмах и будущем. Сегодня – фантазии о биологическом софте который адаптируется под конкретного пользователя, мутирует, скрещивается и не боится...
15 марта 2019
7
Первый эпизод из серии трёх выпусков о том, почему вселенная работает круче, чем наши компьютеры, и почему природа решает проблемы лучше, чем генетические алгоритмы.
08 марта 2019
8
Начинаю эксперимент: 1. Подкаст переименован в "Мысли и методы". 2. В марте, апреле и мае 2019 выйдет по 4 выпуска в месяц. 3 обычных + 1 на свободные темы.
08 марта 2019
5
Отвечаю на несколько вопросов из https://ru.hexlet.io/blog/posts/podcast_questions_request
11 января 2019
18
Это второй выпуск в категории "2 книги + 2 фильма". Рекомендую две интересные книги и два интересных фильма. Прошлый такой выпуск был год назад (https://bit.ly/2SQC5Dq). Книга 1: Hyperion Cantos (Dan...
11 января 2019
10