λ
я чет про него и не знал
Size: a a a
2021 February 11
AT
ссылку
AT
они сейчас онлайн курсы проводят, кстати
AT
и хоть бы так и оставалось, если честно, а то на фонтанке зал не фонтан
AG
не, просто закончился спринт — пришла новая идея и теперь нужно долго пилить, чтоб статья вышла лучше
а что вы щас пилите, продолжение https://ilyasergey.net/assets/pdf/papers/scilla-llvm20.pdf или чото новое?
R
и хоть бы так и оставалось, если честно, а то на фонтанке зал не фонтан
колодец?
λ
и хоть бы так и оставалось, если честно, а то на фонтанке зал не фонтан
надо в мариинке
λ
@AntonTrunov а че у вас есть llvm ?
AT
а что вы щас пилите, продолжение https://ilyasergey.net/assets/pdf/papers/scilla-llvm20.pdf или чото новое?
это пилится, но там еще не скоро будет статья, я щас пилю гибридный подход на основе моделчекинга и статанализа коммутативных операций (cosplit, может на pldi выйдет статья)
AT
колодец?
типа того — вытянутая аудитория и зимой еще и холодно там
AT
@AntonTrunov а че у вас есть llvm ?
ага
AT
прошлой осенью докладывались на ллвм-конфе
λ
над было к вам идти
AT
но у нас просто постер был
AT
ещё и крис латтнер параллельно постер показывал — сказалось на трафике — в нашу вирт. комнату не очень много народу заглядывало
V
D