4:40

Bechtel Park (Waterloo, ON) bike ride

0:15

Hadi at Giro Italia

0:23

Saman at Tour de France

48:18

lecture7

48:52

lecture34

49:09

lecture33

48:04

lecture32

48:11

lecture31

46:19

lecture30

50:14

lecture29

47:58

lecture27

48:20

lecture28

51:46

lecture26

49:36

lecture25

50:14

lecture24

50:30

lecture23

50:22

lecture22

50:01

lecture21

50:43

lecture20

50:16

lecture18

51:30

lecture17

16:20

lecture19

51:12

lecture16

50:29

lecture15

49:25

lecture14

51:22

lecture13

50:07

lecture9

47:10

lecture8

47:24

lecture12

50:26

lecture11

52:00

lecture10

41:32

Next Generation Input Methods

49:49

FOSDEM 2016 - Putting 8 Million People on the Map

45:15

FOSDEM 2016 - Unified Framework for Big Data Foreign Data Wrappers FDW

25:41

FOSDEM 2016 - F Droid building the private unblockable app store

26:46

FOSDEM 2016 - How Your Data Helps to Improve Firefox

27:56

FOSDEM 2016 - How well do you delegate

24:58

FOSDEM 2016 - Lessons learned running SSL at scale

20:55

FOSDEM 2016 - Leveraging the Open Web to Work Play with Microcontrollers

26:31

FOSDEM 2016 - Firefox Performance Monitoring

1:24:16

Programming Languages Background - Lecture 3

1:24:12

Programming Languages Background - Lecture 4

46:31

FOSDEM 2016 - MyRocks: RocksDB Storage Engine for MySQL

49:24

FOSDEM 2016 - The Enlightenment of Wayland

2:15:27

FOSDEM 2016 - Explaining the Postgres Query Optimizer

51:43

FOSDEM 2016 - UPSERT use cases

25:58

FOSDEM 2016 - USBGuard

47:53

FOSDEM 2016 - Using PostgreSQL with Bibliographic Data

25:14

FOSDEM 2016 - Effective Security Response - Lessons learn from the XenProject

43:52

FOSDEM 2016 - Building Data Applications with Go from Bloom Filters to Data Pipelines

32:42

FOSDEM 2016 - Etcd the Cornerstone of Distributed Systems using Go

24:58

FOSDEM 2016 - WebIDL the Language of Web APIs

17:14

FOSDEM 2016 - The Use of Open-source Software in Mozilla

46:03

FOSDEM 2016 - Privacy and Tracking Protection in Firefox

49:03

FOSDEM 2016 - Rearchitecting Linux IO towards Petascale Storage

50:20

FOSDEM 2016 - Improving Postgres Buffer Manager

1:20:49

Programming Languages Background - Lecture 2

1:23:41

Programming Languages Background - Lecture 1

23:47

FOSDEM 2016 - Can we run C code and be safe?

47:31

FOSDEM 2016 - Automated UI testing on Firefox OS

0:05

Rotating Rubik Cube (Stop Motion)

1:11:30

Dependently Typed Functional Programming with Idris 4

59:22

Dependently Typed Functional Programming with Idris 3

1:06:54

Dependently Typed Functional Programming with Idris 2

1:11:19

Dependently Typed Functional Programming with Idris 1

33:16

FOSDEM 2015 - The FLK Project

45:35

FOSDEM 2015 - What's new in the L4Re OS

1:00:09

FOSDEM 2015 - Along the GNU Hurd RPC Way

1:39:31

Programming in Agda - Lecture 4 - Ulf Norell

1:29:05

Programming in Agda - Lecture 3 - Ulf Norell

1:24:45

Programming in Agda - Lecture 2 - Ulf Norell

1:18:23

Designing Dependently-Typed Programming Languages - Lecture 4 - Stephanie Weirich

1:21:52

Designing Dependently-Typed Programming Languages - Lecture 2 - Stephanie Weirich

1:20:23

Designing Dependently-Typed Programming Languages - Lecture 3 - Stephanie Weirich

1:22:20

Designing Dependently-Typed Programming Languages - Lecture 1 - Stephanie Weirich

1:22:48

Programming in Agda - Lecture 1 - Ulf Norell

2:17

OSCON 2014 Proposal

0:16

Hey fella, how is it going? (Citizen Khan, S02E01)

8:32

Wikipedia Analytics tool