Wednesday, January 23, 2019

New top story on Hacker News: Formally Verified Software in the Real World (2018)

Formally Verified Software in the Real World (2018)
123 by icc97 | 9 comments on Hacker News.


No comments:

Post a Comment

She built an AI bot of her mother to help her grieve

Article URL: https://restofworld.org/2026/james-multon-love-machines-book-ai-companions/ Comments URL: https://news.ycombinator.com/item?id...