Пара слов о GitHub Сopilot
DALL-E: "Vrubel style painting of pair programming Robot + Human. An robot is writing code, a human is reviewing code".
Последние несколько недель использовал GitHub Сopilot, благо для Emacs есть плагин. Поделюсь впечатлениями.
Для справки, я уже лет 15 осознанно не использовал умное автодополнение. Всё моё автодополнение — это DynamicAbbreviations, по сути — дополнение написанного слова на основе словаря из открытых исходников.
Причина отказа такая: используя «умное» автодополнение (например, подсказку аттрибутов/методов объекта) перестаёшь понимать проект. Начинаешь на автомате брать предлагаемые варианты методов/переменных, не разбираясь что они конкретно делают и есть ли альтернатинвые варианты.
В краткосрочной перспективе отказ от автодополнения повышает нагрузку на человека (особенно на память) и замедляет работу, но в доглосрочной даёт глубокое понимание проекта, возможнсоть крутить его в голове как угодно, что с лихвой окупает потери на скорости в моменте. А поскольку я работаю только над долгими проектами, долгосрочная выгода важнее.
С Copilot я, похоже, вернуcь к умному автодополнению, в его более правильном варианте.
Итак, давайте посмотрим чего умеет и не умеет Copilot.
Минидрама: Python, C, Rust, криптография и Gentoo
- Часть кода популярной Python криптобиблиотеки переписали на Rust.
- Сломалось CI у кучи людей.
- Дополнительно сломалось чегой-то в пакетном менеджере Gentoo.
- Изменения незаметили, так как… ну кто следит за криптолибами? Их просто ставят.
- Все думали, что cryptography следует semantic versioning, оказалось, что нет :-D
В итоге:
- Разработчики сказали, что откатывать Rust взад не будут — это более кошерный язык для криптографии, чем C.
- Gentoo оказалась не так уж и поломана — зависимость оказалась ненужной, но осадочек остался.
- Люди с CI поплакали, но донастроили что надо было донастроить, и вернулись к своим делам.
Соль драмы в том, Gentoo поддерживает часть архитектур, которые не умеют в Rust. Одновременно Gentoo сильно зависит от Python. В этот раз пуля пролетела мимо, но возникли опасения, что Rust будет всё активнее использоваться к инфраструктуре Python. и в какой-то момент станет необходимой зависимостью. Что в этом случае случится с поддержкой минорных архитектур не ясно.
Google стал Visionary Sponsor для Python
Не знаю что в PSF понимают под Visionary, но ничего хорошего такое визионерство языку не несёт. Конечно, если оно вообще что-то несёт. Но не вижу смысла продавливать отдельный термин для простого спонсорства — вряд ли PSF сама выбрала такую формулировку.
Цели, задачи, потребности корпорации планетарного масштаба принципиально отличаются от целей, задач и потребностей рядовых пользователей языка. Я даже не знаю как это оспорить можно. Я уже писал на тему целей Google при разработке Go в эссе о типизации в Python.
Своим текущим состоянием: идеологией, возможностями, распространённостью Python обязан в первую очередь рядовым пользователям, не Google.
В частности, одно из очевидных противоречий — вопрос гибкости и контролируемости кода.
Франшиза кружков черчения
Кульман — инструмент для черчения.
Дарю идею для стартапа. Практически голубой океан, как минимум на пост СССР.
Надо делать франшизу кружков черчения.
Но не для подготовки инженеров, а для хобби. А-ля лепка из глины, рисование, игра на гитаре, бальные танцы. Как современную замену каллиграфии.
Смотрите:
- Предмет черчения теряет свою направленность на выработку прямых инженерных навыков — уже никто не чертит на бумаге.
- Поэтому его убирают из школ и универов.
- В то же время огромное количество людей имеет положительное мнение о черчении, как занятии, и считает, что полезные навыки оно развивает.
- Фактически, у черчения на пост СССР сейчас репутация примерно как у каллиграфии среди японских ниндзя. Только черчение — более современная дисциплина.
- Продукты черчения выглядят круто, элитно, это практически картины. Их можно в рамках на стены вешать.
- Совершенствоваться в черчении можно очень долго. Это позволяет как делать разноуровневые кружки, так и проводить соревнования.
- Черчение имеет за собой сложную традицию: стандарты, подходы, «школы».
- Черчение требует дорогих и пафосных инструментов: циркули, фигурные линейки, кульманы, лампы. Уголок для черчения в доме однозначно добавит понтов хозяину.
- Черчение требует расходников: грифели, стёрки, различная бумага.
- Преподаватели черчения остаются не удел — это готовые мотивированные сотрудники.
Жизнь по подписке
Сделаю небольшой футурологический прогноз. Лет на 20 вперёд. Воспринимайте это как шутку с долей шутки.