Merge remote-tracking branch 'origin/radio'

This commit is contained in:
Asger Juul Brunshøj 2025-06-03 08:01:13 +02:00
commit f731e4dbf2
25 changed files with 17 additions and 0 deletions

View File

@ -21,7 +21,9 @@
rust.enable = true; rust.enable = true;
packages = [ packages = [
pkgs.godot_4 pkgs.godot_4
pkgs.watchexec pkgs.watchexec
pkgs.mdbook pkgs.mdbook
pkgs.mdbook-katex pkgs.mdbook-katex
@ -30,6 +32,8 @@
python-pkgs.ruff python-pkgs.ruff
python-pkgs.jedi-language-server python-pkgs.jedi-language-server
])) ]))
pkgs.yt-dlp
]; ];
}; };
}; };

View File

@ -29,3 +29,7 @@ serve-docs:
# Regenerate docs figures on changes # Regenerate docs figures on changes
watch-figures: watch-figures:
watchexec --exts=py --restart --watch docs python3 docs/figures.py watchexec --exts=py --restart --watch docs python3 docs/figures.py
# Download audio from youtube
rip-youtube-audio URL:
yt-dlp --audio-quality 0 --extract-audio {{ URL }}

View File

@ -0,0 +1,4 @@
# FEYNMAN AND THE BOMB
This is stitched together. Possibly separate them.
Discard the section that is taken from the live talk about 1/3 in.

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

View File

@ -0,0 +1,5 @@
# Best
- The Timeless Jive
- Corners

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.