Perk: A Modern Take on Low Level Code
Daedalus Community
Perk: A Modern Take on Low Level Code
50:03
Safe Conurrency in OCaml - Alessio Duè @ The Knights Who Say Lambda
Daedalus Community
Safe Conurrency in OCaml - Alessio Duè @ The Knights Who Say Lambda
53:38
Safe Conurrency in OCaml - Alessio Duè @ The Knights Who Say Lambda
Daedalus Community
Safe Conurrency in OCaml - Alessio Duè @ The Knights Who Say Lambda
53:09
Introduction to Monads - 3. Beyond Join and Map
Daedalus Community
Introduction to Monads - 3. Beyond Join and Map
5:35
Introduction to Monads - 2. Functors and Monads
Daedalus Community
Introduction to Monads - 2. Functors and Monads
7:31
Introduction to Monads - 1. Type Constructors
Daedalus Community
Introduction to Monads - 1. Type Constructors
8:35
Higher-Kinded Polymorphism in OCaml - Alessio Duè @ The Knights Who Say Lambda
Daedalus Community
Higher-Kinded Polymorphism in OCaml - Alessio Duè @ The Knights Who Say Lambda
1:06:57
Making a simple Dynamic Memory Allocator (malloc)
Daedalus Community
Making a simple Dynamic Memory Allocator (malloc)
5:40
Bare Metal Lambda - Compiling to x86 assembly
Daedalus Community
Bare Metal Lambda - Compiling to x86 assembly
32:01
Lizards that play Rock Paper Scissors - Uta Stansburiana Sillycon Desert
Daedalus Community
Lizards that play Rock Paper Scissors - Uta Stansburiana Sillycon Desert
28:32
Frog Checking - Applying Model Checking to a Population of Frogs
Daedalus Community
Frog Checking - Applying Model Checking to a Population of Frogs
28:55
Complex Systems and Traffic Models
Daedalus Community
Complex Systems and Traffic Models
30:47
Computing π with four dice and a grid (π day 2024)
Daedalus Community
Computing π with four dice and a grid (π day 2024)
3:15
Can we do without while loops?
Daedalus Community
Can we do without while loops?
5:31
Graph Theory (for Computer Science) - A Short Overview
Daedalus Community
Graph Theory (for Computer Science) - A Short Overview
9:32
Computing π with my own programming language (Pi Day 2023)
Daedalus Community
Computing π with my own programming language (Pi Day 2023)
3:05
Functional programming - A general introduction
Daedalus Community
Functional programming - A general introduction
11:47
My Latest Projects - Short Recap (2021/22)
Daedalus Community
My Latest Projects - Short Recap (2021/22)
3:11
Making an OS (x86) Chapter 7 - Cross Compiler, Bootloader, Kernel
Daedalus Community
Making an OS (x86) Chapter 7 - Cross Compiler, Bootloader, Kernel
7:24
Making an OS (x86) Chapter 6 - Entering Protected mode, GDT
Daedalus Community
Making an OS (x86) Chapter 6 - Entering Protected mode, GDT
11:29
Making an OS (x86) Chapter 5 - Reading the disk with BIOS
Daedalus Community
Making an OS (x86) Chapter 5 - Reading the disk with BIOS
4:32
Making an OS (x86) Chapter 4 - Stack, Functions, Segmentation
Daedalus Community
Making an OS (x86) Chapter 4 - Stack, Functions, Segmentation
6:45
Making an OS (x86) Chapter 3 - Strings, Keyboard Input in BIOS
Daedalus Community
Making an OS (x86) Chapter 3 - Strings, Keyboard Input in BIOS
5:13
Making an OS - Update, Resources, Future of the Series
Daedalus Community
Making an OS - Update, Resources, Future of the Series
2:52
Making an OS (x86) Chapter 2 - BIOS, Printing the Alphabet, Conditional Jumps
Daedalus Community
Making an OS (x86) Chapter 2 - BIOS, Printing the Alphabet, Conditional Jumps
7:14
Making an OS (x86) Chapter 1 - CPU, Assembly, Booting
Daedalus Community
Making an OS (x86) Chapter 1 - CPU, Assembly, Booting
6:56
Programming in VR - HyperOn
Daedalus Community
Programming in VR - HyperOn
2:36