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

Надо вкладываться в комьюнити)

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

часто можно было обнаружить ноги админа в серверной, который так и не ушел вчера домой

в общем весело)

фотка старая. но у нас вот так:

https://instagram.com/p/7IAmAQNZ8r/

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

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

А чем верифицируешь? Idris, agda, coq?

видос не досмотрел :)

why3

но там пока что так себе с поддержкой

ребята в солидити встраивают транслятор

но я руками транслировал в whyml

молодец, одобряю, правильным путем идете, товарищ!

ml верблюдом компиляешь?

крайне давно его щупал - где-то в 2001, афаир

ну там why3 студия

Устанавливается из opam

сам офигел от ocaml

думал он в 90-00х остался

нет :)

Минский и прочие его вполне себе юзают :)

даже книжки выпускают и даже для Джейн Стрит продакшен корябают на лярды баксоф

vive la France, короче

https://facebook.github.io/reason/

про ризон было же :)

ну я так напомнить )

ML-ем принято лисперов травить :)

поцоны говорят, что вай-вай3 - старенькое

На вид старенькое

Просто в ethereum комьюнити уже начали к нему двигаться

И транслятор писать

Поэтому его и выбрал

Так он coq умеет подрубать

иншалла

ух ты а эфир даже начал чуть чуть расти

а биток все падает

а биток все падает

Ну дебилов развели, пора и прибыль фиксировать

надеюсь до 200 не просядет как когда то)

Гайз кто-нибудь натыкался?

FSEvents_connect() => (ipc/send) invalid destination port

найс

ребутнул комп и прошло ахахах

давно я так ничего не чинил

Мак подводит, это походу из мониторинга файловой системы падало

Я бы лично делал etherium, заучит заманчиво, только как работает я нихуя не понимаю

Потому что нету "TODO App in 5 minutes tutorial"

Мак подводит, это походу из мониторинга файловой системы падало

https://github.com/webpack/webpack/issues/1743

все еще не поправили, похоже

а как блокченовские приблдуды гарантируют консистентность?

raft/paxos?

Похоже больше paxos, хотя там демократии больше чем на американских выборах

демократия в США? лол. но это отдельная тема.

За счёт того что проверить данные проще чем их создать

А есть подобный чятик по ноде?

Node.js — русскоговорящее сообщество Общаемся на темы, посвященные Node.js, микросервисам, профайлингу и оптимизации. Вакансии и поиск работы: @javascript_jobs См. также: @devops_ru, @docker_ru Рекомендуем сразу отключить уведомления, чтобы пребывание здесь было полезным и комфортным. https://t.me/nodejs_ru

Спасибо

да, спасибо :)

а как блокченовские приблдуды гарантируют консистентность?

Так майнеры же гарантируют

Там raft и paxos никак не подойдут

Там не рафт и не paxos

это обычный консенсус

А в блокчейне консенсус экономически мотивированный

через майнинг

proof of work

ERROR: S client not available

Тут ботов для кросспостинга обсуждали или я опять напутал?

Здравствуйте все. Вопросы по фениксу тут можно задавать или есть отдельная комната?

здесь можно задавать

ну или в #anime

по желанию

Давайте сделаем отдельную комнату для феникса

pro.elixir.phoenix?)

норм идея

pro.elixir.gen-server pro.elixir.offtop pro.elixir.offtop.australia

Я ща сделаю

шото мне кажется, что фрагментация излишня

потом еще категоризировать вопросы, типа: pro.elixir.phoenix.junior pro.elixir.phoenix.middle pro.elixir.phoenix.senior

?

вот да.

для этого всего потом агрегатор сделаем)

Loh.elixir.phoenix

Norm.elixir.phoenix

а потом такие

Jose.elixir.phoenix

@ijin82, я думаю пока можна и тут писать

ну конечно можно))

никто же не запрещает)

Мне не кажется это необходимым

255 тел

это же стеб

Никакого феникса в моём чатике!

Все в сад...

А по-моему Дима серьёзно)

255, воу-воу, еще один человек и будет переполнение

)

Никакого феникса в моём чатике!

Чем тебе он так не нравится?) Ко всему мэйнстриму так относишься?)