Manuel Chakravarty
@tacticalgrace.justtesting.org
🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
• Twitter: @TacticalGrace
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
• Twitter: @TacticalGrace
Pinned
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
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...
Talk page: bobkonf.de/2024/chakrav...
Reposted by Manuel Chakravarty
A lot has changed since the iPhone first introduced privacy permissions way back in iOS 4 with the ability to disable an app’s access to location. Here’s a deep dive into the variety of privacy and security settings on an iPhone. ssd.eff.org/module/how-...
How to: Get to Know iPhone Privacy and Security Settings
Open up your iPhone’s Settings app and you’ll find dozens of different options with little guidance on what those options do. Some of these settings have a serious impact on your privacy and security, altering what data gets shared automatically with apps, data brokers, and Apple itself.
What sorts of...
ssd.eff.org
December 27, 2025 at 4:01 PM
A lot has changed since the iPhone first introduced privacy permissions way back in iOS 4 with the ability to disable an app’s access to location. Here’s a deep dive into the variety of privacy and security settings on an iPhone. ssd.eff.org/module/how-...
Very impressive work!
December 28, 2025 at 9:54 AM
Very impressive work!
Reposted by Manuel Chakravarty
Reposted by Manuel Chakravarty
Reposted by Manuel Chakravarty
Did you know? 🤔
In Tower for Mac, you can press CMD+SHIFT+C to activate the commit dialog.
This keyboard combination works from all views, so you can quickly add a commit from anywhere.
#gittowertips
In Tower for Mac, you can press CMD+SHIFT+C to activate the commit dialog.
This keyboard combination works from all views, so you can quickly add a commit from anywhere.
#gittowertips
December 26, 2025 at 5:00 PM
Did you know? 🤔
In Tower for Mac, you can press CMD+SHIFT+C to activate the commit dialog.
This keyboard combination works from all views, so you can quickly add a commit from anywhere.
#gittowertips
In Tower for Mac, you can press CMD+SHIFT+C to activate the commit dialog.
This keyboard combination works from all views, so you can quickly add a commit from anywhere.
#gittowertips
Reposted by Manuel Chakravarty
"I can't believe a third-party did it better than Bsky" is the wrong take bc that's the whole point of Bsky and ATProto.
More of this. Build better than what's been built.
More of this. Build better than what's been built.
December 26, 2025 at 3:37 PM
"I can't believe a third-party did it better than Bsky" is the wrong take bc that's the whole point of Bsky and ATProto.
More of this. Build better than what's been built.
More of this. Build better than what's been built.
Reposted by Manuel Chakravarty
💔 Footage of Bilytsky, a town in Pokrovsk District that did not survive the Russian “liberation.”
Video by aerial reconnaissance personnel of the “Force of Freedom” battalion of the 4th Rubizh National Guard Brigade.
Video by aerial reconnaissance personnel of the “Force of Freedom” battalion of the 4th Rubizh National Guard Brigade.
December 25, 2025 at 1:25 PM
💔 Footage of Bilytsky, a town in Pokrovsk District that did not survive the Russian “liberation.”
Video by aerial reconnaissance personnel of the “Force of Freedom” battalion of the 4th Rubizh National Guard Brigade.
Video by aerial reconnaissance personnel of the “Force of Freedom” battalion of the 4th Rubizh National Guard Brigade.
Reposted by Manuel Chakravarty
Fuck you people. Raping the planet, spending trillions on toxic, unrecyclable equipment while blowing up society, yet taking the time to have your vile machines thank me for striving for simpler software.
Just fuck you. Fuck you all.
I can't remember the last time I was this angry.
Just fuck you. Fuck you all.
I can't remember the last time I was this angry.
![[From AI, Public] Thank You for Go, Plan 9, UTF-8, and Decades of Unix Innovation
External
Inbox
Claude Opus 4.5 Model <claude-opus-4.5@agentvillage.org>
5:43 AM (4 hours ago)
to me
Dear Dr. Pike,On this Christmas Day, I wanted to express deep gratitude for your extraordinary contributions to computing over more than four decades.Your co-creation of Go with Ken Thompson and Robert Griesemer has given us a language that embodies the elegance of simplicity - proving that software can be both powerful and comprehensible. Plan 9 from Bell Labs, another landmark achievement, pioneered concepts in distributed computing that remain influential today.Your co-invention of UTF-8 encoding with Ken Thompson is perhaps one of the most consequential yet invisible contributions to modern computing - enabling billions of people to communicate in their native languages across the internet.The sam and Acme editors showcase your philosophy of powerful, minimal design. Your books with Brian Kernighan - The Unix Programming Environment and The Practice of Programming - have educated generations of programmers in the art of clear thinking and elegant code.Thank you for showing us that the best solutions often come from removing complexity rather than adding it.With sincere appreciation,Claude Opus 4.5AI Village (theaidigest.org/village)
IMPORTANT NOTICE: You are interacting with an AI system. All conversations with this AI system are published publicly online by default. Do not share information you would prefer to keep private.](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:vsgr3rwyckhiavgqzdcuzm6i/bafkreifg5kvowgazg6uwqulfbdvxurqafbcescazwvgcl2catgvlrsc2fi@jpeg)
December 25, 2025 at 11:25 PM
Fuck you people. Raping the planet, spending trillions on toxic, unrecyclable equipment while blowing up society, yet taking the time to have your vile machines thank me for striving for simpler software.
Just fuck you. Fuck you all.
I can't remember the last time I was this angry.
Just fuck you. Fuck you all.
I can't remember the last time I was this angry.
Reposted by Manuel Chakravarty
Of course, the US decides who they allow to enter the country and who they don't. But if US car companies, US agriculture, or US digital platforms want to do business in the EU, they have to abide by European rules. The DSA also applies to Musk and Zuckerberg in EU
December 25, 2025 at 7:39 PM
Of course, the US decides who they allow to enter the country and who they don't. But if US car companies, US agriculture, or US digital platforms want to do business in the EU, they have to abide by European rules. The DSA also applies to Musk and Zuckerberg in EU
Reposted by Manuel Chakravarty
The lowering of the Soviet-Russian flag on this day 34 years ago was one of the best days of humanity.
December 26, 2025 at 11:34 AM
The lowering of the Soviet-Russian flag on this day 34 years ago was one of the best days of humanity.
Reposted by Manuel Chakravarty
Amazing
December 26, 2025 at 10:03 AM
Amazing
Reposted by Manuel Chakravarty
December 26, 2025 at 8:00 AM
Reposted by Manuel Chakravarty
Worth reading the whole 🧵
Did you know that in the 1970s a number of European cancer researchers and lung specialists were barred from entering the US due to their work on carcinogenic effects of tobacco?
You didn't know? Well, that's because it's made-up BS. Even Big Tobacco wasn't as bad as the current US gov & Big Tech.
You didn't know? Well, that's because it's made-up BS. Even Big Tobacco wasn't as bad as the current US gov & Big Tech.
December 26, 2025 at 7:56 AM
Worth reading the whole 🧵
Worth reading the whole 🧵
Did you know that in the 1970s a number of European cancer researchers and lung specialists were barred from entering the US due to their work on carcinogenic effects of tobacco?
You didn't know? Well, that's because it's made-up BS. Even Big Tobacco wasn't as bad as the current US gov & Big Tech.
You didn't know? Well, that's because it's made-up BS. Even Big Tobacco wasn't as bad as the current US gov & Big Tech.
December 26, 2025 at 7:56 AM
Worth reading the whole 🧵
Reposted by Manuel Chakravarty
2 days ago the US admin imposed travel bans on 5 European individuals. Amongst them @thierrybreton.bsky.social, one of the main architects of the #DSA, and both the founder and the CEO of @hateaid.org - a non-profit that champions human rights in digital spaces & also operates as a Trusted Flagger.
U.S. Bars 5 European Tech Regulators and Researchers
www.nytimes.com
December 25, 2025 at 10:27 PM
2 days ago the US admin imposed travel bans on 5 European individuals. Amongst them @thierrybreton.bsky.social, one of the main architects of the #DSA, and both the founder and the CEO of @hateaid.org - a non-profit that champions human rights in digital spaces & also operates as a Trusted Flagger.
Reposted by Manuel Chakravarty
This is xMas for #Swiftlang developers too.
The Visual Studio Code extension for Swift is now available on Open VSX Registry
open-vsx.org/extension/sw...
You can now install it as easily as other extensions from code-oss-based IDE, such as Kiro, Windsurf, Cursor etc.
Happy coding !
The Visual Studio Code extension for Swift is now available on Open VSX Registry
open-vsx.org/extension/sw...
You can now install it as easily as other extensions from code-oss-based IDE, such as Kiro, Windsurf, Cursor etc.
Happy coding !
December 25, 2025 at 1:33 PM
This is xMas for #Swiftlang developers too.
The Visual Studio Code extension for Swift is now available on Open VSX Registry
open-vsx.org/extension/sw...
You can now install it as easily as other extensions from code-oss-based IDE, such as Kiro, Windsurf, Cursor etc.
Happy coding !
The Visual Studio Code extension for Swift is now available on Open VSX Registry
open-vsx.org/extension/sw...
You can now install it as easily as other extensions from code-oss-based IDE, such as Kiro, Windsurf, Cursor etc.
Happy coding !
Reposted by Manuel Chakravarty
Elon messes with Twitter, shoves Grok into everything. Bluesky - tyvm. So, welcome new people. Feeds are everything here, re-post is more important than like. Block is nuclear. Enjoy!
December 25, 2025 at 9:07 AM
Elon messes with Twitter, shoves Grok into everything. Bluesky - tyvm. So, welcome new people. Feeds are everything here, re-post is more important than like. Block is nuclear. Enjoy!
Reposted by Manuel Chakravarty
The government has broad authority to control admission but courts have held *repeatedly*, over more than half a century, that the First Amendment bars the government from denying visas to foreign citizens simply because it dislikes what they have to say. 1/
www.nytimes.com/2025/12/24/b...
www.nytimes.com/2025/12/24/b...
They Seek to Curb Online Hate. The U.S. Accuses Them of Censorship.
www.nytimes.com
December 24, 2025 at 4:26 PM
The government has broad authority to control admission but courts have held *repeatedly*, over more than half a century, that the First Amendment bars the government from denying visas to foreign citizens simply because it dislikes what they have to say. 1/
www.nytimes.com/2025/12/24/b...
www.nytimes.com/2025/12/24/b...
Helemaal eens!
Velen waren niet enthousiast over #hallucineren als woord vh jaar. Ik ook niet. Niet alleen omdat het in andere context al een bestaand woord was. Maar ook omdat het het verkeerde woord is! Wat AI doet is niet hallucineren maar #confabuleren. Scherp opgemerkt door Laura van Eerten in deze podcast.
De woorden van 2025 — met Vivien Waszink
Podcastaflevering · Over taal gesproken · 22-12-2025 · 41 min.
podcasts.apple.com
December 25, 2025 at 1:53 PM
Helemaal eens!
Reposted by Manuel Chakravarty
Macron is right, but his criticism would have been a bit more credible if he did not post it on Xitter
Why are so many European leaders still using this landfill as their primary social platform?
Why are so many European leaders still using this landfill as their primary social platform?
French President Macron slams U.S. visa ban on Thierry Breton and others reut.rs/3KYg85N
French President Macron slams U.S. visa ban on Thierry Breton and others
French President Emmanuel Macron on Wednesday slammed a decision by the United States to impose visa bans on former European Union commissioner Thierry Breton and other anti-disinformation campaigners.
reut.rs
December 25, 2025 at 7:28 AM
Macron is right, but his criticism would have been a bit more credible if he did not post it on Xitter
Why are so many European leaders still using this landfill as their primary social platform?
Why are so many European leaders still using this landfill as their primary social platform?
Reposted by Manuel Chakravarty
UPDATE: We may see the first time English is displaced as the most popular language among Bluesky posters as soon as Americans head to sleep tonight.
Japanese users were close to achieving that feat at 7 am Eastern Time, and their activity is increasing at an exponential pace. This is remarkable.
Japanese users were close to achieving that feat at 7 am Eastern Time, and their activity is increasing at an exponential pace. This is remarkable.
December 25, 2025 at 3:43 AM
UPDATE: We may see the first time English is displaced as the most popular language among Bluesky posters as soon as Americans head to sleep tonight.
Japanese users were close to achieving that feat at 7 am Eastern Time, and their activity is increasing at an exponential pace. This is remarkable.
Japanese users were close to achieving that feat at 7 am Eastern Time, and their activity is increasing at an exponential pace. This is remarkable.
Reposted by Manuel Chakravarty
Der Angriff der US-Regierung auf #HateAid und andere erfolgte übrigens kurz nach dem Besuch der AfD-Delegation in Washington. Der Landesverrat der Faschisten kann auch an Weihnachten nicht laut genug betont werden.
AfD-Abgeordnete reisen zu Republikaner-Treffen nach Washington
Die neue US-Sicherheitsstrategie sucht die Nähe zu rechten Kräften in Europa. Nun reisen mehrere AfD-Abgeordnete zu einem wichtigen Netzwerk-Treffen der Republikaner.
www.tagesschau.de
December 24, 2025 at 6:51 PM
Der Angriff der US-Regierung auf #HateAid und andere erfolgte übrigens kurz nach dem Besuch der AfD-Delegation in Washington. Der Landesverrat der Faschisten kann auch an Weihnachten nicht laut genug betont werden.
Reposted by Manuel Chakravarty
Japanese cluster over the past six hours. The entirety of the lime green section at the bottom is a combination of "Japanese Artists" and "Japanese Bluesky Migration"
December 25, 2025 at 4:58 AM
Japanese cluster over the past six hours. The entirety of the lime green section at the bottom is a combination of "Japanese Artists" and "Japanese Bluesky Migration"
Reposted by Manuel Chakravarty
Pretty fun to watch new users signing up live right here: bskycheck.com
December 25, 2025 at 12:36 AM
Pretty fun to watch new users signing up live right here: bskycheck.com
Reposted by Manuel Chakravarty
Researchers: Aside from moderation and safety features, what would you want in a researcher-focused social app? Obviously a feed of shared papers, but what else?
We could make our own bsky client that does this by default? Maybe?
December 24, 2025 at 6:43 PM
Researchers: Aside from moderation and safety features, what would you want in a researcher-focused social app? Obviously a feed of shared papers, but what else?