I made Idris code generation about 6 times faster (for my current project, at least) with a hack that took about an hour to implement. Nothing is ever this easy. I'm scared now. There must be a surprise lurking...
-
Show this thread
-
Although, when I say "took about an hour to implement" that ignores the "took most of the rest of the week to think about" part. Just to be clear :).
2 replies 2 retweets 41 likesShow this thread -
Replying to @edwinbrady
People underestimates time to think. Sometimes underrated even!
1 reply 0 retweets 0 likes
Replying to @yryo_617
I just think of Alex's t-shirt that says "weeks of coding can save hours of planning"...
12:46 PM - 21 Jun 2018
0 replies
0 retweets
1 like
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.