Manuel Chakravarty🦋@tacticalgrace.justtesting.org

Lambda scientist ･ functional programming, programming languages & cryptography • Swift, Haskell & Agda • @HaskellForMac dev • Volt Policy DigiCom

[Manuel Chakravarty🦋@tacticalgrace.justtesting.org @TacticalGrace]

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: https://t.co/tebuN0tEEB

Talk page: https://t.co/Kay5O9bNJI

[Manuel Chakravarty🦋@tacticalgrace.justtesting.org @TacticalGrace]

Applicative Code has got a blog! And with it, a first article sketching the concept behind the IDE.

https://t.co/EjZ3XgrvdU

[Manuel Chakravarty🦋@tacticalgrace.justtesting.org @TacticalGrace]

Applicative Code has got a blog! And with it, a first article sketching the concept behind the IDE.

https://t.co/EjZ3XgrvdU

[Volt Europa @VoltEuropa]

3 new elected officials for Volt France! 🥳

French citizens across Europe headed to the polls for the consular elections, the vote that puts elected representatives inside French embassies and consulates to represent and fight for the rights of citizens abroad.

(1/3) 🧵

[Input Output Group @IOGroup]

Smaller, cheaper Plutus scripts are now one command away. On recent mainnet scripts, the new uplc tool delivered 10%+ average cost savings.

Read more: https://t.co/O3Kz0PoQkV

The Plutus treasury proposal funds the next wave, read more here: https://t.co/JMyQp1CzQ6

[Andrius Kubilius @KubiliusA]

Congratulations to the 🇪🇺 MEP’s for pushing forward the idea of creating European Defence Union!

That’s how Europe will become more united and stronger in defence.

🔗 https://t.co/tp1uVydjkp

[Marcin Krzyzanowski @krzyzanowskim]

my relationship to the most annoying vibe code evangelist

[TheLvivJournal @LvivJournal]

"Seven German journalism students tracked Russian-crewed freighters lurking off the Dutch and German coast—and connected them to drone swarms over military bases."
https://t.co/EPTfIwfxRv

[Manuel Chakravarty🦋@tacticalgrace.justtesting.org @TacticalGrace]

In the train to Amsterdam for @iOSConf: https://t.co/brz0FhmDBo — expecting two fun days of great talks (at least, that is what they delivered the last two years 😉). I’ll post about it at https://t.co/MUFXtIsLcL

[Manuel Chakravarty🦋@tacticalgrace.justtesting.org @TacticalGrace]

I’m on the latest episode of the @HaskelInterlude talking about GHC, the FFI, type families, parallel programming in Haskell and also about the relationship of Haskell and Swift: https://t.co/yhPh8XsGr5 #haskell

[Matthew Green @matthew_d_green]

Great article about how TEEs are providing much less security than folks believe they will. https://t.co/fXpftAXowY

[Manuel Chakravarty🦋@tacticalgrace.justtesting.org @TacticalGrace]

I’m on the latest episode of the @HaskelInterlude talking about GHC, the FFI, type families, parallel programming in Haskell and also about the relationship of Haskell and Swift: https://t.co/yhPh8XsGr5 #haskell

[Manuel Chakravarty🦋@tacticalgrace.justtesting.org @TacticalGrace]

Welcome to Applicative Code: https://t.co/8gXfQjch8f

[Manuel Chakravarty🦋@tacticalgrace.justtesting.org @TacticalGrace]

Welcome to Applicative Code: https://t.co/8gXfQjch8f

[Marcin Krzyzanowski @krzyzanowskim]

The Problem is you. trust me bro, I don't know what I'm doing.

Swift Connection was such great experience for me this year.

/me talking about swift on linux

[Monika Mateska @monika_mateska]

Trying out something new, sharing a glimpse into my life as an iOS engineer in Copenhagen 🎬

https://t.co/wHtJErgjec

[Manuel Chakravarty🦋@tacticalgrace.justtesting.org @TacticalGrace]

Swift Connection @swiftconnection was a total blast! Thank you very much to the organisers for putting on an exciting and informative conference again! You rock! 🎉

[Manuel Chakravarty🦋@tacticalgrace.justtesting.org @TacticalGrace]

Easily create a new project for a new Cabal package in my new IDE for Haskell (and Agda & Swift). Interested in taking it for a spin? DM me your email for a beta test invite! #Haskell

[Manuel Chakravarty🦋@tacticalgrace.justtesting.org @TacticalGrace]

Easily create a new project for a new Cabal package in my new IDE for Haskell (and Agda & Swift). Interested in taking it for a spin? DM me your email for a beta test invite! #Haskell

[Volt Europa @VoltEuropa]

Today is the 🇪🇺 European Car-Free Day! Our MEP Kai Tegethoff has come from Brussels to Lisbon 🚇 by train to support the @VoltPortugal municipal elections campaign, with Co-President @DuarteCosta5 and our local candidate @ksenia_ashraf revolutionising mobility.

[Manuel Chakravarty🦋@tacticalgrace.justtesting.org @TacticalGrace]

Just released version 1.6.0 of ‘ProjectNavigator’ — a cross-platform file navigator for SwiftUI based on ‘NavigationSplitView’: https://t.co/aKMJLiP06e