I just got this down to 54s by fixing a silly mistake. I hope I've made more silly mistakes.https://twitter.com/edwinbrady/status/1265223132396367873 …
-
-
Is the Scheme profiling hooked back into Idris so you can find where time is spent?
-
It's possible but fiddly. It's given me a few clues though.
- 3 more replies
New conversation -
-
-
Yeah, I'd argue to max out single thread first. I just argue if the global vector you describe is an inhibitor for future parallelization?
-
No, that's per source file. "Global" means relative to the current file, you could create lots and they wouldn't interfere.
- 1 more reply
New conversation -
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.