https://www.parsonsmatt.org/2020/02/04/mirror_mirror.html
TL;DR:
Автор рассматривает тайпклассы как функции из типа в терм, и уже одна эта идея стоит того, чтобы прочесть эту статью.
TL;DR:
DerivingVia круто.Автор рассматривает тайпклассы как функции из типа в терм, и уже одна эта идея стоит того, чтобы прочесть эту статью.
www.parsonsmatt.org
Mirror Mirror: Reflection and Encoding Via
Mirror, mirror, on the wall,
Тред просто прекрасный!
TL;DR: код, взятый с ответа на StackOverflow от 2009 года, содержал ошибку, поэтому создавал глобальный мьютекс на один и тот же GUID. Так что работает либо докер, либо рейзеровская утилита.
TL;DR: код, взятый с ответа на StackOverflow от 2009 года, содержал ошибку, поэтому создавал глобальный мьютекс на один и тот же GUID. Так что работает либо докер, либо рейзеровская утилита.
Forwarded from Вастрик.Пынь
🧐 Новый лонгрид: Дополненная Реальность
Большой пост о том, как устроен AR. Какие железки и алгоритмы мы используем для трекинга пространства, как предсказываем освещение, как вырезаем людей, вычисляем 3D-карты окружения и куда это всё вообще катится.
Даже если вам пофиг на дополненную реальность, вы наверняка уже встречали технологи оттуда в повседневных вещах: роботы-пылесосы точно так же ориентируются в пространстве, а в современном геймдеве используют ту же самую фотограмметрию чтобы быстро клепать реалистичные модельки. Даже самоездящие машинки видят мир почти теми же алгоритмами.
Всё переплетено, короче.
Вроде как получилось интересно.
https://vas3k.ru/blog/augmented_reality/
Большой пост о том, как устроен AR. Какие железки и алгоритмы мы используем для трекинга пространства, как предсказываем освещение, как вырезаем людей, вычисляем 3D-карты окружения и куда это всё вообще катится.
Даже если вам пофиг на дополненную реальность, вы наверняка уже встречали технологи оттуда в повседневных вещах: роботы-пылесосы точно так же ориентируются в пространстве, а в современном геймдеве используют ту же самую фотограмметрию чтобы быстро клепать реалистичные модельки. Даже самоездящие машинки видят мир почти теми же алгоритмами.
Всё переплетено, короче.
Вроде как получилось интересно.
https://vas3k.ru/blog/augmented_reality/
Forwarded from PONV Daily (Igal Tabachnik)
Видео с f(by) 2020 https://www.youtube.com/playlist?list=PLpVeA1tdgfCBwyzQBKz52ZDnrZTHeuTLc&feature=share
YouTube
f(by) 2020 Conference - YouTube
Forwarded from PONV Daily (Sergey Kucherenko)
Куклев:
Кто живёт в разноязычных средах, тому наверняка знакома проблема, когда хочешь поделиться стихами, песней, да хотя бы шуткой на каком-то языке, которым собеседник не владеет, а в переводе уже не то. Да и не только в языке дело, культурный контекст нужен.
Вот если хочешь поделиться восторгами по поводу музыки, видом с горной вершины, невероятного здания, картины, скульптуры — можно показать близким и друзьям, и хоть в какой-то степени, но всё-таки оценят! А не оценят, так хоть заинтересуются...
Но есть такая очень важная для меня сторона жизни, где я своими восторгами я обычно не могу поделиться ни с кем из близких. Там происходят революции, там прямо при нас, прямо сегодня открывают новые континенты, а показать не могу, не могу поделиться.
Симон Анри в прошлом году придумал слабые модельные категории — это настолько круто, что учебники (конечно, не школьные) переписывать можно, он вообще на верном пути в ближайшее время доказать гипотезу Симпсона и вскультивировать целиком ландшафт этой науки. Эмили Риль — придумала принципиально новый подход к проблеме когерентности, красиво как симфония. Две недели назад Пит показал мне с коллегами Эвдоксовы вещественные числа — способ определить вещественные числа через квазиэндоморфизмы на абелевой группе целых. Харальд Хельфготт (тот самый мужик, который недавно слабую гипотезу Гольдбаха доказал, профессорствующий, кстати, у нас в Гёттингене) — оптимизировал решето Эратосфена просто невероятно круто. Это просто четыре рандомных вещи, но оно там такое всё, искрится как фейерверк и всё время что-то новое. Это так красиво, что дух захватывает, это окрыляет, этим хочется делиться, это хочется показывать. Но тот язык, на котором написана эта поэзия, к сожалению, не знает почти никто, и культурный контекст за вечер не перескажешь.
Кто-то в комментах:
Бы бы признателен за ссылки. Полагаю, не только я.
Куклев:
Оно всё гуглится элементарно:
Симон Анри и новое по части модельных категорий:
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://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/
Обзор менее часто употребимых схем рекурсии (вроде динаморфизма или дендроморфизма) с множеством ссылок на слайды, статьи, пейперы и видео. Если не знаете, чем себя занять на этих затянувшихся выходных — отличный вариант.
Обзор менее часто употребимых схем рекурсии (вроде динаморфизма или дендроморфизма) с множеством ссылок на слайды, статьи, пейперы и видео. Если не знаете, чем себя занять на этих затянувшихся выходных — отличный вариант.
Reddit
doloto's comment on "What are the hardest/most interesting, perhaps little known, but useful concepts that you know? I'm trying…
Explore this conversation and more from the haskell community