Hacker News new | ask | show | jobs
by gsnedders 4666 days ago
Or that your compiler produces code equivalent to the (proven) correct C.