4 ms·
Previous discussion (Jun 2024): https://news.ycombinator.com/item?id=40753989 https://news.ycombinator.com/item?id=40753989
by ot 2y ago
Previous discussion (Jun 2024): https://news.ycombinator.com/item?id=40753989 https://news.ycombinator.com/item?id=40753989
- aiono 2y agoThanks, I couldn't find it via Google search on this website for some reason.
- onionisafruit 2y agoI’m glad you couldn’t if that would have kept you from posting it today.
- aiono 2y agoYeah I wasn't going to post it if it was shared before. But I am happy that some are happy that it's reposted.
- ot 2y agoNothing wrong with reposts, it's just useful to link to previous discussions for context :)
- ChrisArchitect 2y agoGoogle search? Use the HN search on site here: https://hn.algolia.com/?q=https%3A%2F%2Fbrooker.co.za%2Fblog%2F2024%2F04%2F17%2Fformal https://hn.algolia.com/?q=https%3A%2F%2Fbrooker.co.za%2Fblog...
- dang 2y agoThanks! Macroexpanded: Formal methods: Just good engineering practice? - https://news.ycombinator.com/item?id=40753989 https://news.ycombinator.com/item?id=40753989 - June 2024 (149 comments) 15 Years of Formal Methods at AWS: Just Good Engineering Practice? - https://news.ycombinator.com/item?id=40283052 https://news.ycombinator.com/item?id=40283052 - May 2024 (1 comment)