О книге «Люди как боги»
Последние года два часто встречал, по разным поводам, советы прочитать эту трилогию Сергея Снегова (не путать с одноимённым рассказом Герберта Уэллса). Произведение оказалось интересным, но не оправдало надежд. За прошедшие с конца 60-ых годы оно потеряло глубину, если имело её когда-то. Теперь это просто не самая скучная сказка о космосе.
То, что произведение откровенно утопическое, нисколько не оправдывает его простоту плоскость. Описывать утопии можно по-разному. Я давно не перечитывал произведения Лема, но по-моему у него светлое будущее человечества удавалось изобразить лучше.
Мой экзокортекс
Хорошая иллюстрация экзокортекса из незвестного мне источника. Если знаете откуда — напишите.
Экзокортекс — по аналогии с экзоскелетом — устройства для расширения возможностей мозга. Впервые с этой концепцией я столкнулся в посте Анатолия Левенчука. История технологий экзокортекса, в широком смысле, тянется уже тысячи лет — первым усилителем мозга по праву можно считать письменность (а может и наскальную живопись). Сейчас к письменности добавились мобильники и облачные сервисы.
Сколько себя помню, постоянно что-то в нём менял, а тут глядь — последние пару лет стабильность. И хотя текущий набор инструментов мне не нравится, зафиксирую как baseline для будущих изменений.
Julia — это Python++?
Давно хотел посмотреть на Julia, так как встречал его (её?) упоминание в очень разных и не всегда относящихся напрямую к программированию местах. Пока изучил только документацию и ничего серьёзного на нём не писал (это будет следующим шагом), но уже хочется сказать пару слов. В соответствии с собственными заветами :-D
Изначально я планировал сделать что-то вроде сводной таблицы «плюсы и минусы Julia», но по прочтении документации передумал.
Во-первых, язык достаточно самобытен, имеет множество мелких нюансов, эффекты которых проявляются только эмерджентно, а копировать всю документацию сюда я не планирую.
Во-вторых, такие таблицы уже есть.
Поэтому я ограничусь личными впечатлениями и пересказом его идеологии, как я её вижу.
Модная типизация в Python
Разработчики пришивают типы к Python.
Раз в несколько лет я нахожу время, чтобы покопаться в наработках сообщества по «продвинутым» проверкам типов. Благо у меня под рукой есть взрослый, большой и нетривиальный проект, на котором можно безбоязненно ставить эксперименты.
Не могу сказать что я разделяю оптимизм по поводу продвинутой типизации в Python. Наоборот, считаю, что это как попытка пришить змее ноги — забавно, но вряд ли удобно. Но раз куча людей тратит на это время, надо быть в курсе.
В этот раз я:
- Посмотрел что из себя представляет mypy и чем может быть полезно (мало чем).
- Посмотрел чем можно автоматически сгенерировать аннотации типов (ничего рабочего нет).
- Подумал о том, как правильно использовать проверку типов в Python, раз их так форсят.
- Нашёл библиотеку, реализующую идеологически верный подход.
Рассказывать буду тезисно, без глубоких обоснований, так как делать нормального качества обоснования для таких холиварных вопросов слишком долго, а я уже дней 5 на копание в этом потратил.
Большая часть поста не про mypy, а про философию проверки типов и будущее Python. Поэтому должно быть интересно, даже если сам mypy вас не интересует.
Софт для «поддержки принятия решений»
Обновлено: исходники проекта открыты — https://github.com/Tiendil/morphologic
В марте я писал в фейсбуке про софт для «поддержки принятия решений». О том, что не могу найти ничего подходящего.
В итоге я решил, что если гора не идёт к Магомету, то Магомет пишет необходимый софт сам.
На текущий момент у меня есть рабочий прототип, который очень надо проверить на людях.
Софт может пригодиться, если вам необходимо найти решение / выбрать архитектуру / определить лучшее сочетание параметров в сложной и / или слабо формализированной области.Например, вы знаете, что решение может обладать свойствами A, B, C, D, … Z, но не знаете какое сочетание свойств будет оптимальным. При том, что A и D несовместимы, а сочетание свойств B+X+Y выглядит лучше, чем P+Q.
В этом случае вы можете ввести список свойств, ограничения, и поэкспериментировать, меняя правила подбора и оценки решений.
По сути, софт помогает делать полный перебор всех вариантов решений с ограничениями.
На странице софта есть более подробноее описание и инструкция.
Посмотрите пожалуйста. В основном на предмет полезности для вас лично и идей в какую сторону двигать разработку.
Прототип:: https://tiendil.github.io/morphologic/
Группа в телеграм для обсуждения: https://t.me/morphologic_soft