| Spring TGIF Video | |
| Procedural Language | Lyrics , Video |
| Theory Girl | Lyrics, Video |
| Simply Unacceptable | Lyrics, Video |
| Colloquium | Lyrics, Video |
| Bit Shift | Lyrics, Video |
| Proof By Contradiction | Video |
| Write It Up in LaTeX | Video |
| Visit Days Live Recording | |
| Procedural Language | Lyrics , MP3 |
| Advisor | Lyrics, Video, MP3 |
| Theory Girl | Lyrics, MP3 |
| Simply Unacceptable | Lyrics, MP3 |
| Colloquium | Lyrics, MP3 |
| Bit Shift | Lyrics, MP3 |