5 ms·
Of course in practice we know is a lot easier to build and use probabilistic models. However, I hope we don't give up on proovable systems. When given enough
by yazaddaruvala 9y ago
Of course in practice we know is a lot easier to build and use probabilistic models. However, I hope we don't give up on proovable systems.
When given enough time, if math can stay pure and adequately abstract to eventually describe our entire universe concisely. Shouldn't code similarly have no limitation?