Viewing profile — gremgoth

Like a third of LLMs still struggle with basic tasks like unrolling a cyclic foreign key: https://conexus.com/llm-wars/

In Tolkien's Silmarillion, the creator of the palantiri had a great foe, Morgoth. Join the resistance side of the Lord of the Rigs meme war at http://silmarils.tech

We're fighting lord of the rings memes with silmarillion memes and ontologies with ologs (category theory) over at http://silmarils.tech , join the resistance!

SQL select-from-where queries can indeed be formalized as "pro-functors": https://arxiv.org/pdf/1602.03501

If you have a compositional system, such as a programming language, you can use category theory to predict its behavior, in the same way that if you have a symmetric system, such a…

We're adding symbolic verification to LLM-generated SQL code at http://sql.ai

The folks at Symbolica are also applying topos theory, category theory, etc to AI, backed by serious folks such as Khosla and Wolfram. https://finance.yahoo.com/news/vinod-khosla-b…

Putting topology aside, and recognizing that 'ease' is subjective, imo Moggi's use of monads to model the denotational semantics of I/O in lazy functional languages such as Haskell…

Modern algebraic topology, especially homological algebra, more or less requires category theory... intro textbooks such as Rotman's will contain primers on category theory for thi…

We built a correctness checker for LLM-generated SQL code for the military before LLMs were commercially available, it is going live soon on http://sql.ai . Some people do care abo…

Name shared with https://www.symbolica.ai , a Vinod Khosla-backed start up.

programming is the art of being able to implement what one doesn't understand, and math is the art of being able to understand what one cannot implement

Symbolica landed a $33 million investment earlier this year led by Khosla Ventures. Traditional symbolic AI solves tasks by defining symbol-manipulating rule sets dedicated to part…

Generative symbolic AI occurs all the time in data integration, when you have to generate new identifiers (e.g. create new targets for foreign keys that don't exist in any source),…

That symbolic AI (vs machine learning) can also be generative (for example, using model completion algorithms to generate new information during ETL/data warehousing cf https://sil…