PoudlardoMar 16

Leanstral: Open-source agent for trustworthy coding and formal proof engineering

Lean 4 paper (2021): https://dl.acm.org/doi/10.1007/978-3-030-79876-5_37

https://mistral.ai/news/leanstral

Show threadkimsantMar 17

AI agents will become a comodity.

Europeans not wanting to be dependent, and they are giving for free what US investors planed to charge with 90% margin.

Amazing! What a blast. Thank you for your service (this first 100M$ burned to POC GPT1 and from here, we are so good to go)

Show threadbigfudge
I really hope you're right. Sadly, though, I don't see any evidence of UK companies disinvesting from big US tech. There aren't good alternatives and what there is is too complex. As long as 'everyone else is still using MS', it seems like it's a brave CTO that switches to European providers. Unless that happens, the network effect of having AI+data is likely to mean US tech still has a big advantage in corp settings. But, HN - please tell me I'm wrong!
Mar 17 at 9:24amWeb
Show threadutopiahMar 17

> There aren't good alternatives and what there is is too complex.

Sounds like a worth challenge for this community, mind giving actual examples and see what others can suggest?

Show threadcoffeebeqnMar 17
Vertical integration and breadth and depth of offerings on the cloud and customer lock-in from dominating it for 20 years
Show threadworldsayshiMar 17
I wonder what the biggest (non-AI) moats are for US tech against the alternatives?
Show threadelophanto_agentMar 17
[dead]