Это видео про то как решить задачу на клеточные автоматы с помощью SAT-солверов. Для меня стало откровением что так можно и что эти солверы так хорошо развиты.
Рекомендую это видео, но с натяжкой. Автор плохо рассказывает идею (например ни слова не сказал про обратимость и сад Эдема) и скипает самую главную матчасть, уделяя время скучным базовым понятиям.
Но самая главная идея этого видео стоит того. Наверное лучше по главам пролистать и смотреть только последнюю часть видео.
Это видео про то как решить задачу на клеточные автоматы с помощью SAT-солверов. Для меня стало откровением что так можно и что эти солверы так хорошо развиты.
Рекомендую это видео, но с натяжкой. Автор плохо рассказывает идею (например ни слова не сказал про обратимость и сад Эдема) и скипает самую главную матчасть, уделяя время скучным базовым понятиям.
Но самая главная идея этого видео стоит того. Наверное лучше по главам пролистать и смотреть только последнюю часть видео.
Groups are also not fully encrypted, end-to-end. This includes private groups. Private groups cannot be seen by other Telegram users, but Telegram itself can see the groups and all of the communications that you have in them. All of the same risks and warnings about channels can be applied to groups. Since its launch in 2013, Telegram has grown from a simple messaging app to a broadcast network. Its user base isn’t as vast as WhatsApp’s, and its broadcast platform is a fraction the size of Twitter, but it’s nonetheless showing its use. While Telegram has been embroiled in controversy for much of its life, it has become a vital source of communication during the invasion of Ukraine. But, if all of this is new to you, let us explain, dear friends, what on Earth a Telegram is meant to be, and why you should, or should not, need to care. Two days after Russia invaded Ukraine, an account on the Telegram messaging platform posing as President Volodymyr Zelenskiy urged his armed forces to surrender. Oleksandra Matviichuk, a Kyiv-based lawyer and head of the Center for Civil Liberties, called Durov’s position "very weak," and urged concrete improvements. Continuing its crackdown against entities allegedly involved in a front-running scam using messaging app Telegram, Sebi on Thursday carried out search and seizure operations at the premises of eight entities in multiple locations across the country.
from ca
