Protocol Typing, Communication Safety, Pi Calculus, Concurrent Types
Rhizomes and the Roots of Efficiency—Improving Prio
eprint.iacr.org·11h
Resilience modeling for an engineered network with multimodal performance under multiple recurrent hazards
sciencedirect.com·1d
MultiChannel and MultiPTLC: Towards A Global High-Availability Database
delvingbitcoin.org·1d
Typename syntax and resolution in ClojureCLR
dmiller.github.io·1d
istio/istio
github.com·2h
Inferentialism: Logic and Meaning
consequently.org·17h
Proof Rules for MetaSMT
philipzucker.com·1d
Loading...Loading more...