"Beware of bugs in the above code; I have only proved it correct, not tried it." -- Donald Knuth. This is the biggest difference between academic and professional programming in a single pithy statement, from a paper…
[throwaway account] A couple of years ago, my company (SEA) was bought by a private equity-based company that was assembling a portfolio of similar companies. The IT group got taken over by a competent yet overworked…
"Beware of bugs in the above code; I have only proved it correct, not tried it." -- Donald Knuth. This is the biggest difference between academic and professional programming in a single pithy statement, from a paper…
[throwaway account] A couple of years ago, my company (SEA) was bought by a private equity-based company that was assembling a portfolio of similar companies. The IT group got taken over by a competent yet overworked…