Very happy to be taking part in Scalar Online this year, with my talk "Probing the Unprovable and Proving the Improbable"! It'll probably improve your problemsolving. https://scalar-conf.com/2020-online.html …
-
Love the talk title. I have so many questions about those libraries, though. Guess I will wait for after the talk.
Yeah, the two libraries are kind of polar opposites: one is driven by the typesystem, the other by just running stuff. It's going to be a compare-and-contrast exercise. But the timescales are good for me fully documenting and publishing binaries in time for the talk.
-
-
Hoping for some new tricks around negative types.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.