pschanely

Recent Submissions

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