https://www.opennet.me/openforum/vsluhforumID3/139772.html Несколько выявленных за последние дни опасных уязвимостей, большинство из которых можно эксплуатировать удалённо:...<br><br>Подробнее: https://www.opennet.ru/opennews/art.shtml?num=65183<br> https://www.opennet.me/openforum/vsluhforumID3/139772.html#163 Sat, 11 Apr 2026 12:52:52 GMT &gt; и банальная лень привели.<br><br>лень писать новый код? лень обычно включается когда повторяешь какие-то действия, для нового кода лень не помеха, просто не было культуры опенсорса и шеринга исходников.<br> https://www.opennet.me/openforum/vsluhforumID3/139772.html#162 Sat, 11 Apr 2026 12:34:44 GMT Ещё свой анус предложите.<br> https://www.opennet.me/openforum/vsluhforumID3/139772.html#161 Sat, 11 Apr 2026 12:22:45 GMT ты по этим ссылкам прошелся или нет?<br><br>//sel4.systems/Verification/proofs.html<br>//sel4.systems/Verification/implications.html<br>//sel4.systems/Verification/assumptions.html<br><br>По этой ссылке //sel4.systems/Verification/proofs.html есть картинка, может так яснее тебе будет?<br><br>The seL4 proofs span the following top-level properties.<br><br>Functional correctness: the C code of all verified configurations of seL4 behaves precisely as specified in the seL4 specification and nothing more. This is the strongest assurance that the code will not have any unspecified behaviour.<br><br>Note that not all properties are available on all platforms and all configurations. See the list of verified configurations for the current status of what is available.<br><br>//docs.sel4.systems/projects/sel4/verified-configurations.html<br><br>The properties listed above are what the proofs show directly. A side effect of the strength of these statements is that they also imply that seL4 is free from whole classes of common programming errors such as https://www.opennet.me/openforum/vsluhforumID3/139772.html#160 Sat, 11 Apr 2026 12:09:48 GMT &gt; Выпей таблеток.<br><br>ясно, понятно, тяжелый случай.<br><br>&gt; Они сами об этом в ридми пишут.<br><br>в ридми урезанной спеки? :))) тяжелый случай<br> https://www.opennet.me/openforum/vsluhforumID3/139772.html#159 Sat, 11 Apr 2026 10:58:03 GMT &gt;&gt; Найди и покажи такую верификацию <br>&gt; Нашел и показал!!!<br><br>Выпей таблеток.<br><br>&gt;&gt; И зачем тут эта простыня?<br>&gt; За тем, что ты не знаешь к чему придраться, и несешь ересь <br>&gt; по поводу верификации seL4, говоря вот это "Доказывают они, на самом <br>&gt; деле, свойства урезанной статичной версии ядра".<br><br>Они сами об этом в ридми пишут.<br> https://www.opennet.me/openforum/vsluhforumID3/139772.html#158 Sat, 11 Apr 2026 10:04:42 GMT Так такие проверки и будут делать постоянно, в этом и суть прооверок кода.<br><br>Понятно, что растухи не понимают, зачем делать проверки кода, отсюда и всплывают всякие реализации работы с TCP/IP и прочие CVE в ядре линуха, но с теми, кто лечит здоровое разговаривать должны специалисты.<br> https://www.opennet.me/openforum/vsluhforumID3/139772.html#157 Sat, 11 Apr 2026 09:16:13 GMT Хм.. т.е ты предлагаешь заменить новый дырявый КУПС на старый, тоже дырявый?<br>Отличный план _!<br>Просто офигенный, если я правильно понял. Надежный как швейцарские часы!<br><br><br> https://www.opennet.me/openforum/vsluhforumID3/139772.html#156 Sat, 11 Apr 2026 08:24:46 GMT Ой, а что случилось? Неужели люди не кинулись на гораздо более лучший линукс а остались жевать вин?<br> https://www.opennet.me/openforum/vsluhforumID3/139772.html#154 Sat, 11 Apr 2026 07:54:13 GMT &gt;это ваши современные зоопарки ISA привели<br><br>Повальные скачки вокруг недопроцессоров (RISC) в 90-х и банальная лень привели. <br>