3 ms·There's no meaningful, usable formally-proven FOSS OS. Being FOSS isn't enough.by burnt-resistor 6mo agoThere's no meaningful, usable formally-proven FOSS OS. Being FOSS isn't enough.