Maxim
У нас ещё пытались сделать nixage - снепшоты стэка чисто на никсе
Но я не слежу за тем, как оно там живёт
Maxim
Я так понимаю, в этом случае stack2nix был бы не нужен
Dmitry
алсо, кто-нибудь bazel смотрел? есть граждане, которые за него топят, но надо понять, оно чем-то вообще лучше, чем всё остальное?
RattenKong 🦧🐀🦍️
Alexander
у нас его используют
Dmitry
что-то для хаскеля там есть.
Alexander
но я не смотрел
Alexander
сейчас попробую Марка на этот канал позвать
Dmitry
а как и зачем - не говорят? чем он лучше, чем обычные средства?
Alexander
там где мешанина си, явы и хаскеля проще все описать
Alexander
в общем @mrkkrp может зайдет на канал скоро и расскажет, а может и нет
Alexander
просто я боюсь соврать, сам я те проекты ни разу не собирал
Anatolii
Alexander
stackage2nix у меня лежит со своими патчами :/
Alexander
@voidlizard "> разве что завтра"
Dmitry
👍
Alexander
в inline-java кстати есть сборка bazel-ем
Anonymous
Vyacheslav Lapin будет жить. Поприветствуем!
Aλe
Приветы! FPROG_SPB продолжает искать докладчиков на сентябрь, поддержите нас вашими выступлениями)
Arseniy
Aλe
27 сентября
Anonymous
@george_agapov будет жить. Поприветствуем!
Aλe
мне =)
Aλe
вы пишете и тут же оказываетесь в программе)
Aλe
Итак, все места заняты :) Ждем всех в октябре
Anonymous
@sajitar будет жить. Поприветствуем!
Anonymous
@DICKCOIN будет жить. Поприветствуем!
Anonymous
Привет всем:)
Anonymous
Дело такое,матан кто знает?или модет кто чат подсказать ,где с матаном помогут?
кана
мат анализ? Конечно лучше всего спрашивать про матан в хаскель чате, каждый день тут исследую функции, функциональное программирование же
A64m
берете какого-нибудь зорича читаете да и все
Andrey
Демидович от корки до корки
Влод
Не сразу но постепенно к этому пришёл
Влод
Дело такое,матан кто знает?или модет кто чат подсказать ,где с матаном помогут?
Вообще задавай вопросы
Andrey
для любого вопроса больше нуля найдется добрый человек больше нуля из множества участников хаскель-чатика, такой, что он ответит на этот вопрос
Timofey
Дело такое,матан кто знает?или модет кто чат подсказать ,где с матаном помогут?
если вопрос короткий - в личку, у меня 5 минут есть. Если что-то концептуально-объяснятельное - у меня всего пять минут
Timofey
Дело такое,матан кто знает?или модет кто чат подсказать ,где с матаном помогут?
а лучший вариант - math.stackexchange.com
Alexander
мат анализ? Конечно лучше всего спрашивать про матан в хаскель чате, каждый день тут исследую функции, функциональное программирование же
ну это функциональный анализ, гильбертовы пространства
Евгений
Здравствуйте, это хаскель-чат? Как взять интеграл по контору .. от ..
Timofey
под ZF(C)
Влод
для любого вопроса больше нуля найдется добрый человек больше нуля из множества участников хаскель-чатика, такой, что он ответит на этот вопрос
Больше нуля излишне
Можно просто сказать что существует человек в множестве хаскельчата который ответит на вопрос
Алексей
Больше нуля излишне
Можно просто сказать что существует человек в множестве хаскельчата который ответит на вопрос
Это неконструктивное утверждения. Нету процедуры поиска такого человека
Алексей
Дело такое,матан кто знает?или модет кто чат подсказать ,где с матаном помогут?
Ещё в _blah можно спрашивать
Влод
Это неконструктивное утверждения. Нету процедуры поиска такого человека
Лол как-то странно такое слышать
Влод
Как будто когда говорят логическими утверждениями хоть как-то зацикливаются на поиске
Алексей
Ну это больше о конструктивных и неконструктивных доказательствах
Andrey
Отнюдь не лол и не странно такое слышать, особенно здесь. Конструктивисты вообще не признают доказальства от противного, а тут конструктивизм должен быть в почете
Anton
Отнюдь не лол и не странно такое слышать, особенно здесь. Конструктивисты вообще не признают доказальства от противного, а тут конструктивизм должен быть в почете
смотря что считать “док-вом от противного”, Андрей Бауэр писал о различиях: http://math.andrej.com/2010/03/29/proof-of-negation-and-proof-by-contradiction/
Andrey
Тут про матан спрашивали, а я по терверу вроде несложный вопрос хочу задать… Можно?
Alexander
можно
Alexander
но если сложный будет то я тебя забаню
Alexander
(шутка)
Alexander
на самом деле шутка, задавай, если будет много обсуждения и оффтопа то просто обсуждение перейдет в _blah
Andrey
Я сложные даже придумать не смогу )
Есть N точек, равномерно распределенных на отрезке [0, 1]. Отрезок делится пополам. Каковы вероятности нахождения в левой половине отрезка 0, 1, .... N точек? Хочется получить аналитический вид кривой при стремлении N к бесконечности.
Andrey
также устроит ответ на другой вопрос - какова функция распределения величины, характеризующий координату деления отрезка на 2 части, содержащие одинаковое число точек?
Alexander
0,1..N == всех?
Alexander
ответ на первое - 0.5^N если я не все забыл
Andrey
нет, функцию вероятности для каждого N - в дискретном варианте а лучше аналитическую плотность вероятности в предельном непрерывном
Andrey
ничесе, сразу по памяти!
Alexander
ну вероятность для точки оказаться в левой отношению площадей т.е. 0.5/1
Alexander
вероятности - независимые
Alexander
а вот на второй я затрудняюсь сходу ответить
Alexander
хотя там ответ наверное простой
Alexander
@PineappleZombie ^
Andrey
да, это почти та же задача, но устроит и ответ на первый вопрос. только в 0 и в N вероятности должны быть минимальны. А у тебя в 0 1-ца. или это функция распределения, причем инвертированная относительно оси и от нее надо еще производную взять?
Алексей
Я сложные даже придумать не смогу )
Есть N точек, равномерно распределенных на отрезке [0, 1]. Отрезок делится пополам. Каковы вероятности нахождения в левой половине отрезка 0, 1, .... N точек? Хочется получить аналитический вид кривой при стремлении N к бесконечности.
Это N независимых испытаний с вероятностью 0.5, то есть получится биномиальное распределение. Если N → ∞, то распределение будет стремиться к нормальному
Алексей
также устроит ответ на другой вопрос - какова функция распределения величины, характеризующий координату деления отрезка на 2 части, содержащие одинаковое число точек?
Разделить так отрезок можно бесконечным количеством способов (;
Alexander
вот говорил же что что-то простое
Andrey
у нормального хвосты ненулевые а тут зануление за границами [0, N] - или это погрешности и можно взять нормальное?
Алексей
Если экстремальные хвосты важны, то нормальным приближением ползоваться не выйдет
Алексей
Но в целом пользоваться можно, помня, что это приближение
Andrey
про второй вопрос не согласен насчет бесконечность способов, но можно оставить его вообще, первого ответа достаточно. значит можно взять экспоненту от квадрата отклонения от N/2 и пообрать множитель чтобы площадь была 1?
Алексей
Пусть есть точки [0.1, 0.2, 0.3, 0.4] Любое число 0.2<x<0.3 разбивает отрезок на интервалы с равным числом точек
Andrey
мы стремим N к бесконечности, получаем в пределе одну точку
Andrey
но не 0.5
Andrey
или я что-то упускаю. и не могу нормально сформулировать что имею в виду
a66ath