Введите текст для поиска
Расширенный поиск каналов

TGStat - аналитика каналов и чатов

Подписывайся, чтобы быть в курсе новостей TGStat.
img
реклама

TGStat Bot

Cтатистика каналов и чатов не выходя из Telegram
img
реклама

SearcheeBot

Ваш гид в мире Telegram-каналов
img
реклама

Empty Name

@derangednotes
Гео и язык канала: Весь мир, Русский
Категория: Познавательное

@arnold1020

Связанные каналы  |  Похожие каналы
Гео и язык канала
Весь мир, Русский
Категория
Познавательное
Статистика
Это ваш канал? Подтвердить История канала
Фильтр публикаций

Empty Name

1 Oct, 20:57

Открыть в Telegram Поделиться Пожаловаться
слон сидит с дивана рассказывает полулежа
129 0 2 2 5
Empty Name

30 Sep, 23:15

Открыть в Telegram Поделиться Пожаловаться
а все начиналось с курсовой по теории референции крипке
156 0 3 7
Empty Name

30 Sep, 23:14

Открыть в Telegram Поделиться Пожаловаться
3779031.3779087.pdf
1.2Мб
про HoTTLean читать здесь
157 0 5
Empty Name

30 Sep, 23:12

Открыть в Telegram Поделиться Пожаловаться
Магистерская


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

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

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


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

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

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

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

30 Sep, 17:28

Открыть в Telegram Поделиться Пожаловаться
почти (надеюсь) закончил все бюрократические и учебные дела за этот семестр. можно выдохнуть (надеюсь)
159 0 1 5
Empty Name

30 Sep, 17:27

Открыть в Telegram Поделиться Пожаловаться
159 0 3
Empty Name

23 Sep, 13:07

Открыть в Telegram Поделиться Пожаловаться
и только позврослев ты понимаешь что начать изучение языка с написания писем реально имеет смысл и твоя школьная учительница была права
261 0 5 12
Empty Name

22 Sep, 16:58

Открыть в Telegram Поделиться Пожаловаться
пиздел с ауди 40 минут где то не зря живу получается
257 0 0 1 10
Empty Name

22 Sep, 15:45

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


ну типо успех


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

22 Sep, 14:44

Открыть в Telegram Поделиться Пожаловаться
234 0 6 1 6
Empty Name

19 Sep, 11:38

Открыть в Telegram Поделиться Пожаловаться
наименее баварский баварец (он так и не сказал где кабинка для голосования)

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

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

19 Sep, 11:38

Открыть в Telegram Поделиться Пожаловаться
Видео недоступно для предпросмотра
Смотреть в 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.
240 0 2 1 4
Empty Name

19 Sep, 11:28

Открыть в Telegram Поделиться Пожаловаться
извини не могу говорить еду обратно из загорода обратно в мюнхен (по московским меркам примерно как от коньково до тверской)


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

19 Sep, 11:26

Открыть в Telegram Поделиться Пожаловаться
я не могу жить в баварии т к у меня постоянно зубы скрипят от того как они охуенно живут
231 0 3 2
Empty Name

15 Sep, 23:08

Открыть в Telegram Поделиться Пожаловаться
эх вот би всю жизнь смотреть на звездное небо покуривая сижку (японский camel) в отеле под мюнхеном
281 0 3 16
Empty Name

15 Sep, 12:32

Открыть в Telegram Поделиться Пожаловаться
Видео недоступно для предпросмотра
Смотреть в Telegram
281 0 2 4
Empty Name

15 Sep, 11:59

Открыть в Telegram Поделиться Пожаловаться
а теперь австралиец в белой ковбойской шляпе
240 0 0 5
Empty Name

15 Sep, 10:14

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

15 Sep, 01:05

Открыть в Telegram Поделиться Пожаловаться
Видео недоступно для предпросмотра
Смотреть в Telegram
в моем барбершопе играет митски
213 0 3 10
Empty Name

14 Sep, 11:11

Открыть в Telegram Поделиться Пожаловаться
курю с дедом японцем (выглядит очень кинематографично, фулл седые волосы)

I gave 4 courses at this school, but this time i decided… fuck it, no lectures
241 0 3 14
Показано 20 последних публикаций.