Хроники деградации

Помнится, [info]sanches несколько лет назад призывал запретить Википедию за преступления против человечества на гносеологическом уровне. Разумеется, это слишком радикальная точка зрения — хотя бы в статусе развлекательного портала википедия имеет право на существование. Ответьте, например, как вы будете искать без википедии, в каком фильме показала сиськи изобретательница ППРЧ?

Впрочем, на смену википедии приходит ChatGPT, который некоторые несознательные граждане пытаются использовать, как универсальный справочник по любым вопросам — и в том же самом гносеологическом отношении это катастрофа. Я видел, как студенты использовали ChatGPT для того, чтобы писать ответы на экзаменационные билеты — и в каждом, буквально в каждом написанном нейросеткой ответе были ужаснейшие ошибки:

https://github.com/mdan2000/IOT_master/blob/master/m2m/m2m.pdf

Если вы помните еще что-то про компьютерные сети — то должны придти в ужас буквально от каждого ответа здесь.

В чем ужас этого действия? Когда мы ищем информацию, скажем, о классах устройств LoRaWAN (например, этот вопрос можно найти в тех билетах) «вручную» — то даже в презираемой Википедии находим ссылки на самый авторитетный в этом вопросе источник — на соответствующий стандарт. Когда мы спрашиваем об этом нейросетевую языковую модель — собственно, я даже затрудняюсь сказать, что мы хотим получить? Любой связный текст на заданную тему? Но тогда какое право мы имеем утверждать, что он имеет какое-то отношение к реальности?

В общем, как только увидите очередной рассказ о том, как ChatGPT изменит реальность — сразу же сомневайтесь в человеческой природе расказчика. Внешне он еще может быть похож на представителя Homo Sapiens — но с точки зрения философии его следует приравнять к инопланетным захватчикам.

Про трансфер технологий

А еще узнал сегодня, что такое «трансфер технологий». Помните, я жаловался на то, что полученный сотрудником ВУЗа «результат интеллектуальной деятельности», то бишь РИД, можно только похоронить в братской могиле таких же РИДов в обмен на 10 000 рублей? Так вот, у этого может быть еще и продолжение, схема надежная, как швейцарские часы. Оказывается, можно зарегистрировать стартап и заключить с ВУЗом лицензионный договор на использование собственного же РИДа!

Называется это «трансфер технологий», в ВШЭ этим занимаются специально обученные люди, основной KPI которых, видимо — в количестве созданных студенческих стартапов. Обещают золотые горы в виде грантов от фонда Бортника, или как он там называется сейчас — аж целый миллион рублей, божатся, что подгонят контрактов от индустриальных партнеров и вообще рисуют настолько радужную картинку будущего существования, что только и успеваешь лапшу с ушей снимать.

Впрочем, остается один главный вопрос — а нахера это все, если без регистрации пресловутых РИДов можно заниматься тем же самым и ни с кем, собственно, не делиться?

PS Чтобы меня не обвиняли в том, что я предлагаю интеллектуальную собственность у ВУЗа утащить — предположим, что речь идет о чисто инициативной работе, и даже без какого-либо финансирования, а роль ВУЗа сводится буквально к предоставлению стен, столов и стульев.

Автомобильным инсайдом поделюсь

Одна сволочь в трамвае рассказала (с), почему ГАЗ охотится за активами бывшего Фольксвагена — адназначна будут что-то из фольцев выпускать под маркой «Волга»! Главная проблема — не определились еще, что. С одной стороны, у Skoda Rapid на крышке багажника прилеплены пять букв SKODA, можно заказать еще три буквы В, Л и Г и лепить их. С другой, можно распилить пополам шильдик с названием модели у VW Bora и вставить одну букву Л посередине, получится Boлra ничуть не хуже.

Ах да, говорят, что ключи и замки зажигания с надписью Audi там уже 20 лет на складе лежат!

Про «государственный гитхаб»

Почитал тут на прошлой неделе про «государственный гитхаб» всякого. Программистов с их «никакой гитхаб не нужен, кроме единого и неделимого майкрософтовского» слушать неинтересно, а вот интервью замглавы минцифры прочитать стоит:

https://www.forbes.ru/tekhnologii/486349-zamglavy-mincifry-maksim-parsin-ne-hotim-izolacii-no-nam-nuzen-svoj-repozitorij

Что здесь самое интересное и даже революционное? Выкладывать свой код в опенсорс на условиях «открытой государственной лицензии» приглашают всех, и в первую очередь «иные ФОИВы, государственные внебюджетные фонды, органы власти субъектов федерации, госкорпорации». Это, конечно, прекрасно — но нужен еще один, или даже полтора шага. Во-первых, хорошо бы приравнять публикацию кода в «государственном» репозитории к регистрации РИД в смысле статьи 1262 ГК РФ, а во-вторых — надо еще мозги переформатировать тем, кто за регистрацию РИД в организациях отвечает.

Вот у меня такой, скажем, примерчик есть (правда, мне все лень доделать до «отчуждаемого» состояния, то есть ридми с примерами использования написать) — сделал я со своей студенткой в прошлом году кусок сетевого стека 6LoWPAN over BLE на Андроид, в вузе (МИЭМ НИУ ВШЭ) начали капать на мозги по поводу того, что раз в результате дипломной работы создан РИД, результат интеллектуальной деятельности, надо бы его зарегистрировать. Что мне и всем остальным дает эта регистрация? Маленький FAQ написали вот тут:

https://wiki.miem.hse.ru/ru/Projects/rid

Это все означает, что за 10 000 рублей (ну такое, сходить авторским коллективом в ближайший к МИЭМу кабак «Строгинская гавань» и за вечер пропить) программу предлагается похоронить в вот этой братской могиле:

https://www.hse.ru/info/patent

Я ооочень сомневаюсь в каких-либо перспективах коммерческого использования любой из перечисленных там «программ для ЭВМ» — и вот спрашивается, нахера мне это? Нет, иные преподы может и живут этим, регистрируя студенческие курсачи, но…

Я вот даже согласен на то, что денег мне не заплатят, и даже на то, что на российском гитхабе оно будет под брендом того же МИЭМ лежать, лишь бы общедоступно (ну и лицензии типовые, вроде CeCILL французской). Во всяком случае, в опенсорсе перспектив у проекта будет больше, чем в списке результатов интеллектуальной деятельности на сайте ВШЭ.

UPD Прочитал тут постановление Правительства РФ № 1804 от 10.10.2022 и приложение к нему — «Открытую государственную лицензию» — на удивление приличная permissive licence, не особо хуже какой-нибудь MIT’овской.

Кстати, а давайте про хайтек

Вот представьте себе, что вы возглавили Минпромторг, ну или ладно, какой-то его департамент, нужно вам сделать что-то сложное, высокотехнологичное и даже не побоюсь этого слова, импортозаместительное. Ну не знаю, процессор «Казбек» разработать, отечественную «Виагру» или даже автомобиль «Запорожец» нового поколения. И для выполнения этой задачи проводится конкурс, участвуют в котором несколько контор, по порядку:

— известная, хорошо себя зарекомендовавшая «фирма», уже не раз делавшая подобное;
— вторая контора создана непосредственно «для конкурса» парой никому не известных чуваков, но заявляет, что с ОКРом справится, попутно размахивая пачкой мутных патентов, дипломов Международной Академии Информатизации и прочей подобной макулатурой;
— бенефициар третьей — сотрудник аппарата профильного министерства, который прямо может влиять на результаты рассмотрения заявок, в процессе менять критерии, по которым они оцениваются (причем на уровне, скажем, отраслевых стандартов, вчера у тебя действовал один, а завтра будет другой) и все такое;
— еще один сотрудник аппарата того же министерства, молодой, без такого влияния — но наглый, как обезьяна, и вороватый;
— мальчик-мажор, сын министра (совсем непрофильного, но со связями);
— пара стартаперов из Сколково;

Кто победит в технически-административной борьбе, на кого делаем ставки?

Шесть тыщ

Подумалось тут — «общеизвестно», что цифра 6 в аббревиатуре 6LoWPAN к IPv6 отношения не имеет, а на самом деле протащена туда чуваками из SICS, Swedish Institute of Computer Science. Интересно, а нет ли подобной шуточки в более продвинутом варианте этого протокола, 6TiSCH, что на самом деле он расшифровывается не «IPv6 over time-slotted channel hopping», а просто и понятно — «шесть тыщ»?

The Leprechauns of Software Engineering

Вообще, троллинг программистов — это легко и приятно. Вот вчерашний, например, был снова пойман на очередной глупости — сначала начал рассуждать, что goto пользоваться никак нельзя, а потом, после прямо заданного вопроса «а break, continue, try-catch ты используешь?» начал громко орать, что это совсем другое и никак нельзя эти конструкции сравнивать. Самое смешное — вроде бы в подтверждение своих слов он притащил известную статью Дейкстры, про «Go To Statement Considered Harmful«, и на этом стало понятно, что он ее не читал, от слова совсем.

Если совсем коротко ее пересказать — то дело в том, что процесс выполнения «структурной» программы (где используются только условные операторы и циклы) описывается крайне просто — фактически лишь номером строки исходного кода, инвариантами циклов и условиями выхода из тех же циклов. Это очень сильно упрощает формальные методы анализа, за которые топил Дейкстра, и которые при желании можно показать семиклассникам (собственно, «через Дейкстру» они в школьную программу и попали). Применение же goto делает такой простой анализ практически невозможным, описать состояние программы, написанной с использованием goto, получится лишь перебором всех возможных путей выполнения. Если подумать — то всевозможные break, continue, обработка исключений, наконец, точно так же усложняют рассуждения о выполнении программы. Попробуйте написать инвариант несложного цикла, в котором может быть выкинуто исключение! А если это исключение еще и обрабатывается «на уровень выше»?

Но люди думать не хотят, люди хотят пользоваться своими заблуждениями, при необходимости подкрепляя их ссылками на «научную» литературу, которой даже толком не читали. Примерно о том же — и книга Leprechauns of Software Engineering, посвященная разбору популярных — настолько популярных, что их массово тиражируют даже в учебных курсах — утверждений о процессе разработки ПО, которые по факту оказываются либо слабо обоснованными, либо вообще «о противоположном». Сколько раз вы слышали, скажем, о «методологии водопада»? А ведь это такое удобное чучелко для битья, когда рассказывают про всякий Agile! Но если полезть копаться в литературе — то окажется, что «водопад» — в том виде, в каком он был описан впервые, в статье 1970 года — это совсем не то, что вы себе представляете.

Автор докапывается до происхождения мифов о «10x-программисте», о «конусе неопределенности», о «стоимости изменений» на этапах разработки и тестирования — и всякий раз оказывается, что фундамент у этих известных вещей крайне шаткий, местами в первоисточниках написано вообще что-то в духе «а эту картинку мы нарисовали, потому что нам так кажется». Дальше красивая, но не обязательно верная, концепция обрастает несколькими цитированиями — и вперед, она уже тиражируется на правах общеизвестной истины.

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

Унижаем программистов

Объяснял программисту в одном чатике разницу между тестированием и формальной верификацией кода, для пущего издевательства притащил книжку для семиклассников — «Программирование: вводный курс» за авторством Д. Школьника, Н. Авданина и А. Суханова, и более того — издевался, приводя в качестве примера третью (!) программу в этой книжке — 1.3 на вот этом развороте:

Даже на таком смешном примере можно показать, что никакое количество тестов не может доказать правильность программы, и более того — я лишний раз укрепился во мнении, что кушниренковский «робот» — совершенно гениальное изобретение, позволяющее на понятных даже семикласснику примерах объяснять довольно сложные и важные концепции.

Знакомые всем лица!

Кажется, вопрос, что происходит с ОС Riot, можно считать решенным:

https://datatracker.ietf.org/doc/html/draft-ietf-core-dns-over-coap

Список авторов проекта RFC выглядит ужасно знакомым — с той лишь разницей, что товарищ Cenk Gündoğan ушел в Huawei.

Джефф Сазерленд. SCRUM. Революционный метод управления проектами

Решил тут прочитать книжку про Scrum — и в общем нисколько не разочарован! Автор, как и положено, рассказывает больше про себя, чем про управление проектами, а биография у него прямо интересная, тут тебе и Вест-Поинт, и разработка софта для ФБР, и сын-журналист на площади Тахрир во время «Арабской весны». Прямо бинго какое-то, внутренний конспиролог несказанно радуется.

PS Еще один штрих к портрету автора — манера приводить примеры из командных видов спорта (собственно, сам термин scrum взят из американского футбола), свойственная, по рассказам, американским преподавателям физкультуры.

Тегеран-2023

Рассказали байку про закупки всяких электронных компонентов в Китае. В общем, одна российская контора закупила в Китае кучку радиодеталей (в итоге вышел довольно большой чемодан), нужны эти детали прямо срочно-срочно, то есть нормальные варианты доставки за две недели не проканают, «курьера» в Китай отправлять — то же самое, он две недели в китайском карантине будет сидеть. В общем, решили следующее — «наши» отправляют человека в Тегеран, китайцы туда же посылают своего курьера с чемоданом, они встречаются там в аэропорту, наш забирает чемодан и в тот же день с ним уже в Москве, китаец летит обратно сидеть две недели в карантине.

Да, стоило это неприлично дорого — но блин, как же сюжет напоминает всякие «шпионские страсти»! Интересно, снимут ли фильм «Тегеран-2023»?