Hacker News new | ask | show | jobs
by burnt-resistor 54 days ago
There's no meaningful, usable formally-proven FOSS OS. Being FOSS isn't enough.