Hacker News new | ask | show | jobs
by xigoi 41 days ago
All programming languages I know of provide at least some guarantees about the program’s behavior.