32:01
Bare Metal Lambda Calculus - Compiling to x86 assembly

316 views • 19 hours ago
28:32
Lizards that play Rock Paper Scissors - Uta Stansburiana Sillycon Desert

152 views • 19 hours ago
28:55
Frog Checking - Applying Model Checking to a Population of Frogs

77 views • 19 hours ago
31:27
Complex Systems and Traffic Models

126 views • 19 hours ago
3:15
Computing π with four dice and a grid (π day 2024)

713 views • 4 months ago
5:31
Can we do without while loops?

4.5K views • 11 months ago
9:32
Graph Theory (for Computer Science) - A Short Overview

3.2K views • 1 year ago
3:05
Computing π with my own programming language (Pi Day 2023)

2.6K views • 1 year ago
11:47
Functional programming - A general introduction

91K views • 1 year ago
3:11
My Latest Projects - Short Recap (2021/22)

3.6K views • 2 years ago
7:24
Making an OS (x86) Chapter 7 - Cross Compiler, Bootloader, Kernel

62K views • 2 years ago
11:29
Making an OS (x86) Chapter 6 - Entering Protected mode, GDT

54K views • 2 years ago
4:32
Making an OS (x86) Chapter 5 - Reading the disk with BIOS

43K views • 2 years ago
6:45
Making an OS (x86) Chapter 4 - Stack, Functions, Segmentation

45K views • 2 years ago
5:13
Making an OS (x86) Chapter 3 - Strings, Keyboard Input in BIOS

69K views • 2 years ago
2:52
Making an OS - Update, Resources, Future of the Series

34K views • 3 years ago
7:14
Making an OS (x86) Chapter 2 - BIOS, Printing the Alphabet, Conditional Jumps

153K views • 3 years ago
6:56
Making an OS (x86) Chapter 1 - CPU, Assembly, Booting

453K views • 3 years ago
2:36
Programming in VR - HyperOn

4.2K views • 4 years ago
End of Videos