jhoxray

6 ms·

1. 1.▲
   Show HN: OneRingAI v1 – TypeScript agents with integrations and graph memory(github.com)

   3 points by jhoxray 2mo ago|0 comments
2. 2.▲
   One Lib to Rule Them All: Why we build oneringai open source agentic AI library(medium.com)

   2 points by jhoxray 8mo ago|0 comments
3. 3.▲
   Show HN: OneRingAI – Single TypeScript library for multi-vendor AI agents(oneringai.io)

   4 points by jhoxray 8mo ago|1 comments
4. 4.▲
   Building dependently typed FP language from scratch in Haskell(medium.com)

   3 points by jhoxray 4y ago|1 comments
5. 5.▲
   by jhoxray 4y ago

   new tutorial with code and some interesting concepts / questions raised
6. 6.▲
   by jhoxray 5y ago

   There shouldn't be any, as the article is not behind the paywall?
7. 7.▲
   by jhoxray 5y ago

   very nice, thank you!
8. 8.▲
   by jhoxray 5y ago

   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. "Data
9. 9.▲
   by jhoxray 5y ago

   Thank you, very good points!
10. 10.▲
    A Pure Types-Driven real-world apps development approach(medium.com)

    49 points by jhoxray 5y ago|38 comments
11. 11.▲
    by jhoxray 5y ago

    a bit too technical :)
12. 12.▲
    Do we need a platform like Medium, but with great support for Math and Code?

    2 points by jhoxray 5y ago|4 comments