undefined | Better HN

0 pointsaapoalas6d ago0 comments

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!

0 comments

2 comments · 2 top-level

sunshowers6d ago

Mostly chatted with some people and figured it out with their help.

sunshowers5d ago

Updated https://oxide.computer/blog/iddqd-unsafe#what-about-formal-m... with some notes.

j / k navigate · click thread line to collapse