Now that the cat is out of the bag, I should add that I'm also participating in trying to help @david_i_spivak and Brendan realize their vision for the Topos Institute, in my case as a board member.
Let's put category theory to work.
Today I was working with David Spivak and Brendan Fong on our new course, Programming with Categories. It will take place in January at MIT as part of IAP. We'll introduce categorical concepts and teach elements of Haskell to illustrate them. Yes, all 18 lectures will be recorded
We're already looking forward to ICFP 2020! Next year, we'll be in Jersey City, NJ, Aug 23-28, across the river from lower Manhattan. @fancytypes is organizing and all the details are at icfp20.sigplan.org.
I know lots of you have been waiting patiently.... @ComposeMelb 2019 is afoot on September 2nd, and tickets are on sale now!! 🥳
eventbrite.com.au/e/melbourn…
Our awesome keynote speaker is Typed Clojure wizard @ambrosebs!
How Haskell knowledge spreads:
Me: How was Compose?
@Deech: Good! Enjoyed the @Kmett hallway track.
Me: What is Ed's mind these days?
[Deech and @shajra begin to relay the Kmett thoughts to the rest of the backend team]