slides - Slide deck | Lobsters

2

The Future of Python Dependency Management slides python speakerdeck.com
via mjohnsey 3 months ago | cached | no comments

0
6

Typed, Template Coq: Certified Meta-Programming in Coq pdf slides formalmethods programming popl18.sigplan.org
via nickpsecurity 3 months ago | cached | no comments

0
13

Introduction to the Mumps Language pdf slides historical programming cs.uni.edu
via calvin 3 months ago | cached | 10 comments

10
2

Standard SQL features where PostgreSQL beats its competitors slides databases slideshare.net
via fcbsd 3 months ago | cached | no comments

0
3

NetBSD - A modern operating system for your retro battlestation slides historical netbsd geeklan.co.uk
authored by sevan 3 months ago | cached | 1 comment

1
6

Branch VPN Solution with OpenBSD pdf slides networking openbsd undeadly.org
via calvin 3 months ago | cached | 3 comments

3
19

BSD from scratch - from source to OS with ease on NetBSD ☶ slides netbsd practices geeklan.co.uk
authored by sevan 3 months ago | cached | 1 comment

1
6

Non-photorealism pdf slides graphics cs.utexas.edu
via friendlysock 3 months ago | cached | no comments

0
15

The history of NetBSD/atari and support for ATARI compatible Milan slides historical netbsd unix speakerdeck.com
via sevan 3 months ago | cached | no comments

0
6

Off the Beaten Track: Explaining Type Errors slides compilers haskell byorgey.wordpress.com
via ehamberg 3 months ago | cached | no comments

0
7

J-Core Design Walkthrough (2016) ☶ pdf slides hardware linux j-core.org
via nickpsecurity 4 months ago | cached | 1 comment

1
1

Bela: an embedded platform for audio and sensor processing ☶ pdf slides compsci hardware linux geeklan.co.uk
via sevan 4 months ago | cached | no comments

0
3

Specifying and Proving Correctness of Linux, Kernel Components with ACSL (2017) pdf slides formalmethods linux programming linuxtesting.org
via nickpsecurity 4 months ago | cached | no comments

0
1

Constraint Handling Rules: What Else? (2015) pdf slides compsci programming informatik.uni-ulm.de
via nickpsecurity 4 months ago | cached | no comments

0
12

Everything you need to know about cryptography in 1 hour (2010) pdf slides crypto bsdcan.org
via sgreben 5 months ago | cached | 3 comments

3
1

The Evolution of Reddit.com's Architecture slides video devops scaling infoq.com
via calvin 5 months ago | cached | no comments

0
3

F9: Secure Microkernel for Deeply-Embedded Devices (2017) audio pdf slides compsci hardware programming security archive.fosdem.org
via nickpsecurity 5 months ago | cached | no comments

0
2

Machine Learning for Systems and Systems for Machine Learning (2017) pdf slides ai compsci learningsys.org
via nickpsecurity 5 months ago | cached | 4 comments

4
4

Bringing up cycle-accurate models of RISC-V cores pdf slides hardware geeklan.co.uk
via sevan 6 months ago | cached | 1 comment

1
9

OpenZFS Developer Summit 2017 slides video event unix open-zfs.org
via seschwar 6 months ago | cached | 1 comment

1
30

OpenBSD Jumpstart - updated! slides openbsd unix openbsdjumpstart.org
authored by obsdj 7 months ago | cached | 13 comments

13
8

Practical Evaluation of the Lasp Programming Model at Scale [slides, PPDP] slides distributed speakerdeck.com
authored by cmeiklejohn 7 months ago | cached | no comments

0
8

Stop Bashing COBOL: COBOL as a Research Theme pdf slides compsci programming cs.vu.nl
via nickpsecurity 7 months ago | cached | 3 comments

3
20

OpenSMTPD, current state of affairs pdf slides openbsd openbsd.org
via duclare 8 months ago | cached | 1 comment

1
22

Getting started with OpenBSD device driver development pdf slides openbsd openbsd.org
via duclare 8 months ago | cached | 4 comments

4

<< Page 1 | Page 3 >>