home
|
feeds
|
donate
Log in / sign up
tangentstream
Live streams of programming in unusual programming languages.
follow
livestream: implish interpreter w/ claude
tangentstream
-
Nov 10 2025
hide
decker + electron = ???
tangentstream
-
Oct 16 2025
hide
putting the parser combinators to work
tangentstream
-
Jul 18 2025
hide
b4vm: now with quotations!
tangentstream
-
Jul 12 2025
hide
can gemini handle b4 assembly?
tangentstream
-
Jul 02 2025
hide
can gemini handle b4 assembly?
tangentstream
-
Jul 01 2025
hide
streaming test
tangentstream
-
May 23 2025
hide
tangentswarm demo [ with broken video :/ ]
tangentstream
-
Apr 28 2025
hide
chess video pipeline part 2
tangentstream
-
Dec 01 2024
hide
how i make chess videos
tangentstream
-
Nov 09 2024
hide
analyzing a blitz game
tangentstream
-
Sep 24 2024
hide
animating a chessboard in godot 4.3
tangentstream
-
Sep 22 2024
hide
leansieve 9: last of the lemmas
tangentstream
-
Aug 04 2024
hide
leansieve 8: is this the end?
tangentstream
-
Aug 02 2024
hide
leansieve 7: lean's calc mode
tangentstream
-
Jul 30 2024
hide
leansieve 6: even more live-proving
tangentstream
-
Jul 27 2024
hide
leansieve 5: live-proving: rake
tangentstream
-
Jul 22 2024
hide
leansieve 4: rakesieve, continued
tangentstream
-
Jul 14 2024
hide
leansieve 3: rakesieve
tangentstream
-
Jul 13 2024
hide
leansieve 2: more lean 4 live-proving
tangentstream
-
Jul 07 2024
hide
leansieve 1: live-proving a prime sieve algorithm in lean
tangentstream
-
Jul 02 2024
hide
putting the pieces together
tangentstream
-
Jun 09 2024
hide
b4 vm demos in decker
tangentstream
-
May 31 2024
hide
livestream: a debugger for b4
tangentstream
-
May 24 2024
hide
livestream: javascript parser combinators
tangentstream
-
Feb 19 2024
hide
livestream: parsing implish in implish
tangentstream
-
Feb 17 2024
hide
livestream: eval() for implish
tangentstream
-
Feb 14 2024
hide
livestream: implish interpreter w/ claude