HN Explorer

pschanely

↗ HN profile [ 80.6 ms ] full profile
Karma
166
Created
October 25, 2012 (13y ago)
Submissions
0
  1. Show HN: Hypothesis and CrossHair demo (concolic / SMT-based PBT) (pschanely.github.io)
    3 points 0
  2. Code Contracts Propagate Requirements (pschanely.github.io)
    1 points 0
  3. Show HN: (Failing to) model Python regular expressions with Z3 (medium.com)
    2 points 0
  4. Show HN: CrossHair – SMT Assisted Testing for Python (github.com)
    97 points 14
  5. Show HN: A turn-based strategy game with emoji graphics (medium.com)
    4 points 0
  6. Show HN: Optimizing Higher Order Functions with Hypothetical Inverses (medium.com)
    55 points 35
  7. Sorts and Filters Suck (medium.com)
    1 points 0
  8. User focused language design in Elm (elmbark.com)
    3 points 0
  9. Ask HN: Which bars are willing to livestream the last alphago game tonight?
    1 points 0
  10. Show HN: A database index optimized for custom scoring functions (github.com)
    17 points 1
  11. Show HN: Proof-of-concept demo of a functional language IDE for touch devices (github.com)
    30 points 2
  12. Show HN: A stack-based pure functional language for touch devices (github.com)
    77 points 20
  13. Combine Your Scores Better (bijection.wordpress.com)
    1 points 0