[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

Stories tagged as pdf Link to a PDF document

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

  1. 6
    How do you compute the midpoint of an interval? (2014) ☶ pdf compsci hal.science
    mjn avatar via mjn |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 5
    Replication of Quantum Factorisation Records with an 8-bit Home Computer, an Abacus, and a Dog pdf satire eprint.iacr.org
    mort avatar via mort |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  3. 7
    Bringing Virtualization to the x86 Architecture with the Original VMware Workstation (2012) pdf historical virtualization web.archive.org
    calvin avatar via calvin |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  4. 5
    Bin2Wrong: A unified fuzzing framework for uncovering semantic errors in binary-to-C decompilers pdf reversing futures.cs.utah.edu
    jmillikin avatar via jmillikin |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  5. 2
    Glitching Google WiFi Pro from Root to EL3 pdf hardware reversing security raelize.com
    timschumi avatar via timschumi |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 23
    Linux: a Portable Operating System (1997) pdf linux osdev cs.helsinki.fi
    calvin avatar via calvin |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  7. 62
    Anubis Pilot Project Report - June 2025 pdf ai dukespace.lib.duke.edu
    chris-evelyn avatar via chris-evelyn |
    Archive.org Archive.today Ghostarchive
    | 33 comments
  8. 4
    Anarchy in the Database: A Survey and Evaluation of Database Management System Extensibility pdf databases vldb.org
    Sinjo avatar via Sinjo |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 8
    Porting OpenBSD to RISC-V ISA (2020) ☶ pdf openbsd openbsd.org
    mjturner avatar via mjturner |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 21
    Programming as Theory Building pdf plt pablo.rauzy.name
    mysticmode avatar via mysticmode |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  11. 12
    Finding and understanding bugs in C compilers (2011) ☶ pdf compilers cse.unr.edu
    pdubroy avatar via pdubroy |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 1
    GPEmu: A GPU emulator for faster and cheaper prototyping and evaluation of deep learning system research pdf ai virtualization vldb.org
    jmillikin avatar via jmillikin |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 11
    Memory Safe Languages: Reducing Vulnerabilities in Modern Software Development pdf plt security media.defense.gov
    eatonphil avatar via eatonphil |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  14. 24
    Computer and coding books from Usborne (1982-1985) book pdf hardware programming retrocomputing usborne.com
    pushcx avatar via pushcx |
    Archive.org Archive.today Ghostarchive
    | 15 comments
  15. 16
    The Medley Interlisp Project: Reviving a Historical Software System pdf lisp retrocomputing interlisp.org
    amoroso avatar via amoroso |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  16. 14
    Structuring Arrays with Algebraic Shapes pdf plt dl.acm.org
    fanf avatar via fanf |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  17. 2
    The Implementation of Postgres (1990) pdf databases dsf.berkeley.edu
    susam avatar via susam |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 7
    Call by Meaning (2014) pdf api plt tinlizzie.org
    calvin avatar via calvin |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  19. 9
    A Retrospective on the Source Code Control System pdf vcs mrochkind.com
    fanf avatar via fanf |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 6
    Fixing Letrec (Reloaded) pdf lisp plt legacy.cs.indiana.edu
    veqq avatar via veqq |
    Archive.org Archive.today Ghostarchive
    | no comments
  21. 5
    Compact Representations for Arrays in Lua (PDF viewer) pdf lua sol.sbc.org.br
    telemachus avatar via telemachus |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  22. 3
    Reflection and open implementations (2006) ☶ pdf java lisp plt dcc.uchile.cl
    jryans avatar via jryans |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 8
    Reworking Memory Management in CRuby: A Practitioner Report pdf compilers ruby blog.peterzhu.ca
    pushcx avatar via pushcx |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 13
    Metaobject Protocols: Why we want them and what else they can do (1993) ☶ pdf lisp cseweb.ucsd.edu
    veqq avatar via veqq |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 1
    Quantum Computing without the Linear Algebra pdf compsci eprint.iacr.org
    abhi9u avatar via abhi9u |
    Archive.org Archive.today Ghostarchive
    | 3 comments

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

Page 2 >>