These are chat archives for
DevZenRu/live
17
th
Dec 2016
Toggle Heatmap
Sign in to start talking
DevZenRu/live
Чат прямого эфира DevZen Podcast http://devzen.ru/
Tea Tracer
@teatracer_twitter
Dec 17 2016 19:40 UTC
А удобно разговаривать в наушниках? получается громкость голоса настроить правильно?
громкость своего голоса
Pavel Mironov
@wanderermg
Dec 17 2016 19:41 UTC
есть микрофоны с выходом на наушники, где свой голос регулируется отдельной крутилкой ;)
Tea Tracer
@teatracer_twitter
Dec 17 2016 19:41 UTC
чудеса технологий )
Pavel Mironov
@wanderermg
Dec 17 2016 19:44 UTC
Свету, если что, супер-тихо слышно
Ivan Glushkov
@gliush
Dec 17 2016 19:46 UTC
да вроде нормально?
Andrey Melnikov
@typeetfunc
Dec 17 2016 19:46 UTC
тихо
Ivan Glushkov
@gliush
Dec 17 2016 19:46 UTC
ок, сейчас сделаеа
Pavel Mironov
@wanderermg
Dec 17 2016 19:48 UTC
стало намного лучше, да :)
спасибо!
Andrey Melnikov
@typeetfunc
Dec 17 2016 19:49 UTC
воот)
стало ок да)
DevZen Podcast
@devzen_ru_twitter
Dec 17 2016 19:49 UTC
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 UTC
D
У нас в четверг митап был на эту тему:
https://codefreeze.timepad.ru/event/416395/
.
Доклад очень отличный получился. Как раз от разработчика упоминаемой компании
Andrey Melnikov
@typeetfunc
Dec 17 2016 20:33 UTC
глупый вопрос насчет скриптов: а почему не использовать что-то
похожее
на пролог/даталог?
по нему вроде и доказывать что либо легко, и вроде неплохо подходит для распределенных вычислений(вспомним дедалус)
Andrey Melnikov
@typeetfunc
Dec 17 2016 20:41 UTC
а ссылку на пейпер про языковые парадигмы в блокчейне можно пожалуйста)
DevZen Podcast
@devzen_ru_twitter
Dec 17 2016 20:45 UTC
https://publications.lib.chalmers.se/records/fulltext/234939/234939.pdf
http://www.vukolic.com/iNetSec_2015.pdf
Svetlana Bozhko
@SBozhko
Dec 17 2016 21:02 UTC
последняя выложенная часть:
https://www.youtube.com/watch?v=xJYwh9lw4CM
DevZen Podcast
@devzen_ru_twitter
Dec 17 2016 21:29 UTC
http://www.coindesk.com/bitcoin-miners-signal-support-segwit-scaling/
Dmitry Alimov
@delimitry
Dec 17 2016 21:31 UTC
мда, что сегодня со связью то(
Valery Meleshkin
@sumerman
Dec 17 2016 21:33 UTC
хорошо, что гостя два :D
Konurbaev Evgeny
@konurbaev-e
Dec 17 2016 21:34 UTC
Радует всегда позитивный настрой
@sumerman
)) в любой ситуации видит плюсы))
Dmitry Alimov
@delimitry
Dec 17 2016 21:37 UTC
:)
DevZen Podcast
@devzen_ru_twitter
Dec 17 2016 21:39 UTC
http://www.coindesk.com/bitcoin-miners-signal-support-segwit-scaling/
DevZen Podcast
@devzen_ru_twitter
Dec 17 2016 21:47 UTC
https://www.jetbrains.com/go/
http://telegra.ph/Haskell-Job-12-16
https://goo.gl/D3H6gN
Dmitry Alimov
@delimitry
Dec 17 2016 22:02 UTC
спасибо!
пока)
_