Хочу ПО, суть такова: закидываешь в него пачку жпего-фоточек, он выбирает из неё наименее блюрную (или даже совмещает информацию из них чтобы получить более резкое изображение чем в каждой из фоточек).
Что в 2020 стоит читать нублолам про формальную верификацию? Стоит ли бежать за толпой и дрочить на TLA⁺/PlusCal? Вымирают ли агды да идрисы с петухами? Где я мог наткнуться на ATS и какого чёрта его название засело у меня в голове? Почему Microsoft Research пилит аж два прувера? Ну и всё такое.
Забавная фигняс TeamViewer, на моей памяти уже года полтора–два как — под Линухом [не работает без запущенного Display Manager](https://community.teamviewer.com/t5/Linux/Unable-to-run-TV13-without-display-manager-even-when-using-tar/td-p/27669).
Предлагаю оставить в стороне вопрос про решето и нинужно (я лично именно такого мнения придерживаюсь), и предположить: а на хрена ему?.. Ладно он даже в чисто клиентском режиме требует работающего демона под Линухом. Это я могу если не простить, то понять. А Display Manager-то ему зачем?..