Size: a a a

2018 September 11

n

neFormal in fprog_spb
Они все баззворды решили использовать?
источник

TM

Timur Malikin in fprog_spb
Да вроде не все, BigData как минимум нету :)
источник
2018 September 13

RR

Rigidus Rigidus in fprog_spb
и блокчейна не хватает
источник
2018 September 17

L

Leyla in fprog_spb
Наступила осень и мы открываем новый сезон!

Cентябрьская встреча пройдет совместно с Cанкт-Петербургской группой пользователей GNU/Linux и, нарушая традиции, состоится 26 числа в 19-00. В рамках нашей программы будет представлено три доклада:

1) «network-transport-cadet: Коммодизируем F2F-приложения», Дмитрий Волков, разработчик GNUnet, расскажет, как делать практические P2P-приложения проще и быстрее. Иногда сделать что-то от пира к пиру быстрее или приватнее, чем через административно один сервер, но, чтобы вместе писать код, нам нужен Microsoft, а чтобы перекинуть файл - Dropbox. Кажется, часть причин техническая и писать хороший P2P сложно, поэтому попробуем понизить порог вхождения до уровня написания CRUD-сайта через GNUnet и Haskell.

2) «Формальная модель блокчейн-системы и ее реализация на языке Haskell», Агапов Георгий, в прошлом один из ведущих разработчиков криптовалюты Cardano SL, а на данный момент программист в Serokell OU, где с апреля 2018 управляет разработкой фреймворка для построения блокчейн-систем, которому он и посвятит доклад. В докладе предлагается формальная модель блокчейн-системы, формализация которой производится с применением системы типов Haskell. Разработка формальной модели происходит одновременно с ее использованием в построении функционального фреймворка для проектирования и разработки криптовалют. В докладе будет также рассмотрена мотивация к построению такой модели, методы, использующиеся для ее разработки и некоторые дополнительные возможности в построении блокчейн-систем, открывшиеся авторам как результат разработки модели.

3) «Двунаправленный маппинг данных на примере ironhide», Тропин Андрей, инженер в HealthSamurai, делающий fullstack clojure для HealthIT и open source в свободное время, расскажет про то, как манипулировать древовидными структурами данных и их представлениями (json, xml, yaml, etc), а также о том, какие существуют решения, как придумать свой декларативный легкосериализуемый язык и написать для него интерпретатор.

Также можно будет пообщаться с ребятами из SPbLUG и послушать их в соседнем зале :)

Когда: 26 сентября 2018
Во сколько: с 19 до 22
Где: 10-я линия В.О. 33/35, ф-т Географии СПбГУ, ЦДО "Феникс" (большая белая дверь напротив проходной). Охране сказать, чтобы пропустили в “Феникс”.

Вход бесплатный, регистрация обязательна: https://spb-fp-meetup.timepad.ru/event/809633/
источник

TL

Timur Leonidovich in fprog_spb
top!
источник
2018 September 18

RG

Roman Geints in fprog_spb
источник
2018 September 26

Вл

В ладу in fprog_spb
кстати заранее интересует вайфай в помещении
источник

AV

Alexander Vershilov in fprog_spb
а будет запись7
источник

AV

Alexander Vershilov in fprog_spb
я что-то осознал что оно не в четверг слишком поздно :/
источник

AV

Alexander Vershilov in fprog_spb
хотя бы первого выступления
источник

Вл

В ладу in fprog_spb
да как-то тут тихо для дня мероприятия
источник

AV

Alexander Vershilov in fprog_spb
а лучше и второго
источник

Вл

В ладу in fprog_spb
обычно к этому времени спрашивают как пройти и всё такое
источник

IZ

Ilia Zviagin in fprog_spb
А что сегодня что ли?
источник

AV

Alexander Vershilov in fprog_spb
о, не сегодня?
источник

Вл

В ладу in fprog_spb
ну по пинед ориентируюсь
источник

AV

Alexander Vershilov in fprog_spb
26 написано
источник

Вл

В ладу in fprog_spb
какие ещё есть источники
источник

AT

Andrew Tropin in fprog_spb
источник

AV

Alexander Vershilov in fprog_spb
34 минуты еще тихо долэно быть
источник