Absolutely amazing video! You took something that was hard for me to understand from other places and broke it down into a 1 minute video, and now I can start to understand more complex explanations of aliasing. Thank you!
This was done with Adobe After Effects. In the meantime I learned to use Manim (Manim CE version to be precise), so for similar videos I'd recommend Manim, or maybe a mix of AE and Manim.
a little misleading, the traced waveform at lower samplerates should still perfectly match the original below Nyquist. No DAC outputs a spiky triangle wave at low samplerates, it's still smooth.
This was a technical limitation when I made this video, I was able to program straight line interpolation, but no proper inverse fourier. On the other hand, the sampling theorem is not limited to DACs, it is a mathematical theorem. It can happen in computer graphics, or I dunno, market data plots as well.