A Formal Theory of Spaghetti Code

made by nickdrozd, submitted by Mai
This blog post attempts to define spaghetti-ness in order to formally test the hypothesis that spaghetti code is the way to maximize runtime in Busy Beaver programs.