A thing I think is underappreciated in academia is what a good driver of research questions engineering is. "What would happen if we took this thing and actually wanted to use it for real?" is a really good forcing function.
-
-
The bit in the wiki article about formal verification was interesting as an example of “sometimes this is actually worthwhile and not just academic masturbation”
-
I think formal verification and similar are often worthwhile! The problem is it's hard and there's not much money to invest in its usability, so it's rare to be able to take advantage of that
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.