https://hackerpaper.kaipfister.de/p/1809.03162/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=23707917urn:hackerpapers:mention:1809.03162:23707917Wed, 01 Jul 2020 23:09:06 GMT<p>Maybe this is just my ignorance speaking, but I think that using formal methods would take a lot of time; more than the projects I am working on are worth. Also, I don&#x27;t know how to do it. I mean, at school we had some examples, but those were for math-like stuff (how to verify that the algorithm calculating the square root actually calculates the square root), but I wouldn&#x27;t know how to apply that to programs that are mostly reading something from database and displaying it on a web page. Now that I googled a bit, I found a paper https://arxiv.org/abs/1809.03162 claiming that &quot;Tools for…</p><p><a href="https://hackerpaper.kaipfister.de/p/1809.03162/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.LO