1. 8
    Local Refinement Typing programming arxiv.org
    BruceM avatar via BruceM 1 year ago | cached | no comments
  2. 3
    Persistence for the masses: RRB-Vectors in a systems language pdf programming public.sinusoid.es
    BruceM avatar via BruceM 1 year ago | cached | no comments
  3. 11
    growing fibers programming wingolog.org
    BruceM avatar via BruceM 1 year ago | cached | 1 comment
  4. 2
    Pre-release of mixed criticality seL4 extensions programming security sel4.systems
    BruceM avatar via BruceM 1 year ago | cached | no comments
  5. 9
    Capability Safe Reflection for the Wyvern Language programming security 2016.splashcon.org
    BruceM avatar via BruceM 1 year ago | cached | no comments
  6. 1
    PerfView is now Open Source (MIT) On GitHub programming release windows blogs.msdn.microsoft.com
    BruceM avatar via BruceM 1 year ago | cached | no comments
  7. 6
    Lazy Graph Processing in Haskell pdf haskell programming cs.binghamton.edu
    BruceM avatar via BruceM 2 years ago | cached | no comments
  8. 59
    Inside the fastest font renderer in the world graphics programming rust medium.com
    BruceM avatar via BruceM 2 years ago | cached | 8 comments
  9. 7
    NICTA's open source Cogent: Reducing the cost of verified systems software. compsci programming security ssrg.nicta.com.au
    BruceM avatar via BruceM 2 years ago | cached | no comments
  10. 5
    Herbie: Automatically Improving Floating Point Accuracy math programming herbie.uwplse.org
    BruceM avatar via BruceM 2 years ago | cached | no comments
  11. 12
    seL4 2.0.0 just released: Release Notes ☶ programming security sel4.systems
    BruceM avatar via BruceM 2 years ago | cached | no comments
  12. 25
    What are we all working on this week? ☶ ask
    BruceM avatar authored by BruceM 2 years ago | 24 comments
  13. 11
    seL4 publishes a roadmap programming security sel4.systems
    BruceM avatar via BruceM 2 years ago | cached | 3 comments
  14. 5
    Adaptive lock-free maps: purely-functional to scalable pdf compsci haskell java programming dl.acm.org
    BruceM avatar via BruceM 2 years ago | cached | no comments
  15. 16
    Crash Consistency: Rethinking the Fundamental Abstractions of the File System programming queue.acm.org
    BruceM avatar via BruceM 3 years ago | cached | no comments
  16. 3
    Signing the OPAM repository ml programming security opam.ocaml.org
    BruceM avatar via BruceM 3 years ago | cached | no comments
  17. 4
    On Type-directed Generation of Lambda Terms pdf compsci programming cse.unt.edu
    BruceM avatar via BruceM 3 years ago | cached | no comments
  18. 6
    Pointer-less Scapegoat Trees (and desert island datastructures) compsci programming pvk.ca
    BruceM avatar via BruceM 3 years ago | cached | no comments
  19. 11
    European Lisp Symposium 2015 (ELS2015) Proceedings pdf compilers compsci lisp european-lisp-symposium.org
    BruceM avatar via BruceM 3 years ago | cached | no comments
  20. 12
    Great but obscure research compsci sabi.co.uk
    BruceM avatar via BruceM 3 years ago | cached | 1 comment
  21. 23
    What are you working on this week? ☶ ask
    BruceM avatar via BruceM 3 years ago | 40 comments
  22. 21
    Dependently Typed Racket (Informal Preview) video compilers compsci lisp programming youtube.com
    BruceM avatar via BruceM 3 years ago | cached | no comments
  23. 9
    Common Compiler Optimisations are Invalid in the C11 Memory Model pdf compilers programming di.ens.fr
    BruceM avatar via BruceM 3 years ago | cached | no comments
  24. 5
    Browser as an Interactive Disassembly Exploration Tool compilers programming mrale.ph
    BruceM avatar via BruceM 3 years ago | cached | no comments
  25. 13
    Shill: Scripting with Least Privilege compsci freebsd programming shill.seas.harvard.edu
    BruceM avatar via BruceM 3 years ago | cached | 2 comments
Page 2 >>