TGViewer
dd if=/dev/stuff of=/dev/tg dd if=/dev/stuff of=/dev/tg @randomstuffilike · 2.48K subscribers
Post #581 145

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
More from @randomstuffilike
  1. Mar 13, 2026Задолбался, что приходится быть chief software sloperator на работе, поэтому в терапевтиче…
  2. Feb 28, 2024Моделирование доменных типов на расте: https://mmapped.blog/posts/25-domain-types.html
  3. Dec 5, 2023Слайды доклада Томаса Микулы «Monads Are Not About Sequencing»: https://continuously.dev/p…
  4. Nov 9, 2023Design Guidelines for Domain-Specific Languages Очень хороший пейпер, предлагающий 26 гайд…
  5. Oct 19, 2023И чуть более развернутый пост от автора: https://zackoverflow.dev/writing/flappy-bird-in-t…
  6. Oct 19, 2023https://twitter.com/zack_overflow/status/1715042340514017559 — Flappy Bird на тайплевеле т…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →