DiscoverМысли и методы
Мысли и методы
Claim Ownership

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

Author: Рахим Давлеткалиев

Subscribed: 3,641Played: 48,651
Share

Description

Научно-образовательный подкаст о программировании, математике, вселенной и вычислимости.

(До 24 выпуска подкаст выходил под брендом "Хекслет")
63 Episodes
Reverse
Как забыть почти обо всём и писать веб-приложения в платоническом вакууме (почти). Спонсор выпуска — компания Selectel (https://selectel.ru/). У них можно в том числе развернуть serverless-функции :)А вообще там хостинг, colocation, облачное хранилище, Kubernetes, VM, CDN и много еще всего. Спасибо им за поддержку подкаста. ——— Вы можете поддержать подкаст на Patreon → https://www.patreon.com/freetonik Вы будете получать выпуски раньше всех и без рекламы.
Немного побурчал про простые, очевидные, но несуществующие вещи. ——— Вы можете поддержать подкаст на Patreon → https://www.patreon.com/freetonik
Расширяемость языка программирования зависит от двух аспектов: расширяемости типов и расширяемости операций. The Expression Problem описывает сложность в одновременной реализации этих двух требований. Ссылка на курс → https://learn.codexpanse.com/courses/clojure-1 ——— Вы можете поддержать подкаст на Patreon → https://www.patreon.com/freetonik
Давно обещанный выпуск про пару игр, которые мне понравились :) Выпуск со свежими книжными и фильмовыми рекомендациями на подходе. ——— Вы можете поддержать подкаст на Patreon → https://www.patreon.com/freetonik
Про расширения, 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/ ——— Вы можете поддержать подкаст на Patreon → https://www.patreon.com/freetonik
58. Emacs, часть 1

58. Emacs, часть 1

2020-07-0937:091

Про текстовые редакторы, инструменты, вечно поломанный автомобиль и суть 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
Вторая часть: реализация, эволюция, настоящее и будущее 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
Как обещал в последнем выпуске, делюсь описанием фантазийного языка программирования для новичков. ——— Вы можете поддержать подкаст на Patreon → https://www.patreon.com/freetonik
Какие темы программирования сложны новичкам? Рекурсия, замыкания и ООП? А как насчет переменных? Или просто return у функции? ——— Вы можете поддержать подкаст на Patreon → https://www.patreon.com/freetonik
Какие темы программирования сложны новичкам? В первой части поговорим об инфраструктуре и практических аспектах. Во второй — о концептуальных. ——— Вы можете поддержать подкаст на Patreon → https://www.patreon.com/freetonik
В самом широком, жизненном смысле — "что делать?". Почему этот вопрос имеет смысл? Почему не "в чем смысл жизни?". Почему не "как быть счастливым?". И если что-то делать, то как понять что? Как плыть по течению? А как не плыть? И вообще... что... что делать-то?! ——— Вы можете поддержать подкаст на Patreon → https://www.patreon.com/freetonik
Спасибо вам!
Поговорим про три невозможные штуки в информатике. - Проблема остановки - Теорема CAP - Задача двух генералов
Вторая часть выпуска ответов на вопросы из топика на форуме: Хочется немного конкретизировать предыдущий вопрос - в частности, на примере ведения персональной базы знаний (если таковая имеется). Мне знаком ряд подходов: начиная со своего примитивного (ведение Evernote) и заканчивая развёртыванием собственного сервера 15 со всеми вытекающими. (alex rusanov) --- Прочитал у тебя в блоге, заметку “Что у меня в рюкзаке”, но она написана довольно давно. Интересно, какой рюкзак ты сейчас используешь? Возможно ты можешь посоветовать какие-то модели долларов за 100? (yrpol) --- Расскажи, многое поменялось за 1,5 года в твоей структуре и организации файлов/приложений/etc (https://rakh.im/tools_overhead_2/) (Ant) --- Ссылки: - Devonthink https://www.devontechnologies.com/apps/devonthink - Keep It https://reinventedsoftware.com/keepit/ - Что у меня в рюкзаке (03.2018)https://rakh.im/edc/ - Osprey Radial 26 https://www.amazon.com/Osprey-Packs-Radial-26-Daypack/dp/B01I2P6H60 - Инструменты сводят с ума (07.2017) https://rakh.im/tools_overhead/ - Инструменты (апдейт 03.2018) https://rakh.im/tools_overhead_2/ - Synology NAS https://www.synology.com/en-global/products/series/home - Мой подкаст про Emacs https://emacscast.org/ - Почтовый сервис Fastmail (реферальная ссылка, дающая скидку 10%)https://ref.fm/u19462080
Выпуск ответов на вопросы из топика на форуме (https://mimpod.discourse.group/t/topic/26): Пользуешься ли какими-нибудь time management техниками? (Maslakov) --- Как проходит твой рабочий процесс, какими подходами/тулзами пользуешься? (Maslakov) --- А расскажи немного подробнее про свой bulletjournal, какие развороты используешь, как много времени уходит на ведение? (Infinitycus) --- Пример месяца из моего bullet journal: https://rakhim.org/images/posts/bullet_journal_month.jpg
Что такое динамическая vs. статическая типизация. Что такое слабая и сильная (строгая) типизация. Почему эти свойства не связаны. Почему компилируемый язык не обязательно статически типизирован. И причем тут приведение типов.
В чём разница между компилируемыми языками (например, C, C++), и интерпретируемыми языками (например, Python, JavaScript, Ruby). Причём тут Java и JVM. Почему JS мне показался "круче". Этот выпуск – подводка к выпуску 46 о типизации в программировании. ––– Форум сообщества → https://mimpod.discourse.group
На простом примере пытаемся понять моноид и монаду. ——— Вы можете поддержать подкаст на Patreon → https://www.patreon.com/freetonik
loading
Comments (35)

Dmitry Fedotov

Куда пропал автор? (:

Feb 10th
Reply (1)

Frip

относительно интернет-магазинов. Почему-то везде есть функция "отметить галочкой" параметр, чтобы показали товары с этим параметром, но нигде нельзя поставить "анти-галочку", чтобы товары с таким параметром не показывались. Вроде бы sql позволяет это сделать просто, но почему никто не делает - ума не приложу

Dec 1st
Reply

Рома Берёзкин

Мне кажется, что разобщённость систем связана с разобщённостью самих людей, разные полит./эконом. взгляды и даже языки, большинство систем создаются, чтобы приносить деньги, и чтобы защитить эту систему от "внешних угроз" её изолируют, as a result - разность в подходах, протоколах, принципах работы. Мне кажется, что ближе всех к решению этой проблемы подбирается open source. Но тут конечно можно много чего напридумывать и даже уйти в утопические теории, но что на самом деле будет покажет только время.

Aug 9th
Reply (1)

Рома Берёзкин

Мозг взорвал :0

Jul 10th
Reply

Рома Берёзкин

Один из самых странных фетишей - фетиш программиста к настройке конфига своего редактора =]

Jul 10th
Reply

Рома Берёзкин

Офигенный рассказ. Не знаю в чём конкретно был посыл, и был ли он вообще, но под конец у меня выстроилась аналогия корабля с нашим миром, он такой же непонятный и неизведанный, его населяют такие же, вроде как, мыслящие существа, а различие между ними лишь в том, как они видят мир, что их окружает... Тут же вспоминается подкаст "Что делать?" :)

Jul 10th
Reply

Рома Берёзкин

Спасибо за очередной взрыв мозга :))

Jul 2nd
Reply

Рома Берёзкин

Дико крутые идеи, это напомнило мне относительно новое видео, кажется от SpaceX, там есть устройство для управления 3D моделями через жесты рук + VR

Jun 25th
Reply

Рома Берёзкин

38:18 "Сидит мужик и чёто понял" :DD Эта фраза идеально описывает все научные исследования ;))

Jun 24th
Reply

Рома Берёзкин

Спасибо, в очередной раз :) за шикарный подкаст, "аудиовизуализации" особенно классные получились, очень круто

Jun 22nd
Reply

Рома Берёзкин

Очень ламповый подкаст:)

Jun 20th
Reply

Рома Берёзкин

Конец убил :D Всё что я хотел знать о процессах в пк за 40 минут... Будь здоров:)

Jun 12th
Reply

Рома Берёзкин

Как будто триллер посмотрел, офигенный подкаст :)

Jun 8th
Reply

Рома Берёзкин

Один из немногих, действительно образовательных подкастов

Jun 6th
Reply

Рома Берёзкин

Шикарный подкаст, звук прекрасный, подача на уровне, нет пустого трёпа, как это бывает в иных подкастах

Jun 4th
Reply

Митя ДраКоан

как они собрались ждать миллиард лет? и какая программистская задача породила этот адок?

Jun 3rd
Reply

PochkaBlocked

главная проблема, что заразу не понятно о чем будет речь и зачем мне это слушать.

Jun 3rd
Reply

Paxim4uk Fayrushin

Максимальная плотность вещества заключена в черных дырах, и имеет планковский размер. И также связанное голографическим принципом, максимальное количество информации, которое может содержаться в области пространства, равно площади этой поверхности, а не объёму Леонард Саскинд

Mar 1st
Reply

Sergey Sotnikov

ничего лучше я еще не слушал...просто лучший подкаст

Jan 10th
Reply

Наука и программирование

Рахим, а почему не упомянут Яндекс диск?

Nov 11th
Reply
Download from Google Play
Download from App Store