Refinement type contracts for verification of scientific investigative software · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/1909.00427/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTRefinement type contracts for verification of scientific investigative software — mentioned by trombonechamphttps://news.ycombinator.com/item?id=28266496urn:hackerpapers:mention:1909.00427:28266496Sun, 22 Aug 2021 15:56:41 GMT<p>Glad you like Paranoid Scientist, and thanks for the link to your project! Yes, you&#x27;re right that it only works on immutable data types. At first I had implemented something which copies the object, but this used way too much ram and ended up being quite buggy with a lot of edge cases. I didn&#x27;t invent the term hyperproperties (sadly). If you do end up implementing hyperproperties in runtime checks, you&#x27;ll definitely want to look into to doing a statistical approach. The key to making this work is reservoir sampling (https://en.wikipedia.org/wiki/Reservoir_sampling) - there are some more…</p><p><a href="https://hackerpaper.kaipfister.de/p/1909.00427/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.SE