верхний пост

[thedeemon]

Ссылки на избранные посты, чего тут было интересного.

Про язык ATS и зависимые типы:
https://thedeemon.livejournal.com/41035.html - можно начать тут
https://thedeemon.livejournal.com/tag/ats и дальше набор постов по тэгу. 2011

Про

Comments

[egovoru]

Еще такое периодически случается, когда одно из уведомлений по ошибке попадает в спам :)

Оффтопик: не откажите, пожалуйста, в любезности прояснить один физический вопрос, который случайно возник вот в этом обсуждении. Заранее большое спасибо!

[thedeemon]

Как-то я не разглядел, в чем именно вопрос. Посмотрел выше по веткам обсуждения, вашим репликам молча покивал согласно. :)

[egovoru]

Вопрос в том, действительно ли все варианты мультиверса, рассматриваемые физиками, предполагают полное отсутствие возможности контакта между разными вселенными (что автоматически делает невозможным экспериментальную проверку их существования)?

[thedeemon]

А, спасибо. Если идея bubble universes относится к мультиверсу (вроде да), то там есть идеи, что разные пузыри могут сталкиваться, и результат таких столкновений будет весьма заметен. См. например https://www.youtube.com/watch?v=lrS0rxX-UhA

[ext_956459]

А как в до-нейросеточную эпоху предсказывали изображения? Необязательно писать именно про твой (емнип) стиратель логотипа на видео, но вообще про такое.

Я тогда давно (примерно 2010, может даже раньше) где-то видел удалятель прутьев клетки из фото попугая, может даже ссылка на картинку + пейпер была из твоего жж.

Годятся основные ключевые слова и/или авторы, чтобы начать гуглить.

Интересны условно не-нейросеточные методы (а не просто старые). Т.е. пейпер 2023 года вполне устроит.

[thedeemon]

Сорри, я на прошлой неделе был вдали от компьютера и ЖЖ.

Под рукой нет каких-то ссылок и статей по этой теме. Можно попробовать поискать старые фильтры отсюда, некоторые могли быть с исходниками. http://infognition.com/VirtualDubFilters/subtitles.html

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

[ext_956459]

А меня так вообще несколько лет в ЖЖ не было (кстати, за это время гугль-плюс успел родиться и умереть).

Меня именно эвристики интересуют, их из кода вымайнивать вряд ли будет удобно. Причем эвристики статичных изображений, а не видео. Было такое тогда, донейросеточное надеюсь.