the same way you verify that any other program compiles? I don't understand the ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		luckydata 26 days ago \| parent \| context \| favorite \| on: “Erdos problem #728 was solved more or less autono... the same way you verify that any other program compiles? I don't understand the question tbh, it seems self evident.

NetMageSCW 26 days ago [–]

Compiling isn’t sufficient because it doesn’t tell you if the program matches the specification. A program that always says the temperature is 80 F will compile but is a terrible solution to what is the temperature outside at this location right now.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact