Мерль
Что же ты, зараза, сразу по больному, а?
Мерль
<_<
Oleg
Немного не в тему, но всё же
Я тут вспомнил старый прикол с кафедры, про то, как два студента решили проиллюстрировать/доказать теорему о возвращении.
Ну, смоделировали численно на матлабе бильярд с шарами, все дела. Через некоторе время шары действительно встали на исходные позиции.
Чувствуете в чём подвох?
не понял задачки. подвох в double ах?
Мерль
не понял задачки. подвох в double ах?
По теореме о возвращении, если грубо, если у нас есть идеальный бильярд, то запустив шары в него кататься и подождав некоторе время, мы гарантированно получим шары в тех же позициях, что были в начале.
А у нас в релальном мире, грубо говоря, число состояний памяти в компьютере конечно, хоть убейся.
Влод
По теореме о возвращении, если грубо, если у нас есть идеальный бильярд, то запустив шары в него кататься и подождав некоторе время, мы гарантированно получим шары в тех же позициях, что были в начале.
А у нас в релальном мире, грубо говоря, число состояний памяти в компьютере конечно, хоть убейся.
неочевидная фигня. если я пущу шар в некоторое направление – он не встанет обратно. если шар в шар, то всё равно исходного состояния не добьюсь. что там такое особенно в бильярдном столе?
Мерль
Да хоть какие заданы, у нас число ячеек память их количество их состояний конечно, значит конечно и число состояний модели бильярда.
Oleg
зависимые типы?
Oleg
неочевидная фигня. если я пущу шар в некоторое направление – он не встанет обратно. если шар в шар, то всё равно исходного состояния не добьюсь. что там такое особенно в бильярдном столе?
при сохраняющем меруотображении пространства 
если он покатится вперёд пространство нужно растить
LexsZero
потенциальное поле не является идеальным бильярдом
Oleg
гравитация - преобразование, уменьшающее меру
Мерль
неочевидная фигня. если я пущу шар в некоторое направление – он не встанет обратно. если шар в шар, то всё равно исходного состояния не добьюсь. что там такое особенно в бильярдном столе?
Если нет трения, то через некоторое время встанет ровно туда же )
Loyd
Ну нет, там от угла зависит же
Loyd
Вроде, я давненько решал задачку эту, так что могу и ошибаться уже
Oleg
Если нет трения, то через некоторое время встанет ровно туда же )
ровно туда же никто не встане
Oleg
встанет в сколь угодно малую окрестность от туда же
Мерль
Или в эпсилон, в зависимости от лектора
Loyd
xd
Мерль
Откуда это следует вообще?
Oleg
нет в вики совсем не говорится это
Loyd
Вы о теореме Пуанкаре о возвращении?
Loyd
Ну, что любая замкнутая система пройдёт сколь угодно близко к любому^W данному состоянию?
Мерль
События с ненулевой вероятностью на бесконечном промежутке времени произойдут совершенно точно.
Но не события с нулевой вероятностью
Oleg
События с ненулевой вероятностью на бесконечном промежутке времени произойдут совершенно точно.
Но не события с нулевой вероятностью
непонятное утверждение, мне кажется, я могу с ним спорить
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ко
Всё закономерно
Маjко
Если ты инвариант не прохерил до этого в ансейфе -- да.
պլհկ
Это даже описано в рустономиконе
Влод
так и есть
Просто форточко-холопы и яблоко-рабы не просекли фишку
наверное по задумке на него должны были перейти те кто сейчас на линуксах живут
Мерль
ну типа да
Мерль
я тут вспомнил такую штуку как оберон
Мерль
Помните?
Таблэтка от всего всего
Мерль
От оберона ваши волосы станут шелковистыми, кожа разгладится, а все указатели станут умными
Маjко
От оберона ваши волосы станут шелковистыми, кожа разгладится, а все указатели станут умными
Про раст то же самое в рекламе загоняют)
Влод
правда? а что там предлагается вкратце?
Мерль
От оберона ваши волосы станут шелковистыми, кожа разгладится, а все указатели станут умными
У нас был на курсе дядечка, который за оберон люто топил
Прям аще, рассказывал как он софт для подлодок и реакторов писал, но потом пришёл оракле с масонам и всё похерели
Мерль
Да блин, за то, что гугел толкает go, а не пони, я пайка никогда не прощу пусть его в аду жарят черти <_<
Влод
и это от дедлоков спасает?
Маjко
и это от дедлоков спасает?
Планировщик держит таблицу ресурсов и может вычислить если произошел дедок и прибить один из акторов
Влод
Да блин, за то, что гугел толкает go, а не пони, я пайка никогда не прощу пусть его в аду жарят черти <_<
лол, мне казалось ты топил за го. ну так рационально
Мерль
и это от дедлоков спасает?
Там у них забористая система типов и хитрожопый компилятор, так что они умудряются частично это разруливать на ранних этапах
Плюс злобный шедулер, да
Влод
Планировщик держит таблицу ресурсов и может вычислить если произошел дедок и прибить один из акторов
вау. наверное это спасает от рантайм ошибок