Robust-first computing: Beyond efficiency

…bust First" computing architecture, and his Moveable Feast Machine. His "Robust First" philosophy is extremely relevant and has a lot of applications to programming with LLMs, not just hardware design. Robust First | A conversation with Dave Ackley (T2 Tile Project) | Functionally Imperative Podcast link Robust-first computing: Beyond efficiency link to this video Bottom up engineering for robust-first computing link Living Computation: Robust-first programming in ULAM link link DonHopkins on Feb 11, 2020 | parent | context | favorite | on: Growing Neural Cellular Automata: A Differentiable... Also check out the "Moveable Feast Machine", Robust-first Computing, and this Distributed City Generat…

I am happy you don't agree on modularity. I don't want to be correct, I want to arrive at correct conclusions. :) Composition is great, scale free self similarity is probably the basis for the universe. Modularity is a great design technique, it can also make things weaker and force other (unknowable) design choices because the module boundary prevents the flow of information/force. Overly constrained modular systems encourage globals, under constrained modular systems are asymptotic to mud/clay. I don't want to use K8S as a strawman to attack modularity, but I think it is an example of using this powerful design tool to solve the wrong problem using mis-applied methods all the while being m…

You might be interested in 'Robust First Computing' - link edit: here is a far better explanation by the terms creator: link to this video

then you'd debug it, or program debuggers to flit around looking for programmer error then address it the system is clear about its capabilities regarding 'correctness' which seems to imply the programmer's job is to optimise with those built in inaccuracies but what those inaccuracies afford is what ackley is calling robustness and indefinite scalability ackley addresses your question directly with a sorting comparison(o) from a later video the graph fails to exhibit where maxwell's demon(i) horde sort would express itself on the graph, but sorting corruption is addressed in the paper(ii) The demon horde sort’s performance may be just adequate, by that measure, but its robustness seems quit…