Haskell, F#, OCaml, sml. NYC, June 24-25 2019
NYC, June 24-25 2019
- Tweets 568
- Following 185
- Followers 659
- Likes 276
Pinned Tweet
Compose NYC is on for this year, June 24-25! Mark your calendars and start preparing proposals for talks: composeconference.org/2019/c…
2
25
25
Compose Conference retweeted
Hooray! Melbourne :: Compose 2019 videos are up on the interwebs! #melbcompose19 piped.video/Uw8ayBv1j7Y
15
19
[Video] George Wilson - An Intuition for Propagators - Compose Melbourne 2019 piped.video/nY1BCv3xn24 #composeconf
1
7
[Video] Jack Kelly - Reflex Outside the Browser - Compose Melbourne 2019 piped.video/iik7yfB8BGo #composeconf
1
2
[Video] Brendan Zabarauskas - Lost in a Universe of Types - Compose Melbourne 2019 piped.video/L9TubiWkBZ8 #composeconf
1
2
[Video] Svetlana Marina - Day-to-Day Property Based Testing in Scala - Compose Melbourne 2019 piped.video/8P-nkPNYYuo #composeconf
1
2
[Video] Ambrose Bonnaire Sergeant - The Hidden Data Flow in Types - Compose Melbourne 2019 piped.video/Uw8ayBv1j7Y #composeconf
1
1
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.
6
23
131
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
20
215
1,119
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.
8
25
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…
4
5
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!
1
7
11
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…
8
11
Compose Conference retweeted
Functors of the World, Unite! buff.ly/2x9fvgb by Kenny Foner via @composeconf
5
18
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…
10
24
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…
1
5
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 piped.video/watch?v=7ayVB5C6…
1
6
Compose Conference retweeted
"The Best Refactoring You've Never Heard Of," already up: piped.video/watch?v=vNwukfhs… . Thanks @composeconf organizers for being impressively on-top of A/V.
5
18
Compose Conference retweeted
Diego @diegobalseiro talk is live now at the @composeconf in NY. Watch it live here: piped.video/watch?v=BxUElNb-…
5
8