Manuel Chakravarty
@tacticalgrace.justtesting.org
820 followers 690 following 1.1K posts
🔥 Lambda Scientist 💡 Functional programming 💡 Programming languages 💡 Cryptography 👨🏽‍💻 Swift, Haskell & Agda 💜 Volt 🇪🇺 policy: digital rights & economy 📍 Utrecht 🇳🇱🇩🇪🇪🇺 • Twitter: @TacticalGrace
Posts Media Videos Starter Packs
Pinned
tacticalgrace.justtesting.org
I think that Swift is an awesome language for functional programming! Many (functional) programmers don’t seem to know this. Hence, I gave talk about “Functional Programming in Swift” at @bobkonf.bsky.social — it is now online: media.ccc.de/v/bob11-2024...

Talk page: bobkonf.de/2024/chakrav...
Functional Programming in Swift
When people talk about functional programming in modern multi-paradigm languages, they usually mention Rust, Scala, or Kotlin. You rarely...
media.ccc.de
tacticalgrace.justtesting.org
Seems also to work well in the Netherlands. It did also trigger the students themselves reflecting on the impact of phone use at school on their social interactions.
wavesblog.bsky.social
"Eighty-one per cent said the ban has improved students’ learning, 86% said it has improved socialisation among students and 87% believed students were less distracted in the classroom" different for university students: I encourage moments of bespoke use of connected devices in class, no regrets.
danielollecto.bsky.social
Two years after school phone bans were implemented in Australia, what has changed? www.theguardian.com/society/2025...
Reposted by Manuel Chakravarty
laurensdassen.voltnederland.org
We kunnen de lage opkomst van vandaag vieren, of ons realiseren dat een aantal partijen in ons parlement elke dag opnieuw mest gooit op de toch al vruchtbare aarde, waarop deze haat kan groeien.

Een 🧵
Reposted by Manuel Chakravarty
evacide.bsky.social
Rolled my own crypto.
impavid.us
In honor of spooky month, share a 4 word horror story that only someone in your profession would understand

I'll go first: Six page commercial lease.
Reposted by Manuel Chakravarty
icfp-conference.bsky.social
Satnam Singh @satnam6502.bsky.social takes the stage for our first keynote: Functional Programming and Hardware Design
Reposted by Manuel Chakravarty
laurensdassen.voltnederland.org
Ongelofelijk. Ik wens mijn collega @franstimmermans.groenlinkspvda.nl veel sterkte toe. De agressie neemt steeds ernstige vormen aan.

Kiezers; sta op, 29 okt. Trek een harde grens. Het is genoeg geweest.
Reposted by Manuel Chakravarty
tomlouwerse.nl
"Nederland is vol" betoogt demonstrant op vrijwel leeg Museumplein.
Screenshot uit verslag van de T.
Bron: https://www.telegraaf.nl/video/anti-immigratiedemonstratie-begonnen-het-zou-hier-vol-moeten-staan/96900701.html
Reposted by Manuel Chakravarty
rikefranke.bsky.social
This. It just doesn’t work anymore, so why should I be there?
explaintrade.com
This is an exact encapsulation of why I moved to Bluesky.

No amount of handwringing in the Atlantic about how I owe some eternal Promethean suffering to the discourse is going to make me stay on a site I hate, that stopped doing anything for me professionally years ago.
Well – no. Bluesky may or may not be, as one centre-right friend who felt unwelcome put it, “self-righteous island”. But the idea that’s why we went is nonsense. That I’ve largely stopped posting on a site that’s done more to shape my career and social circle than the rest of the internet combined is less about avoiding rival opinions (I love arguing with people who are wrong!) than with the fact the site simply became unusable. It stopped generating the things (good jokes, interesting debate, clicks) I wanted; it became extremely good at generating the things (racists, pornbots, racist pornbots) I did not.
Reposted by Manuel Chakravarty
funarch.bsky.social
Gabriele Keller showing us the architecture of a layered certifying compiler. #funarch2025
Reposted by Manuel Chakravarty
europarl.europa.eu
Young Europeans leave their parents’ home at the age of 26 on average.

However, this varies significantly between EU countries.

According to the latest survey, the youngest Europeans to leave home are, on average, Finnish, at 21.4 🇫🇮 and the eldest are Croatians, at 31.3 🇭🇷
An infographic about the average age when people leave their parental home with a map of the EU countries.
Reposted by Manuel Chakravarty
favstats.eu
🚀 And this marks our launch of the CampAIgn Tracker 🇳🇱!

@meinungsfuehrer.bsky.social and I are glad to finally publish our dashboard where we monitor the use of AI imagery in campaign messages, by parties, politicians & other actors during the election #tk2025

See here
www.campaigntracker.nl/en/
Reposted by Manuel Chakravarty
volteuropa.org
Our 2025 GA was sold out, but we've expanded the venue, which means we can see each other in Frankfurt on 22–23 November. Get your ticket asap, when they're gone, they're gone! ⚡️😉

Fall in love with Volt GA (again and again) here 💜 https://volteuropa.org/events/volt-general-assembly
Reposted by Manuel Chakravarty
will-lumley.bsky.social
🚀 New blog post!

AsyncCombine: Because Async Code Shouldn’t Be Ugly

I brought back Combine’s sink, assign, and CombineLatest - but built powered by Swift Concurrency.

Observing @Observable from another ViewModel shouldn’t be painful.

Here’s how I fixed it 👉 lumley.io/blogs/async-...
AsyncCombine: Because Async Code Shouldn’t Be Ugly
When Swift first introduced Combine, I loved it. The syntax was expressive, pipelines were easy to follow, and @Published made state changes feel almost magical. But as Apple pushed us toward Swift Co...
lumley.io
Reposted by Manuel Chakravarty
sophieintveld.bsky.social
‼️ Spyware used against key actor in shake-up of the Italian banking sector, contested by the government. After spyware abuse to silence political opponents, we are entering a whole new era, with potentially massive economic effects in the EU single market. Will @ec.europa.eu finally wake up?!
vaspanagiotopoulos.com
NEW: ⚠️ Andrea Orcel, CEO of UniCredit – one of 🇮🇹 Italy’s largest and most influential banking groups – was also targeted with Graphite #spyware by the Israeli firm #Paragon Solutions, according to @irpimedia.eu & @lastampa.bsky.social.

✍️ @faffa42.bsky.social

irpimedia.irpi.eu/paragon-colp...
Reposted by Manuel Chakravarty
matthewwilding.bsky.social
Fun fact: Bluesky is outperforming Twitter on conversions for my Kickstarter by 900%.

Despite it having the most followers of any platform for me, Twitter is converting at lower numbers than EVERY OTHER social media platform I'm using (Facebook, Threads, Instagram, Bluesky).
Reposted by Manuel Chakravarty
tacticalgrace.justtesting.org
This is the appropriate move by the EC.
tacticalgrace.justtesting.org
This is the appropriate move by the EC.
Reposted by Manuel Chakravarty
rude1.blacksky.team
Cooking up an app-view 🧑🏾‍🍳
ASCII art at the Blacksky App View homepage 2421 evts/sec throughput Fetching my own profile from the blacksky app view 123 MiB/s inbound bandwidth
Reposted by Manuel Chakravarty
seabass.bsky.social
Nice!
bskycheck.com
@ec.europa.eu is the 16th trusted verifier on #bluesky

It just verified its first 5 users with blue check.
Reposted by Manuel Chakravarty
myrthehilkens.bsky.social
Fascinerend. Vrijwel alle antwoorden van Eerdmans impliceren dat wat letterlijk in het verkiezingsprogramma staat niet letterlijk begrepen moet worden. Haha. En het schokkende zinnetje dat behalve BOOS niemand er ooit vraagtekens bij heeft geplaatst. Waanzin.
debroervanroos.bsky.social
JA21 wil 'bevorderen van remigratie bij mislukte integratie' - maar wat betekent dat eigenlijk volgens Joost Eerdmans? en wat betekent het volgens de experts?

🎧: bit.ly/RadioBOOS39o...
🖥️: bit.ly/RadioBOOS39o...
Reposted by Manuel Chakravarty
reiniervanlanschot.volteuropa.org
We must stop Chat Control! 💬🔒

Imagine having someone peeking over your shoulder looking at every message you send

We are totally against this and I asked @aschwab.bsky.social to see if he can talk to his party leader Fredrich Merz to make sure that Germany stops supporting this dangerous law