Stories tagged as pdf Link to a PDF document

Most often also tagged with security compsci formalmethods hardware plt historical compilers math

  1. 6
    UNIX Needs A True Integrated Environment: CASE Closed (1989) pdf unix bitsavers.org
    calvin avatar via calvin 35 hours ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  2. 21
    An Implementation of J - Roger Hui pdf apl jsoftware.com
    rrampage avatar via rrampage 45 hours ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  3. 13
    Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus pdf editors vcs dl.acm.org
    chrislloyd avatar via chrislloyd 2 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  4. 8
    HOT: A Height Optimized Trie Index for Main-Memory Database Systems pdf databases 15721.courses.cs.cmu.edu
    xoranth avatar via xoranth 4 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 6
    Testing Causality in Scientific Modelling Software pdf testing export.arxiv.org
    itamarst avatar via itamarst 6 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 15
    A Mechanically Verified Garbage Collector for OCaml pdf formalmethods ml kcsrk.info
    rrampage avatar via rrampage 10 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 1
    The Art of Latency Hiding in Modern Database Engines pdf compsci databases cs.sfu.ca
    bowyakka avatar via bowyakka 13 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 9
    Building Query Compilers pdf databases pi3.informatik.uni-mannheim.de
    squadette avatar via squadette 13 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 3
    Streaming algorithms for embedding and computing edit distance in the low distance regime pdf compsci iuuk.mff.cuni.cz
    pushcx avatar via pushcx 13 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 12
    Standard proposal for memory-Safety in C (2024) pdf c open-std.org
    safinaskar avatar via safinaskar 15 days ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  11. 2
    Adaptive Computer Interfaces (2001) pdf a11y ai inference.org.uk
    calvin avatar via calvin 16 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  12. 12
    Code Style Sheets: CSS for Code pdf css plt arxiv.org
    gasche avatar via gasche 23 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  13. 3
    The seven pillars of wisdom pdf law interoperable-europe.ec.europa.eu
    kuijsten avatar via kuijsten 24 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  14. 5
    Parallel Random Numbers: As Easy as 1, 2, 3 pdf performance thesalmons.org
    xoranth avatar via xoranth 25 days ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  15. 20
    The Impact of Generative AI on Critical Thinking pdf ai cogsci microsoft.com
    toast avatar via toast 27 days ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  16. 4
    Role of Composition in Computer Programming (1995) pdf apl plt dl.acm.org
    veqq avatar via veqq 27 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  17. 17
    Compiling Array Languages for SIMD pdf apl compilers vmchale.com
    veqq avatar via veqq 27 days ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  18. 1
    A Research Unix Reader: Annotated Excerpts from the Programmer's Manual (1986) pdf historical unix cs.dartmouth.edu
    susam avatar via susam 27 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 1
    Utility Engineering pdf ai emergent-values.ai
    friendlysock avatar via friendlysock 28 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 3
    ELEET: Efficient Learned Query Execution over Text and Tables ☶ pdf ai databases vldb.org
    asb avatar via asb 29 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  21. 1
    Oreo: Protecting ASLR Against Microarchitectural Attacks (2024) pdf security arxiv.org
    fro avatar via fro 29 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  22. 2
    Feature Flags vs Configuration Options (2020) pdf practices cs.cmu.edu
    bitfield avatar via bitfield 29 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 22
    Concerns with the proposed addition of fibers to C++ 26 pdf c++ isocpp.org
    calvin avatar via calvin 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  24. 5
    "GOTO Considered Harmful” Considered Harmful (1987) pdf programming web.archive.org
    veqq avatar via veqq 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 12 comments
  25. 5
    Arithmetic Coding for Data Compression pdf compsci dl.acm.org
    hyperpape avatar via hyperpape 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments

Tip: read stories across multiple tags with /t/tag1,tag2

Page 2 >>