jhoxray
One Lib to Rule Them All: Why we build oneringai open source agentic AI library
Show HN: OneRingAI – Single TypeScript library for multi-vendor AI agents
OneRingAI started as the internal engine of an enterprise agentic platform we've been building for 2+ years. After watching customers hit the same walls with auth, vendor lock-in, and context management over and over, we extracted the core into a standalone open-source library. The two main alternatives didn't fit what we needed in production:- LangChain: Great ecosystem, but the abstraction...
Re:Building dependently typed FP language from scratch in Haskell
on Thursday January 12, 2023 @01:43PM (#34358409)
new tutorial with code and some interesting concepts / questions raised
Building dependently typed FP language from scratch in Haskell
Re:A Pure Types-Driven real-world apps development approach
on Sunday September 12, 2021 @07:08AM (#28500089)
There shouldn't be any, as the article is not behind the paywall?
Re:A Pure Types-Driven real-world apps development approach
on Sunday September 12, 2021 @05:48AM (#28499801)
very nice, thank you!
Re:A Pure Types-Driven real-world apps development approach
on Sunday September 12, 2021 @03:26AM (#28499262)
Thank you, and it is about Pi and Sigma types in the end, yes. The "Entity" would likely be Pi, and the "Database" - that takes variable number of Type parameters and generalizes type classes - would be Sigma.
"DatabaseContext" should provide a low-level API to the database we want to use, so that our "Entity" or "Database" pi/sigma types generate the same API for our pure types regardless of the underlying database. Using generics, default function implementations etc.
Actually, for single-table it is quite possible even now - we can design an Entity type family that would take care of storing / retreiving flat record types in SQL or Mongo using the same API. We'd still need to pass table names explicitly though (that's where Pi types would be useful), while specific db connection would be hidden inside a monad.
What we can't do - is model relationships elegantly by using function types ("Person -> [Post]" etc) - that's where the "Database" typeclass comes in.
Re:A Pure Types-Driven real-world apps development approach
on Saturday September 11, 2021 @12:48PM (#28493440)
Thank you, very good points!
A Pure Types-Driven real-world apps development approach
Re:Do we need a platform like Medium, but with great support for Math ...
on Thursday September 02, 2021 @12:22PM (#28393986)
a bit too technical :)
Do we need a platform like Medium, but with great support for Math and Code?
I've been working on a Type Theory and Haskell book using leanpub, as well as using Medium for sharing insights around similar topics as well as some light Category Theory, and got frustrated by the lack of a platform that works well for code and math articles.Wouldn't it be great if there was a niche, STEM-focused platform that provided similar "writing without distraction" as well as very...