TGViewer
dd if=/dev/stuff of=/dev/tg dd if=/dev/stuff of=/dev/tg @randomstuffilike · 2.48K subscribers
Post #370 4.39K
Хочу поделиться небольшой подборкой видео, которые регулярно напоминают мне, в чём красота математики и зачем я вообще этим всем занимаюсь:
https://www.youtube.com/watch?v=AmgkSdhK4K8 — элегантнейшее топологическое решение задачи о вписанном прямоугольнике;
https://www.youtube.com/watch?v=OkmNXy7er84 — задача поиска вероятности того, что центр сферы лежит внутри вписанного тетраедра;
https://www.youtube.com/watch?v=gB9n2gHsHN4 — почему фракталы это фигуры с дробной размерностью;
https://www.youtube.com/watch?v=yuVqxCSsE7c — применение теоремы Борсука-Улама для решения задачи разделения украденного ожерелья;
И немного computer science:
https://www.youtube.com/watch?v=IOiZatlZtGU — великолепный доклад Филипа Уодлера «Propositions as Types», который я рекомендую посмотреть всем, кто интересуется функциональным программированием (и в особенности тем, кто говорит, что типизированные языки не нужны);
https://www.youtube.com/watch?v=yjmKMhJOJos — The First Monad Tutorial от всё того же Филипа Уодлера, прекрасный как по подаче, так и по содержанию.
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 →