alt
Hacker News
giovannibonetti
•
today at 1:07 AM
•
0 replies
•
view on HN
Property testing and deterministic simulation seem like good alternatives.