Мерль
Что же ты, зараза, сразу по больному, а?
Мерль
<_<
Мерль
не понял задачки. подвох в double ах?
По теореме о возвращении, если грубо, если у нас есть идеальный бильярд, то запустив шары в него кататься и подождав некоторе время, мы гарантированно получим шары в тех же позициях, что были в начале. А у нас в релальном мире, грубо говоря, число состояний памяти в компьютере конечно, хоть убейся.
Мерль
ну т.е. в даблах
Да хоть в интах
Мерль
Да хоть какие заданы, у нас число ячеек память их количество их состояний конечно, значит конечно и число состояний модели бильярда.
Oleg
зависимые типы?
LexsZero
потенциальное поле не является идеальным бильярдом
Oleg
гравитация - преобразование, уменьшающее меру
Loyd
Ну нет, там от угла зависит же
Loyd
Вроде, я давненько решал задачку эту, так что могу и ошибаться уже
Oleg
встанет в сколь угодно малую окрестность от туда же
Мерль
ровно туда же никто не встане
В сигма окрестности
Мерль
Или в эпсилон, в зависимости от лектора
Loyd
xd
Oleg
ну да
у одного из нас проблемы с сетью
Мерль
Откуда это следует вообще?
Мерль
у одного из нас проблемы с сетью
Абсолютный индетерменизм телеграма
Oleg
нет в вики совсем не говорится это
Loyd
Вы о теореме Пуанкаре о возвращении?
Loyd
Ну, что любая замкнутая система пройдёт сколь угодно близко к любому^W данному состоянию?
Мерль
События с ненулевой вероятностью на бесконечном промежутке времени произойдут совершенно точно. Но не события с нулевой вероятностью
Oleg
?
представим себе мину в i-ю секунду она взрывается с вероятностью 1/2^(i+1), в каждый момент времени вероятность её взрыва ненулевая. Вероятность, что она взорвётся когда-либо = 1/2 < совершенно точно
Oleg
ну опять же не для любой динамики, а только для преобразований, сохранающих меру
Мерль
Неа, не любая система.
Oleg
упругая динамика столов на ограниченном столе - как раз такое отображение, поэтому никаких дополнительных условий на шары нет
Евгений
События с ненулевой вероятностью на бесконечном промежутке времени произойдут совершенно точно. Но не события с нулевой вероятностью
События, которые произойдут совершенно точно, имеют вероятность 1. Это определение вероятности события :)
Мерль
Я криво написал, но я имел в виду, что можно было прописать что угодно в той компьютерной модели бильярда, это не повлияло бы на то, что количество состояний этой модели конечно.
Alexander
это канал про аниме?
Alexander
у меня тут вопрос про KDE был
Oleg
но я полагаю, что как раз шары, которые моделируются double ами могут и не вернуться в эпсилон окрестность
Oleg
поэтому что в арифметике с округлением, конечно же суммарный импульс не сохраняется
Маjко
В этом чате когда-нибудь будут обсуждать раст?)
Мерль
но я полагаю, что как раз шары, которые моделируются double ами могут и не вернуться в эпсилон окрестность
Конечно, там вполне может быть такое состояние, что из него например дальше никуда. Но цимес в том, что если даже и вернуться, то это никак не доказывает верность теоремы для модели бильярда.
Oleg
Маjко
Там же нет трения, а стол и шары идеально упркгие, зачем им что-то кроме начального импульса?
分解物質
В этом чате когда-нибудь будут обсуждать раст?)
чтобы обсуждали раст надо делать вбросы, а на вбросы здесь очень жестко реагируют
分解物質
а, нет
Мерль
События, которые произойдут совершенно точно, имеют вероятность 1. Это определение вероятности события :)
Событие "монета выпала решкой за одно испытание" и событие "монета выпала решкой не меньше одного раза за бесконечное число испытаний"- это сильно разные события с разными вероятностями )
分解物質
не здесь
分解物質
ну сделайте хороший вброс
分解物質
ну сделайте хороший вброс
только чтобы не скатилось до монадок
Маjко
Неожиданно
Filipp
Вдруг
պլհկ
Plan 9 is the future
Filipp
Нормальный вброс
Маjко
Но с памятью ты накосячил в ансейфе
Маjко
Всё закономерно
Мерль
Plan 9 is the future
так и есть Просто форточко-холопы и яблоко-рабы не просекли фишку
Маjко
Если ты инвариант не прохерил до этого в ансейфе -- да.
պլհկ
Это даже описано в рустономиконе
Влод
так и есть Просто форточко-холопы и яблоко-рабы не просекли фишку
наверное по задумке на него должны были перейти те кто сейчас на линуксах живут
Мерль
ну типа да
Мерль
я тут вспомнил такую штуку как оберон
Мерль
Помните? Таблэтка от всего всего
Мерль
От оберона ваши волосы станут шелковистыми, кожа разгладится, а все указатели станут умными
Влод
правда? а что там предлагается вкратце?
Мерль
От оберона ваши волосы станут шелковистыми, кожа разгладится, а все указатели станут умными
У нас был на курсе дядечка, который за оберон люто топил Прям аще, рассказывал как он софт для подлодок и реакторов писал, но потом пришёл оракле с масонам и всё похерели
Мерль
Да блин, за то, что гугел толкает go, а не пони, я пайка никогда не прощу пусть его в аду жарят черти <_<
Мерль
Влод
и это от дедлоков спасает?
Маjко
и это от дедлоков спасает?
Планировщик держит таблицу ресурсов и может вычислить если произошел дедок и прибить один из акторов
Мерль
и это от дедлоков спасает?
Там у них забористая система типов и хитрожопый компилятор, так что они умудряются частично это разруливать на ранних этапах Плюс злобный шедулер, да