logoalt Hacker News

rafaelmn • yesterday at 12:53 PM • 0 replies • view on HN

A smarter agent can write a better compiler and leave the intent in densely packed/verifiable language structure that can encode propositions low level code cannot.