я не пойму почему ты это ставишь в претензию hackage

просто кто-то что-то не залил))

@voidlizard сплю, делаешь структуру V1 сериализуешь через safeCopy, на другой стороне через safeGet читаешь, если потом меняешь ее - то старую переименовываешь старую структуру в V0, пишешь новую и тайпкласс для миграции, если тебе приходит V0 то к нему автоматом применяется преобразование

как бойлерплейта избежать при копировании?

Но так не все миграции и с миграциями при связанных событиях сложно, как порешали скажу как

Весь бойлерплейт это старые структуры в коде и класс миграции

Не очень дорого, тем более что их в специальный модуль положить можно

ну код миграции это по сути копирования одних (всех) полей в другие и инициализация новых полей

https://gist.github.com/voidlizard/5a937e7e407c625a894c9c88a37693c8

бойлерплейт же по сути дела

Ну без него как-то сложно..

ну да, обсудили - coerce здесь не поможет

но как-то вообще не алё выглядит

Ну а как кроме, только протобуф если

Где поля индексированы и есть default для новых

ладно, проще смириться, наверное.

Можно наверное как протобуф сделать, но там же тоже бойлерплейт будет..

не, это всё негуманно уже

У нас то вообще задница, у нас граф в котором экзестенциальные типы живут

Между версиями типы могут меняться так что нужно читать весь граф чтобы значение восстановить

А в новой версии новые типы и надо уметь прочитать старые бинарные данные и восстановить

Поидее RFC на то как это делать написали, но пока не запилили

лол

практическая атака на SHA1

солидно

гиту пипец, хотя он вроде бы может переехать на sha256

гиту пипец, хотя он вроде бы может переехать на sha256

Почему, кстати?

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

Там вроде не используются криптографические свойства sha1

но я не читал статью об атаке

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

Для такой атаки нужен доступ к репозиторию на запись, а с ним, думаю, и так много способов все сломать

Я правильно понял, что они там генерят 2 одинаковых файла (по хешу), а не по нужному sha строят файл?

они пока только одну пару сгенерировали

причем потратив кучу ресурсов: "This attack required over 9,223,372,036,854,775,808 SHA1 computations. This took the equivalent processing power as 6,500 years of single-CPU computations and 110 years of single-GPU computations."

сначала они пришли за md5, я молчал. потом пришли за sha-1, я молчал. когда пришли за мной, никто не заступился за меня.

Я правильно понял, что они там генерят 2 одинаковых файла (по хешу), а не по нужному sha строят файл?

А можно ссыль о чем речь я не нашел

А можно ссыль о чем речь я не нашел

https://habrahabr.ru/post/322478/

гиту пипец, хотя он вроде бы может переехать на sha256

Почему пипец? Если в гите встречаются два объекта с одинаковыми хешами, то более старый всегда будет перезаписывать более новый. Ссылочка на комментарий Линуса: http://marc.info/?l=git&m=115678778717621&w=2

Чё то не понял они использовали статью или свой алгоритм разработали

Почему пипец? Если в гите встречаются два объекта с одинаковыми хешами, то более старый всегда будет перезаписывать более новый. Ссылочка на комментарий Линуса: http://marc.info/?l=git&m=115678778717621&w=2

ну, пипец пользователям. гиту, понятное дело, всё равно

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

Почему пользователям? От удачно проведённой атаки, sha-1 не будет "коллизиться"через коммит. Да и мне sha-1 нравится. Назовут чексуммой и дальше будут использовать.

А что вышло? Просто тихо ничего не сработало?

but since it [sha1 hash] matches an old object, a new object won't be created, and the commit-or-index ends up pointing to the _old_ object.ага.

я вроде просто потом пару пробелов в код добавил или пустую строку в конец файла, и нормально, зашло. но я долго не понимал проблемы.

Очень, очень счастливый человек.

раньше наверное коллизии чаще были

потому что я тоже в самом начале натыкался, а потом много лет не вижу такого

может раньше он как-то иначе считался, или ошибки какие-то были, хз

Из того, что я помню, были коллизии в аббревиатурах (укорочённых хешах)

Вроде дефолт был равен 7 и это не конфигурилось никак

Подвижки в вычислении нужного числа символов в укорочённых хешах до сих пор есть. Кому интересно, можно посмотреть https://github.com/git/git/commit/e6c587c733b4634030b353f4024794b08bc86892

Добрый день, тут на хакерранке время убивал, нашел физзбазз соревнование. Чем короче написать тем больше баллов. Есть блог пост https://dmytrish.wordpress.com/2013/10/10/haskell-fizzbuzz/ Сумел улучшить на два символа, но судя по лидерборду можно еще на два символа сократить. Убил два дня. Два вопроса - как все таки тут еще можно сократить решение? И второй, что посмотреть на тему генерации хаскель кода на хаскеле. Чтобы написать поиск самой короткой программы? r n=drop.(*)9.rem n main=mapM(\n->putStrLn$max(show n)$r n 3"Fizz"++r n 5"Buzz")[1..100]

ого, какая жесть

https://www.hackerrank.com/challenges/fizzbuzz/leaderboard

а вот и лидербор

все равно баш выиграет или перл какой

на hackerrank был fizbuz в code pingpong

ну перл и выиграл, 48 чтоли

https://docs.perl6.org/language/haskell-to-p6

теперь только перл

??

Думаю здесь найдутся emacs-, evil-, spacemacs- шарящие. В общем решаю задачки по идрису и заодно решил посмотреть на spacemacs. в режиме emacs всё норм, но сочетания слишком длинные M-m m h a Search the documentation for a string. в режиме вима или гибриде я не могу выполнить команду в репле (нажимаю i ввожу что-нибудь, нажимаю энтер и там в строке просто ставится пробел и всё). Не думаю что у кого-нибудь был ровно такой же случай, но наверняка есть догадки какая там должна быть стандартная клавиша для этого _______ хотя чувствую постоянно нажмать i, esc в репле также надоест

/me мучается в виме

что пошло не так?

вим же прекрасен

+1

он божественен

@vlastachu дело даже не в идрисе конкретно, любые реплы в режиме вима в spacemacs не юзабельные какие-то ((

сам мучаюсь

ну вим с идрисом предлагает внешний репл использовать (вроде), что в принципе не так уж и плохо

idris filename, :e

я использую

но не знаю как это будет работать со многими файлами

ноо казалось бы это излишне если у тебя и так подключенный процесс висит

ну вим с идрисом предлагает внешний репл использовать (вроде), что в принципе не так уж и плохо

а ты вим юзаешь консольный или оконный? я когда на виме сидел, то юзал консольный, и такие вещи вполне естественными казались. сплитишь терминал — слева вим, справа репл

или там снизу/сверху

@vlastachu дело даже не в идрисе конкретно, любые реплы в режиме вима в spacemacs не юзабельные какие-то ((

так в емаксовом режиме там всё ок, ну то есть автодополнение, подсветка, команды работают, прекрасный репл

а атом никто не пользует? с идрисом.

я тмукс спличу для ghci

с идрисом так не прокатити?

а атом никто не пользует? с идрисом.

с идрисом не пробовал, только с хаскелем. рекомендуешь?

ну, на лекциях бравита в спб все ребята, что я видел, его использовали.

генерация кода там тоже работала вроде как. так что хз зачем emacs. это просто у лектора любовь какая-то.

с идрисом так не прокатити?

конечно прокатит, но как-то... к примеру я сохраняю файл (ещё не забиндил на сохранение, нажимаю какое-то длинное сочетание клавиш), оно показывает ошибки, показывает подсказки прувера и заодно перезакгружает репл

генерация кода там тоже работала вроде как. так что хз зачем emacs. это просто у лектора любовь какая-то.

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

ну хорошо, пойду по наименьшему сопротивлению – настрою атом

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

кстати, для кока будут делать плагин под атом в рамках google summer of code.

я пока не знаю, как туда попасть, но думаю даже поучаствовать.

ну я так помню вместе с кок была какая-то емакс подобная штука (мб просто настроенный емакс) и там прям вообще жить можно было. А ещё атом хайпился не больше года, сейчас все фронтендщики перелазят на вс код. Не знаю есть ли хоть какие то объективные показатели в которых они различаются, но боюсь что атом мейнтейнеры забросят

ты о ProofGeneral?

я его и в spacemacs прикручивал)

ты о ProofGeneral?

не знаю такого слова

кстати, для кока будут делать плагин под атом в рамках google summer of code.

вот это найс, я даже сам хотел начать

не знаю такого слова

ну это для Coq в Emacs

больше ничего и нет вроде

я про coqide