Hacker News new | ask | show | jobs
user: pschanely
created: 2012-10-25
karma: 167

submissions:

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