Way too many dupes to list manually:<p><a href="https://hn.algolia.com/?query=therac-25&sort=byPopularity&prefix&page=0&dateRange=all&type=story" rel="nofollow">https://hn.algolia.com/?query=therac-25&sort=byPopularity&pr...</a>