LINUX.ORG.RU

Сообщения seiken

 

LLM без «safeguards»

 швабода

Клод не даёт декомпилировать либу. Сначала на серьезных щах такой стал смотреть в неё, мол, большая часть Либы - опенссл и ОДБЦи. Потом скачал Гидру, и вдруг такой, ой у меня тут сейфгарды, и я разошёлся, пора заканчивать, короче, Гидру я тебе скачал, но дальше ничего делать не буду.

Очень надо.

seiken
()

Эрик Реймонд: проприетарщине конец

 ,

Легендарный программист, много сделавший для развития опенсорс, заявил в одной известной соцсеточке, что современные БЯМ скоро отправят софт с закрытыми исходниками на свалку истории.

Поводом для того стала успешная попытка реверс-инжениринга какой-то досовской игры. БЯМ правильно распознала, что игра написана на Борланд Паскаль, и даже сгенерила очень читаемый исходник. Этот исходник Эрик, при помощи той же ИИшки, перевёл на раст, и оно заработало.

Также Эрик добавил, что ему известны случаи успешного реверс-инжениринга AAA игр.

seiken
()

LLM - благо!

 ,

Раньше, если в ВУЗе задавали задачку которую было не понятно, как решать, материала лекции не хватало, а книги были не понятны, было два читерских решения: 1) заказать решение за деньги у специально обученных людей; 2) найти родственника или просто знакомого, который выполнит работу за символическое вознаграждение.

Это было единственным решением вопроса, если преподы не объясняли материал, а книги были непонятны, потому что не хватало математической подготовки для их чтения.

LLM просто ставит на поток исправление кривой образовательной системы.

Разве это не благо?

Перемещено CrX из development

seiken
()

Серьёзные вещи пишут на SPARK

 ,

Поискал на лоре, вроде не было. nVidia разработала DriveOS в 7млн строк кода на SPARK, для систем на базе AGX. Эта версия системы прошла сертификацию ASIL-D, прописанную в ISO 26262, стандарте для функциональной безопасности автомобилей.

Растишка? Это для айтишников с их сервачками и балмерами, прыгающим по сцене, как обезьяны. Серьезным дядям и тётям нужна формальная верификация, солидные коммерческие поставщики и проверенные временем решения, а не хипстерские тренды и дешёвый хайп на лохотронах.

seiken
()

Бертран Майер и его книги

 

Кто-нибудь читал книгу Бартрана Майера «Touch of Class»? Что скажете, можно её рекомендовать тем, кто только начинает изучать программирование?

seiken
()

UI/UX - доказательная дисциплина?

 

Если выделить UI/UX в отдельную область знаний, дисциплину, как определить, что нововведения в нём - в большей степени желание пользователей, а не маркетологов, которые эти желания выдумывают из одного места.

Два примера.

  1. дегенераты из Daimler AG (нынче Mercedes Benz AG) предложили в одном из поколений систему инфотейнмент без физических кнопок, абсолютно всё управление через тачскрин. А на морозостойкость тачскрины не проверили. В итоге тачскрин просто переставал работать в тех регионах, где температура опускалась ниже определенной планки, и водитель оставался без навигации; Потом, осознав свою ущербность, перестали делать системы без физических кнопок;

  2. опенсорс шахматный сервис lichess.org выпустил новую версию клиента для андроида (на счёт иОС не в курсе). На мой взгляд, интерфейс стал менее контрастным, менее интуитивным и более тормознутым. Т.е., его разрабатывал человек, которого вообще нельзя допускать к разработке чего-либо. Как вы думаете, был ли опрос пользователей на предмет «хотим сделать менее эргономично и более тормознуто. Согласны?»

seiken
()

Фашизация ИИ'шных корп?

 ,

Антропик ввёл систему маркировки текста.

https://www.anthropic.com/news/claude-text-watermark

Особо не вчитывался, но как понял, работает это так. Антропик использует первую часть сгенеренного текста как некий инициализатор ГПСЧ. Дальше для слов с количеством условных «синонимов» больше или равно 2, антропик использует не наиболее вероятный синоним, а синоним из списка возможных в зависимости от детерминированного ГПСЧ. При этом статистики каждого синонима сохраняются. Т.е. грубо говоря, если в какой-то части текста наиболее вероятно слово «яблоко», а не «фрукт», то и в помеченном (достаточно длинном) тексте «яблоко» тоже будет встречаться чаще всего.

Таким образом, если текст большой и не переделывался автором, антропик может вычислить, что определенная последовательность с какой-то долей вероятности сгенерена Антропиком.

Все старые модели, которые доступны для пользователей онлайн, тоже введут эту систему маркировки из-за требований Евросоюза по использованию ИИ систем.

А теперь самое интересное. Антропик решает, какие слова являются «синонимами» для каких. И параметры ГПСЧ, на сколько я понял, никак не разглашаются.

Т.о., создаётся гигантский потенциал для коррупции и уничтожения оппозиции. Типа, ЕС делает запрос в Антропик «а вот диссер этого чела - творение Антропика?» А Антропик такой: «с вероятностью 95% - да». И всё, карьера политика поломана навсегда, а может и жизнь в целом.

Как думаете, я алармист или на нас таки надвигается большой ИИ-концлагерь?

seiken
()

Мега-база для ИИ?

 ,

Nvidia, AMD, MS, OpenAI и куча других контор (Антропика нет в списке…) опубликовали открытое письмо, что типа будут совместно использовать единый опенсорс софт для ИИ.

https://images.nvidia.com/pdf/Open-Weights-and-American-AI-Leadership.pdf

Особенно примечателен посыл о том, что объединение ради Американского блага.

Я так понимаю, что и базы у них будут общие, или как? Просто потому что цимес-то ИИ в базах, а всякие бэкенды/фронтенды, которые они типа заопенсорсить хотят - на них меньше затраты. Или как?

ЗЫ. Запилите кто-нибудь новость, а то в машине сижу.

seiken
()

KDE: приятное разочарование

 , , ,

По рассказам на ЛОР думал до последнего времени, что KDE - это такой глюкодром, в котором хоть и много фич (по сравнению с ГНОМом), но они слеплены в такое глючное месиво, что мол лучше вообще «не надо нам такого десктопа».

Но вот, поставил себе дистр со свежими кедами, и был приятно удивлён - оказывается, всё далеко не так плохо, как говорят злые языки. Сразу оговорюсь, я простой парень, нелинейным монтажем не занимаюсь, какой-то навороченной аудиосистемы у меня тоже нет, всякие полупрозрачности на экране мне до одного места, и DE мне нужен для «нудной офисной работы». Если шрифты не рвотные, если синийЗуб работает, то уже ОК.

Вводные:

  1. ноут Thinkpad T490s - классная вещь, кстати, хоть и всего 8Гб ОЗУ;

  2. KUbuntu 26.04 - LTS версия (других не держим), а внутри: KDE Plasma 6.6.5, Qt Version 6.10.2, ядро 7.0.0-27 (после обновления …-28);

  3. паршивенький инет через полудохлый LTE.

Итак, тезисно:

  1. Установка - ничего необычного, минимум вопросов, всё по дефолту, как мы и любим, и за что уважаем Каноникл.

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

  3. настроил раскладку. Сначала подумал, что опция переключения раскладок клавиатуры «только для текущего окна» не работает. Но потом понял, что при нажатии Win+D собственно переключения окон не происходит, потому что десктоп - не окно. Вроде, в винде было по-другому… Ну да ладно, эта разница вообще ни на что в работе с компом не влияет, вроде. Можно выбрать либо буквенное отображение раскладки в трее, либо флаг - классно.

  4. Но графические аппы перестают понимать, что нажимается комбинация Alt+что-то, а не одиночный Alt, мдя… Линуксовые заморочки недодесктопа.

  5. из явных косяков пока заметил только, когда при первом запуске диалога выбора файла, левая панель не вместила все пункты вертикального списка, но масштабироваться окно диалога не стало, вместо этого панелька «дрыгала списком» вверх-вниз. В ГНОМе таких дергунчиков не видел…

  6. Вскоре после первой загрузки прилетело апдейтов на полтора гига. Окно просмотра списков апдейтов не особо удобное, потому что отсутствует какая-либо полезная сортировка, например, по размеру пакета…

  7. в общем и целом, впечатление от DE - как глоток свежего воздуха по сравнению с ГНОМом. Настоящий рабочий стол, Вася! куда можно накидать ярлыков, файлов.

  8. система редактирования и добавления контролов на рабочий стол какая-то навороченная, но, норм, по необходимому минимуму желаемого разобраться можно. Сразу поставил lm-sensors и термический виджет с показаниями температуры CPU (а больше ничего и не нужно собсна).

  9. на счёт тормозов и лагов, скажем так: что всё летает сказать не могу, то тут, то там при открытии как бы стандартных мелких аппов не идеально быстро грузится. Но я так скажу, что после win11 всё довольно шустро.

Пока что, однозначно для меня KDE впереди ГНОМа.

seiken
()

Оффтоп про Шерлока Холмса

 

Вот с этого коммента начинается совершеннейший оффтоп про персонажей Конан Дойля:

Что происходит с популярностью Go? (комментарий)

и это в теме про golang. Пусть заинтересанты, если так хотят обсуждать это, выйдут за дверь создадут новую ветку для своей темы.

seiken
()

Сишная галера

 

Представьте, что вам надо запрограммировать девайс на языке С. Девайс проприетарный чуть более, чем полностью. Какая там ОС - неизвестно. Есть только куций API, с кастомными функциями для выделения памяти в куче и проч.

Вам надо в конечном счёте читать и разбирать блобы с входными параметрами писать выходной блоб. Причем, целые числа могут быть как little endian, так и big endian.

И если там ошибка произойдет в коде, вся система станет раком, и придется вам в 4 часа утра включать ноут и удаленно перезагружать железку, получая от начальства нагоняй, что клиент N тысяч талеров впустую потерял из-за запоротых прошивок.

Вы:

  1. возьмёте опенсорсный sscanf, sprintf, ведь деды давно все эти проблемы решили; будете вручную трахаться с signed/unsigned и эндианнесс;

  2. возьмёте, и напишете свой кастомный sscanf, sprintf, с блекджеком и спецификаторами для эндианнес, и под конкретную задачу. Ведь вы же супер-кодер, один раз пару сложных процедур отладить - зато потом, как по автобану!

  3. sscanf, sprintf - для слабаков. Настоящий ковбой каждый раз пишет в буфер без вспомогательных процедур;

  4. позвоните маме, и скажете, что со следующей недели придется вам обедать у неё, а не на работе. Чтобы начинала варить борщи…

seiken
()

Синдром NIH 2026г.

 , , ,

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

Вводные: Есть некоторый restful API сервис, который написан серьёзными энтерпрайз разработчиками на Джаве. Spring Boot, КроликЭмКу, стандартный набор батареек, ну и аппаратные устройства, назовём их вычислительные устройства (ВУ). Этот сервис активно работает в проде, проблемы есть но в основном из-за запутанности (корпоративно-исторически обусловленной запутанности) архитектуры и неидеальности оперативной организации труда этих энтерпрайз разрабов. Но в общем и целом - ничего экстраординарного для реального опыта проблем в индустрии. Но зависть к ребятам большая, типа они разрабы, а мы - их клиенты.

Но ребята типа дорогие, а бизнес всегда хочет сэкономить, тем более кризис экономики… Возникает идея («ты ж программист!»), типа, для новых проектов, где не самые пиковые нагрузки, слепим что-то попроще, без очередей сообщений, без кровавого джава-энтерпрайза, просто возьмём где можно опенсорс батарейки, слепим, протестируем - и ОК. На Питоне. Сказано - сделано, и оно даже работает, и клиенты счастливы.

Но вот, в один прекрасный день, поступает предложение. Переписать прокладку между собственно веб-сервисом и ВУ с Питона на C. Мотицация - не хотим использовать опенсорс-обёртку, мало ли кто там её разрабатывает? а вдруг он завтра под поезд попадёт, и мы не сможем эту обёртку поддерживать. А атаки на каналы поставки, официальную репу PyPI, и вот это всё не наше хозяйство? И вообще, Питон медленный, переусложнённый и не готов для промышленного применения. Перепишем эту обёртку на C. На вопрос «а если потом таки будем очередь сообщений добавлять, то в неё писать и из неё читать тоже на сишке?» следует ответ «ну конечно!»

Дальше, предлагаю, коль скоро не устраивает производительность кода на питоне, взять таки Джаву, ведь у серьёзных энтерпрайз ребят она уже работает. Ответ: «ну ты же видишь, что на этой Джаве у нас как-то всё тормозит?!» А откуда они знают, что в Джаве причина тормоза, а не в архитектуре? А кто-то измерял самые простейшие вещи, типа загрузки процессора сборщиком мусора? Нет, никто ничего не измерял.

Предлагаю C++. Опять воротят нос, мол после стандарта образца xyz года там такого наворотили, что чёрт ногу сломит. Говорю «а кто-то заставляет непременно фичи новых стандартов использовать?» В ответ тишина. Не подходят людям технологические достижения в языках высокого уровня за последние 50 лет. Предпочитают ковбойский сишный наскок, а там - будь, что будет…

Как с такими людьми работать?

seiken
()

В чём реальная проблема ЛЛМ

 ,

  1. нет смысла тренировать что-то своё на коленке, потому что это будет либо какой-то суперкастомный идиот, либо система, которая слишком много галлюцинирует (дуальная проблема увеличения шума против нерепрезентативности данных); а большую модель вы на коленке всё равно не натренируете.

  2. поскольку проблема 1) - фундаментальная теоретическая проблема, коммерческие ЛЛМ идут по пути "пусть будет больше шума, всё равно первоначально у клиента будет «вау-эффект», и он купит подписку или кредиты. И вот тут самый цимес закрался. В отличие от человеческого интеллекта, возможности которого в отношение себя любимого мы может прогнозировать плюс-минус, не ошибаясь на порядки, в случае с ЛЛМ вы никогда не сможете оценить финансовые затраты на решение задачи. По моему опыту ЛЛМ лучше всего справляются с утилитами и гуишными тулзами строк на 3тыс кода, но не сильно больше. После определенного барьера, который можно условно измерить как количество строк в более или менее формализованном виде (в том, в котором сапиенсы пишут ТЗ для других сапиенсов), в промпты надо включать тупо всё ТЗ с самого начала.

Т.е. даже на платном антропике оно в какой-то момент начинает лажать и забывать изначальные вводные, которые были вот, совсем недавно, 10 промптов до того.

  1. т.о., мы приходим к такому выводу, что промптинг нихрена не совместим с agile разработкой. Он создаёт видимость того, что в контексте есть данные, которые нам важны для дальнейших шагов, но это не так, потому что ЛЛМ не умеет интерпретировать токены, это тупая модель на больших данных, и соотв. давать ей задания лучше всего сразу готовые, в которых ещё за ручку надо объяснять, как что кодировать, иначе будет такая лапша, которую только эта модель ЛЛМ сможет дальше модифицировать, если не потеряет контекст мысли автора.

Т.е., по моему опыту, лажа начинается уже до 5к сток кода. И в определенный момент ты думаешь «слушай, спасибо, что ты типа нагуглил мне этот фреймворк, о котором я понятия не имел, что такое вообще есть, но дальше я сам буду читать мануалы, и буду кодировать сам, потому что тебе очень дорого всё разжёвывать, и эмоционально, и финансово».

seiken
()

ИИ'шка захавала документацию?

 

Надо было посмотреть справку по плюсовому API OpenCV. Во-первых, оно нихрена не гуглится, гугл упорно подставляет ссылку на какой-то PDF с китайского сайта (нафига мне PDF, алло!)

Но вот, вроде, нашёл, открываю примерчик для бинарного thresholding. На странице даже автор имеется, какая-то Ana, фамилии не буду называть. В сигнатуре метода там есть входной параметр «тип», ну типа разновидность алгоритма. И в примере просто выбирается магическая константа «3», без всяких макро-констант, энумов, просто магическая константа.

С какой целью так делается в справочной документации? IMHO только три причины: 1) автор кода - типичный сишный рукожоп, не имеющий ни малейшего понятия о профессиональном кодировании. 2) Автор специально хочет запутать читающего. Для справочной документации это терминальная клиника в отношение автора. 3) была применена ИИ’шка. Далее, приводятся картинки разных вариантов работы алгоритма. Но только это нафиг не нужно, потому что если человек захочет понять, как визуально что-то выглядит, ему надо знать, какой из режимов применен, а не «раз-два-три, приседают дубари».

seiken
()

Rust Commercial Network — коммерческое сообщество Rust

 

Группа Проприетарное ПО

Команда разработчиков ЯП Rust недавно объявила о создании Rust Commercial Network.

Цель проекта – создание централизованной информационной площадки для взаимодействия между коммерческими организациями - работа которых зависит от кода на Rust – и непосредственными разработчиками ЯП Rust. Создаются соответствующие рабочие группы, которые будут обсуждать проблемы соответствующей части ЯП, предлагать идеи, вместе с бизнесом думать над решением реальных проблем, всевозможных недостатков как компилятора, так и прочей экосистемы ЯП. Ну и, разумеется, в процессе обсуждения будут выясняться фронты работ, требующие дополнительных инвестиций.

Членство бесплатное для коммерческих фирм, научных институтов и иных организаций, желающих использовать Rust в своих информационных системах. При этом не обязательно быть членом Rust Foundation.

В RCN уже вступили такие гиганты ИТ-индустрии, как MS, Google, Amazon WS, JetBrains, Canonical, OpenAI.

>>> Официальная страница проекта. (rustfoundation.org)

seiken
()

Мышка в Линуксе

 

Объясните, что за хрень с копипастой в Линуксах. А конкретно в Гноме. Коллега вчера пытался скопировать пароль из midnight commander в целевую программу, и оно нихрена не выделялось мышкой, если не нажать shift? Посыл от коллеги был такой: это опять говны гнома, в КДЕ у меня такого не было.

seiken
()

Сложно или нет для 9го класса?

 ,

Экзамен на перевод из 9го в 10й класс с уклоном в информатику. Задачка такая:

дано число 7^170 + 7^100. Какое максимальное число x необходимо отнять от данного числа, чтобы в семиричной форме записи результата вычитания было ровно 71 нулей, при том, что x - положительное и не выше десятичного 2030. Искомое число записать в десятичной системе счисления.

Это я ещё перевел на нормальный русский с косноязычного языка долбо… составителя задания.

Лично я считаю, что (за вычетом дебилизма писателей текста условия, которые заслужили пару лучей поноса за изначальную формулировку) это подъемная задача для девятиклашки. Надо его просто надрочить на эти системы счисления, и учить, как искать подходы к решению, чтобы не перебирать все варианты, как железяка, а ловчить, сокращая пространство поиска.

Но может быть, кто-то считает, что в школе на уроках информатики детей надо учить только вводить эмодзи в чатики?

Линукс тут при том, что для него есть системы CAS, в которых можно проверить свой ответ, и узнать сразу после экзамена, пойдешь дальше в ПТУ конкретную профессию надрачивать или 10 и 11 классы как подготовка к ВУЗу.

seiken
()

Я фанат Линукса

 

Многие считают тут на форуме, что я де виндузятник, и ненавижу Линукс.

Это не так. В настоящий момент Линукс, сам факт его существования, позволяет мне скрываться от ИТ-фашистов, которые суют везде crowd strike.

Дело в том, что WSL2 выполняется в каком-то гипервизоре, к которому у crowdstrike (пока) нет доступа. И я очень надеюсь, что MS и дальше позволит либеральные послабления в своей системе.

seiken
()

Использование ИИ приводит к полной деградации

 

В смысле, к полной деградации личности. Попробовал тут два ИИ: бесплатная версия чатгпт и платная версия антропик консоль. Задача такая. Есть доска с stm32 с cortex-a7, у неё есть расширение (часть платы) в виде отладчика и последовательного порта. Оба интерфейса доступны по одному USB. Необходимо настроить этот последовательный порт и видеть на ноуте, что программа туда пишет («screen /dev/cu.usbmodem… 115200»).

Сначала думал сделать на маленькой доске blue pill, благо к ней был адаптер последовательного порта на USB. Но потом передумал, ведь была ещё доска nucleo-F746ZG, а на ней, как выше описал, все удобства, и не нужно доп. провода для uart/usart подключать. А если можно не прогибаться на ровном месте, то зачем… ведь есть ЛЛМ, думал я.

Так вот, светодиодом мигать - ЛЛМки сразу нагенерили рабочий код, подсказали какие утилиты использовать, всякие линкер-скрипты, и даже всё собралось. А настроить виртуальный ком-порт - хрен. Да, я узнал много нового, как gdb использовать для отладки, как регистры читать им. Но с задачей поставленной ЛЛМ не справились.

Думаю теперь придется по-старинке, искать книгу, обвешиваться даташитами, думать, как этот BRR вычислять. Потому что ЛЛМ только может сказать, мол, «а у тебя же в BRR нули, что-то не так с вычислением для этого регистра… слушай, а ты вообще уверен, что флеш-память записалась…» Ну т.е. гопота уже ушла в деменцию, не выдержав промпта уровня хелло-ворлда.

seiken
()

Цифровая криминалистика в Айфоне лучше?

 , , ,

Смотрю тут видосики на тему смерти Лисан Фрон и её подруги в южноамериканских джунглях в 2014г. Но это тема не про оффтопик, а про айфон. Один из тех, кто следил плотно за расследованием, написал книгу, в которой подробно описывались результаты изучения памяти Айфона. Оказалось, что там все события довольно подробно журналируются, и даже скриншоты сохраняются каких-то изменений настроек. И это было уже в 2014г. на тогдашней версии iOS.

Интересно, как с этим дела у Андроида в 2026г. Или каждый производитель трубки мочит, как хочет?

seiken
()