Stories tagged as pdf – Link to a PDF document

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

  1. 1
    Ivan Illich, "Tools For Conviviality" (1973) pdf philosophy co-munity.net
    akkartik avatar via akkartik 2 hours ago | cached | no comments
  2. 7
    High Coverage Testing of Haskell Programs pdf haskell testing doc.ic.ac.uk
    sergeyb avatar via sergeyb 24 hours ago | cached | 1 comment
  3. 14
    Unix for Poets pdf art unix cs.upc.edu
    jkirchartz avatar via jkirchartz 28 hours ago | cached | no comments
  4. 7
    A Survey of Compiler Testing pdf compilers testing software-lab.org
    sanxiyn avatar via sanxiyn 32 hours ago | cached | no comments
  5. 1
    Measuring Attack Surface Reduction in the Presence of Code (Re-)Randomization pdf security arxiv.org
    fro avatar via fro 33 hours ago | cached | no comments
  6. 7
    Unplanned Obsolescence: Hardware and Software After Collapse pdf culture practices kurti.sh
    chobeat avatar via chobeat 2 days ago | cached | 2 comments
  7. 2
    Intel 386 Microprocessor Design and Development Oral History Panel (2008) pdf hardware historical archive.computerhistory.org
    calvin avatar via calvin 2 days ago | cached | no comments
  8. 5
    Databases, Types, and The Relational Model: The Third Manifesto (2014) pdf book databases math dcs.warwick.ac.uk
    lorddimwit avatar via lorddimwit 2 days ago | cached | 2 comments
  9. 11
    Ghosts of Departed Proofs ☶ pdf haskell kataskeue.com
    asthasr avatar via asthasr 4 days ago | cached | no comments
  10. 18
    Base64 encoding and decoding at almost the speed of a memory copy ☶ pdf programming arxiv.org
    calvin avatar via calvin 6 days ago | cached | 4 comments
  11. 4
    Metamath Zero: The Cartesian Theorem Prover ☶ pdf formalmethods math arxiv.org
    pushcx avatar via pushcx 6 days ago | cached | no comments
  12. 5
    LoCal: A Language for Programs Operating on Serialized Data ☶ pdf c c++ compilers lisp plt recurial.com
    nickpsecurity avatar via nickpsecurity 6 days ago | cached | 2 comments
  13. 33
    Ray Tracing A Tiny Procedural Planet pdf graphics casual-effects.com
    355E3B avatar via 355E3B 8 days ago | cached | 1 comment
  14. 5
    AI Principles: Recommendations on the Ethical Use of Artificial Intelligence by the DoD pdf ai law philosophy admin.govexec.com
    friendlysock avatar via friendlysock 11 days ago | cached | 1 comment
  15. 5
    Convergence of AIX and 4.3BSD (1989) pdf historical unix technologists.com
    calvin avatar via calvin 11 days ago | cached | 1 comment
  16. 6
    Fibers under the magnifying glass pdf plt open-std.org
    eatonphil avatar via eatonphil 12 days ago | cached | 2 comments
  17. 1
    Forecasting Web Page Views: Methods and Observations [2008] pdf devops ai.google
    pwnguin avatar via pwnguin 12 days ago | cached | no comments
  18. 3
    Sequential Programming for Replicated Data Stores ☶ pdf databases distributed haskell plt security s.octalsrc.org
    nickpsecurity avatar via nickpsecurity 12 days ago | cached | no comments
  19. 1
    Backward-edge Protection: Improvements on SafeStack and RETGUARD pdf security pothos.github.io
    fro avatar via fro 13 days ago | cached | no comments
  20. 3
    A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses ☶ pdf formalmethods programming prosecco.gforge.inria.fr
    nickpsecurity avatar via nickpsecurity 13 days ago | cached | 2 comments
  21. 5
    A Moron's Guide for Starting in AVR Assembly pdf assembly avrfreaks.net
    cadey avatar via cadey 13 days ago | cached | no comments
  22. 5
    Haskell Programming With Tests, and Some Alloy pdf formalmethods haskell testing staff.fnwi.uva.nl
    felixyz avatar via felixyz 15 days ago | cached | no comments
  23. 5
    Windows Usability Systematic degradation flame (2003) pdf historical rant windows web.archive.org
    cnst avatar via cnst 16 days ago | cached | 3 comments
  24. 2
    [1994] Order preserving compression pdf performance hpl.hp.com
    vladislavp avatar via vladislavp 17 days ago | cached | 3 comments
  25. 5
    Small World with High Risks: A Study of Security Threats in the npm Ecosystem pdf javascript practices usenix.org
    WilhelmVonWeiner avatar via WilhelmVonWeiner 17 days ago | cached | 1 comment
Page 2 >>