1Show HN: Hypothesis and CrossHair demo (concolic / SMT-based PBT) (opens in new tab)(pschanely.github.io)3pschanely4y ago0Save
3Show HN: (Failing to) model Python regular expressions with Z3 (opens in new tab)(medium.com)2pschanely5y ago0Save
4Show HN: CrossHair – SMT Assisted Testing for Python (opens in new tab)(github.com)GitHub97pschanely6y ago14Save
5Show HN: A turn-based strategy game with emoji graphics (opens in new tab)(medium.com)4pschanely7y ago0Save
6Show HN: Incremental MapReduce and the Model-View Problem (opens in new tab)(medium.com)10pschanely9y ago3Save
7Show HN: Optimizing Higher Order Functions with Hypothetical Inverses (opens in new tab)(medium.com)55pschanely10y ago35Save
11Show HN: A database index optimized for custom scoring functions (opens in new tab)(github.com)GitHub17pschanely10y ago1Save
12Show HN: Proof-of-concept demo of a functional language IDE for touch devices (opens in new tab)(github.com)GitHub30pschanely10y ago1Save
13Show HN: A stack-based pure functional language for touch devices (opens in new tab)(github.com)GitHub77pschanely10y ago19Save
