01:46:34

Exploring Reinforcement Learning Repos: Bsuite, Rlax, Flax

01:26:09

Exploring software for climate change

04:35

Announcement on new request policy

48:41

Android Apps 4: Spotkin Flutter

32:07

Android Apps 3: Finamp Jellyfin client

41:27

Android Apps 2: Anki Android

54:28

Android Apps 1: Wallabag Android

03:24:13

Android Apps Value Pack: Wallabag, Anki, Finamp, Spotkin

01:01:11

Exploring the Emacs C/Lisp boundary

01:29:43

Exploring Blender's build system

24:30

Tips and tricks for reading unfamiliar code

02:13:14

Proof Assistant Value Pack: Lean, Agda, and Coq

44:37

Coq: Let's read the code!

35:28

Agda: Let's read the code!

53:10

Lean4: Let's read the code!

41:21

PyTorch: Let's read the code!

51:08

Monero: Let's read the code!

33:48

Go Ethereum: Let's read the code!

03:29:56

Coding day 37: Exploring the Flutter Webview, Part 2

01:11:54

Coding day 36: Exploring the Flutter Webview, Part 1

33:57

OpenIPC: Let's read the code!

30:30

NGINX: Let's read the code!

01:13:36

OpenFOAM: Let's read the code!

29:35

V8 JavaScript Engine: Let's read the code!

51:53

Clojure: Let's read the code!

01:11:12

Libsodium: Let's read the code!

36:35

SerenityOS: Let's read the code!

36:18

SurrealDB: Let's read the code!

01:24:28

OpenTx: Let's read the code!

01:00:23

osrm-backend: Let's read the code!

01:01:43

Ardupilot: Let's read the code!

33:07

PX4 Autopilot: Let's read the code!

42:21

Bevy: Let's read the code!

02:27:06

Coding day 34: Getting Haskell backend to talk to Flutter frontend

54:04

Zig: Let's read the code!

01:02:51

Coding day 35: Initial setup of Flutter webview and text to speech

01:29:11

XLA Machine Learning Compiler: Let's read the code!

01:01:10

Gnome Shell: Let's read the code!

01:44:32

OpenJDK: Let's read the code!

02:52:28

Coding day 33: Getting proto-lens and proto3-suite to work together

01:10:58

Visual Studio Code: Let's read the code!

01:17:21

uBlock Origin: Let's read the code!

51:57

xterm: Let's read the code!

01:06:48

QEMU: Let's read the code!

01:03:12

GNU Grub: Let's read the code

15:05

Coding day 32: Starting to test the gRPC server implementation (I)

01:14:25

NFS (Network File System): Let's read the code!

01:26:14

Coding Day 31: Migrating Haskell integration tests to Tasty (2)

01:09:56

Bochs (i386 emulator): Let's read the code!

54:54

Coding Day 30: Migrating Haskell integration tests to Tasty (I)

19:10

Coding Day 29: Mostly thinking about Haskell error handling again

01:47:05

Coding Day 28: Reading protocol buffers from the database with Hasql

31:49

Coding day 27: Thinking about error handling

01:24:15

Coding Day 26: Writing protocol buffers to the database with Hasql

01:14:13

Flipper Zero: Let's read the code!

01:00:14

jq: Let's read the code!

56:08

GTK: Let's read the code!

29:04

Coding Day 25: creating some error types

56:02

Coding Day 24: wrestling with proto-lens

01:21:16

Metasploit: Let's read the code!