Join the functional side

Joined January 2020
25 Photos and videos
Functional Fest retweeted
My yesterday talk about cake-slayer — a #Haskell framework for writing the backend of web applications — is already available on YouTube! 📺 You can watch it at any convenient time if you missed the live session 🤗
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!
1
9
35
Functional Fest retweeted
Hop on the @FunctionalFest talk about cake-slayer 🍰🔪 – a framework for building web apps in #Haskell. @ChShersh will discuss the architecture, why and how it was done and show some examples! 🎂 Prepare for the sugar rush with this sweeet presentation youtu.be/StgssIhwe2A
2
2
23
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
2
10
Functional Fest retweeted
A reminder that my talk about cake-slayer at @FunctionalFest is tomorrow! #Haskell 🎫 Book the ticket (because it's free 🆓)
🎦I'm going to speak at @FunctionalFest next Tuesday (Dec 14) about "cake-slayer" — an approach to the backend architecture of REST services written in #Haskell 🎫The meetup is free to attend! 🧵And in the thread I'll share a few highlights from my talk tickettailor.com/events/func…
1
10
Functional Fest retweeted
🎦I'm going to speak at @FunctionalFest next Tuesday (Dec 14) about "cake-slayer" — an approach to the backend architecture of REST services written in #Haskell 🎫The meetup is free to attend! 🧵And in the thread I'll share a few highlights from my talk tickettailor.com/events/func…

2
8
31
getting ready for a functional Christmas season 🎄? Give yourself a present 🎁 and get a seat at our next event with @ChShersh 🎅! tickettailor.com/events/func…

2
3
Functional Fest retweeted
Join me in about an hour! I'll be showing my experiments with an HTML over the wire framework for Typescript.✌
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…
1
2
6
Tomorrow we'll be extremely happy to host @_alpacaaa and his talk on "HTML over the wire" meets #functionalprogramming with #typescript! You're still in time to reserve your free spot! functionalfest.it/#speakers

2
4
Next Tuesday we will host @_alpacaaa who will speak about "HTML over the wire" meets Functional Programming using #typescript. Get a free ticket! tickettailor.com/events/func…

3
9
As @arkh4m promised in his talk youtube.com/watch?v=ZO9VopE1…, here is his blog post on @idrislang, dependent types and peeling zeros!
28 Oct 2021
I wrote a post about Idris, dependent types, and peeling zeroes: juliu.is/peeling-zeroes
1
1
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…

2
3
We have two new events coming soon! We're super happy to welcome @_alpacaaa and @ChShersh as our next speakers! functionalfest.it/#speakers

7
11
It's in two days! We'll host @arkh4m who will introduce us to dependent types in @idrislang! Remember to reserve your seat! functionalfest.it/#speakers

3
6
In a week we will host @arkh4m speaking about "Peeling zeros in @idrislang"! Don't forget to reserve your seat, it's free! tickettailor.com/events/func…

4
4
And ... we're back! We have some awesome events planned for these coming months! We'll start in two weeks with the amazing @arkh4m who will present some practical examples with #dependentTypes in @idrislang functionalfest.it/#speakers

7
16