logoalt Hacker News

throw-the-towelyesterday at 7:55 PM1 replyview on HN

The language may be irrelevant, but the hard guarantees it offers are not. Agents are still very stochastic, they need something deterministic constraining their output.


Replies

pjmlpyesterday at 8:16 PM

That is where formalisms come into play.

Also it is kind of interesting that there is so much enthusiasm to use Claude and Claw all over the place, yet lack of vision on how much the whole infrastructure will improve.

Even when it finally bursts and we get into another AI Winter, what was already achieved isn't going away.