Sign in

Flavio 🏴‍☠️

@flaviocorpa.com
952 followers 158 following 1.3K posts

👨🏼‍💻 Senior Software Engineer 🦥 Haskell/Elm at Scrive ♟️ First #chesspunks on this app 🏯 日本語を勉強中(N3) 🏁 On a mission to reach 2000 FIDE before 2031

PostsRepliesMedia
Reposted by Flavio 🏴‍☠️
Chris B-Eeeeek!-ler 👻 @cwbuecheler.com · 25/09/2026
Day two of #ReactAlicante (@reactalicante.es). Well, day one for folks who didn't do workshops. But I did! Shout out to @tkdodo.eu for helping to expand my knowledge of TanStack Query, and to @flaviocorpa.com for stretching my brain with functional programming in TypeScript! I present tomorrow! 😅
031
Reposted by Flavio 🏴‍☠️
Evan Czaplicki @acadia.engineering · 24/09/2026
I have a bunch of changes that could be Elm 0.19.3. It's basically all "compiler improvements" that will not be visible to users, so I looking for feedback on which aspects sound most interesting. Let me know here or in the more detailed thread! ⬇️ discourse.elm-lang.org/t/help-plann...
01312
Reposted by Flavio 🏴‍☠️
Michael Chavinda @mschav.bsky.social · 22/09/2026
Haskell parquet features now tracked on the official parquet site: parquet.apache.org/docs/file-fo...
parquet.apache.org
Implementation status
This page summarizes the features supported by different Parquet implementations. Note: If you find out of date information, please help us improve the accuracy of this page by opening an issue or sub...
063
Reposted by Flavio 🏴‍☠️
Chris B-Eeeeek!-ler 👻 @cwbuecheler.com · 14/09/2026
My only excuse is that I'm in the functional programming in TypeScript workshop that @flaviocorpa.com is giving, although this was the other one I strongly considered! (I'm also in yours)
241
Flavio 🏴‍☠️ @flaviocorpa.com · 14/09/2026
Awesome, nice to meet you! 🙌🏻
120
Flavio 🏴‍☠️ @flaviocorpa.com · 13/09/2026
Para los que me siguen por aquí… he creado una app! flaviocorpa.com/presentando-...
flaviocorpa.com
¡Presentando Koneko Kanji!
Una nueva aplicación, diseñada para hispanohablantes, que usa un algoritmo de repetición espaciada para ayudarte a aprender kanji y vocabulario japonés.
002
Flavio 🏴‍☠️ @flaviocorpa.com · 22/08/2026
🐈漢字👀
000
Flavio 🏴‍☠️ @flaviocorpa.com · 21/08/2026
New blogpost! flaviocorpa.com/do-not-talk-...
flaviocorpa.com
Do not talk to your LLM, write to it!
Why I write my prompts instead of dictating them to my coding agent, why the reason is not the keyboard, and the one case where talking is the better tool
030
Flavio 🏴‍☠️ @flaviocorpa.com · 04/08/2026
Yeah agree even if I found out the good move here probably I would have lost in anyway 😅 need to freshen up my rook endgames 🙏🏼🙏🏼
010
Flavio 🏴‍☠️ @flaviocorpa.com · 04/08/2026
Regarding game one, funnily enough that’s what I played! But the correct move is Nc5 apparently 🤔
100
Flavio 🏴‍☠️ @flaviocorpa.com · 04/08/2026
It’s amazing because of how unintuitive the position is, any move along the same file holds the draw! 🤯
100
Flavio 🏴‍☠️ @flaviocorpa.com · 04/08/2026
Thanks John, you encouraged me! 🥹
100
Flavio 🏴‍☠️ @flaviocorpa.com · 03/08/2026
I think I was also extremely unlucky to play against two unranked opponents in an open tournament but what you gonna do… 🤷🏼‍♂️
100
Flavio 🏴‍☠️ @flaviocorpa.com · 03/08/2026
Terrible tournament, I’m dropping 13,6 points, despite being winning in two games against 1770+ players, I wasn’t able to convert my advantage into a win 🥹🥹 chess is hard!
100
Flavio 🏴‍☠️ @flaviocorpa.com · 03/08/2026
Game 7: chess is hard, I prepared a line that gave me the advantage and my opponent comes up with this: how do you continue pushing with white?
Please ask for the FEN
100
Flavio 🏴‍☠️ @flaviocorpa.com · 03/08/2026
Game 6: playing unrated kinds is always tricky, you don’t really know if they are gonna destroy you or the other way round… black to play and be better.
Please ask for the FEN
100
Flavio 🏴‍☠️ @flaviocorpa.com · 03/08/2026
Game 5: I was winning a big part of the game, but the position is tricky and I should not allow counterplay, what is the only move that wins here for white? 🤔
If you are interested in the FEN please ask for it
100
Flavio 🏴‍☠️ @flaviocorpa.com · 03/08/2026
Game 4: white to play and mate in 3 (really beautiful) 🤩
rqb3kr/1pNp1ppp/p2Q1n2/2p5/1nB5/5N2/PPP2PPP/R1B1R1K1 w - - 4 16
110
Flavio 🏴‍☠️ @flaviocorpa.com · 03/08/2026
Game 3: black to play and hold a difficult draw (not like I did) 🤡
8/8/8/2K1p1kp/3r4/1PR2PP1/8/8 b - - 6 57
100
Flavio 🏴‍☠️ @flaviocorpa.com · 03/08/2026
Game 2: white to play and destroy de Scandinavian defence 😎
rn2kb1r/ppqbpppp/5n2/2p1N3/3P2P1/2N2Q2/PPPB1P1P/R3KB1R w KQkq - 0 10
100
Flavio 🏴‍☠️ @flaviocorpa.com · 03/08/2026
I'm gonna share some positions of the games I played last week, one game per day, classical 90+30 time format. Game 1: Black to move and be better than a FIDE Master 😅🥹 #chesspunks
r2r2k1/ppp2pbp/n4np1/3Pp1B1/4P3/5N2/PP3PPP/2KR1B1R b - - 0 12
120
Flavio 🏴‍☠️ @flaviocorpa.com · 26/07/2026
Me gusta más la palabra polémico 😝
010
Flavio 🏴‍☠️ @flaviocorpa.com · 23/07/2026
With NHS? 👀
000
Reposted by Flavio 🏴‍☠️
Evan Czaplicki @acadia.engineering · 06/07/2026
New Elm release today! 🎉 0.19.2 🥳 Incremental builds of 850k lines of Elm in <350ms. Gearing up for a batch of smaller releases as we head towards Elm 1.0. elm-lang.org/news/faster-...
917157
Flavio 🏴‍☠️ @flaviocorpa.com · 07/07/2026
The striker ⚽️ data study is now on the main Sabela repo!! 🙌🏻 github.com/DataHaskell/...
github.com
Football striker example ⚽ by kutyel · Pull Request #9 · DataHaskell/sabela
Adding a small example using the new Gaussian chart from granite and a trendy football example from the world cup 🏆
031
Flavio 🏴‍☠️ @flaviocorpa.com · 24/06/2026
Ossu
030
Flavio 🏴‍☠️ @flaviocorpa.com · 24/06/2026
I recently really enjoyed @mschav.bsky.social's talk at #ZuriHac so I tried to reproduce this chart in Sabela (a Jupyter-notebook-like project for #Haskell) seems like this Mbappé guy is not so bad either! 🤭
094
Reposted by Flavio 🏴‍☠️
Haskell programming language @haskell.org · 12/06/2026
Haskell for Elm developers: giving names to stuff (Part 8 - IO), by @flaviocorpa.com flaviocorpa.com/haskell-for-... #Haskell #Elm
flaviocorpa.com
Haskell for Elm developers: giving names to stuff (Part 8 - IO)
A series of blog posts for explaining Haskell to Elm developers interested in learning the language that powers the compiler for their favourite language!
072
Flavio 🏴‍☠️ @flaviocorpa.com · 12/06/2026
Latest and maybe last (?) blogpost on my Haskell for @elmlang developers series: IO! 🚀 (This was cooked at @ZuriHac btw ☺️) flaviocorpa.com/haskell-for-...
flaviocorpa.com
Haskell for Elm developers: giving names to stuff (Part 8 - IO)
A series of blog posts for explaining Haskell to Elm developers interested in learning the language that powers the compiler for their favourite language!
093
Flavio 🏴‍☠️ @flaviocorpa.com · 11/06/2026
This will be the comment section of my latest IO in Elm blogpost.
010
Flavio 🏴‍☠️ @flaviocorpa.com · 10/06/2026
Had a great time this year at my first ever #Zurihac 🙌🏻 It was nice to meet new people and connect with some colleagues from Scrive as well! 😊
Yevgen, Francesco and myself at the main Aula, at the end of it allMe presenting my haskell chess project at the last talk of the eventCarlo, Lorenzo and myself talking informally in a corridorSome Scrivers talking and discussing Haskell things at lunch time
060
Reposted by Flavio 🏴‍☠️
Haskell programming language @haskell.org · 06/06/2026
#ZuriHac day 1 is over! Send us your pictures of the event, and happy #Haskell hacking. :)
A crowd on the lawn in front of the Zurich lake
0295
Flavio 🏴‍☠️ @flaviocorpa.com · 27/03/2026
New post in the #haskell for @elmlang developer series: it's always traverse! flaviocorpa.com/haskell-for-...
flaviocorpa.com
Haskell for Elm developers: giving names to stuff (Part 7 - Traversable)
A series of blog posts for explaining Haskell to Elm developers interested in learning the language that powers the compiler for their favourite language!
0112
Reposted by Flavio 🏴‍☠️
garden-gnome.bsky.social @garden-gnome.bsky.social · 16/03/2026
Haskell. Haskell was right
Todays late night PR is titled "Maybe the nil is impossible languages got it right"
0164
Flavio 🏴‍☠️ @flaviocorpa.com · 14/02/2026
Qe1 Qc3 Qc7 Qh2 Qh5 Qb5
000
Flavio 🏴‍☠️ @flaviocorpa.com · 13/02/2026
Thanks! Is not perfect but I did it with love! 🥰
010
Flavio 🏴‍☠️ @flaviocorpa.com · 13/02/2026
New post in the #Haskell for #Elm developer series: part 6 discussing Foldable is out! 🪭👊🚀 flaviocorpa.com/haskell-for-...
flaviocorpa.com
Haskell for Elm developers: giving names to stuff (Part 6 - Foldable)
A series of blog posts for explaining Haskell to Elm developers interested to learn the language that powers the compiler for their favourite language!
191
Reposted by Flavio 🏴‍☠️
José A. Alonso @jalonso.eurosky.social · 04/02/2026
Hello, Haskell: Getting started in 2026. ~ Lukasz Tymoszczuk. lukastymo.com/posts/025-he... #Haskell #FunctionalProgramming
lukastymo.com
Hello, Haskell: Getting Started in 2026
Read this if you want to: see beginner examples that link Haskell’s syntax to its underlying mental models – types, pattern matching, declarative style and do see examples of Haskell’s distinctive syn...
052
Flavio 🏴‍☠️ @flaviocorpa.com · 30/01/2026
When Carlos is playing, yes 👏🏼
000
Flavio 🏴‍☠️ @flaviocorpa.com · 30/01/2026
Wowowowow we’re gonna get @polborta.bsky.social commentating the Candidates! 🙌🏻 so excited for this 🤩
162
Flavio 🏴‍☠️ @flaviocorpa.com · 03/01/2026
The Candidates I wanted 🥹🥹🥹
Keymer instead of bluebaum 
Abdusattorov instead of Sindarov
Arjun instead of Esipenko
010
Flavio 🏴‍☠️ @flaviocorpa.com · 08/12/2025
For somebody else is the YouTube 2025 recap not showing in your app?
010
Flavio 🏴‍☠️ @flaviocorpa.com · 06/12/2025
When you start with kanji I thoroughly recommend wanikani.com 😉
wanikani.com
WaniKani, a kanji learning application by Tofugu
Learn Japanese kanji the effective way!
010
Flavio 🏴‍☠️ @flaviocorpa.com · 27/11/2025
introduce yourself with 5 concerts you've seen Muse Snow Patrol Imagine Dragons James Blunt Coldplay
040
Flavio 🏴‍☠️ @flaviocorpa.com · 26/11/2025
Un poco demasiado spoilers pero me alegro de haberme terminado el libro a tiempo 😌
140
Flavio 🏴‍☠️ @flaviocorpa.com · 26/11/2025
Hikaru and Pragg, clearly
020
Reposted by Flavio 🏴‍☠️
International Chess Federation Mirror @fide-chess-mirror.bsky.social · 26/11/2025
🇺🇿 Javokhir Sindarov takes 1st, 🇨🇳 Wei Yi claims 2nd, and Andrey Esipenko takes 3rd at the FIDE World Cup 2025 — all three earning their seats at the 2026 FIDE Candidates. Only two seats remain. Who will join them? ♟️ #FIDEWorldCup #FIDECandidates
351
Flavio 🏴‍☠️ @flaviocorpa.com · 24/11/2025
Right, in case of Kh7 any of those moves win but Kh8 is more resilient
110
Flavio 🏴‍☠️ @flaviocorpa.com · 23/11/2025
Interestingly this position is a bit tricky… you need to play Qf6+ first at the end of the double sacrifice and then only Rc4! wins…
110
Flavio 🏴‍☠️ @flaviocorpa.com · 22/11/2025
Well, not this particular position but the concept itself yes
110