Warning: mkdir(): No space left on device in /var/www/group-telegram/post.php on line 37
Warning: file_put_contents(aCache/aDaily/post/sweet_homotopy/--): Failed to open stream: No such file or directory in /var/www/group-telegram/post.php on line 50 сладко стянул | Telegram Webview: sweet_homotopy/1954 -
к теме вычислений. сегодня дошло, что "лобовое рассуждение" надо читать как "diagram chasing", то есть вместо него можно полтора* раза сослаться на 5-лемму.
доказательство стало понятнее, но длиннее на 77%. примерно как то самое "Гротендик упростил 80-страничную статью Серра, превратив ее в тысячестраничную EGA"
*как известно, 5-лемма состоит из двух 4-лемм. здесь надо два раза сослаться на первую и один раз на вторую
к теме вычислений. сегодня дошло, что "лобовое рассуждение" надо читать как "diagram chasing", то есть вместо него можно полтора* раза сослаться на 5-лемму.
доказательство стало понятнее, но длиннее на 77%. примерно как то самое "Гротендик упростил 80-страничную статью Серра, превратив ее в тысячестраничную EGA"
*как известно, 5-лемма состоит из двух 4-лемм. здесь надо два раза сослаться на первую и один раз на вторую
The Security Service of Ukraine said in a tweet that it was able to effectively target Russian convoys near Kyiv because of messages sent to an official Telegram bot account called "STOP Russian War." On December 23rd, 2020, Pavel Durov posted to his channel that the company would need to start generating revenue. In early 2021, he added that any advertising on the platform would not use user data for targeting, and that it would be focused on “large one-to-many channels.” He pledged that ads would be “non-intrusive” and that most users would simply not notice any change. Unlike Silicon Valley giants such as Facebook and Twitter, which run very public anti-disinformation programs, Brooking said: "Telegram is famously lax or absent in its content moderation policy." "This time we received the coordinates of enemy vehicles marked 'V' in Kyiv region," it added. Now safely in France with his spouse and three of his children, Kliuchnikov scrolls through Telegram to learn about the devastation happening in his home country.
from br
