Top all-time · #9710
Stevan's notes
Personal blog · stevana.github.ioprogrammingsystems
Stevan's notes is a personal blog at stevana.github.io about programming and systems. Since 2024, 7 different Hacker News readers have linked it 11 times, most often “The sad state of property-based testing libraries”. The last post was in 2024, but the archive is still widely read.
Too few sampled comments (2) to say how often HN recommends it.?
Why HN links it
Linked in HN threads on property-based testing and test-case reduction. The comments discuss Hypothesis and QuickCheck and do not judge the writing. The posts cover automated test-case shrinking and why property testing finds bugs.
Summarised by Claude from a sample of 2 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Most-linked posts?
- The sad state of property-based testing libraries2 people · 2 mentions · first linked 2024-07-03
- Parallel stream processing with zero-copy fan-out and sharding2 people · 2 mentions · first linked 2024-01-24
What Hacker News says?
Do you have examples where Python’s Hypothesis (and its shrinking) works better than Haskell’s QuickCheck? This would let us improve Haskell’s QuickCheck. My understanding is that Haskell’s QuickCheck can shrink functions, and with parametric polymorphism, can work with vector types and more [1], which would be difficult if not impossible in Python. And in general, the base types covered by the shrinking in Python’s…
Comment linking /the_sad_state_of_property-based_testing_libraries.html
on “Automated Test-Case Reduction”Submitted Erlang's not about lightweight processes and message passing (2023) as a story · 331 points
HN discussionYeah, I've seen several packages for doing this, e.g. QuickCheck has modules for basic "monadic testing", and there are more elaborate packages like quickcheck-lockstep, etc. I'm sure they're useful to someone, but I've not found them compelling, compared to just writing these as "normal" properties. (For context, some "stateful" things that I've tested using ordinary PBT include browser automation (Hypothesis + Chr…
Comment linking /the_sad_state_of_property-based_testing_libraries.html
on “Why Property Testing Finds Bugs Unit Testing Does Not (2021)”Submitted The sad state of property-based testing libraries as a story · 208 points
HN discussionSubmitted Towards zero-downtime upgrades of stateful systems as a story · 96 points
HN discussionSubmitted Scheduling threads like Thomas Jefferson as a story · 82 points
HN discussionSubmitted The sad state of property-based testing libraries as a story · 6 points
HN discussionSubmitted Erlang's not about lightweight processes and message passing as a story · 2 points
HN discussionSubmitted Parallel stream processing with zero-copy fan-out and sharding as a story · 2 points
HN discussionSubmitted Parallel stream processing with zero-copy fan-out and sharding as a story · 2 points
HN discussionSubmitted Towards human-readable binary encodings as a story · 1 points
HN discussion