Dev tools
2020CrossHair
SMT Assisted Testing for Python
Curious97 points14 comments
6 Show HNs that got attention, 2015 to 2020. 286 points in all, 3 with 50 or more.
Dev tools
2020SMT Assisted Testing for Python
Curious97 points14 comments
Languages and libraries
2015A stack-based pure functional language for touch devices
Mixed77 points19 comments
Languages and libraries
2016Optimizing Higher Order Functions with Hypothetical Inverses
Debated55 points35 comments
Dev tools
2015Proof-of-concept demo of a functional language IDE for touch devices
Quiet30 points1 comments
Data
2016A database index optimized for custom scoring functions
Quiet17 points1 comments
Languages and libraries
2017Quiet10 points3 comments
Makers can hide their page. See how to opt out.