1. 7
    Trickle-down workaholism in startups culture rant m.signalvnoise.com
    cemerick avatar via cemerick 1 year ago | cached | 1 comment
  2. 3
    Argo: “Smart Routing” from Cloudflare networking blog.cloudflare.com
    cemerick avatar via cemerick 1 year ago | cached | no comments
  3. 14
    Higher-order symbolic execution for contract verification and refutation programming arxiv.org
    cemerick avatar via cemerick 2 years ago | cached | no comments
  4. 9
    Adapton: Programming Language Abstractions for Incremental Computation compsci ml programming python plum-umd.github.io
    cemerick avatar via cemerick 3 years ago | cached | 1 comment
  5. 6
    Dandelion: a Compiler and Runtime for Heterogeneous Systems compilers compsci dotnet research.microsoft.com
    cemerick avatar via cemerick 3 years ago | cached | no comments
  6. 4
    A History of the Virtual Synchrony Replication Model pdf distributed cs.cornell.edu
    cemerick avatar via cemerick 4 years ago | cached | 1 comment
  7. 15
    Add 'distributed systems' tag? ☶ distributed meta
    cemerick avatar via cemerick 4 years ago | 23 comments
  8. 6
    Edelweiss: Automatic Storage Reclamation for Distributed Programming pdf distributed programming db.cs.berkeley.edu
    cemerick avatar via cemerick 4 years ago | cached | no comments