Го сходка
Программирование с зависимыми типами на языке Idris
Экспандеры и их применения
Скептически относился к лесному катку в Охта-парке, потому что стоит дохуя (700р за вход) и не протолкнуться, но вот съездил в начале декабря и могу порецоммендить, особенно тем, кто любит не столько кататься, сколько космическую светодиодную подсветку!
Лесные дорожки словно в сказке https://files.catbox.moe/j8sqw1.jpg https://files.catbox.moe/f5jvy3.jpg
Вчера был там снова – выглядит уже не настолько волшебно, видимо из-за отсутствия в воздухе и на деревьях хлопьев снега, рассеивающих свет, но тем не менее впечатляет.
Однако ж, впечатляет и количество людей https://files.catbox.moe/spe2xx.jpg
http://deaddrop.ftp.sh/0gZalyIUIG5b.jpg кто-нибудь видел уже в питерском метро такие поезда? Интересно, что это за вагоны? Немецкие какие-нибудь? Вроде в Берлине они внутри почти такие же. #дс2 #рельсофанатство
Верный признак того, что "твоё" государство уже глубоко и плотно скатилось в сраное социалистическое говно — это когда видишь, что в вагоне метро "социальной" рекламы уже больше, чем коммерческой.
Обнаружена редкая форма утизма
https://my.mixtape.moe/aiftuk.jpg