Stories tagged as pdf – Link to a PDF document
  1. 22
    The Book of Types: Type-Level Programming in Haskell ☶ pdf book haskell reasonablypolymorphic.com
    pushcx avatar via pushcx 1 month ago | cached | 1 comment
  2. 28
    Embracing the Kobayashi Maru: Why You Should Teach Your Students to Cheat pdf practices security rumint.org
    fcbsd avatar via fcbsd 1 month ago | cached | 13 comments
  3. 13
    PEG-based transformer provides front-, middle and back-end stages in a simple compiler ☶ pdf assembly compilers lisp vpri.org
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | 1 comment
  4. 5
    Intertwingled: The Work and Influence of Ted Nelson (2015) pdf book historical person web link.springer.com
    pushcx avatar via pushcx 2 months ago | cached | no comments
  5. 0
    Boss Competence and Worker Well-being (2014) ☶ pdf philosophy practices ftp.iza.org
    jumex avatar via jumex 2 months ago | cached | no comments
  6. 6
    Differential Geometry Reconstructed pdf math geometry.org
    lorddimwit avatar via lorddimwit 2 months ago | cached | 1 comment
  7. 5
    The impact of the ‘open’ workspace on human collaboration pdf practices rstb.royalsocietypublishing.org
    zpojqwfejwfhiunz avatar via zpojqwfejwfhiunz 2 months ago | cached | 13 comments
  8. 7
    Tail Call Elimination for Functional Languages on the JVM [PDF] pdf programming flix.github.io
    Yogthos avatar via Yogthos 2 months ago | cached | no comments
  9. 4
    RxCML: Migrating MultiMLton to the Cloud (2014) ☶ pdf distributed ml multimlton.cs.purdue.edu
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  10. 5
    Adopting Cleanroom Software Engineering with a Phased Approach (1994) ☶ pdf practices pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | 2 comments
  11. 1
    Improved Port Knocking with Strong Authentication (2005) pdf networking security acsac.org
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | 1 comment
  12. 8
    Adversarial Reprogramming of Neural Networks ☶ pdf ai graphics reversing arxiv.org
    pushcx avatar via pushcx 2 months ago | cached | 1 comment
  13. 19
    The Microkernel Overhead (2012) pdf slides osdev archive.fosdem.org
    calvin avatar via calvin 2 months ago | cached | 2 comments
  14. 1
    Embedding ACL2 Models in End-User Applications (2013) ☶ pdf formalmethods hardware ruby cs.utexas.edu
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  15. 2
    An introduction to randomness extractors pdf crypto math cs.haifa.ac.il
    rain1 avatar via rain1 2 months ago | cached | no comments
  16. 3
    Unbounded Data Model Verification Using SMT Solvers (2012) ☶ pdf formalmethods ruby web cs.ucsb.edu
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  17. 11
    Bringup is Hard pdf netbsd osdev practices garbled.net
    calvin avatar via calvin 2 months ago | cached | no comments
  18. 5
    The Influence of the UNIX® Operating System on the Development of Two Video Games. pdf games historical unix langston.com
    trn avatar via trn 2 months ago | cached | 1 comment
  19. 5
    Comparison of Erlang Runtime System and Java Virtual Machine (2015) pdf erlang java ds.cs.ut.ee
    skunkwerks avatar via skunkwerks 2 months ago | cached | no comments
  20. 3
    A Personal History of Modeless Text Editing and Cut/Copy-Paste (2012) pdf compsci historical person worrydream.com
    trn avatar via trn 2 months ago | cached | no comments
  21. 2
    Fable of the Keys. Famous Fables of Economics ☶ pdf design finance papers.ssrn.com
    trn avatar via trn 2 months ago | cached | 2 comments
  22. 8
    The Case Against User Interface Consistency pdf design microsoft.com
    trn avatar via trn 2 months ago | cached | no comments
  23. 2
    High-Coverage Hint Generation for Massive Courses ☶ pdf video compsci formalmethods lisp programming people.eecs.berkeley.edu
    aminb avatar via aminb 2 months ago | cached | 1 comment
  24. 7
    Scaling up Superoptimization (2016) ☶ pdf compilers performance people.eecs.berkeley.edu
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | 3 comments
  25. 11
    Deceived by design pdf privacy fil.forbrukerradet.no
    fcbsd avatar via fcbsd 2 months ago | cached | no comments
<< Page 6 | Page 8 >>