Hacker News Reader

> I also think that with agents the programming language fun is over, as we migrate to formalisms to drive them

This seems like a contradiction to me. Programming languages are formalisms. What kind of formalisms are you referring to ?

View on HN

Formal logic.

See the curry howard isomorphism. Formal logic can be seen as a programming language. In fact, functional programming language are in part based on that correspondence. And some like idris2 and lean4 take it to another level.

Reply on news.ycombinator.com