DevZenRu/live - Gitter

Tea Tracer

@teatracer_twitter

Dec 17 2016 19:40

А удобно разговаривать в наушниках? получается громкость голоса настроить правильно?

громкость своего голоса

Pavel Mironov

@wanderermg

Dec 17 2016 19:41

есть микрофоны с выходом на наушники, где свой голос регулируется отдельной крутилкой ;)

Tea Tracer

@teatracer_twitter

Dec 17 2016 19:41

чудеса технологий )

Pavel Mironov

@wanderermg

Dec 17 2016 19:44

Свету, если что, супер-тихо слышно

Ivan Glushkov

@gliush

Dec 17 2016 19:46

да вроде нормально?

Andrey Melnikov

@typeetfunc

Dec 17 2016 19:46

тихо

Ivan Glushkov

@gliush

Dec 17 2016 19:46

ок, сейчас сделаеа

Pavel Mironov

@wanderermg

Dec 17 2016 19:48

стало намного лучше, да :)
спасибо!

Andrey Melnikov

@typeetfunc

Dec 17 2016 19:49

воот)

стало ок да)

DevZen Podcast

@devzen_ru_twitter

Dec 17 2016 19:49

https://github.com/input-output-hk/rscoin-haskell

http://nn.lv/dv9z

https://iohk.io/careers/

https://iohk.io/research/papers/a-provably-secure-proof-of-stake-blockchain-protocol/

https://github.com/input-output-hk/pos-haskell-prototype,

Konurbaev Evgeny

@konurbaev-e

Dec 17 2016 20:00

D

У нас в четверг митап был на эту тему: https://codefreeze.timepad.ru/event/416395/ .
Доклад очень отличный получился. Как раз от разработчика упоминаемой компании

Andrey Melnikov

@typeetfunc

Dec 17 2016 20:33

глупый вопрос насчет скриптов: а почему не использовать что-то похожее на пролог/даталог?
по нему вроде и доказывать что либо легко, и вроде неплохо подходит для распределенных вычислений(вспомним дедалус)

Andrey Melnikov

@typeetfunc

Dec 17 2016 20:41

а ссылку на пейпер про языковые парадигмы в блокчейне можно пожалуйста)

DevZen Podcast

@devzen_ru_twitter

Dec 17 2016 20:45

https://publications.lib.chalmers.se/records/fulltext/234939/234939.pdf

http://www.vukolic.com/iNetSec_2015.pdf