В 45-й день по григорианскому календарю, то есть 14 февраля, прямо в праздник Луперкалий наш Лев Ламберов переоделся волком в овечьей шкуре и выступил на Московском семинаре по философии математики с докладом «Эпистемология компьютерных доказательств: некоторые аспекты». Речь зашла о вычислительных машинах для построения и проверки доказательств, а также о разного рода романтических мечтах. Докладчика завалили глобальными смысложизненными вопросами, а запись доклада выложили здесь и здесь. Слайды презентации тоже есть, они вот тут. Дорогие телезрители, односерийный доклад нежданно-негаданно превратился в сериал, ждите продолжения. В следующей серии ожидается что-то про социальные аспекты доказательства, математическую практику и фаллибилизм, а также целая притча про Винни-Пуха и пушишки. А если кто-то ещё не видел доказательский компьютер нашего Льва, то вот он на картинке. Любуйтесь.
В 45-й день по григорианскому календарю, то есть 14 февраля, прямо в праздник Луперкалий наш Лев Ламберов переоделся волком в овечьей шкуре и выступил на Московском семинаре по философии математики с докладом «Эпистемология компьютерных доказательств: некоторые аспекты». Речь зашла о вычислительных машинах для построения и проверки доказательств, а также о разного рода романтических мечтах. Докладчика завалили глобальными смысложизненными вопросами, а запись доклада выложили здесь и здесь. Слайды презентации тоже есть, они вот тут. Дорогие телезрители, односерийный доклад нежданно-негаданно превратился в сериал, ждите продолжения. В следующей серии ожидается что-то про социальные аспекты доказательства, математическую практику и фаллибилизм, а также целая притча про Винни-Пуха и пушишки. А если кто-то ещё не видел доказательский компьютер нашего Льва, то вот он на картинке. Любуйтесь.
But Telegram says people want to keep their chat history when they get a new phone, and they like having a data backup that will sync their chats across multiple devices. And that is why they let people choose whether they want their messages to be encrypted or not. When not turned on, though, chats are stored on Telegram's services, which are scattered throughout the world. But it has "disclosed 0 bytes of user data to third parties, including governments," Telegram states on its website. Under the Sebi Act, the regulator has the power to carry out search and seizure of books, registers, documents including electronics and digital devices from any person associated with the securities market. 'Wild West' "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. 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.
from us
