Size: a a a

2019 November 02

SG

Serge S. Gulin in fprog_spb
Обычно, лучше сначала туда постучать, там сразу все сплетни про всех можно собрать )))
источник

SG

Serge S. Gulin in fprog_spb
источник

PK

Pavel Khritonenko in fprog_spb
источник

SG

Serge S. Gulin in fprog_spb
Изначально ядро аудитории там было с двачей, потому общение наделено определенной спецификой, как и используемый жаргон, однако это не сильно мешает использовать сей инструмент.
источник
2019 November 07

IR

IC Rainbow in fprog_spb
У меня есть подозрения, что мне только показалось, что я записался на фпрог. Кто-нибудь может мимо таймпада вписать на сегодняшнее действо?
источник

AV

Alexander Vershilov in fprog_spb
источник

L

Leyla in fprog_spb
IC Rainbow
У меня есть подозрения, что мне только показалось, что я записался на фпрог. Кто-нибудь может мимо таймпада вписать на сегодняшнее действо?
Пришли ФИО
источник

L

Leyla in fprog_spb
Вход на конфу.
источник

L

Leyla in fprog_spb
Потом 2й этаж Z202
источник

YS

Yan Shkurinskiy in fprog_spb
Leyla
Вход на конфу.
Это же который сегодня?
источник

L

Leyla in fprog_spb
Yep
источник

YS

Yan Shkurinskiy in fprog_spb
Отлично с:
источник

DI

Dmitry Ignatiev in fprog_spb
источник

L

Leyla in fprog_spb
В честь доклада вспомнила, мб баян
источник

L

Leyla in fprog_spb
источник

YS

Yuriy Syrovetskiy in fprog_spb
всё понятно
источник

Y

Yuuri in fprog_spb
I fol’d
источник

L

Leyla in fprog_spb
источник

SC

Sviatoslav Cherepanov in fprog_spb
Yuriy Syrovetskiy
всё понятно
Если интересно, есть неплохая монография о LTL в контексте формальных методов. Может заинтересовать. Temporal Logic and State Systems.
источник

AV

Alexander Vershilov in fprog_spb
мои слайды (репозиторий потом сделаю с кодом)
источник