1. 8
    HTTP and Stream Processing networking programming dylanfoundry.org
    BruceM avatar via BruceM 4 years ago | cached | 2 comments
  2. 11
    Beginning to Rethink Streams programming dylanfoundry.org
    BruceM avatar via BruceM 4 years ago | cached | 6 comments
  3. 7
    ALIVe: Automatic LLVM InstCombine Verifier compsci programming blog.regehr.org
    BruceM avatar via BruceM 4 years ago | cached | no comments
  4. 14
    Mirage v2.0: a recap of the new features compsci ml programming virtualization openmirage.org
    BruceM avatar via BruceM 4 years ago | cached | no comments
  5. 10
    Policy (in capability object systems) as Types pdf distributed programming security arxiv.org
    BruceM avatar via BruceM 4 years ago | cached | no comments
  6. 9
    Streams Library Brings Lazy Evaluation and Functional-style to C++14 c programming infoq.com
    BruceM avatar via BruceM 4 years ago | cached | no comments
  7. 14
    Promise Pipelining in Cap'n Proto RPC ☶ distributed networking programming kentonv.github.io
    BruceM avatar via BruceM 4 years ago | cached | 5 comments
  8. 5
    An Experiment in Improving Compressiblity (for emscripten) javascript programming web rfk.id.au
    BruceM avatar via BruceM 4 years ago | cached | no comments
  9. 19
    A Look at Nanomsg and Scalability Protocols (Why ZeroMQ Shouldn’t Be Your First Choice) distributed networking programming bravenewgeek.com
    BruceM avatar via BruceM 4 years ago | cached | no comments
  10. 10
    FTL: WebKit’s LLVM based JIT javascript programming blog.llvm.org
    BruceM avatar via BruceM 4 years ago | cached | no comments
  11. 10
    RFC 7049 - Concise Binary Object Representation (CBOR) ☶ programming tools.ietf.org
    BruceM avatar via BruceM 4 years ago | cached | 3 comments
  12. 8
    Value Types for Java (Proposal for Java 9) java programming cr.openjdk.java.net
    BruceM avatar via BruceM 4 years ago | cached | 3 comments
  13. 2
    Apple's Swift Blog programming developer.apple.com
    BruceM avatar via BruceM 4 years ago | cached | no comments
  14. 4
    Integrating Dependent and Linear Types (draft) pdf compsci programming cs.bham.ac.uk
    BruceM avatar via BruceM 4 years ago | cached | 1 comment
  15. 6
    Unikernels: Library Operating Systems for the Cloud pdf programming anil.recoil.org
    BruceM avatar via BruceM 4 years ago | cached | no comments
  16. 13
    Analysis of Raft Consensus compsci distributed programming hh360.user.srcf.net
    BruceM avatar via BruceM 4 years ago | cached | 1 comment
  17. 10
    Being safer in dynamic languages programming patrickdlogan.blogspot.com
    BruceM avatar via BruceM 4 years ago | cached | 7 comments
  18. 11
    Clang/LLVM on Windows Update programming windows blog.llvm.org
    BruceM avatar via BruceM 4 years ago | cached | 4 comments
  19. 7
    Memory Pool System (a GC) 1.114 released ☶ programming ravenbrook.com
    BruceM avatar via BruceM 4 years ago | cached | no comments
  20. 16
    Snowdrift.coop : an alternative to kickstarter's model finance snowdrift.coop
    BruceM avatar via BruceM 4 years ago | cached | 1 comment
  21. 9
    Optimization Coaching in Racket pdf compsci lisp programming ccs.neu.edu
    BruceM avatar via BruceM 4 years ago | cached | no comments
  22. 20
    A simple Scheme compiler for x86_64 systems (from Chicken's author) compilers lisp programming call-with-current-continuation.org
    BruceM avatar via BruceM 4 years ago | cached | 1 comment
  23. 9
    DOT (Dependent Object Types) calculus and Scala video programming scala parleys.com
    BruceM avatar via BruceM 4 years ago | cached | 1 comment
  24. 17
    An LLVM Back-end for MLton ☶ pdf programming cs.rit.edu
    BruceM avatar via BruceM 4 years ago | cached | no comments
  25. 12
    flow analysis in guile compsci lisp programming wingolog.org
    BruceM avatar via BruceM 4 years ago | cached | no comments
<< Page 4 | Page 6 >>