Satwik Bhattamishra
@satwik77.bsky.social
CS PhD student at Oxford | Ex - Research fellow at Microsoft Research India, Undergrad at BITS Pilani
satwikb.com
satwikb.com
You can find a thread about the paper here: x.com/satwik1729/s...
x.com
x.com
December 9, 2024 at 7:09 PM
You can find a thread about the paper here: x.com/satwik1729/s...
Reposted by Satwik Bhattamishra
I wanted my Algorithms students to program NP hardness reductions so we developed Karp. A domain specific language for writing Karp reductions. Our students are quite good with a debugger, so reducing learning Theory to debugging seemed like a win. docs.racket-lang.org/karp/index.h...
Karp: A Language for NP Reductions
docs.racket-lang.org
November 27, 2024 at 4:48 AM
I wanted my Algorithms students to program NP hardness reductions so we developed Karp. A domain specific language for writing Karp reductions. Our students are quite good with a debugger, so reducing learning Theory to debugging seemed like a win. docs.racket-lang.org/karp/index.h...