Full threadjrimbault·This article (/quasi-essay) was a good read : https://fasterthanli.me/articles/aiming-for-correctness-with...View on HN