Manuel Chakravarty
LightNews LightNews
banner
tacticalgrace.justtesting.org
Manuel Chakravarty
@tacticalgrace.justtesting.org
890 followers 710 following 1.3K posts
🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽‍💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
Posts Replies Media Videos
Pinned
tacticalgrace.justtesting.org
Manuel Chakravarty @tacticalgrace.justtesting.org · Aug 6
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
Reposted by Manuel Chakravarty
laurenshof.online
how much more explicit does it need to get that X is functionally equivalent to state power now?

bsky.app/profile/robi...
January 13, 2026 at 12:45 PM
Reposted by Manuel Chakravarty
lukaszolejnik.bsky.social
Introducing Claude Cowork
January 13, 2026 at 10:14 AM
Reposted by Manuel Chakravarty
bobkonf.bsky.social
Following the keynote, #BOBkonf2026 talks track A starts off with @xvw.lol 's "A crash course on the OCaml module language", a talk that explores OCaml’s powerful module system as a core language feature.

For more information, see bobkonf.de/2026/woestyn...
January 13, 2026 at 9:05 AM
Reposted by Manuel Chakravarty
fpindia.bsky.social
Announcing our first offline meetup for 2026! #FPIndia #Bangalore #Meetup! Talk submissions are also open.

Please RSVP if you wish to attend: hasgeek.com/fpindia/bang...

#Haskell #PureScript #Elixir #Erlang #Scala #Clojure #India #FunctionalProgramming
Bangalore FP January 2026 meetup
Bangalore FP January 2026 meetup
hasgeek.com
January 13, 2026 at 7:14 AM
Reposted by Manuel Chakravarty
tacticalgrace.justtesting.org
Sounds great!
modalfoundation.bsky.social Modal Foundation @modalfoundation.bsky.social · 23h
Hi Bluesky! We're Modal Foundation, a new nonprofit dedicated to making open social tech viable at scale. We grew out of the @freeourfeeds.com campaign and support @eurosky.social. Our work will connect experts, strategists, builders and communities to create a human-centered internet.
A card that reads "Social media is critical infrastructure. It needs to work for people, not exploit and mislead them. Modal Foundation supports decentralized social tech that helps people create, circulate and discover trustworthy information."
January 13, 2026 at 7:52 AM
tacticalgrace.justtesting.org
That’s great! Thanks a lot for the effort you are putting into this!
January 13, 2026 at 12:37 PM
Reposted by Manuel Chakravarty
migueldeicaza.bsky.social
This was a lot of work, but this passes in SwiftTerm and we finally sorted out all those pesky emoji/asian rendering bugs.
January 13, 2026 at 2:57 AM
Reposted by Manuel Chakravarty
kto.so
The proposal for task cancellation shields is now in review #swiftlang #swift #concurrency
SE-0504: Task Cancellation Shields
Hello, Swift community. The review of SE-0504: Task Cancellation Shields begins now and runs through January 26th, 2026. Reviews are an important part of the Swift evolution process. All review feedback should be either on this forum thread or, if you would like to keep your feedback private, directly to me as the review manager via either email or forums DM. When messaging me directly, please put "[SE-0504]" at the start of the subject line. What goes into a review? The goal of the review pr...
forums.swift.org
January 13, 2026 at 1:13 AM
Reposted by Manuel Chakravarty
wavesblog.bsky.social
I mean, this is illegal and we let him get away with it? Kindly asking for an ex-post fix whenever it suits them is all tech regulation can offer EU citizens?
politico.eu POLITICO Europe @politico.eu · 19h
The European Commission's top tech official has warned Elon Musk's X to quickly "fix" its AI tool Grok — or face consequences under the controversial Digital Services Act.
Fix Grok or else, EU tech chief tells Elon Musk’s X
Brussels could fine X 6 percent of its annual turnover, having already hit it with a €120 million sanction in December.
www.politico.eu
January 13, 2026 at 12:47 AM
Reposted by Manuel Chakravarty
parismarx.com
i remember when way too many people were singing this guy’s praises for taking on apple because it was limiting his own monopolistic aspirations
mattpotteruk.bsky.social Matt Potter @mattpotteruk.bsky.social · 1d
This is a wild hill to die on for someone who creates environments for kids.

Tim Sweeney, CEO of Epic Games (Fortnite/Battle Royale) argues against CP protections on social media/AI platforms, claiming legislators are ‘just censoring political opponents’.

www.pcgamer.com/gaming-indus...
Epic Games CEO Tim Sweeney argues banning Twitter over its ability to AI-generate pornographic images of minors is just 'gatekeepers' attempting to 'censor all of their political opponents'
Not the hill I'd die on, but I'm not a billionaire.
www.pcgamer.com
January 12, 2026 at 4:19 PM
Reposted by Manuel Chakravarty
ivansigal.bsky.social
A bunch of us are working on the practical questions of how to decentralize ATProto and create other strong nodes that complement Bluesky. And Bluesky itself wants this. Coming soon: a European identity for ATProto, 1st step toward Euro infra: www.eurosky.social/register @eurosky.social
Register for a eurosky.social account - one web identity, dozens of apps — eurosky
www.eurosky.social
January 12, 2026 at 9:41 PM
Reposted by Manuel Chakravarty
atprotocol.dev
As part of preparing for #ATmosphereConf in Vancouver March 2026, we're republishing the videos from Seattle March 2025, along with transcripts.

Here's @raz.lol with a talk on Extending ATproto for private data.
Rashid Aziz: Extending ATproto for private data
atprotocommunity.leaflet.pub
January 12, 2026 at 10:51 PM
Reposted by Manuel Chakravarty
jay.bsky.team
We’re hiring hungry ghost wranglers — I mean Machine Learning Engineers.

As well as Typescript, React Native, and Go devs.
January 12, 2026 at 10:28 PM
tacticalgrace.justtesting.org
Dat is een heel goed antwoord op de vraag (omtrent Trump en Groenland)!
reiniervanlanschot.volteuropa.org Reinier Van Lanschot @reiniervanlanschot.volteuropa.org · 18h
Overal lees en hoor ik analyses over wat er gaande is, over wat er wel of niet gaat komen, maar we besteden te weinig aandacht aan wat Europa daadwerkelijk kan doen. Ik was te gast bij ’Boekestijn en de Wijk’ om daarover te praten. 

Je kunt de aflevering beluisteren via je favoriete podcast app.
January 13, 2026 at 12:07 PM
Reposted by Manuel Chakravarty
sahak.bsky.social
Ein Statement mit Forderungen zu den Protesten im Iran von @maralkoo.bsky.social und mir. 🙏
volteuropa.org Volt Europa @volteuropa.org · 21h
The Iranian people are once again demanding dignity, freedom, and democracy.

Europe has a responsibility to act — politically, humanely, and consistently.

Volt stands with the protesters. Read our full statement. 💜👉 https://loom.ly/SkO4_4Q
A protest crowd is visible. One person holds a sign reading “They kill us in your silence,” with red paint resembling blood splatters. Text overlay reads: “Protests in Iran” and “IRANIANS ARE FIGHTING FOR THEIR RIGHTS. IN EUROPE, WE MUST STAND BY THEM.” The Volt logo appears in the top right corner. A protester holds a sign reading “STOP EXECUTION OF IRANIAN PROTESTERS.” Text on a purple background reads: “Iranians are protesting against economic collapse, political repression, and systemic gender-based oppression.” Below the image, text reads: “The regime is responding with repression, mass arrests, and executions.” The Volt logo appears at the bottom. Purple background with large number “1.” Text reads: “Political solidarity.” Below, the text reads: “The European Union must explicitly support the protests, condemn state violence, and demand respect for human rights.” The Volt logo appears at the bottom. Purple background with large number “2.” Text reads: “Humanitarian support.” Below, the text reads: “Iranians in exile must be protected. Deportations to Iran must stop. Visa procedures must be eased.” The Volt logo appears at the bottom.
January 12, 2026 at 9:00 PM
tacticalgrace.justtesting.org
Sounds great!
modalfoundation.bsky.social Modal Foundation @modalfoundation.bsky.social · 23h
Hi Bluesky! We're Modal Foundation, a new nonprofit dedicated to making open social tech viable at scale. We grew out of the @freeourfeeds.com campaign and support @eurosky.social. Our work will connect experts, strategists, builders and communities to create a human-centered internet.
A card that reads "Social media is critical infrastructure. It needs to work for people, not exploit and mislead them. Modal Foundation supports decentralized social tech that helps people create, circulate and discover trustworthy information."
January 13, 2026 at 7:52 AM
Reposted by Manuel Chakravarty
ivansigal.bsky.social
Very excited that @modalfoundation.bsky.social is now public, fulfilling our @freeourfeeds.com commitment to set up a public interest tech foundation to support social tech based on open protocols.
freeourfeeds.com Free Our Feeds @freeourfeeds.com · 23h
Announcing @modalfoundation.bsky.social, a nonprofit making open social tech viable at scale. Modal will connect experts, strategists, builders and communities to create a human-centered internet. The foundation will oversee @freeourfeeds.com, @eurosky.social and more to come. modalfoundation.org
Modal Foundation
Supporting decentralized social tech and open standards to create trustworthy, public-interest social media alternatives and ensure access to vital information.
modalfoundation.org
January 12, 2026 at 6:57 PM
Reposted by Manuel Chakravarty
volteuropa.org
The Iranian people are once again demanding dignity, freedom, and democracy.

Europe has a responsibility to act — politically, humanely, and consistently.

Volt stands with the protesters. Read our full statement. 💜👉 https://loom.ly/SkO4_4Q
A protest crowd is visible. One person holds a sign reading “They kill us in your silence,” with red paint resembling blood splatters. Text overlay reads: “Protests in Iran” and “IRANIANS ARE FIGHTING FOR THEIR RIGHTS. IN EUROPE, WE MUST STAND BY THEM.” The Volt logo appears in the top right corner. A protester holds a sign reading “STOP EXECUTION OF IRANIAN PROTESTERS.” Text on a purple background reads: “Iranians are protesting against economic collapse, political repression, and systemic gender-based oppression.” Below the image, text reads: “The regime is responding with repression, mass arrests, and executions.” The Volt logo appears at the bottom. Purple background with large number “1.” Text reads: “Political solidarity.” Below, the text reads: “The European Union must explicitly support the protests, condemn state violence, and demand respect for human rights.” The Volt logo appears at the bottom. Purple background with large number “2.” Text reads: “Humanitarian support.” Below, the text reads: “Iranians in exile must be protected. Deportations to Iran must stop. Visa procedures must be eased.” The Volt logo appears at the bottom.
January 12, 2026 at 6:10 PM
Reposted by Manuel Chakravarty
meredithmeredith.bsky.social
We love to see it!

Community-created harm reduction infrastructure to contest the alarming integration of AI agents into the Windows operating system (which is currently the most reckless deployment environment) ♥️

github.com/zoicware/Rem...
GitHub - zoicware/RemoveWindowsAI: Force Remove Copilot, Recall and More in Windows 11
Force Remove Copilot, Recall and More in Windows 11 - zoicware/RemoveWindowsAI
github.com
January 12, 2026 at 6:48 PM
Reposted by Manuel Chakravarty
dynamicwebpaige.bsky.social
🧵 Thread on beautiful data centers:

MareNostrum 4 (Barcelona SCC): Often called "the most beautiful data center in the world," this facility is housed inside the Torre Girona Chapel, a deconsecrated 19th-century church.

When fully installed, it will have a peak performance of 13.9 Petaflops.
January 12, 2026 at 5:28 PM
tacticalgrace.justtesting.org
Cool move!
freeourfeeds.com Free Our Feeds @freeourfeeds.com · 23h
Announcing @modalfoundation.bsky.social, a nonprofit making open social tech viable at scale. Modal will connect experts, strategists, builders and communities to create a human-centered internet. The foundation will oversee @freeourfeeds.com, @eurosky.social and more to come. modalfoundation.org
Modal Foundation
Supporting decentralized social tech and open standards to create trustworthy, public-interest social media alternatives and ensure access to vital information.
modalfoundation.org
January 12, 2026 at 8:08 PM
tacticalgrace.justtesting.org
Hard, but fair!
January 12, 2026 at 8:04 PM
Reposted by Manuel Chakravarty
robin.berjon.com
Trump speaking into Epstein's ear: "If it's on X, they let you do it."
January 12, 2026 at 4:04 PM
Reposted by Manuel Chakravarty
tacticalgrace.justtesting.org
Important point
kelseyhightower.com Kelsey Hightower @kelseyhightower.com · 1d
I want this next generation of software development tools to run on my own computer. Vim and Emacs helped democratize software development and made it accessible. We shouldn't allow this AI wave to take us backwards.

I really hope the open source community can keep pace.
January 12, 2026 at 3:54 PM
Reposted by Manuel Chakravarty
haskellinterlude.bsky.social
In today's episode, we are joined by Kathrin Stark. Kathrin works on program verification, so her focus is not exactly on Haskell, but on topics dear to Haskellers’ hearts such as theorem provers, writing correct programs, and the activities needed to produce them.
haskell.foundation/podcast/75/
Kathrin Stark
We are joined by Kathrin Stark, a professor at Heriot-Watt University in Edinburgh. Kathrin works on program verification with proof assistants, so her focus is not exactly on Haskell, but on topics d...
haskell.foundation
January 12, 2026 at 3:46 PM