Semantic overlord.
Santa Cruz, CA
Joined June 2007
- Tweets1.9K
- Following339
- Followers681
- Likes1.2K
Pinned Tweet
Here are the slides for my talk, "Graphs, Logic, and Lambda Calculus", this morning at @KGConference: bit.ly/lg-kgc2024. #kgc2024
The Hydra programming language has just reached a major portability milestone: mutual self-hosting. linkedin.com/posts/joshuashi…. Three Hydra compilers in three host languages, each capable of generating all three. I'm looking for someone to tell me this has been done before.
Joshua Shinavier retweeted
Can graphs program themselves?
We've had a look at @joshsh's new project Hydra, a new initiative where graphs literally write themselves.
Check out our demo where we explore the possibilities of Hydra DSLs!
gdotv.com/blog/introducing-h…
I almost forgot: hello Oakland (KOAK)! For as many years as I have been flying in the Bay Area, I had never landed here. Shared the ramp with some cool birds.
My early pre-Gremlin graph traversal language Ripple came up at a graph gathering yesterday, and that was excuse enough to post a video of the old screencast demo. Not sure I have shared this since the early, early days. youtube.com/watch?v=4sXCJaQp… #rdf #graphs #tinkerpop #fp
hey @mutableai can you please auto wiki CategoricalData/hydra because graphs and functional programming are like peanut butter and jelly #mutableai
Joshua Shinavier retweeted
So excited to see the formal approaches are getting the attention they deserve @KGConference !!
Before heading home from #kgc2024, I visited Mercer Labs (art and tech museum in the Financial District) for Roy Nachum’s “Limitless”. It was incredible. Easily my favorite art exhibition in recent memory. Crossmodal correspondences abounded. Something for @EMPACnews.
The highlight of the conference for me, above and beyond everything I learned, was when someone whose opinion I respect very much told me that my talk was their favorite. Made my week. #kgc2024
Nothing left to do except answer some emails and read this book on the flight home. TopQuadrant gave them out to question-askers at their SHACL masterclass. #kgc2024
.@KGConference is a wrap! Here are my notes from the graph standards panel. #kgc2024
If you are at @KGConference, be sure to stick around for the closeout session on graph data standards. GQL is published, giving us our first standard for property graphs. RDF 1.2 is coming. Hypergraphs are on the rise. Gen AI is changing how we interact with graphs. @kgc2024
.@oralassila on one schema language to rule them both (RDF and property graphs). One of the @KGConference talks I’ve been most looking forward to. #kgc2024
Pierre Lévy’s presentation on IEML was over too quickly! Pleasantly surprised by a talk on constructed languages at @KGConference. Logical conlangs were a teenage hobby of mine, and a gateway to knowledge representation. He makes them relevant to modern neurosymbolic AI. #kgc2024
.@juansequeda giving a characteristically engaging talk on his work using knowledge graphs to boost accuracy in LLM-based query answering. @KGConference #kgc2024
@tomsmoker giving a tremendously useful masterclass on graphs and RAG at @KGConference #kgc2024. LLMs are like a 5 y/o with 1000 years to solve a problem. Know their limitations, give them concrete tasks, and use a graph schema to ground their output.
Standing room only in Norm Friend’s #kgc2024 session on SHACL. Data modeling has its fans.
