pschanely's submissions

1.		Show HN: Hypothesis and CrossHair demo (concolic / SMT-based PBT) (pschanely.github.io)
		3 points by pschanely on Sept 1, 2021 \| past
2.		Code Contracts Propagate Requirements (pschanely.github.io)
		1 point by pschanely on July 30, 2021 \| past
3.		Show HN: (Failing to) model Python regular expressions with Z3 (medium.com/pschanely)
		2 points by pschanely on July 7, 2020 \| past
4.		Show HN: CrossHair – SMT Assisted Testing for Python (github.com/pschanely)
		97 points by pschanely on Jan 15, 2020 \| past \| 14 comments
5.		Show HN: A turn-based strategy game with emoji graphics (medium.com/pschanely)
		4 points by pschanely on April 5, 2019 \| past
6.		Show HN: Incremental MapReduce and the Model-View Problem (medium.com/pschanely)
		10 points by pschanely on Feb 7, 2017 \| past \| 3 comments
7.		Show HN: Optimizing Higher Order Functions with Hypothetical Inverses (medium.com/pschanely)
		55 points by pschanely on April 29, 2016 \| past \| 35 comments
8.		Sorts and Filters Suck (medium.com/pschanely)
		1 point by pschanely on March 24, 2016 \| past
9.		User focused language design in Elm (elmbark.com)
		3 points by pschanely on March 17, 2016 \| past
10.		[flagged] Ask HN: Which bars are willing to livestream the last alphago game tonight?
		1 point by pschanely on March 14, 2016 \| past
11.		Show HN: A database index optimized for custom scoring functions (github.com/pschanely)
		17 points by pschanely on Jan 26, 2016 \| past \| 1 comment
12.		[dupe] Show HN: Proof-of-concept demo of a functional language IDE for touch devices (github.com/pschanely)
		30 points by pschanely on Sept 23, 2015 \| past \| 2 comments
13.		Show HN: A stack-based pure functional language for touch devices (github.com/pschanely)
		77 points by pschanely on Sept 22, 2015 \| past \| 19 comments
14.		Combine Your Scores Better (bijection.wordpress.com)
		1 point by pschanely on July 22, 2015 \| past