AG
https://arxiv.org/abs/1901.05750 D'Osualdo, Farzan, Gardner, Sutherland, "TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs"
Size: a a a
2020 August 04
D
@Bartosso выпустил новый альбом?
AD
ZIO - это же чисто академическая штука? Никогда не видел его в реальном коде.
Для валуэ же
R
Интервью с жожо фаном
K
вы закончили меня травить?
Oℕ
ещё бы фикспойнты решать
w
ещё бы фикспойнты решать
Эх, сча бы решать
Oℕ
Эх, сча бы решать
+
λ
вы закончили меня травить?
Полонием
K
Полонием
с днюхой тебя
AG
вы закончили меня травить?
please stand by, травля in progress
Oℕ
кто-то чото готовит там у неё
K
кто-то чото готовит там у неё
поздравь собаку пожалуйста
AG
ещё бы фикспойнты решать
так она ж ввела эти козерог-контексты
K
несмотря на наши разногласия