Mathematician and CS | PhD and researcher at @cloudlab_urv | Messing around with distributed systems and functional programming

Joined July 2022
Leaving Twitter and heading to Bluesky. Find me there: gerardfinol.bsky.social☁️
1
12
Gerard Finol - gerardfinol.bsky.social retweeted
🤯➡️Cuando creíamos que el baremo era la novedad de la FPU 24, descubrimos un cambio alarmante en el lenguaje empleado en la convocatoria.📝 1. Hay una deliberada y sistemática omisión del término "contrato predoctoral". 📃🚫
8
294
87
492
131,664
Gerard Finol - gerardfinol.bsky.social retweeted
Effect handlers in action:
2
12
2
64
8,856
Gerard Finol - gerardfinol.bsky.social retweeted
📢Interesting publication at @AcmMiddleware StreamSense: Policy-driven Semantic Video Search in Streaming Systems ➡️ dl.acm.org/doi/10.1145/37008… #Middleware #Conference @HorizonEU
2
67
Gerard Finol - gerardfinol.bsky.social retweeted
Parte del trabajo de un investigador (del @csic, de universidades) es viajar. A congresos, reuniones de trabajo, salidas al campo, etc. Sería razonable pensar que, cuando viajamos por trabajo, nuestro empleador cubre nuestros gastos. Pero no es así. Te lo explico. ->
45
618
125
1,301
248,067
Gerard Finol - gerardfinol.bsky.social retweeted
Gender and age does have an effect on mental health during the PhD. Learn more here 👉🏻 papers.ssrn.com/sol3/papers.…
1
4
4
260
Gerard Finol - gerardfinol.bsky.social retweeted
Unison Forall 2024 video highlight: Gerard Finol's friendly introduction to backpropagation. Gerard dives into training neural networks in Unison and demystifies the process of backpropagation in a relaxed and approachable way. youtube.com/watch?v=1N5sF0FT… youtube.com/watch?v=1N5sF0FT…
3
4
1,010
Gerard Finol - gerardfinol.bsky.social retweeted
Our next talk is a fantastic explanation of what happens inside the black box of #AI. Gerard Finol will be presenting a friendly introduction to backpropagation and neural networks in Unison! Join us in our Discord. Talk starts in 15 minutes! unison-lang.org/discord?utm_…
2
3
837
🚨 This is happening today! 📅 See you there for my ✨friendly✨ introduction to backpropagation with Unison!
"Backpropagation is the backbone of training neural networks." 🤔 <Nods sagely> If you would like to actually understand what this means, join our next Unison Forall speaker, Gerard Finol, who will introduce the essentials in a friendly way. unison-lang.org/unison-foral…
1
2
38
Gerard Finol - gerardfinol.bsky.social retweeted
Getting accepted to a conference is all nice and fine, but now I need to actually prepare for it. Send coffee.
1
5
276
Gerard Finol - gerardfinol.bsky.social retweeted
No teniu la impressió que hi ha més actors que actrius? Explorem junts el Top 250 pel·lícules de l’Internet Movie Database (IMDb)!! #datastorytelling #SoCE
1
4
8
552
Gerard Finol - gerardfinol.bsky.social retweeted
L'Andrea Toloba, una altra de les #JovesMatemàtiquesCatalanes, tria la cita de Maryam Mirzakhani: "A les matemàtiques, no hi ha un únic camí cap a l’èxit. Has de trobar el teu propi camí i abraçar els reptes al llarg del viatge"
4
11
398
Gerard Finol - gerardfinol.bsky.social retweeted
Avui a la col·lecció #JovesMatemàtiquesCatalanes descobrireu a què es dedica l'Andriana.
1
2
8
516
I am really enjoining the new Contributor Spotlight videos of @unisonweb! 👏👏 In particular, the one with Fabio Labella is a complete lesson on Concurrency with functional programming 👀👀
🎙 Last week, we interviewed Fabio Labella about concurrency in Unison. We ask him what makes working with concurrency so hard, cover some concurrency abstractions from his library and the standard lib, and implement a simple queue together. youtu.be/kqr21OavORw?si=eZgL…
4
29
Gerard Finol - gerardfinol.bsky.social retweeted
I love the format of this, where one person tries to write something useful using a library, with guidance from the library author
📽️ The recording is up from last week's spotlight on the Orderator library. youtube.com/watch?v=-Ko3GjpW… We start with an introduction to the concept as a generalization of streams. Then we dive straight into adding some Orderator functions, from the simple to the more mind-bending.
1
2
6
1,928
Gerard Finol - gerardfinol.bsky.social retweeted
Unison Cloud is now generally available! ✅ Deploy with a function call. ✅ Call services as easily as local functions. ✅ Access typed storage like in-memory data structures. You can sign up for free at: unison.cloud/
1
45
10
126
35,001
Gerard Finol - gerardfinol.bsky.social retweeted
𝗔 𝗡𝗼𝘁𝗲 𝗼𝗻 𝗗𝗶𝘀𝘁𝗿𝗶𝗯𝘂𝘁𝗲𝗱 𝗖𝗼𝗺𝗽𝘂𝘁𝗶𝗻𝗴 argues that attempts to mask the distributed aspects are destined to fail 🏴‍☠️ 𝗗𝗶𝘀𝘁𝗿𝗶𝗯𝘂𝘁𝗶𝗼𝗻 𝗶𝘀, 𝗶𝗻 𝗲𝘀𝘀𝗲𝗻𝗰𝗲, 𝗶𝗿𝗿𝗲𝗱𝘂𝗰𝗶𝗯𝗹𝗲. Distributed Applications require distinct approaches and should embrace, rather than obscure, their distributed nature. 𝗔 𝗱𝗶𝘀𝘁𝗿𝗶𝗯𝘂𝘁𝗲𝗱 𝗳𝗶𝗿𝘀𝘁 𝗽𝗿𝗼𝗴𝗿𝗮𝗺𝗺𝗶𝗻𝗴 𝗺𝗼𝗱𝗲𝗹 𝗺𝘂𝘀𝘁 𝗻𝗼𝘁 𝗮𝘁𝘁𝗲𝗺𝗽𝘁 𝘁𝗼 𝗽𝗿𝗲𝘁𝗲𝗻𝗱 𝘁𝗵𝗮𝘁 𝗮 𝗱𝗶𝘀𝘁𝗿𝗶𝗯𝘂𝘁𝗲𝗱 𝘀𝘆𝘀𝘁𝗲𝗺 𝗶𝘀 𝗻𝗼𝘁 𝗮 𝗱𝗶𝘀𝘁𝗿𝗶𝗯𝘂𝘁𝗲𝗱 𝘀𝘆𝘀𝘁𝗲𝗺𝘀. xitter.cf/DominikTornow/st…
Rethinking the status quo: Imagine Distribution and Decentralization not as an afterthought but as core principles Let's dream and discuss: What would a Distributed First programming model look like? @resonatehqio
1
2
9
1,780
When you have a "-simple" suffixed version of your framework/library, means that you probably can do better...
2
11