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
Reposted by Manuel Chakravarty
afd-icl.bsky.social
Computing @ Imperial are hiring four Ass. / Assoc. Profs! Priority areas:

- PL
- Systems
- Security
- Software Eng.
- Computer Architecture
- Theoretical Computer Science

Applications from individuals from underrepresented groups especially welcome!

www.imperial.ac.uk/jobs/search-...
Description
Please note that job descriptions are not exhaustive, and you may be asked to take on additional duties that align with the key responsibilities ment...
www.imperial.ac.uk
Reposted by Manuel Chakravarty
barbarakathmann.bsky.social
1/3 Verkiezingen staan onder druk door Sociale Media. Ook in Nederland. Ben je bijvoorbeeld Poetin en wil je onrust stoken in landen die Oekraïne steunen dan lanceer je gewoon via TikTok een presidentskandidaat in Roemenië. Platformen zelf verdienen ook knaken aan racistische en facistische content.
Reposted by Manuel Chakravarty
volteuropa.org
🧡 Dutchies, do something new: vote Volt! 💜

Remember: your postal vote needs to be received at the embassy or consulate before 24 October 10 AM CET and at the postal vote polling station in The Hague before 29 October 3 PM CET! 🧡
Reposted by Manuel Chakravarty
politico.eu
One of Hungary’s most outspoken critics in Brussels has filed a criminal complaint against PM Viktor Orbán following a failed attempt to hack his email account using spyware in the run-up to parliamentary elections.
MEP targeted by spyware files complaint against Hungary’s Viktor Orbán
“There are indications that the Hungarian secret service is behind the attack,” German MEP Daniel Freund said.
www.politico.eu
Reposted by Manuel Chakravarty
lukaszolejnik.bsky.social
Your cybersecurity expert tells you to use two-factor authentication? And they’re right. But until recently, any Android app could steal it just by scanning what’s on your screen. 🤣 www.pixnapping.com/pixnapping.pdf
Reposted by Manuel Chakravarty
asklumo.proton.me
Big Tech wants you to believe that if you want bleeding-edge productivity tools, then you must hand over your data.

Lumo dispels that notion entirely; here's how you can use AI to be productive while remaining private:
Reposted by Manuel Chakravarty
nvondarza.bsky.social
Fascinating analysis how German parties extended their reach via Tiktok in the elections this year - with particuarly the far-right and the far-left profiting:
cendt.de
Neu: Wir haben modelliert, wie groß der Einfluss von Tiktok auf die Bundestagswahl war. Demnach haben Linke und AfD stark profitiert, Grüne und Union verloren. Es geht jeweils um hunderttausende Stimmen. @zeit.de
www.zeit.de/politik/deut...
Reposted by Manuel Chakravarty
robin.berjon.com
"Musk and Zuckerberg claim to give people freedom of speech, but they own it." — @alexandrageese.bsky.social
Panel with David Kaye, Alexandra Geese, Sasha Havlicek, Courtney Radsch
Reposted by Manuel Chakravarty
Reposted by Manuel Chakravarty
lukaszolejnik.bsky.social
Using optical mouse for hacking, spying, eavesdropping. Performant optical mouse sensors can detect surface vibrations caused by speech. Data can be logged and processed into audio using filtering and machine learning. No mic required. arxiv.org/pdf/2509.13581
tacticalgrace.justtesting.org
Volt is goed bezig!
paulvdvijver.bsky.social
#ZeeWijzer | Wat zeggen partijen over de bescherming van de zee en al haar leven? wereldoceaandagen.nl/stem-voor-de... 💧
Reposted by Manuel Chakravarty
tacticalgrace.justtesting.org
Finally, a welcome window! 🎉
code.applicative.co
Welcome to Applicative Code!
Reposted by Manuel Chakravarty
warski.org
Congratulations to Martin Odersky for receiving the Programming Languages Achievement Award @icfp-conference.bsky.social - well deserved! :)

I can only confirm what it says on the citation, his work deeply impacted how I view programming.

Let's work towards making #Scala a continued success!
Reposted by Manuel Chakravarty
vsquare.bsky.social
⚡️🔎 In the 2010s, Hungarian intelligence began spying in Brussels against the EU and tried to recruit Hungarians working in EU institutions. However, Orbán's spies did it so blatantly that they were exposed.

The EU Commission has now launched an internal investigation.
Inside the Fall of Viktor Orbán’s Secret Brussels Spy Network - VSquare.org
In the 2010s, Hungarian intelligence began spying in Brussels against the EU and tried to recruit Hungarians working in EU institutions for this purpose. However, Hungarian intelligence carried it out so blatantly and clumsily that they were exposed, and their network collapsed.
vsquare.org
Reposted by Manuel Chakravarty
mariekekoekkoek.voltnederland.org
Niemand van X, TikTok of Google had deze week tijd om vragen van de Kamer te beantwoorden.

Een doodzonde, want het gaat over onze verkiezingen. Tijd voor Europese alternatieven!

nos.nl/l/2586462
'Bigtech' wil niet naar Kamer komen over beïnvloeding verkiezingen
Verschillende politieke partijen wilden horen wat de sociale mediabedrijven doen voor een 'eerlijke' campagne.
nos.nl
Reposted by Manuel Chakravarty
Reposted by Manuel Chakravarty
volteuropa.org
The stolen Ukrainian children must be returned to their families. @emilefoundation.bsky.social and Save Ukraine are working day and night to make this happen.
Donate here:
https://emilefoundation.org/donate/
https://giving.classy.org/campaign/585068/donate
Reposted by Manuel Chakravarty
quillmatiq.com
First Bounce from Mastodon to Bluesky ✅
teon.bsky.social
Just Bounced! and that was awesome! 🤯🤩

I've finally consolidated my open social web presence. My Hachyderm account on Mastodon is no more, but now I'm connected my followers here :)

Thanks @anew.social, @quillmatiq.com, and @snarfed.org!
A screenshot congratulating me on migrating my Mastodon account to my Bluesky Account.
Reposted by Manuel Chakravarty
quillmatiq.com
We're launching Mastodon to Bluesky/Blacksky/etc migrations next week!

If you're interested in trying it before the rollout, reach out - we're looking for testers.
anew.social
Today, we announced our next Bounce Beta that lets you migrate your Mastodon profile into any existing ATProto account, whether you're on Bluesky or any other PDS provider!

We'll be going live with Bounce Beta 2 on October 20th.

Read more here:
Bounce from Mastodon to Bluesky
With our next Bounce Beta, you will be able to Bounce your Mastodon account to Bluesky!
blog.anew.social
Reposted by Manuel Chakravarty
spiegel.de
Künstliche Intelligenz: Signal-Chefin warnt vor Risiken für die Privatsphäre: Meredith Whittaker, Chefin der als besonders datensparsam geltenden Chat-App Signal, sieht den Boom um künstliche Intelligenz kritisch. Sie warnt vor einer Blase und vor erheblichen Risiken für die Privatsphäre der Nutzer.
Künstliche Intelligenz: Signal-Chefin warnt vor Risiken für die Privatsphäre
Meredith Whittaker, Chefin der als besonders datensparsam geltenden Chat-App Signal, sieht den Boom um künstliche Intelligenz kritisch. Sie warnt vor einer Blase und vor erheblichen Risiken für die Privatsphäre der Nutzer.
www.spiegel.de
Reposted by Manuel Chakravarty
andre.netzpolitik.org
Heute tagen die Justiz- und Innenminister der EU. Die Chatkontrolle steht nicht auf der Tagesordnung. Es gibt weiterhin keine Mehrheit. Die Ratspräsidentschaft schreibt: "Es ist weitere Arbeit auf technischer Ebene erforderlich, um eine Einigung zu erzielen." data.consilium.europa.eu/doc/document...
Regulation to prevent and combat child sexual abuse

On 11 May 2022, the Commission adopted a legislative proposal aimed at preventing and combating child sexual abuse (CSA) online. The proposal is being examined at the Law Enforcement Working Party – Police. The last Presidency compromise text adds safeguards to protect cyber security and to ensure proportionality and the respect for fundamental rights, while preserving the objectives and the effectiveness of the proposed Regulation. More work is still needed at technical level to reach an agreement for a mandate for negotiations with the European Parliament.

In the European Parliament, the Committee on Civil Liberties, Justice and Home Affairs (LIBE) adopted the rapporteur’s report by Mr Javier Zarzalejos (EPP, ES) on 14 November 2023.
Reposted by Manuel Chakravarty
lukaszolejnik.bsky.social
A few maliciously crafted documents can poison / backdoor an AI model, regardless of model size or training data size. "attacks do not become harder as models scale up; instead, they become easier" arxiv.org/pdf/2510.071...