Мысли и методы
Rásarupplýsingar
Мысли и методы
Научно-образовательный подкаст о программировании, математике, вселенной и вычислимости. (До 24 выпуска подкаст выходил под брендом "Хекслет")
Nýlegir þættir
63 þættir
63. Serverless: платонический код
Как забыть почти обо всём и писать веб-приложения в платоническом вакууме (почти).
Спонсор выпуска — компания Selectel (https://selectel....
62. Чего у нас нет в 2020 году
Немного побурчал про простые, очевидные, но несуществующие вещи.
———
Вы можете поддержать подкаст на Patreon → https://www.p...
61. Проблема выражения (The Expression Problem)
Расширяемость языка программирования зависит от двух аспектов: расширяемости типов и расширяемости операций. The Expression Problem описывает сложност...
60. Владение, регресс и PS4 игры
Давно обещанный выпуск про пару игр, которые мне понравились :) Выпуск со свежими книжными и фильмовыми рекомендациями на подходе.
———
59. Emacs, часть 2
Про расширения, Org mode и как я использую его для публикации контента.
Ресурсы:
- Org mode https://orgmode.org/
- Org...
58. Emacs, часть 1
Про текстовые редакторы, инструменты, вечно поломанный автомобиль и суть Emacs.
Ресурсы:
- Literate Devops with Emacs https:...
57. История LISP, часть 2
Вторая часть: реализация, эволюция, настоящее и будущее LISP.
———
Вы можете поддержать подкаст на Patreon → https://www.patr...
56. История LISP, часть 1
Первая из двух частей рассказа об истории LISP.
———
Вы можете поддержать подкаст на Patreon → https://www.patreon.com/freeto...
55. "Модель согласованности" (рассказ)
Короткий научно-фантастический рассказ "Модель согласованности".
Автор, голос: Рахим Давлеткалиев.
Музыка: Ross Bugden - Th...
54. Как может выглядеть язык для новичков
Как обещал в последнем выпуске, делюсь описанием фантазийного языка программирования для новичков.
———
Вы можете поддержать...
53. Неочевидные сложности новичков, часть 2
Какие темы программирования сложны новичкам? Рекурсия, замыкания и ООП? А как насчет переменных? Или просто return у функции?
———
<...
52. Неочевидные сложности новичков, часть 1
Какие темы программирования сложны новичкам? В первой части поговорим об инфраструктуре и практических аспектах. Во второй — о концептуальных.
<...
51. Что делать?
В самом широком, жизненном смысле — "что делать?". Почему этот вопрос имеет смысл? Почему не "в чем смысл жизни?". Почему не "как быть счастливым?".
49. Невозможности: проблема остановки, теорема CAP и задача двух генералов
Поговорим про три невозможные штуки в информатике.
- Проблема остановки
- Теорема CAP
- Задача двух генералов
48. База знаний, рюкзаки и файлы
Вторая часть выпуска ответов на вопросы из топика на форуме:
Хочется немного конкретизировать предыдущий вопрос - в частности, на примере...
47. Тайм-менеджмент, рабочие процессы и инструменты
Выпуск ответов на вопросы из топика на форуме (https://mimpod.discourse.group/t/topic/26):
Пользуешься ли какими-нибудь time management т...
46. Типизация: статическая, динамическая, сильная, строгая, слабая
Что такое динамическая vs. статическая типизация. Что такое слабая и сильная (строгая) типизация. Почему эти свойства не связаны.
Почему...
45. Компиляция, интерпретация и подводка к типам
В чём разница между компилируемыми языками (например, C, C++), и интерпретируемыми языками (например, Python, JavaScript, Ruby). Причём тут Java и JVM...
44. Что такое монада и моноид
На простом примере пытаемся понять моноид и монаду.
———
Вы можете поддержать подкаст на Patreon → https://www.patreon.com/fr...
43. Теория всего, ложь ООП и прелюдия к монаде
Форум! https://mimpod.discourse.group
Начал подходить к теме монады через пространное описание теории категорий. О механизмах создания сл...
42. Цифровой разум и бессмертие
По мотивам письма Антона:
"Вот если человеческое сознание оцифруют и повместительней в некую матрицу, в которой все люди будут знать где...
41. Бездушная фантастика
Межсезонный выпуск. Рассказываю о планах на осень, о будущем сайте/форуме подкаста, и рекомендую книги.
- The Three-Body Problem (trilogy...
40. Математика с высоты
Юбилейный выпуск!
Обзор разделов математики в контексте истории и информатики. Как связаны разные сферы, почему математика – скорее всего – язы...
39. Бесконечность как инструмент, Архимед и мат. анализ
Как обещал, немного отхожу от сугубо компьютерных тем и пробую поговорить о математике в чистом виде. Сегодня – глубинный смысл математического анализ...
38. Ритуалы, упрощение и расширение сознания
Размышляю о кофемолке, велосипеде и упрощении физических вещей. Потом анализирую результаты опроса слушателей и делюсь планами на следующий этап "Мысл...
37. Лямбда-исчисление и исходный код реальности
Давно ждал эту тему! Поговорим о Ньютоне, теории относительности, истине и моделях вычислимости. Перейдём от вопросов декларативного и императивного п...
36. Перегруз и цифровой минимализм
Заключительный выпуск трехмесячного эксперимента. Спасибо за вашу поддержку!
Если есть пара минут, заполните, пожалуйста, анонимный опрос...
35. Творческая консистентность и паразиты
Рассуждаю о постоянстве в творческом процессе и Ш-образности людей, а потом отвечаю на письмо слушателя Андрея про природный процессор, свиноматок и п...
34. Модель акторов
Знакомимся с моделью вычислимости, основанной на свойствах квантовой физики и индетерминированности.
Вы можете поддержать подкаст на Patr...
33. Алан Кей, ООП и клетки
Что такое объектно-ориентированное программирование? Почему объекты в современных ООП-языках не совсем похожи на то, что подразумевал изначально Алан...
32. Фильмы, книги, музыка и начинка жизни
Выпуск лирических отступлений. Советую странный фильм (https://www.imdb.com/title/tt0244290/), странную книгу (https://www.goodreads.com/book/show/331...
31. Вычислительные машины и разум (Тест Тьюринга)
Обзор публикации Алана Тьюринга Computing Machinery and Intelligence (1950 год) https://www.csee.umbc.edu/courses/471/papers/turing.pdf
В...
30. Языки, грамматики и Хомский
Перейдём от темы конечных автоматов к теме языков, совместимых с такими машинами, и откроем большую тему языков и грамматик в целом. Что такое язык? Ч...
29. Конечные автоматы
Рассмотрим одну из простых моделей вычислений, стоящей на несколько уровней ниже универсальной машины Тьюринга.
Вы можете поддержать подк...
28. Альфа-частицы и гитхаб из параллельной реальности
Выпуск свободного повествования. Отвечаю на комментарии Алексея Наумова и Влада Бокова.
Вы можете поддержать подкаст на Patreon → www.pat...
27. Природный процессор
Заключительный эпизод из серии трёх выпусков о генетических алгоритмах и будущем. Доходим до уровня процессора. Почему в современных электронных компь...
26. Биологический софт будущего
Второй эпизод из серии трёх выпусков о генетических алгоритмах и будущем. Сегодня – фантазии о биологическом софте который адаптируется под конкретног...
25. Почему природа мощнее генетических алгоритмов
Первый эпизод из серии трёх выпусков о том, почему вселенная работает круче, чем наши компьютеры, и почему природа решает проблемы лучше, чем генетиче...
24. Эксперимент "Мысли и методы"
Начинаю эксперимент:
1. Подкаст переименован в "Мысли и методы".
2. В марте, апреле и мае 2019 выйдет по 4 выпуска в месяц. 3 обычн...