After talking with @fitzgen this week, I'm now really excited about superoptimizers!
It's like: what if we could fuzz a code — but instead of yielding bugs, we search for optimizations.
When a new optimization is found it's saved, so that it can later be integrated in compilers
-
Prikaži ovu nit
Odgovor korisnicima @yoshuawuyts @fitzgen
I remember reading some papers on this many moons ago, so there might be some academic literature worth a skim. Makes me think, too, of the search space exploration from generative programming. You could find the permutations for how to express the algorithm, then cost them.
11:33 - 2. velj 2020.
0 replies
0 proslijeđenih tweetova
5 korisnika označava da im se sviđa
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.
. Music nerd. Not a tech bot. (any pronoun)