Login
From:
Andrew Myers
(Uncensored)
subscribe
Limits of Heroism – Andrew Myers
https://andrumyers.wordpress.com/2016/06/15/limits-of-heroism/
links
backlinks
Tagged with:
computer science
programming languages
Roast topics
Find topics
Find it!
There has been much nice work lately on proving that complex software is written correctly, including components like operating systems, compilers. But it’s hard to see how to scale these her…
