Examples I’m thinking of: * A safer systems language doesn’t need to be able to prove everything correct in its type system. An unsafe escape hatch is fine. * You don’t need to solve vector rendering on GPU in its full generality to render most web pages fast.
-
-
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
That's also why doing research is difficult within the context of a production system. New constraints are often architecturally demanding, and the nature of production systems is to optimize the product in such a way (e.g., perf) that architectural changes become more costly.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Productionizing any “basic research” for the first time is almost certainly doomed to fail. But in the process, those attempting to do so gain valuable real-world experience, and also gain ideas about how they might possibly succeed.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
this is true of startup work and of writing, too
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
This is almost by design. Research: what is possible? Practice: what is useful? They should create a productive feedback loop.
Thanks. 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.