logoalt Hacker News

luckydatalast Saturday at 7:11 AM1 replyview on HN

the same way you verify that any other program compiles? I don't understand the question tbh, it seems self evident.


Replies

NetMageSCWlast Saturday at 8:48 PM

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.