"Empty Name" — @derangednotes Telegram-kanali

Empty Name

5 Oct, 22:05

вообще мой метатезис о кино это что самые великие фильмы всегда можно трактовать как фильмы о том как режиссер борется с тем чтобы снять THE MOVIE (ergo мегалополис это самый великий THE MOVIE about making THE MOVIE)

116 0 1 4

Empty Name

5 Oct, 22:00

my9movies.net/en

проходим

123 0 3 3 6

Empty Name

1 Oct, 20:57

слон сидит с дивана рассказывает полулежа

221 0 2 2 6

Empty Name

30 Sep, 23:15

а все начиналось с курсовой по теории референции крипке

225 0 3 8

Empty Name

30 Sep, 23:14

3779031.3779087.pdf

1.2Mb

про HoTTLean читать здесь

219 0 5

Empty Name

30 Sep, 23:12

Магистерская

нашел научника, видимо буду писать с John Dougherty (очень приятный чел ирл + умный)

он физик по образованию, но также помогал формализовать HoTT в Коке и написал пару философско-физических статей про HoTT и gauge theories (написал энтри в SEPe по ним)

еще думаю ко-супервайзером попросить либо Ляйтгеба (так как big хуй with big name), либо людей из группы theoretical computer science которые занимаются Лином

__
теперь про тему

ВИДИМО, моя магистерская будет про формализацию higher inductive types в HoTTLean/SynthLean (то есть эмбеддинг HoTT в Lean через группоиды)

тему я выбрал из-за разговора с Ауди на конференции

на данный момент, выглядит сложно пиздец и выше моей головы (еще и дохуя кодить, прости господи), посмотрим как пойдет

219 0 6 2 15

Empty Name

30 Sep, 17:28

почти (надеюсь) закончил все бюрократические и учебные дела за этот семестр. можно выдохнуть (надеюсь)

177 0 1 5

Empty Name

30 Sep, 17:27

www.youtube.com/watch?v=uhHMCBRCSd4

Хаски - kanye west diss

kanye west diss: https://band.link/kanye_west_diss Концерты: https://husky2025.com VK: https://vk.com/husky_music TG: https://t.me/husky_spgs Магазин: https://papinomoloko.com/ Режиссер: nativision Оператор-постановщик: Марк Миллер Исполнительный продюсер: Данил Карманов Менеджмент артиста: Витал...

175 0 3

Empty Name

23 Sep, 13:07

и только позврослев ты понимаешь что начать изучение языка с написания писем реально имеет смысл и твоя школьная учительница была права

283 0 5 13

Empty Name

22 Sep, 16:58

пиздел с ауди 40 минут где то не зря живу получается

280 0 0 1 10

Empty Name

22 Sep, 15:45

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

ну типо успех

осталось выпить с ним пива

269 0 1 8

Empty Name

22 Sep, 14:44

Logical_Pluralism_Presentation (3).pdf

338.5Kb

240 0 6 1 6

Empty Name

19 Sep, 11:38

наименее баварский баварец (он так и не сказал где кабинка для голосования)

p.s. к нему подсел такой же с абсолютно идентичными носками и обувью

p.p.s. СУКА, сел третий, только у него еще сережка и он пахнет травой. Я окружен баварцами.

326 0 5 12

Empty Name

19 Sep, 11:38

00:15

Video oldindan ko‘rish uchun mavjud emas

Telegram'da ko‘rish

Servus! entschuldigen Sie. Wo ist denn hier die Wahlkabine? Ich möchte wählen. Irgendwie ist da wohl gerade entweder „Jabloko“ oder „Einiges Russland“ angesagt – so ganz habe ich das nicht kapiert.

266 0 2 1 4

Empty Name

19 Sep, 11:28

извини не могу говорить еду обратно из загорода обратно в мюнхен (по московским меркам примерно как от коньково до тверской)

но что не избежать - это громкий пиздеж турков на фоне. возможно это просто базовый саундтрек германии

229 0 3 6

Empty Name

19 Sep, 11:26

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

241 0 3 2

Empty Name

15 Sep, 23:08

эх вот би всю жизнь смотреть на звездное небо покуривая сижку (японский camel) в отеле под мюнхеном

288 0 3 16

Empty Name

15 Sep, 12:32

00:06

Video oldindan ko‘rish uchun mavjud emas

Telegram'da ko‘rish

286 0 2 4

Empty Name

15 Sep, 11:59

а теперь австралиец в белой ковбойской шляпе

244 0 0 5

Empty Name

15 Sep, 10:14

я как тотальный еблан не могу сосредоточиться на паре японского деда (другого) потому что 1) живой японец 2) со смешным акцентом 3) ведет пару про лямбда калькулюс 4) нарисовал ОГРОМНУЮ диаграму и попросил двух людей держать ее пока он объясняет 5) смешно тыкает указкой по презентации

251 0 4 17

SearcheeBot

TGAlertsBot

Telegram Analytics

TGStat Bot

Empty Name

Kanal geosi va tili

Toifa

Empty Name

Empty Name

Empty Name

Empty Name

Empty Name

Empty Name

Empty Name

Empty Name

Empty Name

Empty Name

Empty Name

Empty Name

Empty Name

Empty Name

Empty Name

Empty Name

Empty Name

Empty Name

Empty Name

Empty Name

432

Kanalda mashhur

Sayt tili

SearcheeBot

TGAlertsBot

Telegram Analytics

TGStat Bot

Empty Name

Kanal geosi va tili

Toifa

432

Kanalda mashhur