Loo
doc
бывает нужно
Денис
я тут себе повёзд в неовим RLS через LanguageClient-neovim — господи, как я жил до этого со сраным YouCompleteMe
Денис
если они RLS ещё и комплишн научат делать без рейсера, будет вообще бомба
Антон
>132 pull requests were merged in the last week > stabilize x86/x86_64 SIMD (WOOT!)
Антон
Офигенно
Денис
кстати, просто интересно, кто-то в чатике пользуется симдом?
Судзумия
Нет
պլհկ
Нет
Денис
как и ожидалось )
պլհկ
Я надеялся что мистер итератор найдёт применение
Денис
а
Денис
ну он не-онлайн просто
պլհկ
Но он сказал нет 😢
Денис
ааа
Денис
ты про другого :)
պլհկ
@inv2004
Денис
дык
Денис
он не сказал ещё нет =)
Dårk
тюринг-полную числодробилку со своим DSL запилить ещё не посоветовали?
Loo
Мистер итератор
Berkus
но это наверное немношк другое
Oleg
Почему?
бесконечные циклы = боттомы за бесплатно = неверифицируемая дрянь
Oleg
для мощного графа вычислений хватит STLC
big
good program = terminated program
big
(Мао Дзедун 1488 г. до н.э)
Loo
good program = terminated program
unwrap panic docker restart always
Маjко
Loo
:D Трустори
бесст практис
Маjко
Ну а хуле делать когда периодически крашится крейт из депенденси
պլհկ
пул реквест
big
жиза
Loo
а то
Cat
Ну а хуле делать когда периодически крашится крейт из депенденси
У всех таких либ есть один фатальный недостаток
Маjко
пул реквест
Для этого гейзенбаг еще поймать надо
պլհկ
RUST_BACKTRACE=1
Денис
то есть ты знаешь, что в проекте есть гейзенбаг, но не ловишь его
Денис
не надо так
Маjко
Падает раз в сутки, геморроя не доставляет, данные не теряются
պլհկ
Маjко
Просто есть более приоритетные задачи
big
так мистер bug free
big
Судзумия
Это стейтлесс. Сервис падает, но ничего не теряется
Судзумия
Круто же
պլհկ
Рано или поздно это к пиздецу приведёт
պլհկ
Сегодня на один баг забили
Loo
это хуейтлес
պլհկ
Завтра на другой
Судзумия
это хуейтлес
Можно и так
պլհկ
И вот у тебя весь проект в жопе
Судзумия
Это что-то из гошки?
У вас хуейтлесс сервис
Cat
А как поддерживать стейтлесс? Сразу все дампать на диск?
Cat
Транзакции какие-нибудь?
Маjко
Транзакции какие-нибудь?
STM тут навернули по-быстрому
Судзумия
Strict Temporal Methodics
Cat
Strict Temporal Methodics
Это что-то из темпоральных логик?)
Cat
Signature-tagged mutagenesis, a genetic technique to create random mutants
Судзумия
Safe "This" Monoid
Судзумия
Software transactional memory?
Но вообще, это верно
Evgεny
надо как-то пошутить