| ▲ | keyserj 2 days ago | |
Cool to see this posted :) I'm the creator. For those interested, I've slowed work on the app in favor of refining the app's ontology in markdown form[1], building an ontology playground[2], and building a prototype[3] to show off features that the updated ontology enables. I had some major changes I wanted to make and making it work in the real app was going to be too much effort. I'll likely be making a Show HN for one/some of these soon^TM (in the next month or two?) but they're currently still a bit early. [1] https://github.com/keyserj/reasoning-tools/blob/main/amelior... [2] https://keyserj.github.io/reasoning-tools/ontology-playgroun... [3] https://github.com/keyserj/reasoning-tools/tree/main/amelior... (not yet deployed) | ||
| ▲ | jjtheblunt 3 hours ago | parent [-] | |
first, cool idea! i have just a grammar suggestion: > What if it was trivial ... what if it _were_ trivial... | ||