Это видео про то как решить задачу на клеточные автоматы с помощью SAT-солверов. Для меня стало откровением что так можно и что эти солверы так хорошо развиты.
Рекомендую это видео, но с натяжкой. Автор плохо рассказывает идею (например ни слова не сказал про обратимость и сад Эдема) и скипает самую главную матчасть, уделяя время скучным базовым понятиям.
Но самая главная идея этого видео стоит того. Наверное лучше по главам пролистать и смотреть только последнюю часть видео.
Это видео про то как решить задачу на клеточные автоматы с помощью SAT-солверов. Для меня стало откровением что так можно и что эти солверы так хорошо развиты.
Рекомендую это видео, но с натяжкой. Автор плохо рассказывает идею (например ни слова не сказал про обратимость и сад Эдема) и скипает самую главную матчасть, уделяя время скучным базовым понятиям.
Но самая главная идея этого видео стоит того. Наверное лучше по главам пролистать и смотреть только последнюю часть видео.
The message was not authentic, with the real Zelenskiy soon denying the claim on his official Telegram channel, but the incident highlighted a major problem: disinformation quickly spreads unchecked on the encrypted app. False news often spreads via public groups, or chats, with potentially fatal effects. On Telegram’s website, it says that Pavel Durov “supports Telegram financially and ideologically while Nikolai (Duvov)’s input is technological.” Currently, the Telegram team is based in Dubai, having moved around from Berlin, London and Singapore after departing Russia. Meanwhile, the company which owns Telegram is registered in the British Virgin Islands. As the war in Ukraine rages, the messaging app Telegram has emerged as the go-to place for unfiltered live war updates for both Ukrainian refugees and increasingly isolated Russians alike. Stocks closed in the red Friday as investors weighed upbeat remarks from Russian President Vladimir Putin about diplomatic discussions with Ukraine against a weaker-than-expected print on U.S. consumer sentiment.
from us
