>I think it's time to pour VC money on a fully verified stack. While it's true that VCs spend lots of money, you do actually need some plausible-ish excuse for

>I think it's time to pour VC money on a fully verified stack. While it's true that VCs spend lots of money, you do actually need some plausible-ish excuse for how you could make money on it at some point in the future. It's not like VCs are out here funding public parks or charity hospitals. They fund for-profit businesses. People did sell operating systems in the 1990s, but I'm not sure if that's a strong market in the 2020s. How are you going to 10x a VC investment in basic software tools?