Project record01 mention
Originally shared on Hacker News
Engineering correctness layer (ologs)
This project builds a correctness layer between man and machine using formal methods, specifically category-theory ologs that model the structure (taxonomy and ontology) of a business domain. It includes a manifesto laying out the vision and an olog editor for authoring these domain models.
01 / Source history
Shared over time
Each entry reflects what was shared on that date. Details may have changed since then.
Engineering correctness layer (ologs)
This project builds a correctness layer between man and machine using formal methods, specifically category-theory ologs that model the structure (taxonomy and ontology) of a business domain. It includes a manifesto laying out the vision and an olog editor for authoring these domain models.
Posted by @csbartus · Original comment ↗
“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]”