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.
-
Show this thread
-
It's not all win of course. There's plenty of tedious non-research stuff you have to do it, but I'd bet money that most CS research software would generate at least another two or three interesting research questions in the course of making it fit for production.
1 reply 0 retweets 5 likesShow this thread -
An interesting example is that I've learned far more useful things about algorithm design from timsort than almost any single paper I've read.
1 reply 0 retweets 10 likesShow this thread -
Replying to @DRMacIver
TIL. Cool beans. https://en.wikipedia.org/wiki/Timsort
1 reply 0 retweets 0 likes -
-
-
Replying to @DRMacIver
If in hell I have to finish writing every follow-on post I’ve publicly promised, I’m going to be there for countless eons.
1 reply 0 retweets 4 likes
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”
-
-
Replying to @Meaningness
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
0 replies 0 retweets 0 likesThanks. Twitter will use this to make your timeline better. UndoUndo
-
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.