Haskell, F#, OCaml, sml. NYC, June 24-25 2019
NYC, June 24-25 2019
Joined October 2014
- Tweets568
- Following185
- Followers659
- Likes276
Compose NYC is on for this year, June 24-25! Mark your calendars and start preparing proposals for talks: composeconference.org/2019/c…
Compose Conference retweeted
Hooray! Melbourne :: Compose 2019 videos are up on the interwebs! #melbcompose19 youtu.be/Uw8ayBv1j7Y
[Video] George Wilson - An Intuition for Propagators - Compose Melbourne 2019 youtu.be/nY1BCv3xn24 #composeconf
[Video] Jack Kelly - Reflex Outside the Browser - Compose Melbourne 2019 youtu.be/iik7yfB8BGo #composeconf
[Video] Brendan Zabarauskas - Lost in a Universe of Types - Compose Melbourne 2019 youtu.be/L9TubiWkBZ8 #composeconf
[Video] Svetlana Marina - Day-to-Day Property Based Testing in Scala - Compose Melbourne 2019 youtu.be/8P-nkPNYYuo #composeconf
[Video] Ambrose Bonnaire Sergeant - The Hidden Data Flow in Types - Compose Melbourne 2019 youtu.be/Uw8ayBv1j7Y #composeconf
Compose Conference retweeted
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.
This Post is from an account that no longer exists. Learn more
Compose Conference retweeted
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
Compose Conference retweeted
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.
Compose Conference retweeted
The next @paperswelovebos is in two weeks! We're happy to have @jimmykoppel reprise his @composeconf talk on defunctionalization. We hope you can join us!
meetup.com/Papers-We-Love-Bo…
Compose Conference retweeted
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!
Compose Conference retweeted
We are pleased to announce Dr Ambrose Bonnaire-Sergeant (@ambrosebs) as our keynote speaker for Melbourne::Compose 2019!
composeconference.org/2019-m…
Tickets are now on sale:
eventbrite.com.au/e/melbourn…
Compose Conference retweeted
Functors of the World, Unite! buff.ly/2x9fvgb by Kenny Foner via @composeconf
Compose Conference retweeted
We are starting a new series of blog posts with must-attend FP events chosen by our engineers. The list includes such all-stars as @skillsmatter, @composeconf , and @Lambda_World.
Take a look and plan your trip!
serokell.io/blog/best-haskel…
Compose Conference retweeted
Defunctionalization and Refunctionalization at Work via @jimmykoppel at @composeconf
brics.dk/RS/01/23/BRICS-RS-0…
brics.dk/RS/07/7/BRICS-RS-07…
Compose Conference retweeted
Really enjoyed this talk by @cdsmithus at @composeconf about the intersection of mathematics and programming, and teaching programming to kids via algebra youtube.com/watch?v=7ayVB5C6…
Compose Conference retweeted
"The Best Refactoring You've Never Heard Of," already up: youtube.com/watch?v=vNwukfhs… . Thanks @composeconf organizers for being impressively on-top of A/V.
Compose Conference retweeted
Diego @diegobalseiro talk is live now at the @composeconf in NY. Watch it live here: youtube.com/watch?v=BxUElNb-…
