Type to search
Advanced channel search

TGAlertsBot

Monitoring of keywords in channels and chats
img
ad

SearcheeBot

Your guide in the world of telegram channels
img
ad

TGStat Bot

Bot to get channel statistics without leaving Telegram
img
ad

Telegram Analytics

Subscribe to stay informed about TGStat news.
img
ad

Empty Name

@derangednotes
Channel's geo and language: World, Russian
Category: Edutainment

@arnold1020

Related channels  |  Similar channels
Channel's geo and language
World, Russian
Category
Edutainment
Statistics
Is this your channel? Confirm Channel history
Posts filter

Empty Name

1 Oct, 20:57

Open in Telegram Share Report
слон сидит с дивана рассказывает полулежа
132 0 2 2 5
Empty Name

30 Sep, 23:15

Open in Telegram Share Report
а все начиналось с курсовой по теории референции крипке
159 0 3 7
Empty Name

30 Sep, 23:14

Open in Telegram Share Report
3779031.3779087.pdf
1.2Mb
про HoTTLean читать здесь
160 0 5
Empty Name

30 Sep, 23:12

Open in Telegram Share Report
Магистерская


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

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

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


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

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

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

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

30 Sep, 17:28

Open in Telegram Share Report
почти (надеюсь) закончил все бюрократические и учебные дела за этот семестр. можно выдохнуть (надеюсь)
161 0 1 5
Empty Name

30 Sep, 17:27

Open in Telegram Share Report
161 0 3
Empty Name

23 Sep, 13:07

Open in Telegram Share Report
и только позврослев ты понимаешь что начать изучение языка с написания писем реально имеет смысл и твоя школьная учительница была права
262 0 5 12
Empty Name

22 Sep, 16:58

Open in Telegram Share Report
пиздел с ауди 40 минут где то не зря живу получается
258 0 0 1 10
Empty Name

22 Sep, 15:45

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


ну типо успех


осталось выпить с ним пива
249 0 1 8
Empty Name

22 Sep, 14:44

Open in Telegram Share Report
235 0 6 1 6
Empty Name

19 Sep, 11:38

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

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

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

19 Sep, 11:38

Open in Telegram Share Report
Video is unavailable for watching
Show in Telegram
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.
241 0 2 1 4
Empty Name

19 Sep, 11:28

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


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

19 Sep, 11:26

Open in Telegram Share Report
я не могу жить в баварии т к у меня постоянно зубы скрипят от того как они охуенно живут
232 0 3 2
Empty Name

15 Sep, 23:08

Open in Telegram Share Report
эх вот би всю жизнь смотреть на звездное небо покуривая сижку (японский camel) в отеле под мюнхеном
282 0 3 16
Empty Name

15 Sep, 12:32

Open in Telegram Share Report
Video is unavailable for watching
Show in Telegram
282 0 2 4
Empty Name

15 Sep, 11:59

Open in Telegram Share Report
а теперь австралиец в белой ковбойской шляпе
241 0 0 5
Empty Name

15 Sep, 10:14

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

15 Sep, 01:05

Open in Telegram Share Report
Video is unavailable for watching
Show in Telegram
в моем барбершопе играет митски
214 0 3 10
Empty Name

14 Sep, 11:11

Open in Telegram Share Report
курю с дедом японцем (выглядит очень кинематографично, фулл седые волосы)

I gave 4 courses at this school, but this time i decided… fuck it, no lectures
242 0 3 14
20 last posts shown.