1Show HN: Hypothesis and CrossHair demo (concolic / SMT-based PBT) (opens in new tab)(pschanely.github.io)3pschanely4y ago0
3Show HN: (Failing to) model Python regular expressions with Z3 (opens in new tab)(medium.com)2pschanely5y ago0
4Show HN: CrossHair – SMT Assisted Testing for Python (opens in new tab)(github.com)97pschanely6y ago14
5Show HN: A turn-based strategy game with emoji graphics (opens in new tab)(medium.com)4pschanely6y ago0
6Show HN: Incremental MapReduce and the Model-View Problem (opens in new tab)(medium.com)10pschanely9y ago3
7Show HN: Optimizing Higher Order Functions with Hypothetical Inverses (opens in new tab)(medium.com)55pschanely9y ago35
