Читаем Современная модальная логика: между математикой и информатикой, И.Б. Шапировский, В.Б. Шехтман
Думаю, стоит нам немного отдохнуть от философии и заняться чем-то более приземлённым. Предлагаю прочитать обзор современного состояния исследований в модальной логике от крупных специалистов в ней. По-хорошему, конечно, надо было бы эту статью читать до книги Хеллмана, но как уж получилось. Зато теперь чтение будет мотивированное!
Прочитать статью к пятнице, 9августа. Встречаемся на нашем дискорд-сервере в 19:00 по Москве.
Читаем Современная модальная логика: между математикой и информатикой, И.Б. Шапировский, В.Б. Шехтман
Думаю, стоит нам немного отдохнуть от философии и заняться чем-то более приземлённым. Предлагаю прочитать обзор современного состояния исследований в модальной логике от крупных специалистов в ней. По-хорошему, конечно, надо было бы эту статью читать до книги Хеллмана, но как уж получилось. Зато теперь чтение будет мотивированное!
Прочитать статью к пятнице, 9августа. Встречаемся на нашем дискорд-сервере в 19:00 по Москве.
Founder Pavel Durov says tech is meant to set you free Telegram, which does little policing of its content, has also became a hub for Russian propaganda and misinformation. Many pro-Kremlin channels have become popular, alongside accounts of journalists and other independent observers. Channels are not fully encrypted, end-to-end. All communications on a Telegram channel can be seen by anyone on the channel and are also visible to Telegram. Telegram may be asked by a government to hand over the communications from a channel. Telegram has a history of standing up to Russian government requests for data, but how comfortable you are relying on that history to predict future behavior is up to you. Because Telegram has this data, it may also be stolen by hackers or leaked by an internal employee. The S&P 500 fell 1.3% to 4,204.36, and the Dow Jones Industrial Average was down 0.7% to 32,943.33. The Dow posted a fifth straight weekly loss — its longest losing streak since 2019. The Nasdaq Composite tumbled 2.2% to 12,843.81. Though all three indexes opened in the green, stocks took a turn after a new report showed U.S. consumer sentiment deteriorated more than expected in early March as consumers' inflation expectations soared to the highest since 1981. Ukrainian President Volodymyr Zelensky said in a video message on Tuesday that Ukrainian forces "destroy the invaders wherever we can."
from ms
