Stories tagged as slides – Slide deck
  1. 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
  2. 13
    Introduction to the Mumps Language pdf slides historical programming cs.uni.edu
    calvin avatar via calvin 6 months ago | cached | 10 comments
  3. 2
    Standard SQL features where PostgreSQL beats its competitors slides databases slideshare.net
    fcbsd avatar via fcbsd 6 months ago | cached | no comments
  4. 3
    NetBSD - A modern operating system for your retro battlestation slides historical netbsd geeklan.co.uk
    sevan avatar authored by sevan 6 months ago | cached | 1 comment
  5. 6
    Branch VPN Solution with OpenBSD pdf slides networking openbsd undeadly.org
    calvin avatar via calvin 6 months ago | cached | 3 comments
  6. 19
    BSD from scratch - from source to OS with ease on NetBSD ☶ slides netbsd practices geeklan.co.uk
    sevan avatar authored by sevan 6 months ago | cached | 1 comment
  7. 6
    Non-photorealism pdf slides graphics cs.utexas.edu
    friendlysock avatar via friendlysock 6 months ago | cached | no comments
  8. 15
    The history of NetBSD/atari and support for ATARI compatible Milan slides historical netbsd unix speakerdeck.com
    sevan avatar via sevan 7 months ago | cached | no comments
  9. 6
    Off the Beaten Track: Explaining Type Errors slides compilers haskell byorgey.wordpress.com
    ehamberg avatar via ehamberg 7 months ago | cached | no comments
  10. 7
    J-Core Design Walkthrough (2016) ☶ pdf slides hardware linux j-core.org
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | 1 comment
  11. 1
    Bela: an embedded platform for audio and sensor processing ☶ pdf slides compsci hardware linux geeklan.co.uk
    sevan avatar via sevan 7 months ago | cached | no comments
  12. 3
    Specifying and Proving Correctness of Linux, Kernel Components with ACSL (2017) pdf slides formalmethods linux programming linuxtesting.org
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | no comments
  13. 1
    Constraint Handling Rules: What Else? (2015) pdf slides compsci programming informatik.uni-ulm.de
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | no comments
  14. 12
    Everything you need to know about cryptography in 1 hour (2010) pdf slides crypto bsdcan.org
    sgreben avatar via sgreben 8 months ago | cached | 3 comments
  15. 1
    The Evolution of Reddit.com's Architecture slides video devops scaling infoq.com
    calvin avatar via calvin 8 months ago | cached | no comments
  16. 3
    F9: Secure Microkernel for Deeply-Embedded Devices (2017) audio pdf slides compsci hardware programming security archive.fosdem.org
    nickpsecurity avatar via nickpsecurity 8 months ago | cached | no comments
  17. 2
    Machine Learning for Systems and Systems for Machine Learning (2017) pdf slides ai compsci learningsys.org
    nickpsecurity avatar via nickpsecurity 8 months ago | cached | 4 comments
  18. 4
    Bringing up cycle-accurate models of RISC-V cores pdf slides hardware geeklan.co.uk
    sevan avatar via sevan 9 months ago | cached | 1 comment
  19. 9
    OpenZFS Developer Summit 2017 slides video event unix open-zfs.org
    seschwar avatar via seschwar 9 months ago | cached | 1 comment
  20. 30
    OpenBSD Jumpstart - updated! slides openbsd unix openbsdjumpstart.org
    obsdj avatar authored by obsdj 10 months ago | cached | 13 comments
  21. 8
    Practical Evaluation of the Lasp Programming Model at Scale [slides, PPDP] slides distributed speakerdeck.com
    cmeiklejohn avatar authored by cmeiklejohn 10 months ago | cached | no comments
  22. 8
    Stop Bashing COBOL: COBOL as a Research Theme pdf slides compsci programming cs.vu.nl
    nickpsecurity avatar via nickpsecurity 10 months ago | cached | 3 comments
  23. 21
    OpenSMTPD, current state of affairs pdf slides openbsd openbsd.org
    duclare avatar via duclare 11 months ago | cached | 1 comment
  24. 23
    Getting started with OpenBSD device driver development pdf slides openbsd openbsd.org
    duclare avatar via duclare 11 months ago | cached | 4 comments
  25. 26
    Your scheduler is not the problem pdf slides openbsd openbsd.org
    duclare avatar via duclare 11 months ago | cached | 3 comments
<< Page 2 | Page 4 >>