Daedalus Community - VideoAndMovie

Everything (mostly computer) science!

Perk: A Modern Take on Low Level Code

50:03

Perk: A Modern Take on Low Level Code

Safe Conurrency in OCaml - Alessio Duè @ The Knights Who Say Lambda

53:09

Safe Conurrency in OCaml - Alessio Duè @ The Knights Who Say Lambda

Introduction to Monads - 3. Beyond Join and Map

5:35

Introduction to Monads - 3. Beyond Join and Map

Introduction to Monads - 2. Functors and Monads

7:31

Introduction to Monads - 2. Functors and Monads

Introduction to Monads - 1. Type Constructors

8:35

Introduction to Monads - 1. Type Constructors

Making a simple Dynamic Memory Allocator (malloc)

5:40

Making a simple Dynamic Memory Allocator (malloc)

Bare Metal Lambda - Compiling to x86 assembly

32:01

Bare Metal Lambda - Compiling to x86 assembly

Lizards that play Rock Paper Scissors - Uta Stansburiana Sillycon Desert

28:32

Lizards that play Rock Paper Scissors - Uta Stansburiana Sillycon Desert

Frog Checking - Applying Model Checking to a Population of Frogs

28:55

Frog Checking - Applying Model Checking to a Population of Frogs

Complex Systems and Traffic Models

30:47

Complex Systems and Traffic Models

Computing π with four dice and a grid (π day 2024)

3:15

Computing π with four dice and a grid (π day 2024)

Can we do without while loops?

5:31

Can we do without while loops?

Graph Theory (for Computer Science) - A Short Overview

9:32

Graph Theory (for Computer Science) - A Short Overview

Computing π with my own programming language (Pi Day 2023)

3:05

Computing π with my own programming language (Pi Day 2023)

Functional programming - A general introduction

11:47

Functional programming - A general introduction

My Latest Projects - Short Recap (2021/22)

3:11

My Latest Projects - Short Recap (2021/22)

Making an OS (x86) Chapter 7 - Cross Compiler, Bootloader, Kernel

7:24

Making an OS (x86) Chapter 7 - Cross Compiler, Bootloader, Kernel

Making an OS (x86) Chapter 6 - Entering Protected mode, GDT

11:29

Making an OS (x86) Chapter 6 - Entering Protected mode, GDT

Making an OS (x86) Chapter 5 - Reading the disk with BIOS

4:32

Making an OS (x86) Chapter 5 - Reading the disk with BIOS

Making an OS (x86) Chapter 4 - Stack, Functions, Segmentation

6:45

Making an OS (x86) Chapter 4 - Stack, Functions, Segmentation

Making an OS (x86) Chapter 3 - Strings, Keyboard Input in BIOS

5:13

Making an OS (x86) Chapter 3 - Strings, Keyboard Input in BIOS

Making an OS - Update, Resources, Future of the Series

2:52

Making an OS - Update, Resources, Future of the Series

Making an OS (x86) Chapter 2 - BIOS, Printing the Alphabet, Conditional Jumps

7:14

Making an OS (x86) Chapter 2 - BIOS, Printing the Alphabet, Conditional Jumps

Making an OS (x86) Chapter 1 - CPU, Assembly, Booting

6:56

Making an OS (x86) Chapter 1 - CPU, Assembly, Booting

Programming in VR - HyperOn

2:36

Programming in VR - HyperOn