What I Learned About Theoretical CS at Cracker Barrel November 2024 #SMT #Complexity Presented to HSV.py at GigaParts.