Note on An Introduction to Robust-First Computation via andrewwalpole.com
as we introduce the ability to be incorrect, we can trade off efficiency for robustness (because they are at odds) in order to maintain correctness.
And so we’re left with the Robust-First Computing Creed:
First be robust
Then as correct as possible
Then as efficient as necessary
I think this is what we’re going to see become much more common as we have LLM agents and non-deterministic/non-CEO (correct and efficient only) agents assembled as an algorithm/program in distributed computing.
Each one will need to be checking the other and the whole program will need to be robust to false/hallucinated responses.
Reference
- Notes
- safety, liveness, software-engineering
- An Introduction to Robust-First Computation
-
Permalink to
2024.NTE.061 - Insight
- Edit
| ← Previous | Next → |
| Note on Introduction | Protagonist (ENFJ) Personality | 16Personalities via 16personalities.com | Note on Behind F1's Velvet Curtain via Kate Wagner |