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

Научно-образовательный подкаст о программировании, математике, вселенной и вычислимости. (До 24 выпуска подкаст выходил под брендом "Хекслет")

Episodes

63. Serverless: платонический код

October 9, 2020 • 45 mins

Как забыть почти обо всём и писать веб-приложения в платоническом вакууме (почти). Спонсор выпуска — компания Selectel (https://selectel.ru/). У них можно в том числе развернуть serverless-функции :)А вообще там хостинг, colocation, облачное хранилище, Kubernetes, VM, CDN и много еще всего. Спасибо им за поддержку подкаста. ——— Вы можете поддержать подкаст на Patreon → https://www.patreon.com/freetonik Вы будете получать выпуск...

Mark as Played

62. Чего у нас нет в 2020 году

August 1, 2020 • 32 mins

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

Mark as Played

61. Проблема выражения (The Expression Problem)

July 17, 2020 • 36 mins

Расширяемость языка программирования зависит от двух аспектов: расширяемости типов и расширяемости операций. The Expression Problem описывает сложность в одновременной реализации этих двух требований. Ссылка на курс → https://learn.codexpanse.com/courses/clojure-1 ——— Вы можете поддержать подкаст на Patreon → https://www.patreon.com/freetonik

Mark as Played

60. Владение, регресс и PS4 игры

July 11, 2020 • 28 mins

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

Mark as Played

59. Emacs, часть 2

July 10, 2020 • 21 mins

Про расширения, Org mode и как я использую его для публикации контента. Ресурсы: - Org mode https://orgmode.org/ - Org mode tutorial https://orgmode.org/worg/org-tutorials/orgtutorial_dto.html - Emacs for writers https://www.youtube.com/watch?v=FtieBc3KptU Getting started with Org mode https://www.youtube.com/watch?v=SzA2YODtgK4 - Мой конфиг https://github.com/freetonik/emacs-dotfiles - Мой подкаст про Emacs https://emacscast.org...

Mark as Played

58. Emacs, часть 1

July 9, 2020 • 37 mins

Про текстовые редакторы, инструменты, вечно поломанный автомобиль и суть 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

Mark as Played

57. История LISP, часть 2

June 5, 2020 • 23 mins

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

Mark as Played

56. История LISP, часть 1

June 3, 2020 • 32 mins

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

Mark as Played

55. "Модель согласованности" (рассказ)

May 29, 2020 • 22 mins

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

Mark as Played

54. Как может выглядеть язык для новичков

May 26, 2020 • 52 mins

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

Mark as Played

53. Неочевидные сложности новичков, часть 2

April 6, 2020 • 31 mins

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

Mark as Played

52. Неочевидные сложности новичков, часть 1

April 5, 2020 • 35 mins

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

Mark as Played

51. Что делать?

April 1, 2020 • 47 mins

В самом широком, жизненном смысле — "что делать?". Почему этот вопрос имеет смысл? Почему не "в чем смысл жизни?". Почему не "как быть счастливым?". И если что-то делать, то как понять что? Как плыть по течению? А как не плыть? И вообще... что... что делать-то?! ——— Вы можете поддержать подкаст на Patreon → https://www.patreon.com/freetonik

Mark as Played

50. Шестнадцать советов

December 31, 2019 • 57 mins

Спасибо вам!

Mark as Played

49. Невозможности: проблема остановки, теорема CAP и задача двух генералов

December 19, 2019 • 41 mins

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

Mark as Played

48. База знаний, рюкзаки и файлы

November 6, 2019 • 46 mins

Вторая часть выпуска ответов на вопросы из топика на форуме: Хочется немного конкретизировать предыдущий вопрос - в частности, на примере ведения персональной базы знаний (если таковая имеется). Мне знаком ряд подходов: начиная со своего примитивного (ведение Evernote) и заканчивая развёртыванием собственного сервера 15 со всеми вытекающими. (alex rusanov) --- Прочитал у тебя в блоге, заметку “Что у меня в рюкзаке”, но она напис...

Mark as Played

47. Тайм-менеджмент, рабочие процессы и инструменты

November 5, 2019 • 40 mins

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

Mark as Played

46. Типизация: статическая, динамическая, сильная, строгая, слабая

October 4, 2019 • 26 mins

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

Mark as Played

45. Компиляция, интерпретация и подводка к типам

October 3, 2019 • 27 mins

В чём разница между компилируемыми языками (например, C, C++), и интерпретируемыми языками (например, Python, JavaScript, Ruby). Причём тут Java и JVM. Почему JS мне показался "круче". Этот выпуск – подводка к выпуску 46 о типизации в программировании. ––– Форум сообщества → https://mimpod.discourse.group

Mark as Played

44. Что такое монада и моноид

September 24, 2019 • 26 mins

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

Mark as Played

Popular Podcasts

Stuff You Should Know

If you've ever wanted to know about champagne, satanism, the Stonewall Uprising, chaos theory, LSD, El Nino, true crime and Rosa Parks, then look no further. Josh and Chuck have you covered.

Dateline NBC

Current and classic episodes, featuring compelling true-crime mysteries, powerful documentaries and in-depth investigations. Follow now to get the latest episodes of Dateline NBC completely free, or subscribe to Dateline Premium for ad-free listening and exclusive bonus content: DatelinePremium.com

The Bobby Bones Show

Listen to 'The Bobby Bones Show' by downloading the daily full replay.

The Joe Rogan Experience

The official podcast of comedian Joe Rogan.

Betrayal: Weekly

Betrayal Weekly is back for a brand new season. Every Thursday, Betrayal Weekly shares first-hand accounts of broken trust, shocking deceptions, and the trail of destruction they leave behind. Hosted by Andrea Gunning, this weekly ongoing series digs into real-life stories of betrayal and the aftermath. From stories of double lives to dark discoveries, these are cautionary tales and accounts of resilience against all odds. From the producers of the critically acclaimed Betrayal series, Betrayal Weekly drops new episodes every Thursday. Please join our Substack for additional exclusive content, curated book recommendations and community discussions. Sign up FREE by clicking this link Beyond Betrayal Substack. Join our community dedicated to truth, resilience and healing. Your voice matters! Be a part of our Betrayal journey on Substack. And make sure to check out Seasons 1-4 of Betrayal, along with Betrayal Weekly Season 1.

Advertise With Us

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

Episodes

.css-14f5ked{margin:0;word-break:break-word;display:-webkit-box;-webkit-box-orient:vertical;box-orient:vertical;-webkit-line-clamp:2;overflow:hidden;}63. Serverless: платонический код

.css-r6mb8g{margin:0;word-break:break-word;display:-webkit-box;-webkit-box-orient:vertical;box-orient:vertical;-webkit-line-clamp:1;overflow:hidden;}62. Чего у нас нет в 2020 году

61. Проблема выражения (The Expression Problem)

60. Владение, регресс и PS4 игры

59. Emacs, часть 2

58. Emacs, часть 1

57. История LISP, часть 2

56. История LISP, часть 1

55. "Модель согласованности" (рассказ)

54. Как может выглядеть язык для новичков

53. Неочевидные сложности новичков, часть 2

52. Неочевидные сложности новичков, часть 1

51. Что делать?

50. Шестнадцать советов

49. Невозможности: проблема остановки, теорема CAP и задача двух генералов

48. База знаний, рюкзаки и файлы

47. Тайм-менеджмент, рабочие процессы и инструменты

46. Типизация: статическая, динамическая, сильная, строгая, слабая

45. Компиляция, интерпретация и подводка к типам

44. Что такое монада и моноид

Popular Podcasts

63. Serverless: платонический код

62. Чего у нас нет в 2020 году