profile-img
Racket

@racketlang

Official Twitter account for the Racket programming language. Please ask questions at https://t.co/V7rIWhB2rE or https://t.co/k1nOVqq2dI

calendar_today15-04-2010 10:37:56

9,9K Tweets

7,2K Followers

67 Following

Racket(@racketlang) 's Twitter Profile Photo
Racket
@racketlang

2 months ago

Karp : Formulating and Random Testing NP Reductions by Chenhao Zhang eecs.northwestern.edu/~czu2221/

'discusses the implementation of Karp on top of Racket and solver-aided host language Rosette'

Watch now: youtu.be/GUXcctw5Qks

Lang Language Con

#lang Karp : Formulating and Random Testing NP Reductions by Chenhao Zhang eecs.northwestern.edu/~czu2221/ 'discusses the implementation of Karp on top of Racket and solver-aided host language Rosette' Watch now: youtu.be/GUXcctw5Qks #Racket #RacketLang #RacketLanguage #RacketCon
account_circle