Как вычислять вещественные числа очень точно? Может представить их как float с 1024 битами точности? Недостаточно. Может сделать отдельный тип для рациональных и для иррациональных чисел? Тоже недостаточно. В данном довольно длинном треде рассказывается про метод представления чисел как алгоритмы, которые умеют вычисляться до нужной точности, скажем два знака после запятой будут на 100% правильными. И это история о том как это вычисление сделали в стандартном калькуляторе на Android. Я даже не подозревал что он настолько крут, только что проверил и это действительно так.

А метод классный, я о нём никогда раньше не слышал, буду иметь ввиду.

https://x.com/ChadNauseam/status/1890889465322786878

Ссылка на более удобный формат треда и для тех у кого нет впн: https://threadreaderapp.com/thread/1890889465322786878.html

UPD: на хабре появился перевод https://habr.com/ru/articles/883366/

Из этого видео про кварки я узнал больше, чем за всю свою жизнь. А я прочитал и посмотрел много всякого научпопа, и удивительно что именно эту часть физики никогда раньше не встречал. Объяснено очень и очень хорошо и просто.

https://www.youtube.com/watch?v=oA3Sbm2PIGI

Если вы не пользуетесь LLM'ками или не знаете как ещё можно их применить, то посмотрите это двухчасовое видео от Карпатого. В каждой секции он рассказывает про ограничения моделей, чтобы зритель мог понимать когда модели применимы, а когда нет. Я хоть это всё и знаю, но посмотрел с удовольствием.

https://youtu.be/EWvNQjAaOHw

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

https://youtu.be/9ByFlPABPko

Отличная работа про создание правил для дискретного клеточного автомата через градиентный спуск. Используется техника когда логический гейт (AND, OR, XOR, etc) выбирается по вероятности, и градиентным спуском оптимизируются эти вероятности выбора одного из 16 гейтов. Затем уже после обучения берётся самый вероятный логический гейт в каждом месте и используется в готовой логической схеме.

В этой работе они показали что такикм образом возможно выучить правила "Игры Жизнь", а затем создали правила автомата, который собирается в шахматную доску и правила автоматов собирающихся в определённый узор: ящерица и цветная буква G.

Статья написана очень доступно, особое знание не требуется.

https://google-research.github.io/self-organising-systems/difflogic-ca/

После этого видео я наконец понял что такое KV-кэш у LLM'ок. Очень грамотные визуализации. Смотреть только если вы примерно знаете как работает трансформер. Если не знаете, то смотрите у 3blue1brown объясняющие видео.

https://youtu.be/0VLAoVGf_74

Чувак занимается реальным генетическим программированием

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

https://youtu.be/10OUPyamn1w

Как доказать что вы решили судоку, без отправки своего решения другому человеку? Или как доказать что вы сделали мировой рекорд в Mario, без выдачи своих действий в игре? В данном видео объясняется как такое возможно на основе раскраски графа. Классное и простое видео.

https://youtu.be/Otvcbw6k4eo

Смотрю каждое видео Kurzgesagt, но не каждым делюсь, ибо часто они рассказывают простые вещи, которые хорошо знаю.

Но тут прям мне понравилось, всё это раньше не знал, рекомендую.

https://youtu.be/wo_e0EvEZn8

Лекции по эволюционной биологии от Маркова.

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

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

Всё невероятно интересно и очень доступно. Хоть и вводятся сложные термины, но Марков хорошо их объясняет.

Я смотрел на 2х когда готовил еду, мыл посуду, прибирался, и так за месяц все лекции посмотрел. В аудио-формате тоже норм воспринимается.

https://www.youtube.com/playlist?list=PLSX0ZvGXyRb69YY1dghw11SiHNQa8VBv5

Невероятно неожиданный ответ на простейший физический вопрос. Это надо в школах показывать. Смотреть всем, узнаете новое, гарантирую.

https://youtu.be/AL2Chc6p_Kk

Слишком качественное видео о том как работает компьютерная графика. Объяснено для совсем не знающих ничего про компьютеры

Мне даже больно смотреть насколько качественное. И с этими людьми мне надо конкурировать?...

https://youtu.be/C8YtdC8mxTU

Очень необычный способ считать, о котором раньше никогда не слышал

https://www.youtube.com/watch?v=NpAJLWEnSmM

Плейлист очень старых видео про геометрию под названием Dimensions. Рассматриваются темы топологии, 4D и комплексных чисел. Я давно все видео посмотрел, это классика.

https://www.youtube.com/playlist?list=PLw2BeOjATqrtxJHK1H1Tpy5XG7YLN9RVq

upd: я глянул некоторые видосы, там звук паршивый пипец. Вот английский плейлист: https://www.youtube.com/playlist?list=PL3C690048E1531DC7

Парализованному человеку установили Neuralink и в этом видео он рассказывает о своём опыте (которое сам и смонтировал кстати). В середине видео интересные подробности какие есть сложности управления курсором из мозга.

https://youtu.be/CJn0WRKwg34

I watched video outside my "Type". This is what happened.

Наткнулся на совершенно нетипичный для этого канала видос и случайно весь посмотрел, кайфанул, пишу заметки о том как себя ведёт этот мужчина. Это уже прям какой-то короткий фильм.

Так что рекомендую и вам случайно посмотреть, думаю не пожалеете.

https://youtu.be/2wxUIIqT5GE

В этом видео очень понятно рассказывается про алгоритм проверки числа на простоту. А угадайте какой алгоритм для генерации простого числа?

1. Сгенерировать рандомное число
2. Проверить простое ли оно по этому тесту
3. Если нет, то GOTO 1
4. Если да, то PROFIT!

https://youtu.be/tBzaMfV94uA

Как представить точки на бесконечности? Очень понятное и интересное видео. Не требуется никаких предварительных знаний, кроме школьных.

https://youtu.be/XXzhqStLG-4

Существует 8 принципиально разных геометрий. Очевидно, первая - евклидова геометрия. Далее ценители наверняка знают про сферическую и гиперболическую. Особые ценители знают что можно стакать 2D сферическую и гиперболические геометрии по одной евклидовой оси и получить ещё 2 геометрии. А остальное - это Nil, Sol и SL2. В этой презентации рассматривается этот вопрос, визуализируется и объясняется. Очень прикольно. Не знал что есть такая теорема про 8 геометрий.

https://youtu.be/Py4aFsJzChI

Очень интересная история про возникновение и развитие языка эсперанто. Он реально в какой-то момент мог стать мировым языком, но кое-что помешало... Очень обидно...

https://youtu.be/mcX1OF7fEas