Четверг, а значит время проектов от подписчиков! 🌝

Тем, кто пропустил, что такое четверговые проекты от подписчиков, можно прочитать тут - https://xn--r1a.website/tech_b0lt_Genona/4983

Слово автору @viqxq

---

Всем привет.

Меня зовут Ви, и я делаю свою операционную систему — Amadeus (https://xn--r1a.website/amadeus_eco_tg). Я активно пишу про это в своём канале.

Моя ОС — это не очередной дистрибутив Linux. Это попытка сделать нечто принципиально новое, чего раньше никто не делал в рамках проекта одного человека:

* Своя архитектура с нуля. Ядро Amadeus — это не монолит и не микроядро в классическом понимании. Это гибридная система, где все компоненты (включая драйверы) общаются через сверхбыстрый IPC на общей памяти, что сводит к минимуму накладные расходы и переключения контекста. Системные вызовы как устаревшая концепция — отправлены в отставку.

* Бинарная совместимость без компромиссов. Я не хочу заставлять мир переписывать софт под себя. Поэтому в Amadeus можно будет запускать нативные приложения Linux и Windows через механизм «вложенных ядер» (nested kernels). Ядро эмулирует API чужой ОС, но преобразует его в свой высокопроизводительный IPC. Цель — работать быстрее, чем Wine и быстрее нативного Linux в некоторых сценариях.

* Написана полностью на Rust. Это не просто модно. Это даёт беспрецедентную надежность для системы такого уровня. Безопасность памяти на уровне компилятора + полный контроль над железом — вот наш девиз.

* Драйверы? Не проблема. Я разработал инструмент для автоматического портирования драйверов из ядра Linux в нативную среду Amadeus. Это решает главную проблему всех новых ОС — поддержку железа.

* Безопасность и изоляция. Падение любого драйвера или сервиса не уронит всю систему. Они работают в изолированных пространствах пользователя. Никаких SUID-бинарей. Современная модель прав доступа, а не устаревшая UNIX-модель.

* Производительность как религия. Вся архитектура заточена под скорость: zero-copy IPC, акцент на асинхронность, собственные легковесные реализации libc и системных библиотек.

Зачем мне это всё?

* Хочется иметь «правильно» устроенную ОС. Без груза обратной совместимости, с современными решениями под капотом.
* Это вызов. Доказать, что один человек с упорством и правильным подходом может бросить вызов индустриальным гигантам.
* Создать платформу для будущего. Amadeus — это не просто ядро. Это мета-платформа, на основе которой можно будет создавать другие ОС с совместимостью нужной вам экосистемы.

Зачем мне этот анонс?

Мне не хватает сообщества. Я ищу единомышленников — низкоуровневых программистов, энтузиастов Rust, специалистов по виртуализации и просто тех, кому интересно заглянуть под капот современной операционки и возможно, принять участие в её создании.

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

Присоединяйтесь! Ваша помощь в портировании софта, тестировании, документации или просто распространении информации бесценна.

Канал с новостями: https://xn--r1a.website/amadeus_eco_tg

Давайте вместе строить ОС будущего.

---

⚡️Microsoft отключает военную разведку Израиля АМАН (подразделение электронной разведки 8200) от облачного сервера в Нидерландах после того, как выяснилось, что там собраны данные прослушки по Газе — The Guardian

А чего вы "пожималкина" ставите?

1) Не каждый день коммерческая компания щелкает по носу военных, тем более, таких отмороженных.

2) Вызывает удивление (мягко говоря), что эти военные не self host.

https://www.theguardian.com/world/2025/sep/25/microsoft-blocks-israels-use-of-its-technology-in-mass-surveillance-of-palestinians

"нам не нужна зависимость от Фортрана"

Ubuntu 25.10's Rust Coreutils Is Causing Major Breakage for Some Executables
Article, Comments

У вас есть идефикс?

У меня есть.

Я, сколько себя помню, хотел разобраться, как летают ракеты.

Базово это очень понятно, и просто - что-то горит, сгоревшие остатки толкают ракету вперед.

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

Короче, меня всегда волновал вопрос устойчивости.

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

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

Rocket Propulsion
and Spaceflight Dynamics
J. W. Cornelisse
H. F. R. Schoyer
K. F. Wakker

https://www.scribd.com/document/366672675/Cornelisse-Rocket-Propulsion-and-Spaceflight

И https://djvu.online/file/nKdcpf2T6Z3gL

Совершенно потрясающие книги. Однажды я их дочитаю.

Павел Дуров заявил о давлении французских спецслужб перед выборами в Молдове

Сооснователь Telegram раскрыл детали о попытке французских силовиков использовать его задержание в Париже для цензуры общественно-политических телеграм-каналов в Молдове.

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

Павел Дуров назвал это неприемлемым: если обращение к судье действительно имело место, то это вмешательство в судебный процесс, а если нет — то это было использованием правового положения Дурова во Франции для влияния на политические события в Восточной Европе (в том числе в Румынии).

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

Дуров заявил, что Telegram привержен свободе слова и не будет удалять контент по политическим причинам. В будущем руководство Telegram будет раскрывать каждую попытку оказать давление на сервис с целью цензуры, в том числе — политической.

Spent an hour or so working with claude to write a minimal static web server in COBOL


Comments  on lobsters

https://xn--r1a.website/itpgchannel/3273 - а про COBOL я ошибся, надо признать!

От подписчика:

"И финальный прикол:
Отгадайте, что возвращает этот сервер по урлу - http://localhost:8080///etc/passwd ;)"

https://github.com/jmsdnns/webbol/issues/1

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

"Расширена возможность отправки содержимого core-дампов через сокет AF_UNIX, позволяющая создавать в пространстве пользователя более безопасные обработчики core-дампов, не завязанные на вызов ядром привилегированных процессов. В новой версии добавлен протокол для создания серверов, способных управлять обработкой core-дампов на уровне отдельных задач. Например, для одних процессов можно игнорировать core-дампы, а для других передавать их через сокет. Отдельно подготовлен прототип сервера для управления core-дампами (*)"

Джвадцать лет этого ждал!

(*) На "#almost_memory_safe", а как же.

Будни #bootstrap

Кстати, запилил поддержку initrd, потому что купил новую игрушку, а в ней два слота под nvme, ну мне и захотелось сделать из них какой-то raid для корневого раздела (пока пробую btrfs).

Cделал все максимально по рабоче-крестьянски - упаковываю в initrd все содержимое bin/ из system #realm, то есть, чтобы в initrd были доступны тулзы для btrfs, надо сделать ix mut system bin/btrfs/progs. Вроде как лишнее дублирование, но зато все максимально прозрачно. Так же в system realm требуется наличие исполняемого файла bin/initrd, который и должен сделать весь heavy lifting - https://github.com/pg83/ix/blob/main/pkgs/set/pg/system/initrd/ix.sh. Никакой помощи от меня, в данный момент, для написания этого файла, нет.

Убил на это целый выходной, потому что про initrd мало информации, она весьма противоречива, и иногда в документации содержатся просто неверные советы.

Например:

* кто-то пишет, что ядро загружает /sbin/init из initrd, кто-то - что /bin/init, а на самом деле - просто /init

* я долго не мог понять, почему не работает pivot_root для подмены корневой fs, пока не прочел вот этот текст - https://www.kernel.org/doc/Documentation/filesystems/ramfs-rootfs-initramfs.txt:

"When switching another root device, initrd would pivot_root and then umount the ramdisk. But initramfs is rootfs: you can neither pivot_root rootfs, nor unmount it. Instead delete everything out of rootfs to free up the space (find -xdev / -exec rm '{}' ';'), overmount rootfs with the new root (cd /newmount; mount --move . /; chroot .), attach stdin/stdout/stderr to the new /dev/console, and exec the new init.

Since this is a remarkably persnickety process (and involves deleting commands before you can run them), the klibc package introduced a helper program (utils/run_init.c) to do all this for you. Most other packages (such as busybox) have named this command "switch_root""

Ну да, ну да, кто бы мог подумать?!?

Electronic Arts to be acquired for $52B in largest private equity buyout
Article, Comments

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

Кажется, в сообществе #nix снова начинается какое-то бурление #nixgate

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

Ну и новость немного сбоку, раз речь зашла про CoC.

Эрик Реймонд призывает отказаться от CoC, потому что вреда больше, чем пользы - https://www.opennet.ru/opennews/art.shtml?num=63968

Не могу с этим не согласиться.

#llvmweekly

https://discourse.llvm.org/t/our-ai-policy-vs-code-of-conduct-and-vs-reality/88300

TL;DR - нерадивые контрибуторы шлют в LLVM патчи, сгенерированные AI, плохого качества, даже не разбираясь в том, что AI написал. Что очень сильно отвлекает и так загруженных ревьюеров:

"I’ve been using AI to contribute to LLVM, which has a liberal policy.

The code is of terrible quality and I am at 100+ comments on my latest PR"

"In my experience, folks using AI do a much worse job at understanding their patch, and thus a much worse job at getting better over time. The amount of effort to make these contributors start making better contributions is so much more as to not be worth it anymore"

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

Годный текст.

Люди, например, пишут, что используют LLM для облагораживания своих текстов, особенно когда не являются native english speaker. Я тоже так часто делаю.

#llvmweekly

https://discourse.llvm.org/t/rfc-lightweight-fault-isolation-lfi-efficient-native-code-sandboxing-upstream-lfi-target-and-compiler-changes/88380

А вот это прямо крутая штука.

In process sandbox, реализованный с помощью компиляции в некоторое подмножество инструкций целевой ISA, которое гарантирует, что код не вылезет за пределы выданного ему адресного пространства.

Эдакий #WebAssembly, но с компиляцией в целевую архитектуру, а не в промежуточное представление. Или, если хотите, сильно более лайтовый asan (компиляция в код с bound check + рантайм).

Я как-то писал, что firefox использует компиляцию кодеков в #WebAssembly, чтобы кодеки не ездили по чужой памяти.

Вот, это очень похоже, только без WebAssembly, поэтому еще быстрее, практически, нативная скорость.

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

Кодеки, конечно, в такую схему ложатся лучше.

От Google, поэтому есть шанс, что это реально проедет в upstream, и будет доступно всем желающим.

https://discourse.nixos.org/t/the-sc-prepared-to-lie-to-us-and-what-we-can-do-about-it-whistleblow/70103

Какие-то бездны SJW угнетения в #nixgate