Empty Name
я как тотальный еблан не могу сосредоточиться на паре японского деда (другого) потому что 1) живой японец (настоящее аниме т е) 2) со смешным акцентом 3) ведет пару про лямбда калькулюс 4) нарисовал ОГРОМНУЮ диаграму и попросил двух людей держать ее пока он…
а теперь австралиец в белой ковбойской шляпе
🤯5
эх вот би всю жизнь смотреть на звездное небо покуривая сижку (японский camel) в отеле под мюнхеном
❤🔥15❤1
я не могу жить в баварии т к у меня постоянно зубы скрипят от того как они охуенно живут
❤1🍌1
извини не могу говорить еду из загорода обратно в мюнхен (по московским меркам примерно как от коньково до тверской)
но что не избежать - это громкий пиздеж турков на фоне. возможно это просто базовый саундтрек германии
но что не избежать - это громкий пиздеж турков на фоне. возможно это просто базовый саундтрек германии
❤6
This media is not supported in your browser
VIEW 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.
❤4
Empty Name
Logical_Pluralism_Presentation (3).pdf
стив ауди проспал мой доклад из за джетлага но сказал что он был один из тех что он отметил звездочкой чтобы послушать
ну типо успех
осталось выпить с ним пива
ну типо успех
осталось выпить с ним пива
⚡8
Empty Name
стив ауди проспал мой доклад из за джетлага но сказал что он был один из тех что он отметил звездочкой чтобы послушать ну типо успех осталось выпить с ним пива
пиздел с ауди 40 минут где то не зря живу получается
🍌9👍1
и только позврослев ты понимаешь что начать изучение языка с написания писем реально имеет смысл и твоя школьная учительница была права
❤13
почти (надеюсь) закончил все бюрократические и учебные дела за этот семестр. можно выдохнуть (надеюсь)
🕊5
Магистерская
нашел научника, видимо буду писать с John Dougherty (очень приятный чел ирл + умный)
он физик по образованию, но также помогал формализовать HoTT в Коке и написал пару философско-физических статей про HoTT и gauge theories (написал энтри в SEPe по ним)
еще думаю ко-супервайзером попросить либо Ляйтгеба (так как big хуй with big name), либо людей из группы theoretical computer science которые занимаются Лином
__
теперь про тему
ВИДИМО, моя магистерская будет про формализацию higher inductive types в HoTTLean/SynthLean (то есть эмбеддинг HoTT в Lean через группоиды)
тему я выбрал из-за разговора с Ауди на конференции
на данный момент, выглядит сложно пиздец и выше моей головы (еще и дохуя кодить, прости господи), посмотрим как пойдет
нашел научника, видимо буду писать с John Dougherty (очень приятный чел ирл + умный)
он физик по образованию, но также помогал формализовать HoTT в Коке и написал пару философско-физических статей про HoTT и gauge theories (написал энтри в SEPe по ним)
еще думаю ко-супервайзером попросить либо Ляйтгеба (так как big хуй with big name), либо людей из группы theoretical computer science которые занимаются Лином
__
теперь про тему
ВИДИМО, моя магистерская будет про формализацию higher inductive types в HoTTLean/SynthLean (то есть эмбеддинг HoTT в Lean через группоиды)
тему я выбрал из-за разговора с Ауди на конференции
на данный момент, выглядит сложно пиздец и выше моей головы (еще и дохуя кодить, прости господи), посмотрим как пойдет
❤🔥15
Empty Name
Магистерская нашел научника, видимо буду писать с John Dougherty (очень приятный чел ирл + умный) он физик по образованию, но также помогал формализовать HoTT в Коке и написал пару философско-физических статей про HoTT и gauge theories (написал энтри в…
3779031.3779087.pdf
1.2 MB
про HoTTLean читать здесь
Empty Name
Магистерская нашел научника, видимо буду писать с John Dougherty (очень приятный чел ирл + умный) он физик по образованию, но также помогал формализовать HoTT в Коке и написал пару философско-физических статей про HoTT и gauge theories (написал энтри в…
а все начиналось с курсовой по теории референции крипке
❤8
Empty Name
my9movies.net/en проходим
вообще мой метатезис о кино это что самые великие фильмы всегда можно трактовать как фильмы о том как режиссер борется с тем чтобы снять THE MOVIE (ergo мегалополис это самый великий THE MOVIE about making THE MOVIE)
❤3🤯1