40 stories from 30 submitters
  1. 8
    Finger Trees Explained Anew, and Slightly Simplified (Functional Pearl) pdf compsci haskell dl.acm.org
    darkkindness avatar via darkkindness 1 month ago | cached | 5 comments
  2. 10
    A history of Modula-2 and Oberon (2007) ☶ video historical plt dl.acm.org
    copy avatar via copy 1 month ago | cached | 2 comments
  3. 3
    Mardu: Efficient and Scalable Code Re-randomization pdf security dl.acm.org
    fro avatar via fro 4 months ago | cached | no comments
  4. 9
    Thriving in a crowded and changing world: C++ 2006–2020 c++ plt dl.acm.org
    crazyloglad avatar via crazyloglad 4 months ago | cached | no comments
  5. 6
    The Origins of Objective-C at PPI/Stepstone and Its Evolution at NeXT pdf historical objectivec dl.acm.org
    calvin avatar via calvin 4 months ago | cached | no comments
  6. 7
    Faster General Parsingthrough Context-Free Memoization ☶ pdf programming dl.acm.org
    vrthra avatar via vrthra 4 months ago | cached | 1 comment
  7. 7
    The Evolution of Smalltalk: From Smalltalk-72 through Squeak historical programming dl.acm.org
    calvin avatar via calvin 4 months ago | cached | 1 comment
  8. 25
    History of Programming Languages, Vol 4 historical plt programming dl.acm.org
    mpweiher avatar via mpweiher 4 months ago | cached | 2 comments
  9. 2
    Between Scripts and Applications: Computational Media for the Frontier of Nanoscience ☶ design dl.acm.org
    Sietsebb avatar via Sietsebb 4 months ago | cached | 1 comment
  10. 8
    Why no one uses functional languages (1998) plt dl.acm.org
    geekingfrog avatar via geekingfrog 5 months ago | cached | 12 comments
  11. 4
    Kirigami Haptic Swatches: Design Methods for Cut-and-Fold Haptic Feedback Mechanisms pdf hardware dl.acm.org
    ngoldbaum avatar via ngoldbaum 5 months ago | cached | no comments
  12. 0
    [Story removed by original submitter]
    ngoldbaum avatar via ngoldbaum 5 months ago | cached
  13. 9
    Unikernels: The Next Stage of Linux's Dominance linux dl.acm.org
    indolering avatar via indolering 5 months ago | cached | 28 comments
  14. 4
    LibrettOS: a dynamically adaptable multiserver-library OS pdf compsci osdev dl.acm.org
    animatronic avatar via animatronic 5 months ago | cached | 1 comment
  15. 2
    Write-protection enforcement: hypervisor-backed kernel hardening pdf security dl.acm.org
    fro avatar via fro 5 months ago | cached | 1 comment
  16. 7
    Concurrent Hash Tables ☶ pdf compsci programming dl.acm.org
    calvin avatar via calvin 5 months ago | cached | no comments
  17. 2
    Debugging Distributed Systems pdf debugging distributed dl.acm.org
    calvin avatar via calvin 5 months ago | cached | no comments
  18. 2
    A Linux in unikernel clothing pdf linux osdev dl.acm.org
    calvin avatar via calvin 5 months ago | cached | 4 comments
  19. 1
    MERR: Improving Security of Persistent Memory Objects via Efficient Memory Exposure Reduction pdf security dl.acm.org
    fro avatar via fro 6 months ago | cached | no comments
  20. 3
    Algorithmic realism ai practices dl.acm.org
    chobeat avatar via chobeat 8 months ago | cached | 1 comment
  21. 22
    Dependent type systems as macros lisp plt dl.acm.org
    WilhelmVonWeiner avatar via WilhelmVonWeiner 8 months ago | cached | 2 comments
  22. 49
    Rust's ownership model formally proven with Coq ☶ compsci formalmethods rust dl.acm.org
    klingtnet avatar via klingtnet 2 years ago | cached | 3 comments
  23. 35
    My VM is Lighter (and Safer) than your Container security virtualization dl.acm.org
    apy avatar via apy 2 years ago | cached | 9 comments
  24. 10
    Mosaic: Processing a Trillion-Edge Graph on a Single Machine ☶ pdf programming dl.acm.org
    pushcx avatar via pushcx 3 years ago | cached | no comments
  25. 10
    LittleTable: A Time Series DB Used by Cisco Meraki Devices for Event Data databases dl.acm.org
    amontalenti avatar via amontalenti 3 years ago | cached | 3 comments
Page 2 >>