pschanely

Posts

• Show HN: Hypothesis and CrossHair demo (concolic / SMT-based PBT)
  by pschanelyon 9/1/2021, 12:51 AMwith 0 comments
• Code Contracts Propagate Requirements
  by pschanelyon 7/30/2021, 3:16 PMwith 0 comments
• Show HN: (Failing to) model Python regular expressions with Z3
  by pschanelyon 7/7/2020, 12:25 PMwith 0 comments
• Show HN: CrossHair – SMT Assisted Testing for Python
  by pschanelyon 1/15/2020, 2:35 PMwith 14 comments
• Show HN: A turn-based strategy game with emoji graphics
  by pschanelyon 4/5/2019, 1:58 PMwith 0 comments
• Show HN: Incremental MapReduce and the Model-View Problem
  by pschanelyon 2/7/2017, 2:15 PMwith 3 comments
• Show HN: Optimizing Higher Order Functions with Hypothetical Inverses
  by pschanelyon 4/29/2016, 12:22 PMwith 35 comments
• Sorts and Filters Suck
  by pschanelyon 3/24/2016, 10:25 PMwith 0 comments