Seems like a lot of what it means to move research into production is to figure out which constraints were thought terribly important at the research stage, but which actually aren’t. Once you do, you can drop those constraints and end up with a system simple enough to ship.
-
Show this thread
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.
0 replies
1 retweet
38 likes
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.