?

Log in

No account? Create an account
kouzdra [entries|archive|friends|userinfo]
kouzdra

[ website | www.kouzdra.org ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

July 7th, 2018

О разрешимости: [Jul. 7th, 2018|08:01 am]
kouzdra
На сам деле все неразрешимые задачи превращаются в разрешимые добавлением варианта "не смогла/ни знайу" (да хоть по таймеру). С точки зрения практической достаточно сделать так чтобы этот вариант не выскакивал в реальных ситуациях слишком часто и иметь какой-то план действий на случай "если все-таки выскочит".

Причем на сам деле и "разрешимые" задачи в этом патче часто нуждаются - я например знаю способ который пока 100% работает заставить тайпчекер жабскиого компилятора "уйти в себя" (проверено на всех известных) - при том что задача алгоритмически разрешима (это даже доказали). И что самое смешное - я знаю как сделать так чтобы он в этой и подобной ей ситуациях в себя не уходил (задача вообще-то не экспоненциальная - что опять же доказано) - но это никому не нужно

PS: На деле реальная проблема с этим лайфхаком не в "неразрешимости", а в том что система утрачивает определенность - что такое "корректная программа на Haskell" становится зависимым от реализации компилятора - ну в плане "сможет - не сможет", но опять же - не такая уж бешеная проблема. Жить с этим можно.

В цепепе в темплейтах и не такое гуляет (вообще если вы в формализм втаскиваете какую-то подстановочную семантику вы с вероятностью близкой к 100% получаете в комплекте алгоритмическую полноту со всем к ней прилагающимся) - и спокойно живут. Всяко не главная проблема
Link22 comments|Leave a comment

Тетрадь смерти: [Jul. 7th, 2018|08:22 am]
kouzdra


via
Link2 comments|Leave a comment

К тому эпизоду из фильма Митты [Jul. 7th, 2018|08:50 am]
kouzdra
Там есть еще важный контекст - полететь то они полетели. Но есть и то к чему прилетели - а волшебник конкретно прилетел там к своей смерти (и то что "его дело" перенимает откровенный говнюк, причем так и обозначенный - братец главгероини тоже-ж)

При том, что как я уже сказал, фильм мне кажется "идейно неправильным", Митта там поигрался (легко и непринужденно) с таким пластом архетипов, что аж удивительно.

Ну и Шнитке конечно.
Link15 comments|Leave a comment

Так - из комментов [Jul. 7th, 2018|10:25 pm]
kouzdra
Сабатини почему-то все ценят за пошлейшего капитана Блада - а куда как более кайфные рассказки из жизни Чезаре Корво про "под знаменем Быка" не читали.
Link51 comments|Leave a comment

navigation
[ viewing | July 7th, 2018 ]
[ go | Previous Day|Next Day ]