Top New Best Ask Show Jobs

pschanely

167 karma · joined October 25, 2012

submissions comments

Show HN: Hypothesis and CrossHair demo (concolic / SMT-based PBT)

pschanely.github.io·3 pts·pschanely·

Code Contracts Propagate Requirements

pschanely.github.io·1 pts·pschanely·

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

medium.com·2 pts·pschanely·

Show HN: CrossHair – SMT Assisted Testing for Python

github.com·97 pts·pschanely·

Show HN: A turn-based strategy game with emoji graphics

medium.com·4 pts·pschanely·

Show HN: Incremental MapReduce and the Model-View Problem

medium.com·10 pts·pschanely·

Show HN: Optimizing Higher Order Functions with Hypothetical Inverses

medium.com·55 pts·pschanely·

Sorts and Filters Suck

medium.com·1 pts·pschanely·

User focused language design in Elm

elmbark.com·3 pts·pschanely·

Ask HN: Which bars are willing to livestream the last alphago game tonight?

1 pts·pschanely·

Show HN: A database index optimized for custom scoring functions

github.com·17 pts·pschanely·

Show HN: Proof-of-concept demo of a functional language IDE for touch devices

github.com·30 pts·pschanely·

Show HN: A stack-based pure functional language for touch devices

github.com·77 pts·pschanely·

Combine Your Scores Better

bijection.wordpress.com·1 pts·pschanely·