Сидят олимпиадники, решают геометрию. Заходит к ним новичок и слышит отовсюду: "используй теорему 871", "по лемме 34 получаем", "вспомни утверждение 152" и т.д. Новичок спрашивает у самого главного олимпиадника: - Что происходит? - Понимаешь, чтобы не путаться в именных теоремах, леммах и т.д., мы их все пронумеровали. И теперь вместо названия теоремы просто её номер говорим, и всем всё ясно. И именные теоремы больше не нужны! Новичок, чтобы показаться своим, решает попробовать: - По лемме 255! И тут же слышит: - Сказали же тебе: именные леммы не нужны! Номер назови!
Сидят олимпиадники, решают геометрию. Заходит к ним новичок и слышит отовсюду: "используй теорему 871", "по лемме 34 получаем", "вспомни утверждение 152" и т.д. Новичок спрашивает у самого главного олимпиадника: - Что происходит? - Понимаешь, чтобы не путаться в именных теоремах, леммах и т.д., мы их все пронумеровали. И теперь вместо названия теоремы просто её номер говорим, и всем всё ясно. И именные теоремы больше не нужны! Новичок, чтобы показаться своим, решает попробовать: - По лемме 255! И тут же слышит: - Сказали же тебе: именные леммы не нужны! Номер назови!
BY травяной сбор трюизмов
Warning: Undefined variable $i in /var/www/group-telegram/post.php on line 260
Artem Kliuchnikov and his family fled Ukraine just days before the Russian invasion. Recently, Durav wrote on his Telegram channel that users' right to privacy, in light of the war in Ukraine, is "sacred, now more than ever." Given the pro-privacy stance of the platform, it’s taken as a given that it’ll be used for a number of reasons, not all of them good. And Telegram has been attached to a fair few scandals related to terrorism, sexual exploitation and crime. Back in 2015, Vox described Telegram as “ISIS’ app of choice,” saying that the platform’s real use is the ability to use channels to distribute material to large groups at once. Telegram has acted to remove public channels affiliated with terrorism, but Pavel Durov reiterated that he had no business snooping on private conversations. Although some channels have been removed, the curation process is considered opaque and insufficient by analysts. 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.
from sa
