другим препроцессором препроцессить?
так-то да, но ёлы-палы
Denis
parket
Откудо?
Тостер. Один из комментов. Но да. Суть такая. Почему я и сказал условно-простые. Т.е. число может и не быть простым, но с большой долей вероятности оно простое. Вероятность зависит от количества раундов проверки. m здесь само число. Для криптографии это единственный вариант. Т.к. искать 1024 битное простое число решетом, как-то слегка долго.
Нурлан
Вот и об этом думал
Нурлан
Побаиваюсь я этих псевдо простых.
A64m
так-то да, но ёлы-палы
странно что они вообще персеклись в одном модуле. ЦПП это серьезный бузинес, а лейблы - это писать примеры для троллирования кого-то в интернет споре
Denis
да тут походу очередной баг с core2core
Denis
симплификатору плохо становится
parket
Побаиваюсь я этих псевдо простых.
А других вариантов у тебя нет. Побаиваишься? Прогони больше раундов. Вероятность ошибки (1/4)^n, где n количество раундов.
Нурлан
С этим понятно. Но хочется что бы все жестко было.
parket
Вот с Википедии цитатка: Алгоритм Миллера — Рабина параметризуется количеством раундов r. Рекомендуется брать r порядка величины log2(n), где n — проверяемое число.
Нурлан
Ааа все!
parket
С этим понятно. Но хочется что бы все жестко было.
Иногда приходится жертвовать точность ради скорости. Никто не будет ждать вечность, пока решето подберет 1024 битное число.
Нурлан
Вероятность случайного отгадывания не повышается!!!
Нурлан
Или правильнее: сложность случайного отгадывания не падает
Нурлан
Можно случайно отгадать секрет. Если провести больше чем log n проверок то прибавится сложность большая сложности случайного отгадывания.
parket
Звучит логично :)
Нурлан
Минимальная сложность = сложность отгадывания.
parket
Удачи в начинаниях ;)
Нурлан
Спасибо.
Зигохистоморфный
конфа в Белоруссии прошла?
Cheese
она в декабре
Cheese
сейчас ноябрь
Зигохистоморфный
ок
Alexander
она ненужна
Kirill
тебя так и не позвали?
Alexander
хз 3 раза ответили ответим через неделю
Alexander
меня их пинать достало
Alexander
видимо они считают меня/tweag/доклад не интересным ненужным или что-то такое
Зигохистоморфный
Бартош про ТК будет рассказвать?
Alexander
в списке есть
Alexander
в общем желание даже тупо слушателем ехать у меня отпало
Alexander
несмотря на наличие бартошей, которого иначе фиг где послушаешь
Зигохистоморфный
если этот доклад, то я смысла не вижу вообще даже думать ехать)
Зигохистоморфный
https://www.youtube.com/watch?v=l1FCXUi6Vlw
Зигохистоморфный
https://github.com/BartoszMilewski/Publications/blob/master/ProfunctorOptics-LambdaWorld2017.pdf
Alexander
о, в скале появились зависимые типы?!
Зигохистоморфный
а где тут скала? он тут все на хаскелл
Alexander
не, я смотрю новые доклады принятые на fby
Alexander
там representing async graphs with dependent types
Зигохистоморфный
смешно) в том году тоже было про типы в скале
Alexander
звучит инетересно, а говорят про dependent types
Alexander
или я что-то серьезное в развитии скалы пропустил или опять railway driven developement будет
Alexander
какой
Alexander
где человек переизобретает то, что было описано 20 лет назад, называв модным именем
Alexander
Бартош пока единственный человек ради которого можно задумываться о том, чтобы ехать
Danila Matveev
о, в скале появились зависимые типы?!
для меня (года 3 со скалкой) они были всегда
но весьма ограничены (как говорят, мне сравнить не с чем)
Alexander
причем т.к. это Бартош, а не доклады
Alexander
@optician_owl т.е. там есть pi, можно размер вектора закинуть в тип вектора и т.п.?
Alexander
можно параметризовать тип используемым конструктором и делать вычисления на типах?
Alexander
я конечно со скалой знаком только по курсу на степике, но там ничего близкого не покрывалось
Зигохистоморфный
помню был доклад Type level programming in Scala https://github.com/folone/fby
такого страшного кода я еще не видел)
Евгений
о, в скале появились зависимые типы?!
Ну вроде как да, большая часть идрисоёбского чата это скалисты
Alexander
даже не уровень haskell
Alexander
typelevel и в haskell можно, страшно ужасно, но можно
Danila Matveev
синглтон типы есть в компиляторе, но отсутствуют в языке =(
есть либа, которая позволяет их юзать (макросами)
обещают добавить в язык, но все откладывают (в дотти, будущее когда-нибудь скалы, есть из коробки)
Alexander
синглтонов мало для зависимых типов
Зигохистоморфный
я конечно со скалой знаком только по курсу на степике, но там ничего близкого не покрывалось
ты про это? https://stepik.org/course/2294/
Alexander
HList и в haskell98 можно было
Alexander
не, этого не видел
Alexander
смотреть стоит?
Зигохистоморфный
ну я как бы скалой сильно не интересуюсь) поэтому не могу сказать
Danila Matveev
то что есть сейчас сводится к
class A {
type T
....
}
def f(a: A#T): A.T = ???
т.е. у значения может быть произвольный тип, мы можем оперировать с типом конкретного значения или с группой типов, которые могут быть в этом классе заданы
A64m
смотрел пару докладов про дотти, не припоминаю никаких завтипов. Скалисты же их местные хазохизмы всякие называют завтипами
Зигохистоморфный
помню был доклад Type level programming in Scala https://github.com/folone/fby
такого страшного кода я еще не видел)
@A64m_qb0 если глянуть сюда, то это адище какое-то
Alexander
Danila Matveev
ты про это? https://stepik.org/course/2294/
это не про скалу (скалка здесь вторична)
это больше к теоретическим рассуждениям
на хабре была статья от автора курса и там был мозго выносящий код (можно использовать для украшения сводов базилик)
Alexander
если я правильно понял это то, что в haskell обзывается type family
Danila Matveev
где тут зависимые типы?
тип зависящий от значения, это и зовется в скалке зав типами
что это согласно теории я не знаю, отвечаю только про то что есть в языке
Alexander
от этого до зависимых типов ещё пилить и пилить
Alexander
от какого значения он зависит?
Зигохистоморфный
Alexander
там тип зависящий от другого типа
Alexander
причем это даже associated type with class, type family если мы функции над типами писать можем
Alexander
я может и не прав конечно, и точно не запрещаю скалистам называть это зависимыми типами
Danila Matveev
я схалявил в описании
вот более правильно
trait A {
type Out
def value: Out
}
val a1 = new A{
val value = 42
}
val a2 = new A{
val value = "42"
}
def f(a: A): A.Out = a.value
результат функции будет иметь тип соответствующий для конкретного объекта типа A
Alexander
это не зависимые типы
Alexander
вот если бы val value =42 и val value=43 давали бы разные типы, то это уже то