Manuel Chakravarty🦋@tacticalgrace.justtesting.org
@TacticalGrace
Followers
6K
Following
29K
Media
413
Statuses
37K
Lambda scientist ･ functional programming, programming languages & cryptography • Swift, Haskell & Agda • @HaskellForMac dev • Volt Policy DigiCom
Utrecht 🇳🇱🇩🇪🇪🇺💜 Volt
Joined September 2008
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 — it is now online: . Talk page:
1
6
25
RT @krzyzanowskim: its amazing how AI knows everything about subjects I know nothing about, but is wrong like 40% of the time about things….
0
3
0
RT @TacticalGrace: Do I understand this correctly? The “deal” doesn’t touch EU regulation on bigtech (DMA, DSA, AI Act, etc.)? If true, tha….
0
2
0
RT @ShriramKMurthi: Pleased to announce that the third edition of my PL book, PLAI, is finally available on paper! Same price as it's been….
0
42
0
Do I understand this correctly? The “deal” doesn’t touch EU regulation on bigtech (DMA, DSA, AI Act, etc.)? If true, that would be a good outcome.
Together, the EU and the US are a market of 800 million people. And nearly 44 percent of global GDP. It’s the biggest trade deal ever ↓
0
2
3
RT @VoltCatalunya: 🇪🇺Una major integració europea afegiria uns 3 bilions d'euros al PIB cada any. És l'hora de completar la Unió!. 🇪🇺Una ma….
0
9
0
RT @AveEuropae: You know who's taking a big bet on Europe 🇪🇺?. Lidl. Lidl has taken on the mission to build European sovereignty with full….
0
339
0
RT @MFA_Ukraine: Eleven years ago, Russia shot down Malaysia Airlines flight MH17 over Ukraine’s Donetsk region, killing all passengers and….
0
1K
0
RT @krzyzanowskim: I've been through all the phases: Linux, Windows, macOS, and believe me, macOS is the best of all three on all fields. s….
0
11
0
RT @JoannisOrlandos: Swift for Android is growing much faster than I anticipated. What would your ideal use case be? Shared core? Or a full….
0
4
0
RT @VoltEuropa: 🎬 We’re producing a cross-border documentary following Volt Europa Co-President @FRDantuono as she travels across Europe ex….
0
5
0
RT @SanderTordoir: A key driver of the large economic divergence between the Netherlands and Germany?. Industrial production—driven in part….
0
50
0
RT @VoltEuropa: "A slap on Orbán's face. We were so many and aware of our power and of what we were doing" – @FRDantuono on @VanityFairIt 💜.
0
8
0
Are you interested in a new Haskell IDE for macOS? I’m looking for beta testers! Send me a DM with your email for a TestFlight invitation.
16
18
138
RT @VoltEuropa: 🇧🇬🇪🇺 The EC and the ECB agree that Bulgaria has checked all the boxes: . ✅ stable prices.✅ solid public finances.✅ long-ter….
0
16
0
RT @krzyzanowskim: I call it a day 🥁 Claude gave up on its own thing. I asked it "are you sure?" and it got existential crisis cryout 😭 htt….
0
5
0
RT @krzyzanowskim: I am in 😭 over the fact that MLX for Swift, the LLM framework needs Xcode - actual xcodebuild to compile, and won't buil….
0
4
0
RT @gepardtatze: Was haben wir heute wieder eindrucksvoll gelernt bekommen? Hast Du keine Kurzstreckenflugabwehr in der Garage, kannst Du d….
0
153
0
This blog post reports on a well done and informative experiment on the utility of AI tools (specifically, Copilot) for software development.
In this new blog post, our GenAI group shares an experiment they ran to measure how programming with Copilot affects programmers' workflow and productivity. Maybe surprisingly, junior and senior alike enjoyed the experience. Though they used the tool differently.
0
0
1
RT @TacticalGrace: Crucial question asked by @VoltEuropa: how can we put the EU in a position to deter and defend against russian military….
0
2
0