3 ms·Finally, a fix for Tony Hoare's billion-dollar mistake!by reverius42 12y agoFinally, a fix for Tony Hoare's billion-dollar mistake!