Eugene Babichenko

А про что в итоге срач-то?

А никто ничего и не доказывает, задачи такой даже не стоит. Много проектов используют формальную верификацию для доказательства корректности написанного кода?

Чят, а можете порекомендовать синхронный HTTP-клиент, который не тащит за собой всю радость типа future и tokio? Желательно pure rust - то есть чтоб не тащил за собой libcurl ...

Кстати, есть годные материалы по части безопасности проведения ICO, но не в части контрактов, а в части обвязки? А то судя по тому, что было где-то 100 сообщений назад, у люде...

Ну про float - известная проблема, про такое в начале обучения должны рассказывать, только почему-то этого не делают. А при инкремент-декремент - там такие примеры кода, что у...

Я, конечно, не особо в теме Хаскелля, но разве людей интересует что-то, кроме GHC?

А почему, кстати? Нужен ведь совместимый с no_std рантайм, футуры сами по себе должны быть совместимы

А, то есть docs.rs хранит у себя сгенерированные в незапамятные времена статику? Я почему-то наивно полагал, что с выходом новых версий генератора они чего-то там обновляют.

А как же обратная совместимость между минорными версиями тулчейна? :D

И чё? Буду дальше использовать 2018.

> Так подожди, там же в факе написано, что 0.2 вообще не юзать, и менять релизы по 0.1.x даже если они брекинг Где там такое написано?

а где там, собственно, кошкодевочки?

Тут был мне реплай про «wsl говно», снесли что ли? :(

Если меня не затрагивают фиксы - почему нет-то?

А как интегрировать LSP в intellij никто ещё не придумал?

А как легитимизируются эти организации? 🌚

Оракул свой будете кодить, или возьмёте какой-то Oraclize?

Это как первый меньше тормозит, если с RLS работать?)

Читаю вашу дискуссию и меня терзает вопрос “зачем?”

А под винду уже никому ничего не надо собирать?)