4 ms·
seL4. Simple and formally verified. I think it's time to pour VC money on a fully verified stack. Perhaps not everything needs to be proven, integrity for som
by nextos 4y ago
seL4. Simple and formally verified.
I think it's time to pour VC money on a fully verified stack.
Perhaps not everything needs to be proven, integrity for some components can be ensured more informally with e.g. refinement types.
Lots of governments and organizations need more robust software.
- turminal 4y agoseL4 is great in theory, and formal verification is awesome, but I read some of their code recently the implementation leaves something to be desired.
- sbierwagen 4y ago>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?
- nextos 4y agoI guess selling secure and verified devices. AdaCore is doing it. My point is that it can be a very profitable niche, not that VCs fund it pro bono.