I'm working on engineering correctness. Aka on a correctness layer between man - machine. [0]
This means formal methods, but the new ones like the ologs from category theory. Which can easily model the structure (taxonomy and ontology) of a (business) domain. [1]
On the other hand I'm working on my own loop. I have the method tested, now I just wrap it with an FSM / Stately / XState to get the likely-correct loop. [2]
This means formal methods, but the new ones like the ologs from category theory. Which can easily model the structure (taxonomy and ontology) of a (business) domain. [1]
On the other hand I'm working on my own loop. I have the method tested, now I just wrap it with an FSM / Stately / XState to get the likely-correct loop. [2]
- [0]: https://www.osequi.com/manifesto
- [1]: https://ologeditor.com/
- [2]: https://www.osequi.com/studies/speed-of-thought/speed-of-tho...