asntbqjkwbaoeuc
asntbqjkwbaoeuc on Hacker News
In particular, optimization, being a branch of math, is itself a type of functional programming. Similarly, neural networks are functional programs. Programming with differentiable functions as a field on its own goes back at least as far as the 1960s. Closely related ideas like algebraic topology go back to the 1890s (this would be programming with continuous functions rather than differentiable).
The language of type theory is typically the province of computer science. The corresponding language in math is category theory. There are a few mathematicians who have been working on a categorical theory of neural networks. But this is pretty far from a mainstream research area.
Perhaps with people like Colah and Dalrymple pointing out these connections from a more applied point of view, these ideas will pick up steam.
[0] There is are technical caveats here that aren't interesting when talking about math that can be done on computers.
In addition, I'm assuming given your distrust for the government and love of markets that all means of communication will be private. Private capital tends to monopoly, so we can expect in your utopia that all means of communication are owned by a small group of people. This group of people has practical control over everyone's data.
This group of people might decide to release everyone's data in order to appease your desire for a post-privacy utopia, but almost certainly they'll keep it for their economic advantage.
The resulting system you are advocating is one in which a tiny percentage of people has near-universal control over the populace.
You can try to equalize things by creating an alternative system in which all data is public, say by having cameras that stream to some publicly accessible resource. But the streaming and the cameras will be the private property of organizations that have a strong incentive for you not to do this. And since the entire infrastructure is owned by such organizations, you would be in violation of your end user agreement to start such a project. It would make you a "liar" when you signed the Internet EULA, which, as you say in another comment, is the worst crime imaginable.