4 ms·
Ontology excites me, so I'm grateful to have come across this while browsing HN today. I'm also glad to have discovered Jane, which is the author's well-chosen
by 1MachineElf 6y ago
Ontology excites me, so I'm grateful to have come across this while browsing HN today. I'm also glad to have discovered Jane, which is the author's well-chosen Hugo theme. Two birds with one stone!
- verdverm 6y agoYou might also find "graph unification" algorithms and Propagator Networks interesting as well. https://github.com/cuelang/cue/discussions/408 https://github.com/cuelang/cue/discussions/408
- agumonkey 6y agoVery interesting slides. Is there a connection with adjoint functors too ?
- verdverm 6y agoI'm not sure, but thanks for the rabbit hole. I would guess a yes though, given the slogan found on Wikipedia and that Cue is assoc & comm. https://cuelang.org/docs/concepts/logic/ https://cuelang.org/docs/concepts/logic/