From: Sergey Matveev Date: Wed, 14 Oct 2020 14:19:04 +0000 (+0300) Subject: Неожиданно Тьюринг-полный X-Git-Url: http://www.git.stargrave.org/?a=commitdiff_plain;h=4b4631508bcf6317335061aa83592d36ce486878;p=stargrave-blog.git Неожиданно Тьюринг-полный https://www.gwern.net/Turing-complete Статья о том, что тьюринг-полных языков внезапно достаточно много: sendmail, sed, XSLT, C++ templates, Java generics, TrueType шрифты, PostScript, TeX, какие-то музыкальные форматы, CSS, SVG, SQL Magic: The Gathering (вот почему его любят программисты!). И всё это опасность, с точки зрения безопасности (RowHammer, Spectre, и т.д.). Даже BGP: http://vanbever.eu/pdfs/vanbever_turing_icnp_2013.pdf Сейчас даже приходится доказывать что что-то *не* является Тьюринг-полным. Я не много чего тут понимаю, ибо каждый второй комментарий на HackerNews говорит что CSS не Тьюринг-полный. А я не понимаю все эти критерии, при беглом чтении. Могу ли я выразить свои критерии и опасения вещей которые "контролируют мой компьютер" (как я это называю)? sed скрипты меня не парят, ибо штатно я их не качаю постоянно запуская, даже внутри исходного кода других программ. Шрифты, предустановленные в системе тоже не парят. А вот шрифты скачиваемые броузером волнуют -- я поэтому даже возился в кишках webkit чтобы отрубить их получение. Но это мне не нравится ещё тем, что задолбали пытаться преподносить информацию ещё вот именно и вот так выглядящую -- КАЖДОМУ по своему удобно её воспринимать, нефига ещё и шрифты подсовывать свои. По сути меня волнует хаотично скачиваемые программы на компьютер (JS, шрифты, пакеты npm/Python (если что, то npm я запускал один раз в жизни) которые никак не прибиты гвоздями версиями, которые никак не контролируются разрабами и уже сколько новостей было что делали зловред через npm пакеты), ну и недоверие к такому каналу получения программ -- первому что будут пытаться использовать не для благих целей. Не нужно добавлять излишней гибкости, которая обеспечит Тьюринг-полноту, куда не надо. ---