Ahoy! These folks seem to me to be the least, uh, starry-eyed of the would-be Foundationites, but my knowledge is not comprehensive, eh? I only know about the

Ahoy! These folks seem to me to be the least, uh, starry-eyed of the would-be Foundationites, but my knowledge is not comprehensive, eh? I only know about these folks because I'm interested in their underlying graph-based Prolog-implemented database, TerminusDB. ( https://terminusdb.com/ https://terminusdb.com/ ) - - - - FWIW, I view the Internet et. al. as a kind of GAI with humans for neurons. From that POV Seshat is one of many ways in which we/it are becoming self-aware.