Submissions from github.com/pschanely

		CrossHair: Analysis [Python] that blurs the line between testing and [types] (github.com/pschanely)
		1 point by aebtebeten on Dec 24, 2024 \| past
		Diff the behavior of two Python functions (github.com/pschanely)
		4 points by ColinWright on Jan 18, 2021 \| past
		Show HN: CrossHair – SMT Assisted Testing for Python (github.com/pschanely)
		97 points by pschanely on Jan 15, 2020 \| past \| 14 comments
		Show HN: A database index optimized for custom scoring functions (github.com/pschanely)
		17 points by pschanely on Jan 26, 2016 \| past \| 1 comment
		[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
		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
		ShrimpDB: a powerful embedded database in 227 lines of Python (github.com/pschanely)
		3 points by madkangas on Nov 8, 2012 \| past