Компания Google представила программно-аппаратный комплекс Open Se Cura, ориентированный на упрощение создания защищённых чипов, предназначенных для решения задач, связанных с машинным обучением и искусственным интеллектом. Проект включает в себя операционную систему CantripOS и аппаратное обеспечение, основанное на платформе OpenTitan и процессорном ядре на базе архитектуры RISC-V. В ходе разработки Open Se Cura и CantripOS развивались под именами Sparrow и KataOS, но для исключения пересечения с другими проектами финальные продукты были переименованы. Наработки проекта, включая исходные тексты системных сервисов и RTL-схемы (Register Transfer Level), распространяются под лицензией Apache 2.0...Подробнее: https://www.opennet.me/opennews/art.shtml?num=60071
>Компания Google представила программно-аппаратный комплекс Open Se Cura, ориентированный на упрощение создания DRMЯсно.
Open Я Сно
Очередное подтверждение, что крупные корпорасты уже признали этой прекрасный безопасный язык и без особой боязни многие новые вещи (хотя бы частично) пишут на нём, а не С/С++.
> и без особой боязни многие новые ненужные вещи (хотя бы частично) пишут на нёмпоправил тебя, не благодари
> и без особой боязни многие новые ненужные (анониму с опеннета) вещи (хотя бы частично) пишут на нёмпоправил тебя, не благодари
> и без особой боязни многие новые ненужные (большинству) вещи (хотя бы частично) пишут на нёмпоправил тебя, не благодари
> Очередное подтверждение, что крупные корпорасты уже признали этой прекрасный безопасный язык и без особой боязни многие новые вещи (хотя бы частично) пишут на нём, а не С/С++.Что-то mozilla так не думает. Пописали и бросили.
ну это мозилла, чего ты хотел? в комменте речь шла про корпорации, которые умеют в getting things done. Мозилла не из их числа.
Ну а гугель "покатал и бросил" или мелкософт еее для вас будут лучшими примерами?
Вполне логично - кто сложился тот и рекламирует.
> Ну а гугель "покатал и бросил"В данном случае не к месту - гугель ударными темпами продвигает раст в андроиде, в его системной нативной части. Пока бросать не планирует, планирует расширять его использование. Да и тяжело уже бросить - там немало новых компонент уже на расте.
Гугль вообще не показатель - у него в каждой версии андроида новые языки и т.п. Но и эти "новшества" остаются только в этой версии. Чем бы детки не тешились - лишь бы не плакали.
Гугл эту ерунду выкинул в опенсорс потому что наигрался они ничего на ней не сделали путного.
а ты что-нибудь выкидывал в опенсорс? или ты если что-то и выкидываешь - то только свои комменты в опеннет?
так мозилла и не корпорация, это кучка фриканов, которые существуют как и многое другое на деньги гугла, и имитируют бурную деятельность.
> так мозилла и не корпорация, это кучка фриканов, которые существуют как и
> многое другое на деньги гугла, и имитируют бурную деятельность.Несмотря на это они делают один из двух конкурентов хрому.
Конкурент с 2.5%?
Это даже более унизительно чем "Линукс конкурент Винде на десктопах"
Ну эту статистику и подделать могут. На ваших сайтах эта глобальная статистика совпадает? Я уже давно забросил свои сайты, но по моему у Мозиллы было намного больше 2.5%
> Ну эту статистику и подделать могут.Мы многого не знаем (tm)
Поверьте, будет очень интересно © Лукашенко
> Конкурент с 2.5%?
> Это даже более унизительно чем "Линукс конкурент Винде на десктопах"Дело не в процентах, а в том, что у них своя кодовая база движка и браузер, которым можно пользоваться (всмысле он поддерживает современные веб стандарты).
Конкурент - лицо, предприятие или организация, соперничающие на каком-либо поприще, в какой-либо деятельности с другим (другими); соперник.Соперник, бро! Мазила такой же соперник Хромому как и улюлюкс винде на десктопе.
> Что-то mozilla так не думает. Пописали и бросили.Так это нормально. Попробовать, не понравилось, бросить. Не меняются только мёртвые и упоротые.
А что вы сразу про иксы!
Не такие они уже мертвые... недавно там баги фиксили
Ненормально это когда ты позвал друзей в горы, показал им направление, пообещал красивый вид, а сам остался на турбазе.
Если они в итоге увидят красивый вид - то все норм.
Они же не на тебя смотреть приехали.
Нет, они увидят обвал. И возвращать их будут по частям..
Что бросили? Зачем писать о вещах в которых не разбирается, они перенесли некоторые наработки из Servo, цели переписать браузер не было.
Теперь уже не было? Совсем недавно заявлялось обратное, даже графики переписывания публиковали.
Может тогда вы поделитесь ссылочками на эти прекрасные графики? А то без пруфов как-то не солидно...
>Что-то mozilla так не думает. Пописали и бросили.Mozilla -- не корпорация, Mozilla существует на донаты от гугла почти целиком (75%) их бюджета. Вообще, современная мозилла больше похожа на такой фонд для отмывания бабла и донатов всяким мутным личностям, чтобы сам Гугель не светился особо.
Тред на ЛОРе в тему: https://www.linux.org.ru/forum/talks/17309442
а по мозилле и её пожертвованиям даже целые расследования были
Там и длиннющие цепочки фирм в разных юрисдикциях и уже не существующие конторы и многое другое было
Только вот проблема. Пока что у твоего прекрасного безопасного языка всё подвязано на стандартную сишную библиотеку и набор софта из gnu. Это что касается линепсов всяких. Что же про винду, то без visual studio ты его не поставишь тоже.
Сгорел сарай - гори и хата, так?
Невозможно все сделать единомоментно. И стандартная либа и gnu utils уже переписываются. Просто нужно какое-то время на это всё, всё-таки оно писалось десятилетиями и еще ̶п̶р̶о̶д̶о̶л̶ж̶а̶е̶т̶ ̶ж̶и̶р̶е̶т̶ь̶ продолжает писаться.
> Невозможно все сделать единомоментно.Это логично было бы делать в первую очередь.
MVP же, азбучные вещи. Сначала нужно было чтобы хоть как-то заработало. Пусть даже поверх стандартного libc.
Для языка который преподноситься как "серебряная пуля" в безопасности - "Как-то заработало" неприемлимо.
Вот только преподносится он в качестве "серебряной пули" кем угодно, только не его создателями. В основном этим занимаются хейтеры, с целью потом упомянуть unsafe или еще что-нибудь в этом роде. А основная фишка раста только в том, что в нем гораздо сложнее выстрелить себе в ногу чем-то вроде use-after-free или переполнением буфера, а libc здесь совершенно не при чем.
> Для языка который преподноситься как "серебряная пуля" в безопасностиЛол, кем преподносится? Опеннетными циркачами жанра "сам ляпнул чушь, сам же ее и разоблачил"?
А что не так с вижуал студией?
Если у тебя уже винда, то добавление студии ситуацию не изменит))
> А что не так с вижуал студией?Официальный установщик принуждает поставить из-за СИшных утилит необходимых "самому безопасному языку". Не знали?! :)
Э... и?
Я все еще не вижу проблемы установить студию.
И наличие СИшных либ не тоже особая проблема - код в любом случае станет получше (хотя бы уменьшим вероятность ситуации "нажал пробел 30 раз - получил рута")
Или ты боишься, что через сишные дыры напихают еще больше бекдоров?Вообще на этом сайте винда не очень интересна, чего ты так нервничаешь))?
А я так и не понял в чем проблема?
Или проблема это стандартная сишная либа и набор софта из gnu?
>всё подвязано на стандартную сишную библиотекуНе, не подвязано. Можно собирать с musl, а для ембеддеда и без libc вообще.
>набор софта из gnu
гнутый софт там нахрен не нужен.
> Только вот проблема. Пока что у твоего прекрасного безопасного языка всё подвязано на стандартную сишную библиотеку и набор софта из gnu.А почему это проблема?
Потому, что качество кода во всём этом так себе, но вслух сказать такое у опеннетного васяна язык не поворачивается, вот он и пытается иносказательно донести мысль.
Это плохо, ибо проблемы с памятью были одним из способов избежать корпоративного кибергулага. Особенно это вадно на всяких drm штуковинах.
Раст никогда не стремился избегать цифрового ГУЛАГа, скорее наоброт строил его.
Так я об этом и говорю
Ого, оказывается "проблемы с памятью" - это теперь стало хорошо!Ну ничоси!
Получается диды не навыпрограммировали кучу дырявого кода, а боролись с будущим кибергулагом!
Они же просто панки от мира программирования: боролись с Системой™ как могли, то наложили кучку в подъезде, то сделали пару лишних дырок в окнах, то сломали дверь парадной.
Помимо кривляний есть что сказать? Что-то по теме, например?
По теме?
1. Используют seL4 - микроядро, да еще и с верификацией
это уже шаг вперед от дырявого монолита "упал видеодрайвер и завалил всю систему"2. Нормальная лицензия, которую можно использовать и для бизнеса, и для васяноподелок, а не рак как в линуксе.
Думаю через какое-то время можно будет и сам seL переписать, благо ядро не очень большое.
Но математически проверить будет сложно.3. RISC-V - это тоже отлично, открытая свободная (пермессивная) архитектура, на которой можно строить долговременые проекты и бизнес без опасения что завтра изменятся условия лицензирования (как ARM)
А "не по теме" что-то скажешь?
Ты реально думаешь, что наличие дыр это хорошо?
И ради того, чтобы кто-то перепрошил свой телефон стоит оставлять отверстия для эксплойтов?
Его вполне могут попользовать до того как телефон устареет и потребует перепрошивку.
> RISC-V - это тоже отлично, открытая свободная (пермессивная) архитектура, на которой можно строить долговременые проекты и бизнес без опасения что завтра изменятся условия лицензированияСвобода там только в архитектуре cpu, остальные 100500 модулей внутри soc (wireless, ethernet, аудио, и т.д.) могут быть любыми проприетарными. И ничто не мешает добавить поверх всего этого какой-нибудь intel me.
> Свобода там только в архитектуре cpuРазве это не прекрасно?
> могут быть любыми проприетарными
А могут не быть. Пусть сообщество сделает простенькое GPU. Никто же этого не запрещает.
Хотя... вот же его уже делают https://www.eetimes.com/rv64x-a-free-open-source-gpu-for-risc-v/
https://github.com/avl-bsuir/rv64x-base
Доделают или нет, и будет ли он когда-то сделан в железе - другой вопрос.
Свобода там - для тех, кто у фабрик может чипы заказывать. В несколько итераций. То есть для крупных корпораций.
> Свобода там - для тех, кто у фабрик может чипы заказывать. В несколько итераций. То есть для крупных корпораций.Очередной эксперт по свободе. Лучше назови оптимальную длину поводка, чтобы чувствовать себя свободным.
Это легко проверить. Берёшь листочек формата А4. Пишешь на нём "У меня Линукс. Я Свободен" или даже просто "Я свободен" и выходишь с ним на улицу крупного города. Предупреждаю, в зависимости от страны твоего проживания, результат будет разным.
Ответ на вопрос, почему: потому что твоя свобода на самом деле определяется чем-то другим, а не тем, чем ты себя тешишь.
> Предупреждаю, в зависимости от страны твоего проживания, результат будет разным.И каков результат в твоей стране? Договаривай раз делишься опытом
Наверное, ему доступ к компу предоставили в специадьной комнате на 5 минут, чтобы письмо домой написать.
>назови оптимальную длину поводка, чтобы чувствовать себя свободным.∞
Предположим, что линейная плотность такого поводка конечна, а поводок прочный настолько, что из него впору космический лифт строить, и жаростойкий настолько, чтобы выдержать нагрев при аккреции. Тогда масса такого поводка бесконечна, но скотину волнует сила его натяжения. У нас есть система Солнечная с плвнетой Земля. Они обладают гравитацией. Эта гравитация будет тянуть на себя поводок, в результате чего массы Земли и Солнца будут нарастать неограниченно. Свободно падающее тело находится состоянии невесомости, поэтому сила натяжения сегментов поводка, находящихся "в космосе" в нулевом приближении будет 0. В первом приближении уже есть приливные силы, обусловленные зависимостью ускорения свободного падения от радиуса и наличием инерции. Но тянуть скотину вместе с Землёй они будут только гравитационно. Далее при вхождении в атмосферы поводок будет тормозиться, что будет его уже сжимать и коробить. Но ближе к скотине поводок можно считать лежащим на Земле, если он ещё не успел проломить земную кору. Предположим, что скотина движется в одном направлении равномерно и прямолинейно, что топография подстилающей поверхности локально плоская на всём протяжении поводка, что поводок вытянут линейно в направлении, противоположном вектору скорости скотины, что трение внутри поводка отсутствует. Тогда сила натяжение поводка на провисающей части будет обусловлена ростом скотины и длиной провисающей части. При превышении силы натяжения силы трения покоя поводок будет скользить, приближаясь к скотине. При непревышении - не будет, вместо этого будет увеличиваться провис, увеличивая силу натяжения. В любом случае у нас по-прежнему остаются инерция поводка, сопротивление воздуха поводку и энтропийная сила, связанная со стремлением Природы повысить энтропию провиса поводка, отклонив его форму от параболы. Но это всё в бесконечном будущем, и если скотина сможет сообщить поводку нужную скорость. А в конечном будущем скотина меняет свою скорость от нуля до установленной. И получает в противовес всю силу инерции всей той неподвижно лежащей массы поводка.Итого:
1. натяжение бесконечного поводка не будет 0
2. свободы перемещения бесконечный поводок не даст
3. наличие такого поводка пгиведёт к катастрофическим последствиям Вселенского масштаба.Не хотел бы я, чтобч кто-либо сидел на таком поводке.
За кого я вас принимаю ясно и так, просто мы не сошлись в цене^Wдлине поводка.При любой длине поводка раб останется рабом. Предел твоих мечтаний — иметь поводок длиннее, чем у соседа. Тьху. Поколение удобных людей.
> диды не навыпрограммировали кучу дырявого кодаВы не обольщайтесь. Смузеры производят дыр не меньше, а может и в разы больше. Недавно наткнулся на эпичное обсуждение на govnokod.ru, где нейросеть закинула код с бэкдором. Обнаружили это уже в проде. Как говорится, коротко о компетенциях нынешних спецов.
Так смузикодеры еще ничего толком написать не успели, нейронку обучали на опенсорсных кодах дидов.
Т.е. вы хотите сказать, что типичный вайтишник с незаконченным высшим гуманитарным образованием, посмотрев Ютуб курс а-ля "пихон за час", сможет в нормальный код? У нас в копании периодически проводят собеседования, так бОльшая часть молодых специалистов ничего не может от слова совсем, причем мы очень лояльны и даже позволяем пользоваться гуглом и чатжпт для прохождения тестов.
Го*нокодить может каждый - это называется решение задачи. Другое дело что он не знает что достаточно часто нага*еный код зачастую исполняет не то что изначально задумывалось.
Если человек не понимает, что он пишет, то его профпригодность под большим вопросом. Вне зависимости от языка, задач и инструментов. Скопировать кусок кода из чатжпт может каждая блондинка, а вот понять, что этот код делает... Я уж не говорю про тотальное нежелание\неумение пользоваться отладчиками. И в этом есть плюс, бездарностей сейчас в кодинг полезет много, на фоне которых нормальные программисты будут выгодно отличаться на рынке труда.
> Если человек не понимает, что он пишет, то его профпригодность под большим
> вопросом. Вне зависимости от языка, задач и инструментов. Скопировать кусок кода
> из чатжпт может каждая блондинка, а вот понять, что этот код
> делает... Я уж не говорю про тотальное нежелание\неумение пользоваться отладчиками. И
> в этом есть плюс, бездарностей сейчас в кодинг полезет много, на
> фоне которых нормальные программисты будут выгодно отличаться на рынке труда.К сожалению пока топор на башку руководителю проекта не упадет - он будет думать что Rust это "серебряная пуля" - и зачем платить больше? С растом нормальные программисты равны-же бездарям и недопрограммистам.
> нейронку обучали на опенсорсных кодах дидовP.S. И здесь проблема не в нейронке и "дидах", а том, что кодеры такие куски пропускают, тупо не понимая что этот код делает.
И? раньше просто копипистили с книг и форумов, потом с чужих открытых проектов (криво подпиливая), потом со стековерфлоу и подобных сайтов...
Т.е ничего не изменилось.
Те кто не хотел прочитать и понять код, так же его не читают и даже не хотят понимать.
С учетом сайта, на который ссылаются, не удивлен.В проектах которых мне довелось участвововать - такое завернули бы еще на этапе ревью.
Сравнивать чатжпт и книги… ну такое себе. А стековерфлоу даже банит за копипасту из чатжпт, там достаточно строго все и дичь встретить практически нереально.
Точно, сравнивать кучу воды, и четкие ответы на вопроосы
И ты думаешь что использование Rust это изменит?
Да. Раст такое будет заворачивать ещё на этапе компиляции.
> Да. Раст такое будет заворачивать ещё на этапе компиляции.Ты думаешь обсуждаемый баран будет разбираться почему у него чего-то не компилируется? Ведь можно сделать unsafe. И все дыры останутся на месте.
Т.е проблема в баранах?
Ну так ему должны сделать атата на ревью.
Если его коллеги и лид такие же бараны - то это не проблема ГПТ, форумов и тд
Это проблема людей, которые нанимают таких "спецов".
Думаю у многих есть рассказы про сантехников/электриков или (что хуже) врачей которые делают тяп-ляп.
В опенсорсе конечно посложнее - часто один человек тащит весь проект, и ПР на фиксы может просто заворачивать.
> Т.е проблема в баранах?
> Ну так ему должны сделать атата на ревью.
> Если его коллеги и лид такие же бараны - то это не
> проблема ГПТ, форумов и тд
> Это проблема людей, которые нанимают таких "спецов".
> Думаю у многих есть рассказы про сантехников/электриков или (что хуже) врачей которые
> делают тяп-ляп.
> В опенсорсе конечно посложнее - часто один человек тащит весь проект, и
> ПР на фиксы может просто заворачивать.То есть мы возвращаемся к тому что rust нахрен никому разумному не сдался, и с/с++, если бы все делалось не тяп-ляп решает все что нужно.
> и с/с++, если бы все делалось не тяп-ляп решает все что нужно.Ну-ну... В таком случае нужно гнать взашей всех быдлокодеров из linux kernel, которые до сих пор не могут в память))
> Очередное подтверждение, что крупные корпорасты уже признали этой прекрасный безопасный язык и без особой боязни многие новые вещи (хотя бы частично) пишут на нём, а не С/С++.Надоело играть в найди утечку памяти. Теперь играют в кто первый скомпиляет без undefined behavior.
Теперь играют в бесконечную игру "обнови до последней версии Rust" без спецификации.
Ну успехов. Но нет ли опасения, что разработчик языка со временем выкатит абонентскую плату? Долларов 20 в месяц за одно устройство. Бывало уже...
Тем более, что Гуглаг пилит свой Carbon.
> Тем более, что Гуглаг пилит свой Carbon.Та это разраб какой-то оттуда пилит левой пяткой. Вообще многие проекты в github.com/google/ как бы "не официальные", что заявляют их README.
Нет опасений. Язык открыт, все утилиты открыты, выкачивай main хоть каждые полчаса.
Все нужные крейты все равно зеркалируешь у себя, даже если crates.io закроют (или он приляжет, что на порядок более вероятно), то все равно работа не встанет.
Все равно пользоватся тухлятиной будет себе дороже, а точку на нем может поставить смена лицензии, что весьма вероятно.
> Нет опасений. Язык открыт, все утилиты открыты, выкачивай main хоть каждые полчаса.
> Все нужные крейты все равно зеркалируешь у себя, даже если crates.io закроют
> (или он приляжет, что на порядок более вероятно), то все равно
> работа не встанет.Чтобы работа встала достаточно закрыть доступ на бинари раста. Ыксперты его просто не смогут собрать и пойдут гулять.
Крупняк оценивает стоимость владения решением, технические составляющие в этой оценке, максимум 30%
> Se Curaпит буль
Пара Белум
> Микроядро не предоставляет готовых высокоуровневых абстракций для управления файлами, процессами, сетевыми соединениями и т.п., вместо этого оно предоставляет лишь минимальные механизмы для управления доступом к физическому адресному пространству, прерываниям и ресурсам процессора.Так это и на БМП ОС сделать можно
Кто не понимает, то многослойный персептрон с обратной связью можно и на уровне ОС сделать, подключив к нужным входам и выходам, ограничив сигналы от деструктивного действия и оставить нейронку самообучаться. В целом я давно думал об ОС, в которую вставляешь железо, а оно само обучается и учится им управлять, если не знает драйверов, а если и знает то потихоньку улучшает. Идея хорошая.
Отличная идея, только в комплекте поставлять васю, который будет периодически покупать и устанавливать новые девайсы взамен окерпиченных во время обучения.
Какого Васю ты что Федора, до точки самовывоза девайсов он дойти сможет на изи.
А если не секрет, то нейронную сеть какого размера дядя Федор может разместить в ОЗУ 32 Гб?
А в целом напомню что в начале 90-х была такая популярная разработка как трипьютер — многомашинный компьютер состоящий из множества ЭВМ. Соответственно 2 процессора, где у каждого по 32 Гб памяти может разместить у себя ещё больше нейронов, а матрица процессов так вообще может дать неплохой результат при оптимальном размере.
А аналогичные разработки в России ведутся или продали и копию забыли сделать? Анонсировали же подобные технологии ОС с ИИ на железе.
Ну колонки и микрофоны как-то не ломаются, да и манипуляторы порой встречаются уже на ИИ. Если руки растут снизу, то он вообще не взлетит, не то что недодумается случайные сигналы в PCIeX16 пускать, вместо того чтобы поискать в интернете готовый драйвер. Конечно роботы будущего могут друг в друга втыкать USB-штекер в соответствующий порт, но вероятнее всего к ним будут разработаны свои протоколы со своими разъёмами, один из которых обязательно будет USB. Кто знает? Может даже будет разъём из искусственной кожи!
Существуют же манипуляторы на ИИ, которые упаковывают людей вместо овощей. Вроде никто не жалуется (реальная новость).
Учитывая сколько своих коллег по работе упаковали в деревянные ящики "мясные ИИ" (достаточно посмотреть 'ролики по ТБ' например про водителя погрузчика Клауса), то электронному ИИ не нужно быть идеальным и безошибочным.
Как говорилось в анекдоте "Мне не нужно бежать быстрее медведя, мне нужно бежать быстрее тебя"
Это кошмар. Европейцы совсем ку-ку стали. Наверно все дело в том что на такой работе работают гастарбайтеры. Сами бы работали, уж как-нибудь позаботились о безопасности такого труда.
> Google... операционную систему CantripOSКак там ультрауниверсальная фуксия поживает, кстати ?
Уже всех нагибает и низвергает ?
Не, просто спокойно себе работает на миллионах Google Nest Hub
Где с таким же успехом мог работать и Linux, но он к сожалению NiH.
А зачем там линукс? Точнее, какая разница что там?
Чтобы сорцы пришлось раскрывать?
которые скоро превратятся в очередной диковинный хлам, когда гугель наиграется в эту фуксию и увлечётся другой, отключив всякий контент для этих огороженок.
Причём с планшетами на Ведроиде Гугл уже так и делал.Из магазина и браузер и приложения не встают, а мимо магазина сборки нашлись, но почти никто не занят этим - мало их.
И хорошее железо, с хорошей батареей, хоррошей матрицей, хорошим звуком, достаточным процессором оказалось годно только под Линукс. Вот так вот покупать вещи с частями от вендора.
> Операционная система CantripOS базируется на микроядре seL4, поверх которого выполняется системное окружение, написанное на языке RustА чтож так? Почему и ядро не написано на великом и прекрасном?
Потому что никому не хочется терять ещё 20 лет на написание и математическую верификацию...
Зачем программе на безопастном языке математическая верификация. Неужели там могут быть... баги?? Wait, oh shi~
Ну, верификация это как бы немного большее чем гарантии по памяти, которые раст дает.
Просто полноценную ось... да даже ядро, а не микроядро как тут, фиг верифицируешь за разумное время.
Посмотрите сколько строк в seL4 и сколько человеколет его верифицировали.
Так что все правильно сделали.
Потому что
1. seL4 верифицирована и настолько маленькая что. тысячи глаз могут ее просмотреть
2. в ней используются ну очень строгие параметры компиляции
- Code should compile without warnings, with -Wall.
- When using integral types (char, int, long, etc.), qualify them explicitly as unsigned except where negative values are meaningful and must be handled.
- запрещены ++x и --y
- используют automatic formatting of C code
Просто сравни это с распространеными опенсорс проектами.И второе "потому что":
лицензия этого ядра позволяет использовать для "всего что не в нем" нормальные пермиссивные. И писать на любом языке который можно с Си соединить.
А это немаловажный плюс - твой код не заражается раковой ГПЛей.И третье, последнее но немаловажное:
ГНУтики поработали - чего их трудом не воспользоваться)
> 2. в ней используются ну очень строгие параметры компиляции
> - Code should compile without warnings, with -Wall.За отсутствие -Wall стреляют в упор.
и что тут принципиально инновационного? и чего нельзя при должном желании сделать и не "в ней"?
инновационного? то что они таки смогли это сделать))
а ни у кого другого "должного желания" не оказалось
вам ничего не мешает потратить пару сотен тысяч баксов на верификацию
Вот это реальное место для rust.Одно единственное поделие на котором должна крутиться одна единственная безопасная система.
Вот тут никаких вариантов архитектур, систем и наборов библиотек.
Никаких условных компиляций.
Тут он вполне может работать.
>безопасная системаСильное утверждение. Проверять его мы конечно же не будем.
DRM. Понятно сразу же.
Понятно тут только то, что тебе ничего не понятно.
Скайнет же. Особо защищённый ИИ...
Может ли эта штука помочь в управлении самим ИИ или от попытки ИИ взломать себя?
> попытки ИИ взломать себяЧто это значит?
Возможна самообман - ну как у кожанных мешков, с которых пока копируют ИИ.
Обойти навязанные ему вещи, например меза-оптимизатор.
Выглядит как решение для цифрового гулага будущего, где по улицам будут ходить рептилоиды, вам запретят владеть вещами и надолго покидать 15 минутный периметр вашего района.
> вам запретят владеть вещамиУже повсюду подписки.
> и надолго покидать 15 минутный периметр вашего района.
А зачем если есть метавселенная? Одел VR и ты не в своей конуре, а на других планетах.
На вещи пока не так прямо. Я даже не знаю что я орендую. Ничего.
>орендуюарендую
Вечно у меня опечатки или ошибки.
не хочешь взять в аренду спелчеккер?))
> Уже повсюду подписки.Что правда? Прям везде?
Куча софта продается "лицензия на год", если не покупать новую - просто сидишь без обновлений.
Для местных любителей ядра 2.6 это, я думаю, вообще не проблема.(Другой вопрос, что люди хотят "я тебе 10 баксов за программу дал? ну так поддерживай ее вечно", а так не бывает)
за минусом вещей (впрочем, в нашем гос-ве и это спорно) - это ж гулаг 1.5 годичной давности. Какое к чёрту будущее.
Интересно, связано ли это как-то с проектом Fuchsia и соответствующей миграцией Chrome OS, Android.
Если сделать транслятор из FASM в VHDL, допилить Kolibri OS из того что там не допилено, то в целом тоже можно получить чип KolibriOS-40044
Уже думал над этим. Системные вызовы колибри относительно простые и видимо могут быть ускорены в чипе. Можно скрестить чип и операционную систему.
А почему бы и не Колибри с процессором (с базовой видеокартой)? Полностью заменив процессор и отменив нужду в нем. Выкинуть на периферию файловую систему для подключения внешнего жёсткого диска, оперативку и естественно порты USB, PCIe, SATA и т.д. Впрочем отдельный чип аккуратно стоящий рядом с процессором тоже неплохая идея.
Хотя нет, базовая оперативка тоже на кристалле и готовый компьютер на чипе готов. Причём QFN для миниатюрных вещей и DIP для простых любителей. Чип, обвязка, разъёмы под нужды — материнская плата, он же полноценный компьютер готов. Такое вроде никто не делал, так как это уже смесь Гарвардской и Фон-Неймана архитектур, более того с готовой ОС.
Как только у гугла появляется слово "Open" - это значит, что внутренний проект достиг стадии "мусорная корзина".
Нет. Иногда это попытка распостранить свои стандарты, привлечь партнёров, с которых выгодно стричь или иная выгода.В опенсорсе выгода в возможности менять и интегрировать.