Manuel Chakravarty
@tacticalgrace.justtesting.org
🔥 Lambda Scientist 💡 Functional programming 💡 Programming languages 💡 Cryptography 👨🏽💻 Swift, Haskell & Agda 💜 Volt 🇪🇺 policy shaper: digital affairs 📍 Utrecht 🇳🇱🇩🇪🇪🇺
You would think that all of these people pushing for social media bans for kids would be interested in whether or not these bans actually work...but no, I guarantee we will keep on seeing age-gating bills. theconversation.com/more-than-80...
More than 80% of kids still using social media despite ban, new eSafety report finds
The report provides more evidence Australia’s world-leading social media ban isn’t going to plan.
theconversation.com
"A Revised #Haskell 2010 Language Report" by David Binder blog.haskell.org/revised-hask...
A Revised Haskell 2010 Language Report | The Haskell Programming Language's blog
blog.haskell.org
Update: group chats can now host up to 100 members.
Bluesky@bsky.app · 2mo agoWhat's up, chat! Group chats are rolling out today in the new v1.124 update. This is our first feature built for communities, and there's more to come.
I have a Swift evolution proposal up for review! It's all about helping to simplify and reduce duplication of settings in package definitions. I'd love to hear your feedback.
SE-0540: Default Package Settings
Hello, Swift community! The review of SE-0540: Default Package Settings begins now and runs through August 17, 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 by DM. When contacting the review manager directly, please put "SE-0540" in the subject line. What goes into a review? The goal of the review process is to improve the pr...
forums.swift.org
My GodotCon talk is live! It is really about Xogot on Mac.
SceneTree@scentree.bsky.social · 24h agoLike Godot but wish you had it on the go? Fredia covered Android, but the folks at @xogot.bsky.social have something really cool and special on iPad, iPhone, and Mac. @migueldeicaza.bsky.social gives us the scoop on what they've done and what comes next. www.youtube.com/watch?v=jQym...
🍪 Visit killthecookiebanner.eu to learn more and find out how you can take action! #KillTheCookieBanner
Ich durfte mit Golem über @eurosky.social sprechen und erklären, warum aus meiner Sicht kein Weg an interoperablen Lösungen für ein „Social Media aus Europa“ vorbei führt.
EU-Social-Media-Projekt Eurosky: "Alle Nutzer haben die Hoheit über ihre Daten" - Golem.de
Warum es kein europäisches Facebook braucht, sondern ein offenes Netzwerk für ein europäisches Social Media, erklärt uns Eurosky-Mitgründer Sebastian Vogelsang.
golem.de
"We’re also handing the protocol spec itself to the IETF. Last week, the IETF met in Vienna, and AT Proto is now a work stream, an official work stream to take that out of Bluesky and hand it to the IETF"
Techmeme@techmeme.com · yesterdayQ&A with Bluesky CEO Toni Schneider on the AT Protocol, ActivityPub, scaling moderation, Bluesky's reputation as a progressive social media network, and more (Nilay Patel/The Verge) Main Link | Techmeme Permalink
Absolutely unbelievable how solar power has taken off worldwide during the Hormuz oil crisis. You don't have to hand it to him, but Trump may have done more to finally kick off a global civilization of effete librul solar users than anyone else in the West
"Pandoc currently supports 51 input formats and 76 output formats, thus 3876 distinct conversions (not counting the variants that are possible by adjusting extensions)." ← wild
Haskell programming language@haskell.org · 2d ago"Twenty Years of Pandoc" by John MacFarlane pandoc.org/twenty-years... #Haskell
Het Nederlandse Nationaal Cyber Security Centrum (NCSC) heeft een waarschuwing over een kwetsbaarheid in SQLite ingetrokken omdat die 'door een llm gehallucineerd' was. De use-after-freebug blijkt niet te bestaan, maar is door CVE Numbering Authorities zoals Mitre wel geaccepteerd als kwetsbaarheid.
NCSC trekt waarschuwing in: SQLite-bug vermoedelijk verzonnen door llm
ebx.sh
"Stel je voor dat iedereen met zo'n bril rondloopt. Je zal in elk gesprek moeten afvragen of je gefilmd wordt. Dat zou veel doen met ons veiligheidsgevoel en met menselijke interactie. Dat moeten we absoluut niet willen. Evelyn op NOS over gluurbrillen van Meta: nos.nl/nieuwsuur/ar...
Grote zorgen over 'gluurbrillen' van Meta
Miljoenen zijn er al van verkocht: slimme AI-brillen die kunnen filmen, herkennen, vertalen en nog veel meer. Maar wat gebeurt er met privacy-gevoelig materiaal? "Dit moeten we niet willen."
nos.nl
"Twenty Years of Pandoc" by John MacFarlane pandoc.org/twenty-years... #Haskell
Pandoc - twenty-years-of-pandoc
A universal document converter
pandoc.org
Xogot for Mac Beta 3 is now available. This release adds first-class C# and Swift editing and debugging, built-in Git and Git LFS, a bundled coding agent, and major improvements throughout the editor. Check out the deep dive on our blog: blog.xogot.com/xogot-for-ma...
.NET, Swift, Git and AI land in Xogot for Mac
In Beta2, we focused extensively on the user experience polish and becoming a true Mac citizen. Beta 3 is about removing friction. We're giving you more of the tools you need out of the box, so you c...
blog.xogot.com
Ukraine Foreign Affairs Minister: "We have detected intensive Russian propaganda campaign across Europe using pictures from Ceuta to sow destabilisation." Far-right from EU (& US!) falls with open eyes for hybrid threats from the weaponisation of migration, even fan the flames. #unity #solidarity
As a DMA-ist, I might have some ideas 😉
Simonetta Vezzoso@wavesblog.eurosky.social · 3d ago"A few days ago, a Congressional candidate called me and asked if I had “antitrust” ideas for AI...As an anti-monopolist, I’ve been studying this space for years, so it’s weird that I don’t have an actual policy solution here" www.thebignewsletter.com/p/monopoly-r...
Funny how national governments consider that the sale of golden passports to dodgy rich people is a strictly national competence, but regularizing migrants who are working for a living is not.
POLITICO Europe@politico.eu · 4d agoTwenty-two EU leaders have raised “serious concern” that Spanish Prime Minister Pedro Sánchez’s migration policies are undermining the security of the bloc’s borders.
🔹 AI-generated media, ‘deepfakes’ must be clearly labelled as such 🔸Chatbots and virtual agents must explicitly state they aren't human 🔹You must be told when AI is actively analysing you, like biometrics, emotion tracking → link.europa.eu/gTvhRX
As of today, the use of AI becomes more transparent in the EU. Here’s how EU law makes sure AI works for you, in full openness ↓
Spain-based password manager Passwork, used by EU governments, shares technology with a Russian counterpart serving sanctioned missile makers. Experts warn Russia’s state source-code review could expose vulnerabilities in the European software. @occrp.org
European Password Manager Shares Origins and Updates with State-Certified Russian Firm - VSquare.org
Passwork, a Spain-based password manager used by European government agencies and universities, shares technological ties with a Russian counterpart — an arrangement that experts say poses a state-level security risk.
vsquare.org
Some interesting facts: 🔹Russia and Morocco had a high-level summit in April 2026 🔹Russia imported gasoline from Morocco 🔹Morocco has no active refineries; where did it come from? 🔹Moroccan authorities let 60k migrants into Spain, causing a crisis which divided EU allies 🤔
European politicians: "Migration flux, helpppp, tsunami of refugees, Europe is being overtaken by Moroccans" Reality: orchestrated show to punish Spanish PM Sanchez.
Brekelmans heeft zich erin laten luizen. bsky.app/profile/isay...
Isa Yusibov@isayusibov.bsky.social · 4d agoExactly #Ceuta
Italy's election campaign has begun. After Ceuta, Meloni called to suspend Spain from Schengen - a power no member state has - and reinforced border controls 2,000 km away. Europe needs one EU immigration system, not 27 national ones. 🇪🇺 Only true European parties can deliver. Like @volteuropa.org
🇺🇦 FM warns of a 🇷🇺 campaign using #Ceuta pictures to sow destabilisation. Are 🇮🇹🇫🇮🇩🇰 governments talking of suspending Schengen—not mentioning that (a) 🇪🇸 quickly got the Ceuta situation under control & (b) there are border controls between Ceuta and EU mainland anyway—aware whose game they are playing?
New blog entry: On the non-use of AI in my writing process: www.antipope.org/charlie/blog...