pschanely

167 karmajoined October 25, 2012On HN

Recent submissions

Show HN: Hypothesis and CrossHair demo (concolic / SMT-based PBT)pschanely.github.io
3pschanely5ydiscuss
Code Contracts Propagate Requirements pschanely.github.io
1pschanely5ydiscuss
Show HN: (Failing to) model Python regular expressions with Z3 medium.com
2pschanely6ydiscuss
Show HN: CrossHair – SMT Assisted Testing for Python github.com/pschanely
97pschanely6y14 comments
Show HN: A turn-based strategy game with emoji graphics medium.com
4pschanely7ydiscuss
Show HN: Incremental MapReduce and the Model-View Problem medium.com
10pschanely9y3 comments
Show HN: Optimizing Higher Order Functions with Hypothetical Inverses medium.com
55pschanely10y35 comments
Sorts and Filters Suck medium.com
1pschanely10ydiscuss
User focused language design in Elm elmbark.com
3pschanely10ydiscuss
Ask HN: Which bars are willing to livestream the last alphago game tonight?
1pschanely10ydiscuss
Show HN: A database index optimized for custom scoring functions github.com/pschanely
17pschanely10y1 comment
Show HN: Proof-of-concept demo of a functional language IDE for touch devices github.com/pschanely
30pschanely10y1 comment
Show HN: A stack-based pure functional language for touch devices github.com/pschanely
77pschanely10y19 comments
Combine Your Scores Better bijection.wordpress.com
1pschanely11ydiscuss

All submissions and comments on Hacker News.