For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
Rosette: A solver-aided programming language (emina.github.io)
36 points by tosh on Nov 24, 2021 | past | 3 comments
Rosette: Solver-aided programming language (emina.github.io)
3 points by espeed on Dec 12, 2018 | past | 1 comment
Rosette – A solver-aided programming language that extends Racket (emina.github.io)
142 points by tosh on June 4, 2017 | past | 11 comments
Rosette: a solver-aided programming language that extends Racket (emina.github.io)
93 points by fitzwatermellow on April 2, 2016 | past | 8 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You