An advanced physics song exploring black holes, general relativity, Hawking radiation, and the mathematical beauty of Einstein's equations through cosmic poetry.
A computer science rap exploring dependent types, formal verification, proof assistants, and the mathematical foundations of computation through hip-hop flow.
A powerful critical analysis of AI development, algorithmic bias, and social justice through hip-hop, examining the intersection of technology and systemic oppression.
A mathematical logic rap chronicling the journey from Aristotelian foundations through Gödel's incompleteness theorems, exploring the limits and beauty of formal systems.
