Это видео про то как решить задачу на клеточные автоматы с помощью SAT-солверов. Для меня стало откровением что так можно и что эти солверы так хорошо развиты.
Рекомендую это видео, но с натяжкой. Автор плохо рассказывает идею (например ни слова не сказал про обратимость и сад Эдема) и скипает самую главную матчасть, уделяя время скучным базовым понятиям.
Но самая главная идея этого видео стоит того. Наверное лучше по главам пролистать и смотреть только последнюю часть видео.
Это видео про то как решить задачу на клеточные автоматы с помощью SAT-солверов. Для меня стало откровением что так можно и что эти солверы так хорошо развиты.
Рекомендую это видео, но с натяжкой. Автор плохо рассказывает идею (например ни слова не сказал про обратимость и сад Эдема) и скипает самую главную матчасть, уделяя время скучным базовым понятиям.
Но самая главная идея этого видео стоит того. Наверное лучше по главам пролистать и смотреть только последнюю часть видео.
What distinguishes the app from competitors is its use of what's known as channels: Public or private feeds of photos and videos that can be set up by one person or an organization. The channels have become popular with on-the-ground journalists, aid workers and Ukrainian President Volodymyr Zelenskyy, who broadcasts on a Telegram channel. The channels can be followed by an unlimited number of people. Unlike Facebook, Twitter and other popular social networks, there is no advertising on Telegram and the flow of information is not driven by an algorithm. Pavel Durov, a billionaire who embraces an all-black wardrobe and is often compared to the character Neo from "the Matrix," funds Telegram through his personal wealth and debt financing. And despite being one of the world's most popular tech companies, Telegram reportedly has only about 30 employees who defer to Durov for most major decisions about the platform. However, the perpetrators of such frauds are now adopting new methods and technologies to defraud the investors. "We as Ukrainians believe that the truth is on our side, whether it's truth that you're proclaiming about the war and everything else, why would you want to hide it?," he said. The company maintains that it cannot act against individual or group chats, which are “private amongst their participants,” but it will respond to requests in relation to sticker sets, channels and bots which are publicly available. During the invasion of Ukraine, Pavel Durov has wrestled with this issue a lot more prominently than he has before. Channels like Donbass Insider and Bellum Acta, as reported by Foreign Policy, started pumping out pro-Russian propaganda as the invasion began. So much so that the Ukrainian National Security and Defense Council issued a statement labeling which accounts are Russian-backed. Ukrainian officials, in potential violation of the Geneva Convention, have shared imagery of dead and captured Russian soldiers on the platform.
from cn
