Интересная статья о причинах, по которым Discord перевел один из своих сервисов с Go на Rust: https://blog.discordapp.com/why-discord-is-switching-from-go-to-rust-a190bbca2b1f
TL;DR: Go запускает свой GC каждые две минуты вне зависимости от роста кучи, в то время как Rust нормальный язык программирования не содержит GC как сущности, вместо этого полагаясь на аффинные типы.

Обнаружил, что мой доклад «Программирование на уровне типов на TypeScript: выжимаем из компилятора все соки» с эпамовского ITSubbotnik еще в начале декабря выложили на YouTube. Если вдруг кто-то хотел послушать, но не получилось быть на митапе вживую, то теперь есть возможность наверстать упущенное 🙂
Ну и напомню, что слайды и примеры доступны в репозитории на Гитхабе: https://github.com/YBogomolov/talk-typelevel-ts

Yeah, I know...

Открыточка для @randomstuffilike

Выл чуть дольше, чем позволяют правила приличия

[×] Регулярное напоминание, что Профунктор Оптикс пидары.

https://www.parsonsmatt.org/2020/02/04/mirror_mirror.html
TL;DR: DerivingVia круто.
Автор рассматривает тайпклассы как функции из типа в терм, и уже одна эта идея стоит того, чтобы прочесть эту статью.

Тред просто прекрасный!
TL;DR: код, взятый с ответа на StackOverflow от 2009 года, содержал ошибку, поэтому создавал глобальный мьютекс на один и тот же GUID. Так что работает либо докер, либо рейзеровская утилита.

https://twitter.com/Foone/status/1229641258370355200
Сууууууукаааааа

🧐 Новый лонгрид: Дополненная Реальность

Большой пост о том, как устроен AR. Какие железки и алгоритмы мы используем для трекинга пространства, как предсказываем освещение, как вырезаем людей, вычисляем 3D-карты окружения и куда это всё вообще катится.

Даже если вам пофиг на дополненную реальность, вы наверняка уже встречали технологи оттуда в повседневных вещах: роботы-пылесосы точно так же ориентируются в пространстве, а в современном геймдеве используют ту же самую фотограмметрию чтобы быстро клепать реалистичные модельки. Даже самоездящие машинки видят мир почти теми же алгоритмами.

Всё переплетено, короче.

Вроде как получилось интересно.

https://vas3k.ru/blog/augmented_reality/

Видео с f(by) 2020 https://www.youtube.com/playlist?list=PLpVeA1tdgfCBwyzQBKz52ZDnrZTHeuTLc&feature=share

Куклев:
Кто живёт в разноязычных средах, тому наверняка знакома проблема, когда хочешь поделиться стихами, песней, да хотя бы шуткой на каком-то языке, которым собеседник не владеет, а в переводе уже не то. Да и не только в языке дело, культурный контекст нужен.

Вот если хочешь поделиться восторгами по поводу музыки, видом с горной вершины, невероятного здания, картины, скульптуры — можно показать близким и друзьям, и хоть в какой-то степени, но всё-таки оценят! А не оценят, так хоть заинтересуются...

Но есть такая очень важная для меня сторона жизни, где я своими восторгами я обычно не могу поделиться ни с кем из близких. Там происходят революции, там прямо при нас, прямо сегодня открывают новые континенты, а показать не могу, не могу поделиться.

Симон Анри в прошлом году придумал слабые модельные категории — это настолько круто, что учебники (конечно, не школьные) переписывать можно, он вообще на верном пути в ближайшее время доказать гипотезу Симпсона и вскультивировать целиком ландшафт этой науки. Эмили Риль — придумала принципиально новый подход к проблеме когерентности, красиво как симфония. Две недели назад Пит показал мне с коллегами Эвдоксовы вещественные числа — способ определить вещественные числа через квазиэндоморфизмы на абелевой группе целых. Харальд Хельфготт (тот самый мужик, который недавно слабую гипотезу Гольдбаха доказал, профессорствующий, кстати, у нас в Гёттингене) — оптимизировал решето Эратосфена просто невероятно круто. Это просто четыре рандомных вещи, но оно там такое всё, искрится как фейерверк и всё время что-то новое. Это так красиво, что дух захватывает, это окрыляет, этим хочется делиться, это хочется показывать. Но тот язык, на котором написана эта поэзия, к сожалению, не знает почти никто, и культурный контекст за вечер не перескажешь.

Кто-то в комментах:
Бы бы признателен за ссылки. Полагаю, не только я.

Куклев:
Оно всё гуглится элементарно:
Симон Анри и новое по части модельных категорий:
https://arxiv.org/abs/1603.02456
https://arxiv.org/abs/1807.02650
https://arxiv.org/abs/1905.05625
https://arxiv.org/abs/1907.05394

Эмили Риль:
https://arxiv.org/abs/1801.07404
и вообще https://arxiv.org/search/?query=emily+riehl&searchtype=all&abstracts=show&order=-announced_date_first&size=50

Эвдоксовы вещественные числа:
https://arxiv.org/abs/math/0405454
и все ссылки из https://ncatlab.org/nlab/show/Eudoxus+real+number

Харальд Хельфготт:
https://arxiv.org/abs/1712.09130
и вообще https://arxiv.org/search/?searchtype=author&query=Helfgott%2C+H+A

https://akuklev.livejournal.com/1299860.html

Тред на реддите, достойный целого поста: https://www.reddit.com/r/haskell/comments/f7zxjb/what_are_the_hardestmost_interesting_perhaps/fijek6f/
Обзор менее часто употребимых схем рекурсии (вроде динаморфизма или дендроморфизма) с множеством ссылок на слайды, статьи, пейперы и видео. Если не знаете, чем себя занять на этих затянувшихся выходных — отличный вариант.

ААААААААААААААААА https://twitter.com/private_face/status/1231512192081649665