Joachim Breitner personal blog
Finding bugs in Haskell code by proving it
Last week, I wrote a small nifty tool called bisect-binary , which semi-automates answering the question “To what extent can I fill this file up with zeroes and still have it working”. I wrote it it in Haskell, and part of the Haskell code, in the Intervals.hs module, is a data structure for “subsets of a file”…
- Points
- 205
- HN comments
- 44
- Submissions
- 1
- Cited by
- 0 commenters
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Dec 10, 2017 | Finding bugs in Haskell code by proving it by based2 | 205 | 44 |
