Hacker News new | ask | show | jobs
by aapoalas 4 days ago
Ooh, cooll to hear you got some uptake on the call for formal methods help! Or did you end up figuring it out on your own? Either way, looking forward to the followup!
2 comments
sunshowers 4 days ago
Mostly chatted with some people and figured it out with their help.
link
sunshowers 3 days ago
Updated https://oxide.computer/blog/iddqd-unsafe#what-about-formal-m... with some notes.
link