> Most cs work is equally useless. It’s all a farce.

Hey careful there, it must depend on the area because all the type theory and functional programming research comes with and always came with proofs and working code. It couldn't be more rigorous and useful.