Hacker News Reader

"Tiling agents" would be the most arguably relevant. Provably correct agents that approve the construction of other probably correct agents obeying similar invariants.

View on HN

Is "probably" there meant to be "provably"? I assume so, but I'm not sure.

Probably.

Thanks! Looks very interesting!

Reply on news.ycombinator.com