The registration of the talk "#Haskell architecture is just a piece of cake" by @ChShersh is already up youtube.com/watch?v=StgssIhw…. Go watch it if you missed the live session!
In a couple of hours we will host @ChShersh talking about "cake-slayer", an approach to the backend architecture of REST services in #Haskell. Join us at youtu.be/StgssIhwe2A
the video of yesterday's talk by @_alpacaaa is already up. Watch it at your own pace! youtube.com/watch?v=ZoTpOQr2…
In two hours and a half, we'll be live again! Today we'll host @_alpacaaa for another amazing event! Tune in at youtube.com/watch?v=ZoTpOQr2…
As @arkh4m promised in his talk youtube.com/watch?v=ZO9VopE1…, here is his blog post on @idrislang, dependent types and peeling zeros!
I wrote a post about Idris, dependent types, and peeling zeroes: juliu.is/peeling-zeroes
We published the video of our last event with @arkh4m on Peeling zeros in Idris youtu.be/ZO9VopE1EgM. Remember than in two weeks we'll have @_alpacaaa speaking of "HTML over the wire" meets Functional Programming with #typescipt. Reserve your spot tickettailor.com/events/func…
Replying to @Ocramius
we had the pleasure to host @vrom911 speaking on this exact topic, if you prefer the video version youtube.com/watch?v=vK6lHWQa…
in 111 minutes we'll be live with @arkh4m and "Peeling zeros in @idrislang"! Join us at youtube.com/watch?v=ZO9VopE1…
Replying to @trupill
@trupill you've got a question (actually two) on youtube.com/watch?v=alXhK5ZI…, if you feel like answering
In just a bit more than an hour we will have @Felienne speaking on the Cognitive aspects of Programming. Join the stream on youtu.be/FsAwWHeTi3s

