joshsh

3 ms·

1. 1.▲
   by joshsh 4mo ago

   If this sort of thing is interesting to you -- using type theory and category theory to add compositionality to programming and databases -- also check out CQL's cousin, the graph programming language Hydra: https://github.c
2. 2.▲
   by joshsh 4y ago

   In reply to a question on Facebook ("Do you have some examples or use case docs? I'm trying to wrap my head around what I could do with something like this."): There is a subproject called hydra-extensions ( https:/&#x2F
3. 3.▲
   by joshsh 9y ago

   It would be interesting to visualize a SmSn knowledge graph as a Concept Map. I feel that text buffers are best for viewing and editing a graph when you are seated at a keyboard, but graphical views have their place, as well.