Hacker News new | ask | show | jobs
by sunshowers 1 day ago
Updated https://oxide.computer/blog/iddqd-unsafe#what-about-formal-m... with some notes.