logoalt Hacker News

Jtsummersyesterday at 9:16 PM1 replyview on HN

Shrink Ray, described in the article, is developed by D.R. MacIver who also developed Hypothesis. I remember when it was announced a while back but had forgotten about it, I guess I have something to play with tonight.


Replies

akshayshahyesterday at 9:34 PM

These days, he’s also working on Hegel - bringing test case reduction and PBT to more languages.

https://hegel.dev