Using ML to Optimize Large-Scale Systems
2019-06-24
Spanner vs. Calvin: Distributed Consistency at Scale
2019-06-24
Proving security at scale with automated reasoning
2019-06-24
Dsl.scala-akka-actor: creating actors from ordinary Scala control flow
2019-06-24
Accessible and Scalable Secure Multi-Party Computation
2019-06-23
Radix, A fast, scalable, easy-to-use ledger, ready-made for 7B people
2019-06-23
BitScope: Scaling Bitcoin Address De-Anonymization
2019-06-22
Optimizing Server Architectures for Microservice Diversity [pdf]
2019-06-22
Scaleway Datacentre Escapes Blaze
2019-06-21
Write Scala in vs. Code, Vim, Emacs, Atom and Sublime Text with Metals
2019-06-21