OMG I JUST SYNTHESIZED THIS PROGRAM %0 = var %1 = const 2 %2 = mul %0, %1 GIVEN THE SPEC output == input + input !!!!!! THE WORLD IS MY OYSTER!!!!
-
Show this thread
-
Replying to @fitzgen
This so much looks like Souper or LLVM IR. What's the goal here?
1 reply 0 retweets 1 like -
Replying to @jubitaneja
That’s not an accident ;) Just implementing the loop-free program synthesis paper by Gulwani et al to get a better grasp on how program synthesis and superoptimizers work. Hoping to distill my experience into writing soon!
2 replies 0 retweets 8 likes
Replying to @fitzgen @jubitaneja
ohhh, I'd love to learn more about superoptimizers. Very interested in what you might write!
7:21 AM - 21 Oct 2019
from Medellín, Colombia
0 replies
0 retweets
2 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.