Future of Coding is an online community with a welcoming, cooperative, and revolutionary spirit. We are unified in the belief that the common practice of programming is tragically less humane than it could be.

Future of Coding

Folks here might get a kick out of this essay I wrote: <https://arbesman.substack.com/p/computation-as-philology>

I see computing at the intersection of language and the desire for rationality and certainty. Perhaps the most explicit expression of this intersection was Leibniz' <https://en.wikipedia.org/wiki/Characteristica_universalis|Characteristica universalis> and <https://en.wikipedia.org/wiki/Calculus_ratiocinator|Calculus ratiocinator>. As a modern descendant of this line of thought, there's for example <http://www.lojban.org/|Lojban>.

Recommended reading: "In search of the perfect language", by Umberto Eco.

As for "Computation has the ability to provide a uniquely unifying framework, exerting a massive centripetal force on ideas and fields of knowledge. We must nurture its connective power", this is very close to my personal interest in computation. What's frustrating about it is the very much opposite, centrifugal, force of actual computing technologies. If you want to bring together ideas from different fields that have all been formalized as computations, you spend long unpleasant hours sorting out low-level interfacing issues.