user: pschanely

167 karma | created 13 years ago

recent submissions

(no title)

1 year ago|discuss

(no title)

3 years ago|discuss

(no title)

3 years ago|discuss

(no title)

3 years ago|discuss

Show HN: Hypothesis and CrossHair demo (concolic / SMT-based PBT) (pschanely.github.io)

3 pts|4 years ago|discuss

Code Contracts Propagate Requirements (pschanely.github.io)

1 pts|4 years ago|discuss

(no title)

5 years ago|discuss

(no title)

5 years ago|discuss

(no title)

5 years ago|discuss

Show HN: (Failing to) model Python regular expressions with Z3 (medium.com)

2 pts|5 years ago|discuss

(no title)

6 years ago|discuss

(no title)

6 years ago|discuss

(no title)

6 years ago|discuss

(no title)

6 years ago|discuss

(no title)

6 years ago|discuss

Show HN: CrossHair – SMT Assisted Testing for Python (github.com)

97 pts|6 years ago|14 comments

Show HN: A turn-based strategy game with emoji graphics (medium.com)

4 pts|7 years ago|discuss

(no title)

8 years ago|discuss

(no title)

9 years ago|discuss

Show HN: Incremental MapReduce and the Model-View Problem (medium.com)

10 pts|9 years ago|3 comments