https://www.opennet.ru/openforum/vsluhforumID3/139772.html Несколько выявленных за последние дни опасных уязвимостей, большинство из которых можно эксплуатировать удалённо:...<br><br>Подробнее: https://www.opennet.ru/opennews/art.shtml?num=65183<br> https://www.opennet.ru/openforum/vsluhforumID3/139772.html#70 Fri, 10 Apr 2026 17:16:22 GMT Это ещё даже Алису не попробовали<br> https://www.opennet.ru/openforum/vsluhforumID3/139772.html#69 Fri, 10 Apr 2026 16:52:05 GMT Ахаха... Что-то пилят, всё допилить не могут!<br> https://www.opennet.ru/openforum/vsluhforumID3/139772.html#68 Fri, 10 Apr 2026 16:51:33 GMT &gt; Если ошибок с памятью не будет, то кто будет менять деньги на токены. <br>&gt; Думаю притормозят внедрение раста.<br><br>Не притормозят, а наоборот: закупятся токенами и с помощью ИИ перепишут на Раст еще быстрее.<br> https://www.opennet.ru/openforum/vsluhforumID3/139772.html#67 Fri, 10 Apr 2026 16:48:44 GMT &gt; Найди и покажи такую верификацию<br><br>Вот<br><br>//sel4.systems/Verification/proofs.html<br><br>//sel4.systems/Verification/implications.html<br><br>//sel4.systems/Verification/assumptions.html<br><br>&gt; Мне не важно, что ты думаешь.<br><br>Ясно, понятно, только я не тот аноним с которым ты выше троллишся.<br> https://www.opennet.ru/openforum/vsluhforumID3/139772.html#66 Fri, 10 Apr 2026 16:47:11 GMT &gt;&gt; что вся хитроумная логика и асинхронщина находятся за пределами unsafe.<br>&gt; У тебя любой примитив синхронизации будет с unsafe внутри. <br><br>А вся логика снаружи - нет. Об этом как бы и речь.<br><br>&gt;&gt;&gt; например, из-за аппаратной ошибки<br>&gt;&gt; Ох как ты ловко спрыгнул с обсуждения языков и алгоритмов на аппаратные ошибки.<br>&gt; Алгоритмы работают в реальном мире на секунду. Если хочешь рассуждать о них в отрыве<br><br>Программные алгоритмы работают, внезапно, сугубо в пределах программы, и чисто физически не могут иметь отношения к потенциальным аппаратным ошибкам.<br><br>Заканчивай чушь нести.<br> https://www.opennet.ru/openforum/vsluhforumID3/139772.html#65 Fri, 10 Apr 2026 16:46:01 GMT &gt; Ну дак это искусственные условия. На практике многие утверждения приходится аксиоматизировать. Что-то остается недоказанным. Что-то приходится допускать.<br><br>Так и есть, но это ведь не самообман, вы говорите за формальную верификацию как за самообман, тоже самое можно сказать про всю математику, где есть допущения, аксиомы и другие "неловкие" моменты, и все сведется к тому, а что есть собственно понятие - "доказать" (формально доказать). Брауэр вообще не признавал доказательства от противного :)<br><br>Вот seL4 описали эти моменты:<br><br>//sel4.systems/Verification/proofs.html<br><br>//sel4.systems/Verification/implications.html<br><br>//sel4.systems/Verification/assumptions.html<br><br>А вот тут про ironclad-os:<br><br>//ironclad-os.org/formalverification.html<br> https://www.opennet.ru/openforum/vsluhforumID3/139772.html#64 Fri, 10 Apr 2026 16:38:16 GMT &gt; Ну дак это искусственные условия. На практике многие утверждения приходится аксиоматизировать. Что-то остается недоказанным. Что-то приходится допускать.<br><br>Это как раз не исукственные условия - это условия, которые ты контролируешь на уровне алгоритма. Все поведение за пределами алгоритма (например, сломанное железо) к самому алгоритму и его реализации в коде отношения не имеет, и, соответсвенно, чисто физически не сожет быть математически верифицируемым.<br><br>Это как бы очевидно, не?<br> https://www.opennet.ru/openforum/vsluhforumID3/139772.html#63 Fri, 10 Apr 2026 16:37:51 GMT &gt;&gt; Мне не важно, что ты думаешь. Найди и покажи <br>&gt; В общем, ничего содержательного по теме ты выдать больше не способен. Ну <br>&gt; ничего: будет тебе уроком больше не бросаться умными терминами, смысла которых <br>&gt; ты не понимаешь.<br><br>Что, не получилось найти верификацию? А должно было быть "просто" как ты говорил https://www.opennet.ru/openforum/vsluhforumID3/139772.html#53 Ну ничего, сейчас щеки надуем, неберем побольше воздуха и выдадим грозный комментарий. Получается, ты бумажный тигр?)<br> https://www.opennet.ru/openforum/vsluhforumID3/139772.html#62 Fri, 10 Apr 2026 16:34:48 GMT Да<br>