Some of my problems with correctness research

Article URL: https://www.drmaciver.com/2018/04/some-of-my-problems-with-correctness-research/

Comments URL: https://news.ycombinator.com/item?id=16815544

Points: 53

# Comments: 1

from Hacker News: Front Page https://ift.tt/2HuvIku
via