Post #2189071

@jacob@social.jacobian.org Never thought about the provably correct path. I have seen the "who cares what the code looks like when it's only the AI that sees it" though. But yeah, that's intriguing.