From 4b4631508bcf6317335061aa83592d36ce486878 Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Wed, 14 Oct 2020 17:19:04 +0300 Subject: [PATCH] =?utf8?q?=D0=9D=D0=B5=D0=BE=D0=B6=D0=B8=D0=B4=D0=B0=D0=BD?= =?utf8?q?=D0=BD=D0=BE=20=D0=A2=D1=8C=D1=8E=D1=80=D0=B8=D0=BD=D0=B3-=D0=BF?= =?utf8?q?=D0=BE=D0=BB=D0=BD=D1=8B=D0=B9?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit 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 пакеты), ну и недоверие к такому каналу получения программ -- первому что будут пытаться использовать не для благих целей. Не нужно добавлять излишней гибкости, которая обеспечит Тьюринг-полноту, куда не надо. -- 2.50.0