pschanely | Dark Hacker News

1.	Show HN: Hypothesis and CrossHair demo (concolic / SMT-based PBT)(pschanely.github.io) 3 points by pschanely 4 years ago \| 0 comments
2.	Code Contracts Propagate Requirements(pschanely.github.io) 1 points by pschanely 4 years ago \| 0 comments
3.	Show HN: (Failing to) model Python regular expressions with Z3(medium.com) 2 points by pschanely 5 years ago \| 0 comments
4.	Show HN: CrossHair – SMT Assisted Testing for Python(github.com) 97 points by pschanely 6 years ago \| 14 comments
5.	Show HN: A turn-based strategy game with emoji graphics(medium.com) 4 points by pschanely 7 years ago \| 0 comments
6.	Show HN: Incremental MapReduce and the Model-View Problem(medium.com) 10 points by pschanely 9 years ago \| 3 comments
7.	Show HN: Optimizing Higher Order Functions with Hypothetical Inverses(medium.com) 55 points by pschanely 10 years ago \| 35 comments
8.	Sorts and Filters Suck(medium.com) 1 points by pschanely 10 years ago \| 0 comments