Life of Tau


Kanal geosi va tili: Rossiya, Ruscha
Toifa: Bloglar


See also @magistau@mas.to
Правила чата/комментариев: https://t.me/tauslife/9

Bog‘liq kanallar  |  O‘xshash kanallar

Kanal geosi va tili
Rossiya, Ruscha
Toifa
Bloglar
Statistika
Postlar filtri


The "Malfoid" discourse is yet another proof of #HarryPotter fandom not actually being that different from their beloved mold queen. "Separate art from artist" my ass.


tfw you look like if a man and a woman had a child


"у вас очень красивая шляпа, вам вообще идёт" — рандомная женщина в метро




в цт есть гендерно-нейтральный туалет
мелочь а приятно

372 0 23 49 17

to humanity and beyond


walking on toes is a sign of autism??




man(1) is literally mansplaining




employ - employer - employee
train - trainer - trainee
examine - examiner - examinee
be - beer - bee

619 1 10 7 20

So when I get a walkie-talkie I officially become a toddler?


"британия для бриттов"
- кир пикель


оказывается сегодня день жестовых языков и бисексуальности
всех причастных с днём дня!


я ненавижу го
когда я изучала uiua и par они у меня вызывали куда меньше негативных эмоций чем это goвно

514 0 4 29 23

formal labs dan repost
Курс "Формализация математики в Lean"

Всем привет! В этом семестре в ШАДе совместно с formal labs будет проходить полусеместровый курс по формальной математике. Курс ведёт Василий Нестеров.

Первая лекция — в субботу, 19 сентября, в 11:00 MSK, лекция идёт 3 часа.

Цель курса: познакомиться с языком формальных доказательств Lean, понять как на нем выражать известные математические конструкции (определения, утверждения и доказательства), понять почему ему можно доверять в проверке доказательств.

Программа:
1. Синтаксис Lean. Определения, теоремы, тактики. Пропозициональная логика.
2. Логика с кванторами. Числа, функции и множества
3. Математический анализ
4. Алгебра, в том числе линейная
5. Дискретная математика
6. Вероятность
7. Формальная математика в эпоху ИИ

Будут домашние задания с автопроверкой в системе Manytask: https://app.manytask.org/lean-2026-fall/
Пароль для записи на курс: LemmaDilemma

Лекции будут проходить в зуме, ссылка появится позже.
Лекции будут записываться.


I'm used to seeing Hamas praised as heroes, but today I found something new (see the image attached). This time people decide to ignore the existence of Hamas altogether, claiming that instead a French medical charity is representative of Palestine. I don't even know what to say about that. I can maybe understand why people praise Hamas as the "brave heroes" fighting against the genocidal state of Israel (though it doesn't take a lot of effort to find that Hamas is just as guilty in committing war crimes), but dismissal of the very fact of its existence can only be explained with an Orwellian level of willful ignorance.


Лучше звоните Джулаю dan repost
❗❗❗Уважаемые журналисты❗❗❗

Я всегда с большим уважением относился к вашей профессии и ко всему, что вы делаете. Благодаря публикациям в СМИ мне удавалось не раз кардинально переломить ход уголовных дел: начиная с дела Ивана Голунова, и заканчивая менее громкими делами.

Но вот тут одни ваши коллеги написали, как я предполагаю, заказную статью, предположительно про моего доверителя. "Журналисты" «Московского Комсомольца» благоразумно не стали указывать фамилии действующих лиц, но герои истории легко угадываются, а моему доверителю его знакомые и коллеги уже присылают эту статью со словами: «Смотри, что про тебя написали».

Я предполагаю, что данная статья носит заказной характер и предполагаю, что она была написана по заказу матери девочки по той простой причине, что журналисты «Московского Комсомольца», наплевав на журналистскую этику, изложили версию матери, не потрудившись связаться ни с моим доверителем — преподавателем ВУЗа, ни со мной — его адвокатом, ни с самой девушкой.

Тут не то что не было выяснено мнение обоих сторон, как того требует журналистская этика — тут вообще ни одно действующее лицо данной истории опрошено не было. Зато шлёпнули у себя на сайте плашку «Эксклюзив».

При этом, предположительно, журналисты МК позвонили с подставного телефона жене моего доверителя, представились «Обществом по защите прав человека» и попытались расспросить у нее обстоятельства этой истории и о её отношениях с мужем. Это настолько мерзко и настолько противоречит журналистской этике, что даже не хочется комментировать.

Из-за этой статьи Следственный Комитет, который полгода мурыжил заявление матери девушки без движения, получив толчок в СМИ, возбудил дело в отношении моего доверителя и в августе объявил его в розыск. При этом, начиная с февраля этого года, несмотря на многочисленные жалобы и ходатайства как с моей стороны, так и со стороны адвоката девушки, следователи СК не удосужились опросить в рамках материала проверки ни моего доверителя, ни саму эту девушку. Дело возбудили на основании показаний матери. Ни преподаватель, ни девушка не опрошены и не допрошены до сих пор.

Между тем, сама девушка является совершеннолетней, она не просила родителей писать заявление в её интересах, она против того, что они подали это заявление и говорит, что причиной её попытки самоубийства стал вовсе не мой доверитель — доцент ВУЗа, а постоянные ссоры с её бывшим молодым человеком и абьюзивные отношения с его стороны: то, что он применял к ней насилие, запирал в квартире, запрещал ей общаться с друзьями, постоянно ревновал без повода, бросил ее накануне экзаменов и слил её частную переписку из «Телеграмма» её родителям.

Также мы считаем, что причиной попытки самоубийства послужила гиперопека со стороны матери, которая не давала девочке ступить ни шагу, отказывалась оплачивать ей врача, запрещала ей уходить в академический отпуск, когда та заболела, установила у нее на телефоне программу для слежения за ней по GPS, постоянно скандалила и ругалась с ней, и прочий абьюз.

В настоящее время мы ищем порядочных журналистов, которые хотели бы написать объективную статью про эту историю, раскрыв позиции всех действующих лиц. Мой доверитель и эта девушка готовы дать эксклюзивное интервью и из первых уст рассказать, как всё было на самом деле.

Также свой комментарий готов дать я, как адвокат преподавателя ВУЗа, и адвокат этой девушки, которого она была вынуждена нанять, так её родители и Следственный Комитет не хотят её слушать.
Также мы готовы предоставить переписку между этой девушкой и моим доверителем, которая подтверждает, что причиной попытки её самоубийства явился её бывший молодой человек и гиперопекающая мать, а мой доверитель только помогал ей советами через всё это пройти.
Также у нас есть эксперт-психиатр уважаемого государственного учреждения с многолетним опытом, который готов дать свою профессиональную оценку этой истории в интервью для статьи.

Прошу уважаемых журналистов откликнуться на мою просьбу и не дать сфабриковать очередное заказное дело в отношении невиновного человека.

Мой телефон для связи: +7(915)259-07-78, также я доступен в ТГ и Вотсапп.

Также буду очень благодарен за репосты этого сообщения.


There's no setting to turn offloading off. The only option is disabling iCloud altogether. There is such an option for Photos, but that suffers from the opposite problem: the only way to remove 8GB of local copies while keeping them in iCloud is to disable iCloud altogether and choose "Remove from iPhone". Which by the way even after all 40k media files get removed still leaves 3GB of something despite the photo library being absolutely empty.


Same thing happened just now on iPhone with Books. It offloaded the book that I not only downloaded a couple of hours ago but also had currently opened. Well, not exactly a book, it's the newly released Unicode Standard 18.0.0, but the point still stands.

20 ta oxirgi post ko‘rsatilgan.