cs.PL cs.PL

Fog thickens over the line "def max(a: Int, b: Int): Int". What does it do? It returns the larger of two numbers, but how can you verify that? You could write a dozen tests with specific pairs: max(2,3)=3, max(5,5)=5, max(-1,0)=0. Still, a nagging doubt remains: what if it breaks for, say, a million and minus a million?

Imagine an interpreter sitting in a meeting room, translating every word. But then they notice their translation could improve if they learned from their mistakes. They start noting which phrases caused confusion and adjust them. Within an hour, their translation is more accurate and the meeting runs smoother.

A child builds a simple game in Scratch: a character appears in the center and instantly jumps to a corner. The first move happens between frames — no one sees it. Removing that command is safe. But how does an automatic optimization optimizer know that? Today, the Scratch repository holds tens of millions of projects written by young authors.