В 45-й день по григорианскому календарю, то есть 14 февраля, прямо в праздник Луперкалий наш Лев Ламберов переоделся волком в овечьей шкуре и выступил на Московском семинаре по философии математики с докладом «Эпистемология компьютерных доказательств: некоторые аспекты». Речь зашла о вычислительных машинах для построения и проверки доказательств, а также о разного рода романтических мечтах. Докладчика завалили глобальными смысложизненными вопросами, а запись доклада выложили здесь и здесь. Слайды презентации тоже есть, они вот тут. Дорогие телезрители, односерийный доклад нежданно-негаданно превратился в сериал, ждите продолжения. В следующей серии ожидается что-то про социальные аспекты доказательства, математическую практику и фаллибилизм, а также целая притча про Винни-Пуха и пушишки. А если кто-то ещё не видел доказательский компьютер нашего Льва, то вот он на картинке. Любуйтесь.
В 45-й день по григорианскому календарю, то есть 14 февраля, прямо в праздник Луперкалий наш Лев Ламберов переоделся волком в овечьей шкуре и выступил на Московском семинаре по философии математики с докладом «Эпистемология компьютерных доказательств: некоторые аспекты». Речь зашла о вычислительных машинах для построения и проверки доказательств, а также о разного рода романтических мечтах. Докладчика завалили глобальными смысложизненными вопросами, а запись доклада выложили здесь и здесь. Слайды презентации тоже есть, они вот тут. Дорогие телезрители, односерийный доклад нежданно-негаданно превратился в сериал, ждите продолжения. В следующей серии ожидается что-то про социальные аспекты доказательства, математическую практику и фаллибилизм, а также целая притча про Винни-Пуха и пушишки. А если кто-то ещё не видел доказательский компьютер нашего Льва, то вот он на картинке. Любуйтесь.
"Like the bombing of the maternity ward in Mariupol," he said, "Even before it hits the news, you see the videos on the Telegram channels." On February 27th, Durov posted that Channels were becoming a source of unverified information and that the company lacks the ability to check on their veracity. He urged users to be mistrustful of the things shared on Channels, and initially threatened to block the feature in the countries involved for the length of the war, saying that he didn’t want Telegram to be used to aggravate conflict or incite ethnic hatred. He did, however, walk back this plan when it became clear that they had also become a vital communications tool for Ukrainian officials and citizens to help coordinate their resistance and evacuations. Additionally, investors are often instructed to deposit monies into personal bank accounts of individuals who claim to represent a legitimate entity, and/or into an unrelated corporate account. To lend credence and to lure unsuspecting victims, perpetrators usually claim that their entity and/or the investment schemes are approved by financial authorities. "There is a significant risk of insider threat or hacking of Telegram systems that could expose all of these chats to the Russian government," said Eva Galperin with the Electronic Frontier Foundation, which has called for Telegram to improve its privacy practices. A Russian Telegram channel with over 700,000 followers is spreading disinformation about Russia's invasion of Ukraine under the guise of providing "objective information" and fact-checking fake news. Its influence extends beyond the platform, with major Russian publications, government officials, and journalists citing the page's posts.
from cn
