Made a bunch of performance improvements to Knossos this morning: roughly 3x faster on nonlinearizable histories, and ~100x faster on linear
-
-
@darachennis@aphyr Sounds like good profile guided optimisation rather than mechanical sympathy??? -
.
@mjpt777@darachennis yeah but it was a really emotional process; I truly *felt* the machine's struggle. Surely that counts. - 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.