what work of art was it this time?
https://mitpress.mit.edu/9780262044806/verifying-cyber-physical-systems/
Watching Nour El Ein reminded me of childhood memories I didn't even have https://www.youtube.com/watch?v=KLJA-srM_yM&ab_channel=Mazzika-%D9%85%D8%B2%D9%8A%D9%83%D8%A7