Skip to content

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

Ironclad – formally verified, real-time capable, Unix-like OS kernel

ironclad-os.org

375 pointsvitalnodo10 months ago144 comments

Comments

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.