In this video I look at specifications, with particular emphasis on the sort of protocol specification for assignment 5. I discuss syntax vs semantics, and with regards to syntax, textual encodings, ABNF, and binary encodings.

2885

11/26/2021

In this video I introduce assignment 4: an autoplayer for Tetris.

4769

11/3/2021

Lists, list implementations, complexity and binary search (Updated version, includes bugfix in binary search)

7208

10/14/2021

In part 2 of this episode on software performance, I show how to embed C code in Python, discuss multi-process software and mult-threaded software, special purpose vectorized instructions and how to use them through Numpy, general purpose GPU programming, Tensor processors, and Amdahl's law which fundamentally limits the gains to be had from parallel processing.

1760

12/16/2020

In this two-part episode I look at the issue of software performance. What can you do when your software is not fast enough? I'll cover a wide range or topics that cover a wide spectrum of performance topics, ranging from profiling Python code, through scaling up and scaling out.

1973

12/14/2020

In this video I take a lighthearted look at some weird bugs that just shouldn't be possible.

2126

12/10/2020

In this episode, I look at how you scale up software development, beyond a single programmer, to large teams of people working together. I examine what goes wrong, look at how Agile programming reduces these risks, and examine how a distributed version control system such as git can be used to manage the development process.

3070

12/8/2020

In this episode, I look at some classic aerospace software bugs, covering the Boeing 787 electric generator shutdown bug, the Mars Climate Orbiter units confusion, and the bug that caused the Mars Polar Lander to turn off its landing engine in mid air.

4029

12/3/2020