News for hackers. Stuff that matters.

A comment on Rosette – A solver-aided programming language that extends Racket.

Re:Rosette – A solver-aided programming language that extend... by bandali on Sunday June 04, 2017 @11:43AM (#14482078)
For more on Rosette I recommend watching Emina's keynotes at the (sixth RacketCon) [0] and Clojure/west 2017 [1].

[0]: http://con.racket-lang.org/2016/#speakers

[1]: https://www.youtube.com/watch?v=KpDyuMIb_E0&index=25&list=PL...

[ Parent | on HN ]

There are no comments on this comment yet.