| 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
|
|
