https://m.opennet.dev/openforum/vsluhforumID3/134426.html Японский разработчик Keigo Oka продемонстрировал, что на основе утилит GNU find и mkdir можно сформировать вычислительную среду, являющуюся полной по Тьюрингу, т.е. позволяющую реализовать на нём любую вычислимую функцию и воссоздать себя. Ранее возможность создания подобной среды была продемонстрирована для утилит sed и awk. Для подтверждения полноты по Тьюрингу предоставлены реализации на связке из find и mkdir игры Fizz buzz и клеточного автомата, действующего по "правилу 110"...<br><br>Подробнее: https://www.opennet.ru/opennews/art.shtml?num=61635<br> https://m.opennet.dev/openforum/vsluhforumID3/134426.html#50 Tue, 06 Aug 2024 14:37:20 GMT Это всего лишь аксиоматическая система!<br>Этому еще в школе учат!<br>Сколько параллельных прямых может пересекаться в сферическом кубе в вакууме Пуанкаре в мерности полного Перельмана...<br> https://m.opennet.dev/openforum/vsluhforumID3/134426.html#48 Fri, 02 Aug 2024 03:51:58 GMT Не совсем понятно, что обсуждаем. Результаты научного изыскания точно не сгенерированы "ради смеха"?<br> https://m.opennet.dev/openforum/vsluhforumID3/134426.html#47 Fri, 02 Aug 2024 01:20:16 GMT Скорее кастрюли вступят в Евросоюз.<br> https://m.opennet.dev/openforum/vsluhforumID3/134426.html#46 Thu, 01 Aug 2024 23:55:57 GMT Тест на ушатывание, да. Хотя можно в tmpfs, там вроде и ломать нечего.<br> https://m.opennet.dev/openforum/vsluhforumID3/134426.html#45 Thu, 01 Aug 2024 23:54:41 GMT Да нет, просто есть разница между теоретическими игрушками и практическим применением. Некоторые энтузиасты в гараже примитивные процессоры на лампах и память на ферритах паяют, это круто, но совершенно лишено практической ценности.<br><br>С другой стороны, будь мы 100% за пользу и 0% фантазии мы были бы пчелами.<br> https://m.opennet.dev/openforum/vsluhforumID3/134426.html#44 Thu, 01 Aug 2024 18:47:19 GMT Не могу сказать тебе за Rust остальные, но в Go поиск обычно делается рекурсивным обходом каталогов а не вызовом внешнего find. Хотя конечно можно и так. С другой стороны, часто мы видим уязвимость вида "ну мы тут собрали все параметры. передадим их без проверки в командную строку" от этого никакой язык не застрахован.<br> https://m.opennet.dev/openforum/vsluhforumID3/134426.html#43 Thu, 01 Aug 2024 17:28:41 GMT Там нашли косяк, но автор его уже исправил https://news.ycombinator.com/item?id=41127041<br>Исправленный пруф пока никто не опроверг<br> https://m.opennet.dev/openforum/vsluhforumID3/134426.html#41 Thu, 01 Aug 2024 13:21:19 GMT &gt; Они могут сэмулировать...<br><br>Но не полететь. Машина Тьюринга не Бог, она не всесильна.<br><br>&gt; И даже это ну такое утверждение. Как минимум за полиномиальное - может да, а может нет.<br><br>Но не за константное. Ты не сможешь на машине Тьюринга отсортировать массив длины N за константное время, не зависящее от N. И сортировка вовсе не NP-hard.<br><br>&gt; в вашем определении это нигде не адресовано<br><br>Я не давал определения тьюринг-полноте. Если тебе оно нужно, то оно грубо говоря сводится к тому, что тьюринг-полная система может всё, что может машина тьюринга. Но оно тоже не даёт ответа на вопрос ТСа: что это все носятся к тьюринг-полнотой, как курица с яйцом.<br><br>&gt; микроконтроллер может заменить (тюринг неполную) кучу релюшек, 1 в 1 или - с превышением.<br><br>Это ближе к ответу на вопрос, но недостаточно.<br><br>Любая из современных вычислительных систем, максимум, может сравняться с машиной Тьюринга по своим возможностям, но не превзойти. Ассимптотические сложности алгоритмов рассчитанные для машины Тьюринга будут на любой реальн https://m.opennet.dev/openforum/vsluhforumID3/134426.html#40 Thu, 01 Aug 2024 13:18:47 GMT Уже опровергли. Исправьте новость <br>