<?xml version="1.0" encoding="koi8-r"?>
<rss version="0.91">
<channel>
    <title>OpenForum RSS: Проекту seL4 присуждена премия ACM Software System Award</title>
    <link>https://opennet.ru/openforum/vsluhforumID3/130400.html</link>
    <description>Проект, развивающий открытое микроядро seL4, получил премию ACM Software System Award, ежегодно присуждаемую Ассоциация вычислительной техники (ACM), наиболее авторитетной международной организации в области компьютерных систем. Премия присуждена за достижения в области математического доказательства надёжности работы, которое свидетельствует о полном соответствии заданным на формальном языке спецификациям и признаёт готовность использования в критически важных применениях. Проект seL4 показал, что можно не только полностью провести формальную верификацию  надёжности и безопасности для проектов уровня промышленных операционных систем, но и добиться этого без ущерба производительности и универсальности...&lt;br&gt;&lt;br&gt;Подробнее: https://www.opennet.ru/opennews/art.shtml?num=59091&lt;br&gt;</description>

<item>
    <title>Проекту seL4 присуждена премия ACM Software System Award (Заноним)</title>
    <link>https://opennet.ru/openforum/vsluhforumID3/130400.html#65</link>
    <pubDate>Thu, 11 May 2023 21:28:10 GMT</pubDate>
    <description>Ну на java столько понаписали, что ЗП ещё долго будут платить.&lt;br&gt;</description>
</item>

<item>
    <title>Проекту seL4 присуждена премия ACM Software System Award (Аноним)</title>
    <link>https://opennet.ru/openforum/vsluhforumID3/130400.html#64</link>
    <pubDate>Thu, 11 May 2023 18:01:44 GMT</pubDate>
    <description>Мне нравятся такие &quot;древние&quot; языки.&lt;br&gt;Чем меньше дешёвой школоты хочет с ней работать - тем больше моя ЗП&lt;br&gt;</description>
</item>

<item>
    <title>Проекту seL4 присуждена премия ACM Software System Award (Аноним)</title>
    <link>https://opennet.ru/openforum/vsluhforumID3/130400.html#63</link>
    <pubDate>Thu, 11 May 2023 18:00:01 GMT</pubDate>
    <description>&amp;gt; на всех кладбищах (enterprise environment)&lt;br&gt;&lt;br&gt;Однако эти &quot;кладбища&quot; почему-то способны платить тебе стабильную хорошую ЗП, в отличие от &quot;новых проектов&quot; твоего одноклассника Васяна на модных язычках, от которых писаются кипятком все пацаны на раёне&lt;br&gt;</description>
</item>

<item>
    <title>Проекту seL4 присуждена премия ACM Software System Award (Аноним)</title>
    <link>https://opennet.ru/openforum/vsluhforumID3/130400.html#62</link>
    <pubDate>Thu, 11 May 2023 06:31:44 GMT</pubDate>
    <description>&amp;gt; Он &quot;возможен&quot; уже хрен его знает сколько лет - но только &quot;на свой страх и риск&quot;. &lt;br&gt;&lt;br&gt;сказки не надо рассказывать - когда там всплеск развития ИИ начался ? несколько лет назад, и ты не понимаешь очевидных вещей - ответственность за ТС и отвественность за управление ТС это пипец какие разные вещи, никто за действия водителей отвественности не несёт кроме самого водителя, а начиная с L3 производитель автомобиля должен за это нести ответственность.&lt;br&gt;</description>
</item>

<item>
    <title>Проекту seL4 присуждена премия ACM Software System Award (warlock66613)</title>
    <link>https://opennet.ru/openforum/vsluhforumID3/130400.html#61</link>
    <pubDate>Wed, 10 May 2023 09:16:02 GMT</pubDate>
    <description>Нет. Вы же наверняка используете сторонние библиотеки, как минимум стандартную библиотеку.&lt;br&gt;</description>
</item>

<item>
    <title>Проекту seL4 присуждена премия ACM Software System Award (Аноним)</title>
    <link>https://opennet.ru/openforum/vsluhforumID3/130400.html#60</link>
    <pubDate>Wed, 10 May 2023 08:37:33 GMT</pubDate>
    <description>&amp;gt; внезапно переход от L2 к L3 имеет чисто правовые сложности - после сертификации L3 производитель берёт на себя отвественность при аварии по вине автопилота, а мерседесы сертифицирован только в Германии и штате Невада &lt;br&gt;&lt;br&gt;Угу, &quot;чисто правовые сложности&quot; опять танцорам мешают, а не то они бы всем показали. &lt;br&gt;Внезапно, это и есть тот самый &quot;нюанс, Петька&quot; - когда производитель берет ответственность за свои заявления, а не прячет мелким шрифтом &quot;работающий супер-автопилот-аналогов-нет ... только будьте готовы в любой момент перехватить управления и если что, мы не виноваты, виноваты вы!&quot;. &lt;br&gt;&lt;br&gt;&lt;br&gt;&amp;gt; https://autocrypt.io/the-state-of-level-3-autonomous-driving-in-2023/ &lt;br&gt;&amp;gt; технически возможен L5 уже сейчас, см YeyQ Ultra &lt;br&gt;&lt;br&gt;Он &quot;возможен&quot; уже хрен его знает сколько лет - но только &quot;на свой страх и риск&quot;. Т.е. то самое пресловутое &quot;прорыв уже-почти-еще-немного&quot;.&lt;br&gt;&lt;br&gt;&amp;gt; а ваши &quot;в реальности, хорошо если лет через 15-20 что-то не сильно стремное в этой области появится&quot; это просто газификация луж &lt;br&gt;&lt;br&gt;Ну давай ссылку, где п</description>
</item>

<item>
    <title>Проекту seL4 присуждена премия ACM Software System Award (Аноним)</title>
    <link>https://opennet.ru/openforum/vsluhforumID3/130400.html#59</link>
    <pubDate>Tue, 09 May 2023 20:28:39 GMT</pubDate>
    <description>&amp;gt; Внезапно, можно развивать технологии и при этом выдавать продвинутых ассистентов в качестве промежуточного результата - _уже__работающих_, хоть и с определенными ограничениями, как например мерседес с их ассистентом, прошедшим SAE-Level-3 сертификацию. &lt;br&gt;&lt;br&gt;внезапно переход от L2 к L3 имеет чисто правовые сложности - после сертификации L3 производитель берёт на себя отвественность при аварии по вине автопилота, а мерседесы сертифицирован только в Германии и штате Невада&lt;br&gt;&lt;br&gt;https://autocrypt.io/the-state-of-level-3-autonomous-driving-in-2023/&lt;br&gt;&lt;br&gt;технически возможен L5 уже сейчас, см YeyQ Ultra&lt;br&gt;&lt;br&gt;https://www.mobileye.com/technology/eyeq-chip&lt;br&gt;&lt;br&gt;а ваши &quot;в реальности, хорошо если лет через 15-20 что-то не сильно стремное в этой области появится&quot; это просто газификация луж&lt;br&gt;</description>
</item>

<item>
    <title>Проекту seL4 присуждена премия ACM Software System Award (Аноним)</title>
    <link>https://opennet.ru/openforum/vsluhforumID3/130400.html#55</link>
    <pubDate>Tue, 09 May 2023 14:16:51 GMT</pubDate>
    <description>&amp;gt;&amp;gt; Майстрим сейчас, как и всегда - подоить доверчивых лошк^W инвесторов и потребляd^Hтелей.&lt;br&gt;&amp;gt; для развития технологий нужны финансы это очевидно, но вы покупаете товары потому что лош.к ?&lt;br&gt;&lt;br&gt;А в огороде бузина, это тоже очевидно.&lt;br&gt;&lt;br&gt;Внезапно, можно развивать технологии и при этом выдавать продвинутых ассистентов в качестве промежуточного результата - _уже__работающих_, хоть и с определенными ограничениями, как например мерседес с их ассистентом, прошедшим SAE-Level-3 сертификацию. &lt;br&gt;А можно почти 10 лет просто обещать &quot;уже почти совсем готово еще чуть-чуть!&quot;.&lt;br&gt; &lt;br&gt;&amp;gt; а я думаю что для собственного комфорта. Но конечно можете и на собачках скакать вместо автомобилей. И ж..у берестой подтирать, бумага для лошк.в &lt;br&gt;&lt;br&gt;&quot;Как вместо ответа по существу или хотя бы по теме, создать абстрактное соломенное чучело и победить его, Опеннетная Демонстрация &amp;#8470;100501&quot;&lt;br&gt;&lt;br&gt;&lt;br&gt;</description>
</item>

<item>
    <title>Проекту seL4 присуждена премия ACM Software System Award (Аноним)</title>
    <link>https://opennet.ru/openforum/vsluhforumID3/130400.html#54</link>
    <pubDate>Tue, 09 May 2023 13:25:41 GMT</pubDate>
    <description>&amp;gt; Майстрим сейчас, как и всегда - подоить доверчивых лошк^W инвесторов и потребляd^Hтелей. &lt;br&gt;&lt;br&gt;для развития технологий нужны финансы это очевидно, но вы покупаете товары потому что лош.к ? а я думаю что для собственного комфорта. Но конечно можете и на собачках скакать вместо автомобилей. И ж..у берестой подтирать, бумага для лошк.в&lt;br&gt;</description>
</item>

</channel>
</rss>
