Upcoming

11/12/2026 AI Tools Chat

Nov 6, 2026 · 0 views

17:57

"The Complete Guide to P-Stack, Part 2" by poteto

Oct 31, 2026 · 97 views

Upcoming

11/5/2026 AI Tools Chat

Oct 30, 2026 · 0 views

Stream2:20:55

"eXtreme Programming Revisited" by Obie Ferndandez

Oct 30, 2026 · 240 views

Stream2:03:17

[informal livestream] speaking practice / interview by grok

Oct 29, 2026 · 568 views

Stream1:55:20

10/22/2026 AI Tools Chat

Oct 23, 2026 · 350 views

Stream2:15:45

10/15/2026 AI Tools Chat

Oct 16, 2026 · 194 views

Stream3:20:57

AI coding at scale [live work stream]

Oct 12, 2026 · 363 views

Stream6:10:27

24 AI Pull Requests in one night?!

Oct 12, 2026 · 56 views

27:12

"The Complete Guide to pstack, Part 1" by poteto

Oct 9, 2026 · 2.8K views

16:52

The System Behind 2,000 Verified PRs a Month

Oct 9, 2026 · 373 views

11:10

Can you trust a computer-checked proof?

Oct 7, 2026 · 272 views

14:51

"Loops You Can Trust" by poteto

Oct 7, 2026 · 155 views

Stream4:48:27

[informal livestream] Coding With Grok Bot: Porting my games to Godot

Oct 6, 2026 · 132 views

Stream1:15:45

10/1/2026 AI Tools Chat

Oct 2, 2026 · 70 views

11:10

Can you trust a computer-checked proof? [low-res]

Sep 30, 2026 · 314 views

2:58

Wellspoken: an AI Speaking Coach

Sep 28, 2026 · 414 views

3:26

Grok Bot + Blender 3D

Sep 26, 2026 · 960 views

2:58

Jev: The First System-One AI

Sep 25, 2026 · 66 views

Stream49:25

9/24/2026 AI Tools Chat

Sep 25, 2026 · 34 views

53:22

"Why AI Will Save the World" - Reading / Reactions

Sep 21, 2026 · 112 views

1:55

Conway knots and AutoFormBot: teaching AI to write Lean proofs

Sep 19, 2026 · 144 views

2:23

Chasing a 668x668 Hadamard matrix with Turyn-type sequences

Sep 19, 2026 · 59 views

2:19

Kevin Buzzard's Jacobian challenge: can AI formalize math alone?

Sep 19, 2026 · 91 views

1:06

LeanSieve: my prime number generator in Lean

Sep 19, 2026 · 59 views

Stream2:54:05

9/17/2026 AI Tools Chat

Sep 18, 2026 · 105 views

6:00

First look at muse

Sep 15, 2026 · 865 views

6:03

Redesigning Minavo in Claude Design

Sep 14, 2026 · 105 views

2:16

Seeking Programming Students

Sep 14, 2026 · 245 views

1:45

GrokBot vs Muse

Sep 14, 2026 · 1.1K views

5:57

Mercury 2.5 by Inception

Sep 12, 2026 · 631 views

Stream1:51:00

9/10/2026 AI Tools Chat

Sep 11, 2026 · 111 views

4:03

9/3 AI tools : Grok Bot, Opencode + Muse Spark

Sep 4, 2026 · 109 views

15:49

j mcp demo

Jun 25, 2026 · 88 views

Stream38:09

terratri: history widget

Feb 25, 2026 · 23 views

Stream1:55:44

terratri, pt 2

Feb 25, 2026 · 16 views

Stream2:57:59

a strategy game from ages past

Feb 22, 2026 · 33 views

Stream3:53:31

livestream: implish interpreter w/ claude

Nov 10, 2025 · 49 views

Stream2:34:19

decker + electron = ???

Oct 16, 2025 · 49 views

Stream4:42:52

putting the parser combinators to work

Jul 18, 2025 · 28 views

Stream2:09:13

b4vm: now with quotations!

Jul 12, 2025 · 108 views

Stream2:42:50

can gemini handle b4 assembly?

Jul 2, 2025 · 46 views

Stream4:21:14

can gemini handle b4 assembly?

Jul 1, 2025 · 20 views

Stream5:08

streaming test

May 23, 2025 · 10 views

Stream43:10

tangentswarm demo [ with broken video :/ ]

Apr 28, 2025 · 49 views

Stream1:46:59

chess video pipeline part 2

Dec 1, 2024 · 104 views

Stream2:40:29

How I make chess videos

Nov 10, 2024 · 93 views

Stream1:05:37

analyzing a blitz game

Sep 24, 2024 · 86 views

Stream4:47:35

animating a chessboard in godot 4.3

Sep 22, 2024 · 164 views

Stream7:45:57

LeanSieve 9: Last of the Lemmas

Aug 4, 2024 · 147 views

Stream2:33:03

LeanSieve 8: is this the end?

Aug 2, 2024 · 42 views

Stream4:52:52

LeanSieve 7: lean's calc mode

Jul 30, 2024 · 75 views

Stream5:21:11

LeanSieve 6: even more live-proving

Jul 27, 2024 · 43 views

Stream4:15:05

LeanSieve 5: live-proving: Rake

Jul 22, 2024 · 19 views

Stream5:43:25

LeanSieve 4: RakeSieve, continued

Jul 14, 2024 · 47 views

Stream2:47:25

LeanSieve 3: RakeSieve

Jul 13, 2024 · 42 views

Stream5:54:14

LeanSieve 2: more lean 4 live-proving

Jul 7, 2024 · 82 views

Stream3:39:38

LeanSieve 1: live-proving a prime sieve algorithm in lean

Jul 2, 2024 · 359 views

Stream3:13:20

putting the pieces together

Jun 9, 2024 · 119 views

27:11

b4 vm demos in decker

May 31, 2024 · 274 views

Stream3:53:00

livestream: a debugger for b4

May 24, 2024 · 189 views

Stream3:11:00

livestream: javascript parser combinators

Feb 19, 2024 · 103 views

Stream6:02:07

livestream: parsing implish in implish

Feb 17, 2024 · 58 views

Stream5:57:05

livestream: eval() for implish

Feb 14, 2024 · 44 views

Stream2:09:42

livestream: building a real language

Feb 13, 2024 · 79 views

Stream1:50:40

livestream: driving tanco

Jan 29, 2024 · 58 views

Stream3:14:45

livestream: tanco share

Jan 28, 2024 · 68 views

Stream1:38:30

livestream: tanco bind

Jan 26, 2024 · 38 views

Stream4:20:40

livestream: learntris in red part2

Jan 23, 2024 · 59 views

Stream3:09:10

livestream: learntris in red

Jan 22, 2024 · 172 views

10:58

getting started with tanco

Jan 21, 2024 · 176 views

Stream1:22:55

livestream: tanco sessions code review

Jan 20, 2024 · 62 views

Stream4:39:25

livestream: tanco state machine

Jan 18, 2024 · 98 views

Stream15:35

tanco update: 2024-01-18

Jan 18, 2024 · 28 views

Stream3:14:36

livestream: websockets for tanco

Jan 17, 2024 · 48 views

Stream4:06:55

livestream: server frontend with htmx

Jan 16, 2024 · 75 views

Stream3:18:55

livestream: finishing 'rogo test'

Jan 15, 2024 · 55 views

Stream3:09:55

livestream: implementing 'rogo test'

Jan 14, 2024 · 56 views

Stream1:50:00

livestream: implementing 'rogo next'

Jan 13, 2024 · 96 views

Stream4:27:27

livestream: rogo workflow

Jan 12, 2024 · 14 views

Stream2:57:10

livestream: rogo workflow

Jan 12, 2024 · 69 views

Stream3:05:05

livestream: rogo import

Jan 10, 2024 · 29 views

Stream4:11:00

livestream: rogo test format

Jan 8, 2024 · 60 views

Stream3:27:15

livestream: rogo auth module

Jan 6, 2024 · 54 views

Stream3:14:05

livestream: exploring oauth2

Jan 6, 2024 · 62 views

Stream2:14:15

rogo test server livestream

Dec 25, 2023 · 76 views

Stream1:58:15

b4 livestream: J, part 2

Dec 23, 2023 · 70 views

Stream2:15:35

b4 livestream: debugger implementation in J

Dec 23, 2023 · 252 views

Stream2:47:55

b4 livestream: getting pascal version under test

Dec 21, 2023 · 60 views

Stream2:42:10

livecoding: more ops for b4 in gdscript

Dec 17, 2023 · 36 views

Stream2:04:10

livecoding: porting b4vm to gdscript

Dec 16, 2023 · 73 views

Stream1:51:20

livecoding failure: debugging my test runner

Dec 16, 2023 · 21 views

Stream2:01:10

testing my virtual machine

Dec 14, 2023 · 25 views

Stream1:05:20

Livestream: K3 IPC in #GoLang (Part 2)

Oct 27, 2023 · 94 views

Stream2:31:34

Livestream: K3 IPC in #golang

Oct 27, 2023 · 122 views

Stream2:42:30

flash to godot4, part 2

Oct 15, 2023 · 58 views

Stream2:24:00

spiders v aliens

Oct 15, 2023 · 71 views

Stream27:45

upgrading to godot 4

Oct 15, 2023 · 46 views

Stream2:39:30

livestream: an even better tiny language

Oct 5, 2023 · 86 views

Stream1:45:35

livestream: Let's finish making a forth!

Oct 1, 2023 · 70 views

Stream1:37:15

livestream: Let's make a forth

Oct 1, 2023 · 207 views

Stream2:10:15

Video Tools with OBS & Free Pascal

Sep 29, 2023 · 152 views

Stream13:30

Controlling OBS with Free Pascal

Sep 28, 2023 · 132 views

Stream1:10:28

Drawing Logic Diagrams

Sep 23, 2023 · 108 views

Stream54:40

Live coding: a real animation in my new software!

Sep 8, 2023 · 146 views

Stream1:28:25

SketchApp Progress Report

Sep 1, 2023 · 50 views

Stream1:37:57

livestream: making some simple plots

Aug 10, 2023 · 56 views

2:50:35

Roassal3 for GToolkit: Pair Programming with Oscar Nierstrasz

Jul 29, 2023 · 232 views

Stream2:27:13

how does GT's home screen work?

Jul 24, 2023 · 53 views

Stream34:21

more fighting with iceberg and metacello

Jul 24, 2023 · 33 views

Stream52:10

Exploring Iceberg

Jul 24, 2023 · 50 views

Stream29:45

Pathmap Animation pt 2

Jul 20, 2023 · 19 views

Stream58:20

Pathmap Animation

Jul 20, 2023 · 25 views

Stream2:33:24

Animation Sprint [9]

Jul 17, 2023 · 28 views

Stream2:00:05

Multi-track animation- Animation Sprint [8]

Jul 17, 2023 · 29 views

Stream2:10:50

Tweens! - Animation Sprint [7]

Jul 14, 2023 · 47 views

Stream1:52:40

GsTrackModel - Animation Sprint [6]

Jul 13, 2023 · 23 views

Stream1:07:25

GsTimelineModel - Animation Sprint [5]

Jul 13, 2023 · 21 views

Stream1:19:50

onFrameChanged - Animation Sprint [4]

Jul 13, 2023 · 53 views

Stream3:05:58

timeline tracks - Animation Sprint [3]

Jul 12, 2023 · 39 views

Stream1:37:45

the playhead - Animation Sprint [2]

Jul 11, 2023 · 31 views

Stream2:51:15

timeline widget - Animation Sprint [1]

Jul 10, 2023 · 115 views

Stream3:49:10

Livestream: Porting PileUp to Pharo

Jun 24, 2023 · 125 views

Stream30:35

Stream Recap: Drawing a Pathmap

Jun 8, 2023 · 225 views

Stream1:53:55

livecoding : pathmap (ahnentafel) with mondrian

Jun 8, 2023 · 55 views

Stream3:15:30

GameSketchLib: Animations

Jun 7, 2023 · 28 views

Stream2:38:00

GameSketchLib Returns!

Jun 6, 2023 · 32 views

Stream1:49:50

livecoding: drawing a truth table in smalltalk with bloc.

May 31, 2023 · 81 views

Stream2:40:00

Visualizing Binary Expressions

May 25, 2023 · 56 views

Stream3:01:55

Drawing Graphs with Mondrian

May 24, 2023 · 195 views

Stream1:24:05

Drawing with Bloc (Pharo Smalltalk)

May 23, 2023 · 1.6K views

2:04:32

Rust Websocket Server with ChatGPT 4

May 19, 2023 · 863 views

Stream1:53:40

Moldable Development with Glamorous Toolkit.

May 19, 2023 · 744 views

Stream1:46:39

SAT Solving in J (Live Stream)

May 5, 2023 · 242 views

Stream1:44:12

Bex: F-Nids and T-Nids

May 4, 2023 · 28 views

Stream1:00:59

Test Stream: Youtube + OBS + NightBot

May 4, 2023 · 20 views

1:52:39

OrgPrez #2: Implementing "Click to Edit"

Dec 22, 2022 · 122 views

2:09:57

OrgPrez intro (full stream)

Dec 21, 2022 · 69 views

1:13:34

generating music in decker

Dec 13, 2022 · 1.6K views

11:59

a quick chessboard in godot 4

Oct 18, 2022 · 20.4K views

Stream1:14:30

Godot for Presentations (Livestream)

Nov 28, 2021 · 76 views

Stream4:03:51

J - Godot Websocket bridge

Nov 17, 2021 · 169 views

Stream1:06:00

/r/learnpython : making a simon game

Nov 16, 2021 · 255 views

Stream1:48:03

Godot Audio Editor (raw livestream, part 1)

Nov 15, 2021 · 577 views

Stream3:18:56

Designing a Programmer's Video Editor in Godot

Nov 8, 2021 · 301 views

Stream1:43:24

Programming Course Brainstorm

Nov 3, 2021 · 43 views

Stream2:12:39

Godot Text Titles

Oct 28, 2021 · 22 views

1:05:48

#19 : fixing history - the ridiculously early j morning show

Oct 13, 2021 · 48 views

1:39:57

j enhancement proposals - part 2

Oct 5, 2021 · 27 views

1:34:47

j enhancement proposals - part 1

Oct 5, 2021 · 104 views