gremgoth

6 ms·

1.
by gremgoth 1y ago
Like a third of LLMs still struggle with basic tasks like unrolling a cyclic foreign key: https://conexus.com/llm-wars/
2.
by gremgoth 2y ago
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
3.
by gremgoth 2y ago
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!
4.
by gremgoth 2y ago
SQL select-from-where queries can indeed be formalized as "pro-functors": https://arxiv.org/pdf/1602.03501
5.
by gremgoth 2y ago
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 as particles in a box, you can predict its behavior. In the
6.
by gremgoth 2y ago
We're adding symbolic verification to LLM-generated SQL code at http://sql.ai
7.
by gremgoth 2y ago
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-betting-former-t...
8.
by gremgoth 2y ago
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 is a common textbook example; the creat
9.
by gremgoth 2y ago
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 this reason.
10.
by gremgoth 2y ago
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 about this problem, but it is hard to solve; even
11.
Haskell during technical interviews – a story (2017)(aphyr.com)
5 points by gremgoth 2y ago|1 comments
12.
by gremgoth 2y ago
Name shared with https://www.symbolica.ai , a Vinod Khosla-backed start up.
13.
by gremgoth 2y ago
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
14.
Symbolica(techcrunch.com)
3 points by gremgoth 2y ago|1 comments
15.
by gremgoth 2y ago
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 particular jobs, such as editing lines of text in word processo
16.
Generative Symbolic AI(venturebeat.com)
2 points by gremgoth 2y ago|0 comments
17.
by gremgoth 3y ago
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), recursively merge identified entities together along t
18.
by gremgoth 3y ago
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://silmarils.tech/ https://www.ca
19.
Category Theory vs. Palantir(silmarils.tech)
1 points by gremgoth 3y ago|0 comments
20.
Silmarilli > Palantiri(silmarils.tech)
1 points by gremgoth 3y ago|0 comments