О книге «WTF?»
«WTF?» или «Гид по бизнес-моделям будущего» — книга авторства Тима О’Рейли — основателя издательства O’Reilly, книги которого знакомы всем технарям. Содержательно нечто среднее между сборником баек и манифестом автора о правильном будущем.
В отличии от Фрикономики, байки иллюстрируют мысли автора, а не являются основной ценностью книги. К тому же они правильно подобраны, объединены общей темой, целью и сопровождены глубоким разбором от автора.
Книга отражает взгляд Тима на историю развития технологий и технологических компаний в США, через призму подрывных технологий. Название книги WTF? выбрано как типичная реакция на изменения, которые приносят эти технологии.
Читать советую технарям и управленцам, в том числе политикам. Первые встретят много знакомых имён и событий, вторые получат хорошие инструменты для взгляда на мир и прогнозирования, и vice versa.
Также книга будет интересна людям, которые интересуются проявлениями эволюции вне биологии.
Тим рассуждает о множестве вещей, но стержнем повествования являются три темы:
- Государство и бизнес как платформы, формируемые подрывными технологиями.
- Влияние функции приспособленности на свойства платформы и поведение её агентов.
- Почему занимаясь бизнесом надо помнить про этику.
Опыт использования Julia
Из-за непрекращающегося бардака в мире решил отвлечься от стресса и в итоге три недели учился кодить на Julia — портировал с Python один из своих экспериментальных проектов.
Я уже писал про впечатления от документации Julia — «теорию», а сейчас, так сказать, будет «практика».
Композиция vs классификация
Раз мы обсудили организацию информации, давайте поговорим о подходах к описанию свойств сущностей: композиции и классификации. Посмотрим для чего они нужны, когда какой использовать и чем может обернуться неправильный выбор.
Вопрос не так прост как кажется.
Исторически человечество сильно клонится к классификации. Начиная с ранних лет мы учим детей что классификация — это единственный основной способ организации информации — на неё опирается большинство учебников.
В итоге почти все взрослые люди имеют «урезанную» модель мира и не могут, например, в изобретательство.
К месту можно упомянуть и частный случай из отрасли — травмированность целого поколения разработчиков реализацией ООП в некоторых языках программирования, не будем показывать на них пальцем.
Заранее прошу прощения у математиков и других формалистов за отсутствие должной строгости в изложении. Свою задачу я вижу не в доказательстве математических свойств композиции и классификации, а в популяризации применения композиции.
Гены, мемы и мемплексы
Расскажу как правильно смотреть я смотрю на культурные явления и взаимодействие с ними. В явления запишем всё: обычаи, законы, песни, холивары, языки программирования, методологии разработки — любой информационный артефакт нашей цивилизации. Но примеры в основном будут из IT.
Также этот пост можно считать заготовкой аргументов на случай, если придётся отбиваться от навязывания консультаций по какому-нибудь scrum.
Мемплекс это и есть сложносоставное культурное явление. Это слово буду использовать и дальше, так как оно красивое и короткое.
Начну издалека — с пары оговорок и биологии, как наиболее изученной области проявления эволюции. Потом по аналогии рассмотрим элементарные информационные конструкции — мемы. Потом мемплексы.
Модная типизация в Python
Разработчики пришивают типы к Python.
Раз в несколько лет я нахожу время, чтобы покопаться в наработках сообщества по «продвинутым» проверкам типов. Благо у меня под рукой есть взрослый, большой и нетривиальный проект, на котором можно безбоязненно ставить эксперименты.
Не могу сказать что я разделяю оптимизм по поводу продвинутой типизации в Python. Наоборот, считаю, что это как попытка пришить змее ноги — забавно, но вряд ли удобно. Но раз куча людей тратит на это время, надо быть в курсе.
В этот раз я:
- Посмотрел что из себя представляет mypy и чем может быть полезно (мало чем).
- Посмотрел чем можно автоматически сгенерировать аннотации типов (ничего рабочего нет).
- Подумал о том, как правильно использовать проверку типов в Python, раз их так форсят.
- Нашёл библиотеку, реализующую идеологически верный подход.
Рассказывать буду тезисно, без глубоких обоснований, так как делать нормального качества обоснования для таких холиварных вопросов слишком долго, а я уже дней 5 на копание в этом потратил.
Большая часть поста не про mypy, а про философию проверки типов и будущее Python. Поэтому должно быть интересно, даже если сам mypy вас не интересует.