jasonsteving

5 ms·

1. 1.▲
   by jasonsteving 2y ago

   You nailed an interesting nuance there about agents needing to make their own decisions! I'm getting fairly excited about "agentic" solutions to the point that I even went out of my way to build "AgentOfCode" ( http
2. 2.▲
   by jasonsteving 2y ago

   Check out https://app.gov-notes.com/ - dig into US congressional committee hearing videos (for free)
3. 3.▲
   by jasonsteving 2y ago

   It's interesting to hear about the twists and turns that got you here, thanks for sharing. I happen to have built something in the same vein in a few months earlier this summer for the Gemini API developer competition. For anyone inter
4. 4.▲
   by jasonsteving 3y ago

   Thank you for the kind feedback!
5. 5.▲
   by jasonsteving 3y ago

   Great question! This is actually something that will take more work to pull off "right" - but it's definitely planned. For now, Java code can call into Claro code in a fairly straightforward way. The main hurdles are: - the n
6. 6.▲
   by jasonsteving 3y ago

   I just want to echo your point that even though any individual new language is very unlikely to ever see significant use, I would still find deep satisfaction in some of the valuable ideas contained within finding their place in a more main
7. 7.▲
   by jasonsteving 3y ago

   So, I understand why it seems like that Java signature you gave would work, but it in fact does not work. Check out this replit example to see the full example with your signature: https://replit.com/@JasonSteving1/De
8. 8.▲
   by jasonsteving 3y ago

   This section[1] gives a much deeper dive into how I'm thinking about this. [1] https://docs.clarolang.com/generics/contracts/dynamic_dispat...
9. 9.▲
   by jasonsteving 3y ago

   I'm glad you've found Claro interesting so far! I can understand where you're coming from with the split between API and impl. It's certainly something I'm keeping on my radar. Personally I care more about readabili
10. 10.▲
    by jasonsteving 3y ago

    Thanks, this is exactly how I'm thinking about this! And actually, beyond just having a certain "innovation budget" (which is true) I also just personally want a language that's aggressively simple (a subjective measure)
11. 11.▲
    by jasonsteving 3y ago

    Hey! I wrote Claro so I can speak to this :). There are certainly some constraints to get these properties. To eliminate deadlocking, Claro tracks any explicit "blocking" on the completion of a future<T> and requires the con
12. 12.▲
    by jasonsteving 3y ago

    Definitely a clear similarity to the problems that incremental build tools (i.e. Bazel) are solving! At the moment, Claro doesn't allow any "escape hatches" but the logic there has really been to start with a strong/safe
13. 13.▲
    by jasonsteving 3y ago

    This is basically spot on. I'm glad you were able to come away with that understanding from your initial read of the docs.
14. 14.▲
    by jasonsteving 3y ago

    Thanks for your interest in this! Claro's Graph Procedures are certainly something I'm very proud of. I think they provide a powerful concurrency abstraction that limit the spread of concurrency-related complexity in a way that I
15. 15.▲
    by jasonsteving 3y ago

    Hi everyone, I'm the creator of Claro. Thank you for taking the time to take a look into the language! It's been very satisfying and encouraging seeing so many largely positive reactions, it's been a 3 year labor of love (and
16. 16.▲
    Programming Language Checklist(alexshroyer.com)

    5 points by jasonsteving 3y ago|2 comments