Re:‘A toxic culture of overwork’: The graduate student menta...
by skrebbel on Sunday March 17, 2019 @05:04AM
(#19413015)
FWIW, my Master's did exactly that, but it was still fundamental state of the art stuff.
Like how to prove a huge complex distributed / multithreaded system deadlock free, or how to transform no complete problems into parameterized SAT expressions that SAT solvers can solve (which was pretty state of the art at the time). Those were super fun to learn and do, but I can't say I apply much of it at my company.
In other words, I agree both with you and the commenter you're replying to.
Like how to prove a huge complex distributed / multithreaded system deadlock free, or how to transform no complete problems into parameterized SAT expressions that SAT solvers can solve (which was pretty state of the art at the time). Those were super fun to learn and do, but I can't say I apply much of it at my company.
In other words, I agree both with you and the commenter you're replying to.