02:05:32

Google's Gemma open source LLM: Read the code!

01:58:02

Gemini-cli: Let's read the code!

54:14

liburing: Let's read the code!

01:14:26

Kissat SAT Solver, Part 2

02:12:15

Reading code: Dotnet runtime

01:12:15

The Kissat SAT Solver, Part 1

40:06

Emacs AI plugins

01:04:52

Kythe Part II: Read that code!

01:18:00

Kythe source code indexer: Let's read the code!

54:18

Let's read the code! Emacs org-mode

01:03:46

Let's read the code! FPGA Lisp Machine

50:53

Let's read the code! Scratching the surface of Yosys and OpenROAD

07:17

Deepseek R1 tells me it was designed to promote "socialist core values"

01:58:35

Source code sight reading: AMD ROCm

01:13:12

GNU Hurd: Let's read the code!

45:07

Tokio: Let's read the code!

01:25:45

Electron: Let's read the code!

01:24:44

Let's read the code: YouTube API, Discord API, Socioboard

02:01:38

Let's read the React Native source code!

01:43:47

Let's read the R statistics software code!

01:02:17

Exploring the Loomio source code (Ruby on Rails, decision making)

33:07

Let's read a random US Code!

01:30:56

Meterpreter: Let's read the code!

01:16:55

SWIFT astrophysics and cosmology: Let's read the code!

01:15:16

Freeciv: Let's read the code!

02:20:13

Lichess: Let's read the code!

33:03

Let's read the Chromium source code (reposted with louder audio)

01:21:47

AlphaFold: Let's read the source code

02:00:24

Looking at the source code to Flax, a Jax-based Neural Network library for Python

01:20:51

Ray: Let's read the code!

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!