Love the talk title. I have so many questions about those libraries, though. Guess I will wait for after the talk.
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 …
-
-
-
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.
- Show replies
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.