Stories tagged as pdf Link to a PDF document

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

  1. 6
    Bubble Sort: An Archaeological Algorithmic Analysis (2003) pdf compsci historical users.cs.duke.edu
    hwayne avatar via hwayne 22 hours ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  2. 3
    Rustlantis: Semantic fuzzing of the Rust compiler and interpreter pdf plt rust testing ethz.ch
    itamarst avatar via itamarst 24 hours ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 21
    New features in Fortran 2023 pdf fortran fortran.bcs.org
    gerikson avatar via gerikson 6 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 5
    GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production pdf security arxiv.org
    fro avatar via fro 11 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 7
    CRDTs for truly concurrent file systems pdf databases osdev lip6.fr
    eatonphil avatar via eatonphil 12 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 3
    Generating Random Factored Numbers, Easily (2002) pdf cryptography math inst.eecs.berkeley.edu
    abhi9u avatar via abhi9u 13 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  7. 4
    An Empirical Comparison of the RISCV and AArch64 Instruction Sets ☶ pdf assembly hardware scaling dl.acm.org
    brucehoult avatar via brucehoult 14 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  8. 11
    CHERI-picking: Leveraging capability hardware for prefetching pdf hardware osdev dl.acm.org
    david_chisnall avatar via david_chisnall 15 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  9. 5
    One shot, Triple kill: Pwning all three Google kernelCTF instances with a single 1-day Linux vulnerability pdf slides linux security kaist-hacking.github.io
    lattera avatar via lattera 15 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  10. 3
    Learn PostScript by Doing (2005) pdf graphics plt staff.science.uva.nl
    lorddimwit avatar via lorddimwit 16 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 2
    Don't Trust Your Profiler pdf java performance stefan-marr.de
    hyperpape avatar via hyperpape 21 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 4
    FreeBSD Journal 2023/09-10 Issue pdf freebsd cdn.coverstand.com
    vermaden avatar via vermaden 21 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 20
    What If We Don't Pop the Stack? The Return of 2nd-Class Values ☶ pdf plt cs.purdue.edu
    asb avatar via asb 21 days ago |
    Archive.org Archive.today Ghostarchive
    | 12 comments
  14. 8
    Passive SSH Key Compromise via Lattices pdf cryptography eprint.iacr.org
    freddyb avatar via freddyb 23 days ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  15. 6
    Towards Modern Development of Cloud Applications pdf scaling sigops.org
    abhi9u avatar via abhi9u 24 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  16. 5
    Oral History of Federico Faggin pdf hardware historical person archive.computerhistory.org
    calvin avatar via calvin 25 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 2
    The Program Structure Tree: Computing Control Regions in Linear Time ☶ pdf compilers iss.oden.utexas.edu
    bollu avatar via bollu 27 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 1
    traits.js: Robust Object Composition and High-integrity Objects for ECMAScript 5 (2011) pdf javascript plt traitsjs.github.io
    ranfdev avatar via ranfdev 27 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  19. 4
    Clowns to the Left of me, Jokers to the Right (2008) pdf haskell plt personal.cis.strath.ac.uk
    calvin avatar via calvin 27 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 5
    Grading on a Curve: How Rust can Facilitate New Contributors while Decreasing Vulnerabilities pdf c++ rust cypherpunks.ca
    briankung avatar via briankung 29 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  21. 22
    CHERIoT: Complete Memory Safety for Embedded Devices pdf hardware security cheriot.org
    david_chisnall avatar authored by david_chisnall 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 11 comments
  22. 10
    What we talk about when we talk about monads: a framework for understanding programming concepts ☶ pdf philosophy plt arxiv.org
    epilys avatar via epilys 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  23. 37
    When Concurrency Matters: Behaviour-Oriented Concurrency pdf programming dl.acm.org
    david_chisnall avatar authored by david_chisnall 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 20 comments
  24. 3
    Outer Loop Vectorization: A SIMT Approach ☶ pdf compilers gitlab.com
    dbremner avatar via dbremner 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 3
    The Design Principles of the Elixir Type System pdf elixir plt arxiv.org
    linkdd avatar via linkdd 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments

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

Page 2 >>