forum.opennet.ru - "Выпуск ядра Asterinas 0.19, написанного на языке Rust и совместимого с Linux" (20)

"Выпуск ядра Asterinas 0.19, написанного на языке Rust и совместимого с Linux"

Форум Разговоры, обсуждение новостей
Вариант для распечатки		Пред. тема \| След. тема
Изначальное сообщение		[ Отслеживать ]

"Выпуск ядра Asterinas 0.19, написанного на языке Rust и совместимого с Linux"	+/–
Сообщение от opennews (??), 13-Окт-26, 22:02
Опубликован релиз проекта Asterinas 0.19, развивающего ядро, написанное на языке Rust и предназначенное для использования в операционных системах общего назначения. Ядро предоставляет ABI (Application Binary Interface), совместимый с ядром Linux и способный использоваться вместо него. Параллельно развивается дистрибутив Asterinas NixOS, сочетающий ядро Asterinas с системным окружением NixOS. Код проекта развивается с 2022 года и распространяется под лицензией MPL (Mozilla Public License)... Подробнее: https://www.opennet.ru/opennews/art.shtml?num=66460
Ответить \| Правка \| Cообщить модератору

Оглавление

Нейросети , Аноним (1), 22:02 , 13-Окт-26, (1)

Не похоже Проект начат до эпохи ИИ Сведений об активном использовании иишного , warlock66613 (ok), 22:43 , 13-Окт-26, (11) +1

Не все считают нужным добавлять Co-authored-by или Assisted-by Это не говорит о, limafresh (ok), 23:37 , 13-Окт-26, (16) +2

Тем забавнее будет, когда на весьма валидных или именитых разрабов будут нападат, Bottle (?), 23:48 , 13-Окт-26, (18)

Это уже происходит, GG (ok), 23:51 , 13-Окт-26, (19)

Что нейросети Нейросетям уже 70 лет 128516 LLM почти десять , анонимс (?), 23:07 , 13-Окт-26, (13)

не меньше 12 это точно , Аноним (20), 00:07 , 14-Окт-26, (20)

Нужно Как там с поддержкой оборудования Можно ли средний современный ноутбук н, Аноним123 (?), 22:15 , 13-Окт-26, (3)

конечно, Аноним (6), 22:19 , 13-Окт-26, (6) +1

Не шмогли в Рекдох, пытаются шмочь в эмулятор линукса , Dzen Python (ok), 22:19 , 13-Окт-26, (5)

Ну там писали без Клода и без совместимости А линукс уже есть и Клод уже есть , Аноним (7), 22:20 , 13-Окт-26, (7)
Глядя как Linux отрицательно прогрессирует, пора задуматься о запасном аэродроме, Мемоним (?), 23:20 , 13-Окт-26, (14)

Скрыто модератором, Аноним (21), 00:12 , 14-Окт-26, (21)

Нужна ещё сразу поддержка unikernel, чтобы не таскать за каждой приложухой посик, Аноним (9), 22:36 , 13-Окт-26, (9) –1

Скрыто модератором, Гарри поттер (?), 00:31 , 14-Окт-26, (23) +1

Ну вот и всё , Аноним (12), 23:06 , 13-Окт-26, (12)
А Nix тоже штоли на расте переписали , Аноним (15), 23:20 , 13-Окт-26, (15)

Для работы в виртуальной машине достаточно заменить Linux на Asterinas Что еще т, GNU Overlord (ok), 23:39 , 13-Окт-26, (17)

какая то туфта - обычное монолитное ядро, просто unsafe не везде разрешён, Аноним (22), 00:22 , 14-Окт-26, (22) +1
Есть и поинтереснее, на мой взгляд, подобные проекты Например, формально верифиц, hiddenman (ok), 00:36 , 14-Окт-26, (24)

Сообщения [Сортировка по ответам | RSS]

1. Сообщение от Аноним (1), 13-Окт-26, 22:02 +/–

Нейросети?

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #11, #13

3. Сообщение от Аноним123 (?), 13-Окт-26, 22:15 +/–

Нужно. Как там с поддержкой оборудования? Можно ли средний современный ноутбук на нём запустить?

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #6

5. Сообщение от Dzen Python (ok), 13-Окт-26, 22:19 +/–

Не шмогли в Рекдох, пытаются шмочь в эмулятор линукса?

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #7, #14

6. Сообщение от Аноним (6), 13-Окт-26, 22:19 +1 +/–

конечно

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3

7. Сообщение от Аноним (7), 13-Окт-26, 22:20 +/–

Ну там писали без Клода и без совместимости. А линукс уже есть и Клод уже есть.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5

9. Сообщение от Аноним (9), 13-Окт-26, 22:36 –1 +/–

Нужна ещё сразу поддержка unikernel, чтобы не таскать за каждой приложухой посиксный чемодан без ручки.
И да, деплоил MirageOS в продакшен. С тех пор полюбил OCaml и глаз дёргаться перестал.

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #23

11. Сообщение от warlock66613 (ok), 13-Окт-26, 22:43 +1 +/–

Не похоже. Проект начат до эпохи ИИ. Сведений об активном использовании иишного кодинга я не нашёл. Но и запрета тоже нет, это надо иметь в виду.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #1 Ответы: #16

12. Сообщение от Аноним (12), 13-Окт-26, 23:06 +/–

Ну вот и всё.

Ответить | Правка | Наверх | Cообщить модератору

13. Сообщение от анонимс (?), 13-Окт-26, 23:07 +/–

Что нейросети? Нейросетям уже 70 лет 😄 LLM почти десять

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #1 Ответы: #20

14. Сообщение от Мемоним (?), 13-Окт-26, 23:20 +/–

> [09.10.2026] В ФС Ext4 намечен к удалению режим data=journal
> [10.09.2026] В ядре Linux 7.4 намечена значительная чистка устаревших ARM-систем
> [05.07.2026] В ядре Linux намерены прекратить поддержку старых ARM-платформ, ФС EFS и 32-разрядных MSR-интерфейсов
> [17.06.2026] В ядре Linux 7.2 прекращена поддержка стека протоколов AppleTalk
> [26.04.2026] Из ветки ядра Linux 7.1 удалены старые Ethernet-драйверы, busmouse, AX.25, ISDN и CAIF
> [16.04.2026] В ядре Linux 7.1 начали удаление поддержки процессоров Baikal
> [15.04.2026] Из ядра Linux 7.1 удалены опции сборки для процессоров i486
> [30.09.2025] Код Bcachefs удалён из ядра Linux. Для дистрибутивов подготовлены DKMS-модули c Bcachefs
> [18.04.2025] В ядре Linux 6.16 будет прекращена поддержка протокола DCCP
Глядя как Linux отрицательно прогрессирует, пора задуматься о запасном аэродроме.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5 Ответы: #21

15. Сообщение от Аноним (15), 13-Окт-26, 23:20 +/–

А Nix тоже штоли на расте переписали?

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #17

16. Сообщение от limafresh (ok), 13-Окт-26, 23:37 +2 +/–

> Сведений об активном использовании иишного кодинга
Не все считают нужным добавлять Co-authored-by или Assisted-by. Это не говорит о том, что в проекте нет ИИ.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #11 Ответы: #18

17. Сообщение от GNU Overlord (ok), 13-Окт-26, 23:39 +/–

Для работы в виртуальной машине достаточно заменить Linux на Asterinas.
Что еще там переписывать?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #15

18. Сообщение от Bottle (?), 13-Окт-26, 23:48 +/–

Тем забавнее будет, когда на весьма валидных или именитых разрабов будут нападать сектанты, видящие ИИ во всём.
В этом плане молодёжь превратилась в тех самых бабок и дедов, у которых вся инфа не из телекрана — фейки.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #16 Ответы: #19

19. Сообщение от GG (ok), 13-Окт-26, 23:51 +/–

Это уже происходит

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #18

20. Сообщение от Аноним (20), 14-Окт-26, 00:07 +/–

> LLM почти десять
не меньше 12 это точно!

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #13

21. Сообщение от Аноним (21), 14-Окт-26, 00:12 Скрыто ботом-модератором +/–

А ты уверен, что и это всё они не будут повторять за linux?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #14

22. Сообщение от Аноним (22), 14-Окт-26, 00:22 +1 +/–

> Ядро построено с использованием архитектуры framekernel, в которой попытались совместить возможности изоляции микроядер с эффективностью монолитных ядер.
какая то туфта - обычное монолитное ядро, просто unsafe не везде разрешён

Ответить | Правка | Наверх | Cообщить модератору

23. Сообщение от Гарри поттер (?), 14-Окт-26, 00:31 Скрыто ботом-модератором +1 +/–

Теперь шоколадный глаз дергается?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #9

24. Сообщение от hiddenman (ok), 14-Окт-26, 00:36 +/–

Есть и поинтереснее, на мой взгляд, подобные проекты.
Например, формально верифицированное ядро, написанное на SPARK и Ada и ОС на его базе:
https://codeberg.org/Ironclad/Ironclad
https://ironclad-os.org/
https://codeberg.org/Ironclad/Gloire
Еще и real time умеет настоящий, как я понял, плюс разные архитектуры. Хотя по ABI, конечно, с Linux совместимо не будет, а POSIX есть. На картинках показывают, что тоже всё работает.
Пару лет назад новость про них тут была, но почему бы не напомнить еще раз.

Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема

Хоcтинг:

1. Сообщение от Аноним (1), 13-Окт-26, 22:02	+/–
Нейросети?
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #11, #13

3. Сообщение от Аноним123 (?), 13-Окт-26, 22:15	+/–
Нужно. Как там с поддержкой оборудования? Можно ли средний современный ноутбук на нём запустить?
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #6

5. Сообщение от Dzen Python (ok), 13-Окт-26, 22:19	+/–
Не шмогли в Рекдох, пытаются шмочь в эмулятор линукса?
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #7, #14

6. Сообщение от Аноним (6), 13-Окт-26, 22:19	+1 +/–
конечно
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #3

7. Сообщение от Аноним (7), 13-Окт-26, 22:20	+/–
Ну там писали без Клода и без совместимости. А линукс уже есть и Клод уже есть.
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #5

9. Сообщение от Аноним (9), 13-Окт-26, 22:36	–1 +/–
Нужна ещё сразу поддержка unikernel, чтобы не таскать за каждой приложухой посиксный чемодан без ручки. И да, деплоил MirageOS в продакшен. С тех пор полюбил OCaml и глаз дёргаться перестал.
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #23

11. Сообщение от warlock66613 (ok), 13-Окт-26, 22:43	+1 +/–
Не похоже. Проект начат до эпохи ИИ. Сведений об активном использовании иишного кодинга я не нашёл. Но и запрета тоже нет, это надо иметь в виду.
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #1 Ответы: #16

12. Сообщение от Аноним (12), 13-Окт-26, 23:06	+/–
Ну вот и всё.
Ответить \| Правка \| Наверх \| Cообщить модератору

13. Сообщение от анонимс (?), 13-Окт-26, 23:07	+/–
Что нейросети? Нейросетям уже 70 лет 😄 LLM почти десять
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #1 Ответы: #20

14. Сообщение от Мемоним (?), 13-Окт-26, 23:20	+/–
> [09.10.2026] В ФС Ext4 намечен к удалению режим data=journal > [10.09.2026] В ядре Linux 7.4 намечена значительная чистка устаревших ARM-систем > [05.07.2026] В ядре Linux намерены прекратить поддержку старых ARM-платформ, ФС EFS и 32-разрядных MSR-интерфейсов > [17.06.2026] В ядре Linux 7.2 прекращена поддержка стека протоколов AppleTalk > [26.04.2026] Из ветки ядра Linux 7.1 удалены старые Ethernet-драйверы, busmouse, AX.25, ISDN и CAIF > [16.04.2026] В ядре Linux 7.1 начали удаление поддержки процессоров Baikal > [15.04.2026] Из ядра Linux 7.1 удалены опции сборки для процессоров i486 > [30.09.2025] Код Bcachefs удалён из ядра Linux. Для дистрибутивов подготовлены DKMS-модули c Bcachefs > [18.04.2025] В ядре Linux 6.16 будет прекращена поддержка протокола DCCP Глядя как Linux отрицательно прогрессирует, пора задуматься о запасном аэродроме.
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #5 Ответы: #21

15. Сообщение от Аноним (15), 13-Окт-26, 23:20	+/–
А Nix тоже штоли на расте переписали?
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #17

16. Сообщение от limafresh (ok), 13-Окт-26, 23:37	+2 +/–
> Сведений об активном использовании иишного кодинга Не все считают нужным добавлять Co-authored-by или Assisted-by. Это не говорит о том, что в проекте нет ИИ.
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #11 Ответы: #18

17. Сообщение от GNU Overlord (ok), 13-Окт-26, 23:39	+/–
Для работы в виртуальной машине достаточно заменить Linux на Asterinas. Что еще там переписывать?
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #15

18. Сообщение от Bottle (?), 13-Окт-26, 23:48	+/–
Тем забавнее будет, когда на весьма валидных или именитых разрабов будут нападать сектанты, видящие ИИ во всём. В этом плане молодёжь превратилась в тех самых бабок и дедов, у которых вся инфа не из телекрана — фейки.
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #16 Ответы: #19

19. Сообщение от GG (ok), 13-Окт-26, 23:51	+/–
Это уже происходит
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #18

20. Сообщение от Аноним (20), 14-Окт-26, 00:07	+/–
> LLM почти десять не меньше 12 это точно!
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #13

21. Сообщение от Аноним (21), 14-Окт-26, 00:12 Скрыто ботом-модератором	+/–
А ты уверен, что и это всё они не будут повторять за linux?
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #14

22. Сообщение от Аноним (22), 14-Окт-26, 00:22	+1 +/–
> Ядро построено с использованием архитектуры framekernel, в которой попытались совместить возможности изоляции микроядер с эффективностью монолитных ядер. какая то туфта - обычное монолитное ядро, просто unsafe не везде разрешён
Ответить \| Правка \| Наверх \| Cообщить модератору

23. Сообщение от Гарри поттер (?), 14-Окт-26, 00:31 Скрыто ботом-модератором	+1 +/–
Теперь шоколадный глаз дергается?
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #9

24. Сообщение от hiddenman (ok), 14-Окт-26, 00:36	+/–
Есть и поинтереснее, на мой взгляд, подобные проекты. Например, формально верифицированное ядро, написанное на SPARK и Ada и ОС на его базе: https://codeberg.org/Ironclad/Ironclad https://ironclad-os.org/ https://codeberg.org/Ironclad/Gloire Еще и real time умеет настоящий, как я понял, плюс разные архитектуры. Хотя по ABI, конечно, с Linux совместимо не будет, а POSIX есть. На картинках показывают, что тоже всё работает. Пару лет назад новость про них тут была, но почему бы не напомнить еще раз.
Ответить \| Правка \| Наверх \| Cообщить модератору