Size: a a a

2018 April 11

K

Kakadu in fprog_spb
Это то, что было в Питере недавно?
источник

u

user in fprog_spb
ага, оно самое
источник
2018 April 12

u

user in fprog_spb
кажется завтра телеграм будут банить, вы знаете что делать)
источник

λO

λeonid Onokhov in fprog_spb
переходить на IRC?
источник

I

Igor in fprog_spb
Заипись, наконец-то кодеры работать будут
источник

L

Leyla in fprog_spb
+1 ))
источник

RS

Roman Salnikov in fprog_spb
источник

RS

Roman Salnikov in fprog_spb
На всякий случай
источник

АГ

Александр Гранин in fprog_spb
Здравствуйте, теплые страны
источник

n

neFormal in fprog_spb
зимбабве, ливия, камбоджа
источник
2018 April 13

u

user in fprog_spb
а как же пхукет+смузи+реакт?
источник

u

user in fprog_spb
Ребята, у нас внезапно появилась возможность послушать про Flow, его компилятор и оптимизацию. Язык давно используется в продакшене, сочетает в себе особенности функциональных и императивных языков и в чём-то похож на такие языки как F#, OCaml, Haskell, Scala.
источник

u

user in fprog_spb
Предлагаем перенести на май доклад "Возможности использования формальных верификаций на Coq для простейших моделей смарт-контрактов" и послушать про Flow.

Да, хочу послушать про Flow – 21
👍👍👍👍👍👍👍 49%

Нет, не могу ждать до мая - хочу послушать про Coq в апреле – 14
👍👍👍👍👍 33%

Ook. Ook? Ook! Ook. – 8
👍👍👍 19%

👥 43 people voted so far.
источник

AZ

Aleksandr Zhuravlev in fprog_spb
Давайте разбавим.
источник

Y

Yuuri in fprog_spb
user
Ребята, у нас внезапно появилась возможность послушать про Flow, его компилятор и оптимизацию. Язык давно используется в продакшене, сочетает в себе особенности функциональных и императивных языков и в чём-то похож на такие языки как F#, OCaml, Haskell, Scala.
Так вот что за таинственный язык из некоторой вакансии на hh.
источник
2018 April 14

RR

Rigidus Rigidus in fprog_spb
я бы про смарт-контракты на Coq послушал лучше сначала
источник

I

Igor in fprog_spb
Yuuri
Так вот что за таинственный язык из некоторой вакансии на hh.
Это не язык, а линтер для жс 🌚 на стероидах

Правда его компилятор на писан на ocaml, но вряд там много про него будет.
источник

Y

Yuuri in fprog_spb
Igor
Это не язык, а линтер для жс 🌚 на стероидах

Правда его компилятор на писан на ocaml, но вряд там много про него будет.
Ололол. А в вакансии про жс стыдливо умалчивают: https://spb.hh.ru/vacancy/24334688?query=haskell
источник

RG

Roman Geints in fprog_spb
user
Ребята, у нас внезапно появилась возможность послушать про Flow, его компилятор и оптимизацию. Язык давно используется в продакшене, сочетает в себе особенности функциональных и императивных языков и в чём-то похож на такие языки как F#, OCaml, Haskell, Scala.
и чем же он похож на хаскель?
источник

RG

Roman Geints in fprog_spb
тем, что типы есть, наверно
источник