Stories tagged as slides – Slide deck
  1. 3
    Deep Packet Inspection Using GPU's (2017) pdf slides networking performance security on-demand.gputechconf.com
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | no comments
  2. 7
    PagerDuty Security Training slides transcript security sudo.pagerduty.com
    pushcx avatar via pushcx 3 months ago | cached | no comments
  3. 6
    Make Technology Great Again slides transcript law privacy security mastodon.social
    mulander avatar via mulander 3 months ago | cached | 1 comment
  4. 4
    Higher Order Multidimensional Programming ☶ pdf slides formalmethods programming cartesianprogramming.files.wordpress.com
    superpat avatar via superpat 4 months ago | cached | no comments
  5. 4
    Algorithmic Extraction of Keywords, Concepts, and Vocabularies ☶ show slides programming slideshare.net
    binarymax avatar authored by binarymax 4 months ago | cached | no comments
  6. 3
    Mechanized Formal Semantics and Verified Compilation for C++ Objects (2012) ☶ pdf slides c++ formalmethods gallium.inria.fr
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  7. 3
    Hunting Down Memory Leaks with php Meminfo slides php web speakerdeck.com
    cleong avatar via cleong 4 months ago | cached | no comments
  8. 22
    The 90 Minute Scheme to C compiler pdf slides video c compilers lisp web.archive.org
    pushcx avatar via pushcx 4 months ago | cached | 4 comments
  9. 2
    Specification, Verification, and Synthesis Using Extended State Machines with Callbacks (2016) ☶ pdf slides c formalmethods hardware linux tuba.ece.ufl.edu
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  10. 3
    HISC: Object-Oriented Computer for 21st Century ☶ pdf slides hardware java security ee.cityu.edu.hk
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | 1 comment
  11. 4
    Computational Complexity of Air Travel Planning pdf slides scaling ai.mit.edu
    itamarst avatar via itamarst 4 months ago | cached | 1 comment
  12. 8
    Getting things done in Haskell slides video haskell jaspervdj.be
    pushcx avatar via pushcx 4 months ago | cached | no comments
  13. 9
    Containers Patterns | There are thousands of ways to use containers slides devops practices l0rd.github.io
    lukas avatar via lukas 5 months ago | cached | 1 comment
  14. 1
    NetBSD 2018 - AsiaBSDCon Quickie pdf slides event netbsd netbsd.org
    sevan avatar via sevan 5 months ago | cached | no comments
  15. 17
    Writing Simple Haskell slides haskell soupi.github.io
    calvin avatar via calvin 5 months ago | cached | 2 comments
  16. 33
    OpenBSD vmm/vmd Update pdf slides openbsd virtualization openbsd.org
    calvin avatar via calvin 5 months ago | cached | 4 comments
  17. 2
    Formal Verification of C Programs with Floating-Point Computations (2016) pdf slides c formalmethods cps-vo.org
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  18. 14
    The threats to Artificial Intelligence ☶ pdf slides ai compsci practices shamar.github.io
    Shamar avatar authored by Shamar 5 months ago | cached | 47 comments
  19. 1
    QWeSST: Type-Safe, Web Programming Language (2011) ☶ pdf slides plt web cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  20. 8
    Java Ring slides hardware historical java slideshare.net
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | 2 comments
  21. 8
    Invariant-Based Programming (2006) ☶ pdf slides education formalmethods users.abo.fi
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  22. 3
    Safe, Low-Level, Code Generation in Coq Using Monomorphization and Monadification ☶ pdf slides c formalmethods staff.aist.go.jp
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  23. 2
    The Future of Python Dependency Management slides python speakerdeck.com
    mjohnsey avatar via mjohnsey 6 months ago | cached | no comments
  24. 6
    Typed, Template Coq: Certified Meta-Programming in Coq pdf slides formalmethods programming popl18.sigplan.org
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  25. 13
    Introduction to the Mumps Language pdf slides historical programming cs.uni.edu
    calvin avatar via calvin 6 months ago | cached | 10 comments
<< Page 1 | Page 3 >>