Hacker News
- Software bug causes YAM cryptocurrency to implode two days after launch https://www.theregister.com/2020/08/13/yam_cryptocurrency_bug_governance/ 31 comments
Linking pages
- An introduction to Formal Verification for Software Systems | Moritz Systems https://www.moritz.systems/blog/an-introduction-to-formal-verification/ 0 comments
- Voucher System verification using TLA+ | Moritz Systems https://www.moritz.systems/blog/voucher-system-verification-using-tlaplus/ 0 comments
Related searches:
Search whole site: site:theregister.com
Search title: Single-line software bug causes fledgling YAM cryptocurrency to implode just two days after launch • The Register
See how to search.