Hacker News new | ask | show | jobs
by mh7 1589 days ago
Neither rust or go have a formally verified compiler, they cannot be used for security critical programming.