undefined | Better HN

0 pointspbronez2mo ago0 comments

Interesting take, what do you think comes next? A programming language optimized for coding agents?

0 comments

pjmlp2mo ago

Kind of, more in line with formal specs used in high integrity computing, instead of classical programming languages.

j / k navigate · click thread line to collapse

pjmlp2mo ago

Kind of, more in line with formal specs used in high integrity computing, instead of classical programming languages.

j / k navigate · click thread line to collapse