- Show HN: Hypothesis and CrossHair demo (concolic / SMT-based PBT)
by pschanely on 9/1/21, 12:51 AM, with comments
- Code Contracts Propagate Requirements
by pschanely on 7/30/21, 3:16 PM, with comments
- Show HN: (Failing to) model Python regular expressions with Z3
by pschanely on 7/7/20, 12:25 PM, with comments
- Show HN: CrossHair – SMT Assisted Testing for Python
by pschanely on 1/15/20, 2:35 PM, with comments
- Show HN: A turn-based strategy game with emoji graphics
by pschanely on 4/5/19, 1:58 PM, with comments
- Show HN: Incremental MapReduce and the Model-View Problem
by pschanely on 2/7/17, 2:15 PM, with comments
- Show HN: Optimizing Higher Order Functions with Hypothetical Inverses
by pschanely on 4/29/16, 12:22 PM, with comments
- Sorts and Filters Suck
by pschanely on 3/24/16, 10:25 PM, with comments
- User focused language design in Elm
by pschanely on 3/17/16, 4:01 PM, with comments
- Ask HN: Which bars are willing to livestream the last alphago game tonight?
by pschanely on 3/14/16, 7:49 PM, with comments
- Show HN: A database index optimized for custom scoring functions
by pschanely on 1/26/16, 4:21 PM, with comments
- Show HN: Proof-of-concept demo of a functional language IDE for touch devices
by pschanely on 9/23/15, 5:49 PM, with comments
- Show HN: A stack-based pure functional language for touch devices
by pschanely on 9/22/15, 1:14 PM, with comments
- Combine Your Scores Better
by pschanely on 7/22/15, 1:48 PM, with comments