О книге «Люди как боги»
Последние года два часто встречал, по разным поводам, советы прочитать эту трилогию Сергея Снегова (не путать с одноимённым рассказом Герберта Уэллса). Произведение оказалось интересным, но не оправдало надежд. За прошедшие с конца 60-ых годы оно потеряло глубину, если имело её когда-то. Теперь это просто не самая скучная сказка о космосе.
То, что произведение откровенно утопическое, нисколько не оправдывает его простоту плоскость. Описывать утопии можно по-разному. Я давно не перечитывал произведения Лема, но по-моему у него светлое будущее человечества удавалось изобразить лучше.
Мой экзокортекс
Хорошая иллюстрация экзокортекса из незвестного мне источника. Если знаете откуда — напишите.
Экзокортекс — по аналогии с экзоскелетом — устройства для расширения возможностей мозга. Впервые с этой концепцией я столкнулся в посте Анатолия Левенчука. История технологий экзокортекса, в широком смысле, тянется уже тысячи лет — первым усилителем мозга по праву можно считать письменность (а может и наскальную живопись). Сейчас к письменности добавились мобильники и облачные сервисы.
Сколько себя помню, постоянно что-то в нём менял, а тут глядь — последние пару лет стабильность. И хотя текущий набор инструментов мне не нравится, зафиксирую как baseline для будущих изменений.
Julia — это Python++?
Давно хотел посмотреть на Julia, так как встречал его (её?) упоминание в очень разных и не всегда относящихся напрямую к программированию местах. Пока изучил только документацию и ничего серьёзного на нём не писал (это будет следующим шагом), но уже хочется сказать пару слов. В соответствии с собственными заветами :-D
Изначально я планировал сделать что-то вроде сводной таблицы «плюсы и минусы Julia», но по прочтении документации передумал.
Во-первых, язык достаточно самобытен, имеет множество мелких нюансов, эффекты которых проявляются только эмерджентно, а копировать всю документацию сюда я не планирую.
Во-вторых, такие таблицы уже есть.
Поэтому я ограничусь личными впечатлениями и пересказом его идеологии, как я её вижу.
Модная типизация в Python
Разработчики пришивают типы к Python.
Раз в несколько лет я нахожу время, чтобы покопаться в наработках сообщества по «продвинутым» проверкам типов. Благо у меня под рукой есть взрослый, большой и нетривиальный проект, на котором можно безбоязненно ставить эксперименты.
Не могу сказать что я разделяю оптимизм по поводу продвинутой типизации в Python. Наоборот, считаю, что это как попытка пришить змее ноги — забавно, но вряд ли удобно. Но раз куча людей тратит на это время, надо быть в курсе.
В этот раз я:
- Посмотрел что из себя представляет mypy и чем может быть полезно (мало чем).
- Посмотрел чем можно автоматически сгенерировать аннотации типов (ничего рабочего нет).
- Подумал о том, как правильно использовать проверку типов в Python, раз их так форсят.
- Нашёл библиотеку, реализующую идеологически верный подход.
Рассказывать буду тезисно, без глубоких обоснований, так как делать нормального качества обоснования для таких холиварных вопросов слишком долго, а я уже дней 5 на копание в этом потратил.
Большая часть поста не про mypy, а про философию проверки типов и будущее Python. Поэтому должно быть интересно, даже если сам mypy вас не интересует.
Процедурная генерация и прочая математика
Открыл для себя доклады, которые Squirrel Eiserloh делал для математической секции GDC. Очень наглядно и доступно рассказывает о процедурной генерации, случайности и прочей математике.
Доклады:
- Процедурная генерация (смотреть по порядку): 1, 2, 3, 4, 5, 6
- Случайность основанная на шуме (например, Перлина)
- Работа с камерой
- Нелинейные преобразования
- Математика RGB(A)
- Матричные операции
- Генерация случайных чисел и шумов
Доклады о процедурной генерации особенно интересны.