Some more information can be found at https://github.com/tpetricek/Teaching (specifically, https://github.com/tpetricek/Teaching/tree/master/2023/tiny-...). The course is currently ongoing. The videos and PDFs seem to be down, but I wouldn't be surprised if that's just because of hacker news overloading things.
Seems neat, from the slides and demos.
Some more information can be found at https://github.com/tpetricek/Teaching (specifically, https://github.com/tpetricek/Teaching/tree/master/2023/tiny-...). The course is currently ongoing. The videos and PDFs seem to be down, but I wouldn't be surprised if that's just because of hacker news overloading things.
Seems neat, from the slides and demos.