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 throwaway7645 on Sunday June 04, 2017 @10:27AM (#14481752)
The coolest thing I saw in the applications page is the Chlorophyll DSL compiler for Chuck Moore's green arrays many-core Forth chips.
[ Parent | on HN ]
Re:Rosette – A solver-aided programming language that extend... by agumonkey on Sunday June 04, 2017 @11:07AM (#14481922)
Ohh you're teasing me.
[ Parent | on HN ]
Re:Rosette – A solver-aided programming language that extend... by nickpsecurity on Sunday June 04, 2017 @12:43PM (#14482312)
Here's the tease:

https://www.youtube.com/watch?v=zMfdef-nYGY

[ Parent | on HN ]
Re:Rosette – A solver-aided programming language that extend... by agumonkey on Sunday June 04, 2017 @05:30PM (#14483633)
Thanks a ton. IIRC GA aren't that expensive. . might be fun to spend some money on this.
[ Parent | on HN ]
Re:Rosette – A solver-aided programming language that extend... by throwaway7645 on Sunday June 04, 2017 @03:02PM (#14482940)
Amazing. Is the Forth interpreter / compiler from Green Arrays?
[ Parent | on HN ]
Re:Rosette – A solver-aided programming language that extend... by nickpsecurity on Sunday June 04, 2017 @03:48PM (#14483156)
The DSL is a Berkley project:

http://pl.eecs.berkeley.edu/projects/chlorophyll/

[ Parent | on HN ]