В 45-й день по григорианскому календарю, то есть 14 февраля, прямо в праздник Луперкалий наш Лев Ламберов переоделся волком в овечьей шкуре и выступил на Московском семинаре по философии математики с докладом «Эпистемология компьютерных доказательств: некоторые аспекты». Речь зашла о вычислительных машинах для построения и проверки доказательств, а также о разного рода романтических мечтах. Докладчика завалили глобальными смысложизненными вопросами, а запись доклада выложили здесь и здесь. Слайды презентации тоже есть, они вот тут. Дорогие телезрители, односерийный доклад нежданно-негаданно превратился в сериал, ждите продолжения. В следующей серии ожидается что-то про социальные аспекты доказательства, математическую практику и фаллибилизм, а также целая притча про Винни-Пуха и пушишки. А если кто-то ещё не видел доказательский компьютер нашего Льва, то вот он на картинке. Любуйтесь.
В 45-й день по григорианскому календарю, то есть 14 февраля, прямо в праздник Луперкалий наш Лев Ламберов переоделся волком в овечьей шкуре и выступил на Московском семинаре по философии математики с докладом «Эпистемология компьютерных доказательств: некоторые аспекты». Речь зашла о вычислительных машинах для построения и проверки доказательств, а также о разного рода романтических мечтах. Докладчика завалили глобальными смысложизненными вопросами, а запись доклада выложили здесь и здесь. Слайды презентации тоже есть, они вот тут. Дорогие телезрители, односерийный доклад нежданно-негаданно превратился в сериал, ждите продолжения. В следующей серии ожидается что-то про социальные аспекты доказательства, математическую практику и фаллибилизм, а также целая притча про Винни-Пуха и пушишки. А если кто-то ещё не видел доказательский компьютер нашего Льва, то вот он на картинке. Любуйтесь.
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. And while money initially moved into stocks in the morning, capital moved out of safe-haven assets. The price of the 10-year Treasury note fell Friday, sending its yield up to 2% from a March closing low of 1.73%. These administrators had built substantial positions in these scrips prior to the circulation of recommendations and offloaded their positions subsequent to rise in price of these scrips, making significant profits at the expense of unsuspecting investors, Sebi noted. Russian President Vladimir Putin launched Russia's invasion of Ukraine in the early-morning hours of February 24, targeting several key cities with military strikes. Official government accounts have also spread fake fact checks. An official Twitter account for the Russia diplomatic mission in Geneva shared a fake debunking video claiming without evidence that "Western and Ukrainian media are creating thousands of fake news on Russia every day." The video, which has amassed almost 30,000 views, offered a "how-to" spot misinformation.
from es
