HN user
Sorry, I do not contribute to projects governed by a tribal oligarchy. However, the ROS project gives me many anti-patterns for software engineering research. Social and psychological aspects that lead to such a collective frenzy are also interesting. But you definitely deserve a special chapter on software engineering failures, where the intersection of technical debt, second-system effects, hubris, and bad governance.
ROS is like the One Ring. Binds everything in the darkness but corrupts you into his dark slave slowly. It must be thrown away into the hot lava.
Groupthink is what happens when people don't share their dissenting views, so the group as a whole makes poor decisions. This is why it is a bad idea to silence dissent. This defines the ROS community, as you have exemplified.
So it is good that you come and read the comments here. Welcome!
The ROS project has terrible governance, and the community suffers heavily from groupthink.
I just got banned from their forum for questioning what the ROS Foundation has done in the past two years--specifically on the build system. Yes, their middleware is unforgiving of alternative ways other than their wrong and outdated development practices, but their community is more religiously attached to their precious tools for development.
This is the post I wrote: https://discourse.ros.org/t/build-systems-package-management...
You need to start with the assumption that an infinite set exists (Axiom of Infinity) for uncomputable functions (and other weird mathematical things).
Such concepts cannot appear in a finite universe.
Their premises about logical systems are wrong so their conclusion is not valid. In short, of course, there are logical systems with potentially infinite state space. For example, a Turing machine. A digital circuit is no different. Turing completeness is abundant, it is everywhere.
These bland styles of course correlates with the startup culture. High growth pressures leave no room for specific designs and these attempts would be scorned immediately (sadly) when these new companies are the most creative.