https://go.dev/blog/wasi

Вот, в продолжение темы "#WASI as api boundary".

Go поддержал компиляцию в #WASI.

Я, в связи с этим, хочу поспекулировать на тему "WebAssembly as language boundary".

Получается, что программа, однажды скомпилированная в WebAssembly, может использовать рантаймы очень разной природы - на Rust, C/C++, JS, whatever.

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

Это, в целом, заманчиво, потому что пляски с ffi и системным ABI, которые, сами по себе, являются локальными оптимизациями под процессорные архитектуры 80-90х годов прошлого века, утомили. Нужно задавать передаваемые типы, а не исполнять 1000-страничные мануалы, где написано, когда и как что может быть передано в EAX.

https://www.neversaw.us/2023/09/04/understanding-wasm/part3/you-are-here/

А вот еще один, довольно водянистый, текст про WebAssembly/#WASI.

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

Но вот еще одна забавная мысль, которую я оттуда почерпнул - "WebAssembly as security boundary".

Что это значит? Это значит, что достаточно продвинутая WASM VM может эмулировать fork(), и процессы, без поддержки операционной системы, и без переключения контекстов, соответственно.

Идея это не очень новая (кто сказал https://en.wikipedia.org/wiki/Singularity_(operating_system) ?), но, кажется, в случае WebAssembly, мы близки к этому, как никогда ранее.

Вот, опять, ровно те же круги по воде - новая libadwaita, новая версия webkitgtk. Значит, скоро 45-ый #GNOME.

Вот вам соображение - libadwaita и webkitgtk пишет, в основном, #igalia, в первую переносят запчасти из epiphany, а вторую - в ней же и используют.

UPD: вон, даже релиз уже отвели - https://github.com/GNOME/epiphany/tags!

https://drewdevault.com/2023/09/17/Hyprland-toxicity.html

Слушайте, в этом тексте прекрасно все.

Некто Drew DeVault (#ddv, нам он известен как автор #sway, языка #hare, да и к sr.ht #source_hut он приложил руку) написал мощный #sjw текст, что #hyprland community ведут себя плохо, и вообще, обижают трансов.

"Most of them stem from the community’s tolerance of hate: community members are allowed to express hateful views with impunity, up to and including astonishing views such as endorsements of eugenics and calls for hate-motivated violence"

"In one particular incident, the moderators of the Discord server engaged in a harassment campaign against a transgender user, including using their moderator privileges to edit the pronouns in their username from “they/she” to “who/cares”"

В целом, про его склонность к #sjw было все понятно в тот момент, когда он запретил хостить на sr.ht проекты, связанные с криптой, и мне пришлось переезжать обратно на github (https://xn--r1a.website/itpgchannel/702).

Будни #bootstrap

Тем временем, я воспроизвел цепочку сборки rustc/cargo 1.54.0 от проекта #mrustc (большое им спасибо и долгих лет жизни) - https://gist.github.com/pg83/b114dc78ce39a41fb8c895580a005dd0

То есть, у меня есть функционирующие cargo и rustc, которые пока не могут собрать сами себя, из-за того, что rustc хочет линковать и подгружать .so.

Если кто-то хотел интересных задач, да и просто погрузить свои шаловливые ручки в #stal/#ix - сейчас самое время!

https://blog.vaxry.net/articles/2023-hyprlandsCommunity

А вот и ответ #ddv от автора #hyprland.

По мне, он выглядит гораздо более здраво, чем наезд от #ddv, почитайте.

Ну и если бы я верил в теории заговора, то сказал бы, что не могло бы быть лучшего PR этому проекту, чем наезд от #ddv. Например, видно, что этот ответ прочитали в 5 раз больше раз, чем предыдущие посты автора - https://blog.vaxry.net/

https://xn--r1a.website/itpgchannel/1336

Болельщики с мест нам подсказывают, что разработчики #hyprland прогнулись, и пилят CoC - https://github.com/hyprwm/Hyprland/pull/3366

В российских мониторах нашли бесполезные чипы

Существует такой «российский» монитор под названием V-MAX ПЦВТ.852859.300 от компании LightCom, который стоит более 50 тысяч рублей. Почему «российский»? Просто Минпромторг выдал ему 140 баллов «локализованности» за то, что там установлен микроконтроллер К1986ВЕ92QI (32-разрядный чип на ядре ARM Cortex-M3) производства зеленоградского «Миландра».

Но… если выпаять этот микроконтроллер и заменить его обычной проволочкой, чтобы включить цепь питания, то всё будет работать и без него. Потому что в мониторе установлен и спрятан за радиатором ещё один чип — RTD2525AR от тайваньской компании Realtek, который и отвечает за вывод изображения.

https://github.com/llvm/llvm-project/releases/tag/llvmorg-17.0.1

Вышел 17 clang. Почему-то сразу 0.1.

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

Внезапно, переход с 16 на 17 оказался абсолютно безболезненным, все просто собралось, и заработало.

Жизнь их к такому не готовила

Programmer memes

https://gist.github.com/pg83/150749bd29e9c1cc6596c5e0c479d01a

Вот, пожалуйста, 45-ый релиз #GNOME, и их gitlab снова лежит. А зеркало на github они, конечно, снесли, из каких-то очень важных (нет) соображений.

Человечеству совершенно необходим инфраструктурный сервис, который бы по sha256 от данных мог вернуть эти данные.

Такой глобальный DHT, натянутый на большое число компьютеров.

Нужно это:

* чтобы хранить результаты вычисления чистых функций (это когда на вход sha256 от нужных данных, на выход - sha256 от результата, который сохранен в эту самую DHT).

* ну и чтобы я мог запилить кеш исходников для #ix, да и для любого другого дистрибутива (и не только исходников, потому что сборка - тоже чистая функция в терминах первого пункта)

Проблема в том, что такой сервис, в чистом виде, денег не приносит (ну, кроме очевидной, что там будет лежать ворованный контент). А поэтому:

* в чистом виде его никто и не пилит

* а всякие поделия типа https://ipfs.tech/ не являются таким сервисом в чистом виде

Все известные мне попытки запилить такой глобальный DHT ломались на том, что создатели хотели сохранить за собой "контроль за метаданными", назовем это так. Почему-то все, абсолютно все, хотят запихнуть в URI в такой системе какие-то дополнительные данные, и сохранить за собой контроль над управлением реестром типов этих данных.

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

Вот, пожалуйста, в CID в ipfs закодирован тип данных - https://docs.ipfs.tech/concepts/content-addressing/#cid-versions
Вот, пожалуйста, реестр типов их типов - https://github.com/multiformats/multicodec/blob/master/table.csv

Это vendor lock, в чистом виде (не факт, что он удачный именно в случае IPFS, но, тем не менее).

https://github.com/hyprwm/Hyprland/pull/3366

#ddv - хуемразь и ебаный нарцисс, не знаю, что про него еще добавить.

Пара цитат:

https://github.com/hyprwm/Hyprland/pull/3366#discussion_r1329091508

"Do not harass, intimidate, or in any other way discriminate against anyone, particularly with respect to traits including but not limited to their sex, religion, race, appearance, gender, identity, sexuality, and so on."

А теперь для самых наблюдательных - какие споры посчитал возможным иметь #ddv? (спойлер - про политику сраться можно)

https://github.com/hyprwm/Hyprland/pull/3366#issuecomment-1727815552

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

https://github.com/hyprwm/Hyprland/pull/3366#issuecomment-1728007656

Тут он пишет, что назвать его "нарциссом" - это нарушение CoC, nuff said.

https://www.opennet.ru/opennews/art.shtml?num=59793

#hashicorp

OpenTF переименовали в OpenTofu.

Переименовали, да и хер с ними. Просто хороший повод, чтобы вспомнить всю эту ситуацию.

Мне в голову пришла мысль, что у компаний, когда они начинают говорить "ну вы знаете, нам нужны бабки на развитие продукта, поэтому хер вам теперь, а не open source", на самом деле, есть разумный способ получить финансирование разработки.

Отдай проект community, например, в ту же Linux/Apache Foundation, сообщество получит контроль над разработкой, а взамен (от крупных корпораций, которые получат представительство в этом проекте) предоставит деньги.

А если компания так не делает, то грош цена ее заявлениям про "деньги на разработку проекту", компания в этот момент хочет и рыбку съесть контроль сохранить, и деньжат поднять.

И в этот момент ее нужно гнать ссаными тряпками, как минимум, за очевидное лицемерие.

https://marc.info/?l=openbsd-tech&m=169519004327392&w=2

Короткий текст про hardened malloc из openbsd, и как он помогает отлавливать ошибки:

"I'm happy to say two of the more complex ones are (being) fixed: one turned out to be a reference counting bug in firefox. See http://undeadly.org/cgi?action=article;sid=20230912094727

The other, a write after free that crashed the X server when running picard was diagnosed by me. This one was a bit nasty, as it required instrumenting malloc to print some extra info to find the root cause.

The bug is that the call in https://github.com/openbsd/xenocara/blob/master/xserver/Xext/xvdisp.c#L1002 overwrites the first 4 bytes of the chunk next to the one allocated on line 995"

И, попутно, текст про внутренности SCUDO (тоже hardened malloc, используется в Android) - https://trenchant.io/scudo-hardened-allocator-unofficial-internals-documentation/

В очередной раз дебажил проблему в #mesa.

Это уже какое-то дежавю - каждый новый релиз mesa приносит мне новый веселый черный экран.

Самое забавное - что я не могу написать ни одного нового слова по этому поводу, потому что про все эти проблемы в mesa я уже писал, просто они стреляют снова и снова:

* https://gitlab.freedesktop.org/mesa/mesa/-/blob/main/src/amd/vulkan/radv_physical_device.c?ref_type=heads#L1839-1842 - ошибка случается вот тут. И тут же происходит полная херня, потому что мы меняем текстовое описание ошибки на целое число, значение которого позже теряется в потрохах всего этого лапшеобразного кода. То есть, вместо простого grep мне пришлось пару часов трассировать этот код в gdb.

* https://gitlab.freedesktop.org/mesa/mesa/-/blob/main/src/amd/vulkan/radv_physical_device.c?ref_type=heads#L121-122 - а вот тут суть ошибки. Про него я тоже рассказывал. Эти упыри хотят кешировать шейдеры (кстати, отдельная тема - где это вообще нужно, кроме как на перфтесте какого-то сотрудника Valve, которому нужно натянуть на очередное фиолетовое?), а в качестве части ключа хотят использовать некую сущность, которая однозначно бы идентифицировала эту конкретную сборку mesa, чтобы в кеше не было пересечения. А для этого они используют какую-то магию динамического линковщика, чтобы узнать что-то персистентное для какого-то заранее известного адреса в своей программе - https://gitlab.freedesktop.org/mesa/mesa/-/blob/main/src/util/disk_cache.h#L111

Ну и, конечно, если этот хак вернул -1, то мы упадем с черным экраном без вразумительного текста ошибки.

Вот нахуй так говнокодить? Почему нельзя попросить вендоров просто записать при сборке какой-то build id?

Я залечил это, подменив реализацию этих функций на более подходящую для статлинковки реализацию - https://github.com/pg83/ix/blob/main/pkgs/lib/mesa/t/ix.sh#L84-L93

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

https://archlinux.org/packages/extra/x86_64/gumbo-parser/

Так, ну раз Arch переехал на Гришину версию (https://gitlab.archlinux.org/archlinux/packaging/packages/gumbo-parser/-/commit/55a259dddedfac62147b6a042fbddf1ba817dee0), то и нам не зазорно, так думаю!

Снова про #mesa

В цитируемом посте я писал, как ловко запилил процедуры "вычитания" одной статической библиотеки из другой, и почему мне пришлось так делать для сборки mesa.

К сожалению, эта процедура оказалась не очень "робастной" (то есть, апдейт на новую версию был сопряжен с трудностями) - иногда в этих .a оказывался символ с одинаковым именем, но с разной семантикой. В обычной жизни это был какой-нибудь неэкспортируемый из .so символ, и оно как-то жило, ну а у меня случались всякие разные артефакты из-за этой процедуры "вычитания".

Поэтому, в итоге, я решил прекратить экономить на спичках, и сделал по рабоче-крестьянски:

* Условный загрузчик плагинов я оставил как есть
* Ко всем символам, которые были в драйвере opengl, я добавил префикс "o_"
* Ко всем символам, которые были в драйвере vulkan, я добавил префикс "v_"

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

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