Die Bundesregierung will das Informationsfreiheitsgesetz de facto abschaffen. Im Morgenmagazin durfte ich ausführlich erklären, warum dieser Frontalangriff auf eine der wichtigsten demokratischen Errungenschaft der letzten Jahre gerade jetzt brandgefährlich ist. #IFG www.zdfheute.de/video/zdf-mo...
Die Spitzen von CDU, CSU und SPD wollen das Informationsfreiheitsgesetz abschaffen – einen Grundpfeiler unserer Demokratie. 2025 haben wir den Angriff der Union aufs IFG gemeinsam abgewehrt. Das schaffen wir auch heute – unterzeichnet jetzt unsere WeAct-Petition! weact.campact.de/petitions/sp...
SPD, stoppt den Frontalangriff auf die Informationsfreiheit!
Wir alle haben das Recht auf staatliche Informationen. Seit 2006 müssen Behörden auf Antrag nach dem Informationsfreiheitsgesetz (IFG) Dokumente herausgeben – seien es Verträge, interne Weisungen oder...
weact.campact.de
NEU: Die Bundesregierung plant den schwersten Angriff auf staatliche Transparenz in der Geschichte der Bundesrepublik. Das IFG soll abgeschafft werden. Das ist nicht nur ein Bruch des Koalitionsvertrags, sondern beschädigt Presse- und Informationsfreiheit massiv. fragdenstaat.de/artikel/poli...
Beschluss des Koalitionsausschusses: SPD und Union planen Abschaffung des IFG
Es ist der schwerste Angriff auf staatliche Transparenz in der Geschichte der Bundesrepublik: Der Koalitionsauschuss von SPD, CDU und CSU hat beschlossen, das Informationsfreiheitsgesetz de facto abzu...
fragdenstaat.de
I originally started filming Utrecht because of its cycling infrastructure. Looking back over seventeen years of footage, I realised I have documented something much bigger: the transformation of an entire city. Blog, video and playlist:
Utrecht: Seventeen Years of Change
When I first started filming in Utrecht in 2009, I had no idea I would still be documenting the city seventeen years later. Looking back through my archive, I realised how well I can show just how much has changed during that time. Few cities transform overnight, but Utrecht has changed remarkably in less than two decades.
bicycledutch.wordpress.com
Das digitale Deregulierungspaket der EU enthält einen einzigen Vorschlag, der nicht primär Unternehmen, sondern Nutzer:innen das Leben erleichtern soll. Er könnte das europäische Internet von Cookie-Bannern befreien, doch nach intensiver Lobby-Arbeit will der Rat den Artikel nun streichen.
Deutschland und Google wollen Cookie-Banner retten
Mit dem „Digitalen Omnibus“ will die EU nach der KI-Verordnung auch den Datenschutz schleifen. Das Gesetzespaket enthält einen einzigen Vorschlag, der nicht primär Unternehmen, sondern auch Nutzer:inn...
netzpolitik.org
Insane self-blinding of the US. They are throwing away their investment in the ocean observation system and the benefits it provides. The only explanation I can think of: they don’t want the people to know what their fossil emissions are doing to our oceans. easternherald.com/2026/06/13/u...
The US Is Pulling Up a $386 Million Climate Ocean Sensor Network
NSF dismantling Ocean Observatories Initiative as very strong El Niño forms. Edson, Robbins, McLean: an irreparable blind spot in U.S. climate observation.
easternherald.com
Noting belatedly that I had a wonderful time co-chairing FLOPS at the end of May - great talks, insightful conversations learned a lot. Thanks to the superb organization by Yukiyoshi Kameyama and the wonderful collaboration with Ekaterina Komendantskaya! functional-logic.org/events/flops...
Ongekend. Na EU ambtenaren, nu ook NL. Prima dat kabinet zorgen deelt. Maar deze techbedrijven beheersen op alle manieren ons leven, zittend op schoot bij Trump, die deze macht tegen ons gebruikt. Ongezond en gevaarlijk. Kabinet moet sneller overstappen op Europese alternatieven: snel debat.
Die UKR erlebt den massivsten Drohnenangriff seit Beginn des Aggressionskrieges. Möglicherweise folgen heute Nacht noch Raketen. Aber in DEU ventiliert man zwei Tage lang, ob Schröder ein guter Vermittler wäre, weil Putin sich das vorstellen kann.
Onbegrijpelijk. De minister verzwijgt contracten voor de Kamer en de Kamer laat dat zonder debat passeren. VVD en CDA missen zelfs het fatsoen om op te staan en aan te geven waarom ze dit niet willen steunen. Het parlement laat zich het kaas van het brood eten. Volgende week nieuw verzoek.
Palantir is een omstreden Amerikaans bedrijf dat software levert waar ICE deportaties mee uitvoert. Dat NL hier zaken meedoet is één ding, als de minister dit verzwegen heeft voor de Kamer is dat onacceptabel. Volt roep de minister ter verantwoording in een debat. www.ftm.nl/artikelen/mi...
The program for the International Symposium on Functional and Logic Programming - FLOPS - is out, and registration is open. FLOPS 2026 will happen May 26-28 in Tsukuba, Japan - see you in there! functional-logic.org/events/flops...
Symposium on Functional and Logic Programming 2026 | Functional Logic Programming
18th International Symposium on Functional and Logic Programming
functional-logic.org
Obviously we need to #disband ICE. I love how ppl blame Democrats for this when Republicans control both houses and presidency. This was not the chaos when Dems are in charge. Get rid of it because the children... Republicans abuse it.
Well, that’s what you get when you bet your industry on a narcissistic felon and his cronies.
Hoskinson: "You've collapsed crypto from a public perception, to crypto equals Trump equals bad .... Crypto equals corruption. It's a wealth transfer mechanism for Trump and his friends." www.coindesk.com/policy/2026/...
Jetzt schwarz auf weiß: Das Wirtschaftsministerium von Katherina Reiche bestellt einen Expertenbericht (schon mit nahegelegtem Spin), bekommt ihn - und schreibt ihn dann vor Veröffentlichung so um, dass das darin steht, was Reiche will. "mehr EE nötig"(l.) - gestrichen.
FUNARCH2025 just one week away. Safe travels and see you in Singapore! conf.researchr.org/home/icfp-sp...
FUNARCH 2025 - ICFP/SPLASH 2025
The Third ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large “Functional Software Architecture” refers to methods of construction and structure of large and long-lived software...
conf.researchr.org
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
Just released version 1.6.0 of ‘ProjectNavigator’ — a cross-platform file navigator for SwiftUI based on ‘NavigationSplitView’: https://github.com/mchakravarty/ProjectNavigator
Chatkontrolle: Wir haben eine vier-seitige Zusammenfassung des 200-seitigen Gesetzentwurfs von Dänemark erhalten. "Da uns die realisierbaren Optionen ausgehen", legen sie einfach den alten Vorschlag nochmal vor. Sie fordern explizit "Client-Side-Scanning". data.consilium.europa.eu/doc/document...
The Call for the 2026 International Symposium on Functional and Logic Programming (FLOPS) is open - the symposium will be May 26-28 in Akita, Japan. Deadline for the CfP is Dec 8 (abstracts) / Dec 16 (submissions). Send us your best on the best of both worlds! functional-logic.org/events/flops...
FLOPS 2026 - Call for Papers | Functional Logic Programming
18th International Symposium on Functional and Logic Programming
functional-logic.org
I already hinted at it a few times. I’m building a new development environment for macOS. The current focus is on Haskell support, but it can also do Agda & Swift. I only just started beta testing with external testers, so there are still rough edges. Interested in giving the beta a spin? Send a DM!
The abstract deadline for FProPer is coming up in a bit more than two weeks (31/5 - paper deadline 14/6). If you're working in the space, please consider submitting! And of course, if you know anyone doing interesting work in this area, please also encourage them to submit!
I'm honored to chair - with @gckeller.bsky.social and Sven-Bodo Scholz - FProPer’25, the Workshop on Functional Programming for Productivity and Performance. CfP asks for full papers (abstract deadline May 31) or standalone abstracts (Aug 2) - hope you'll submit! conf.researchr.org/home/icfp-sp...
I'm honored to chair - with @gckeller.bsky.social and Sven-Bodo Scholz - FProPer’25, the Workshop on Functional Programming for Productivity and Performance. CfP asks for full papers (abstract deadline May 31) or standalone abstracts (Aug 2) - hope you'll submit! conf.researchr.org/home/icfp-sp...
FProPer 2025 - ICFP/SPLASH 2025
FProPer aims to bring together researchers and practitioners that strive to use or develop declarative languages for combining programmer productivity with the highest levels of runtime performance. T...
conf.researchr.org
If you're working on (high)performance for declarative languages - consider submitting your paper or abstract to FProPer (formerly FHPNC) this year! conf.researchr.org/home/icfp-sp...
FProPer 2025 - ICFP/SPLASH 2025
FProPer aims to bring together researchers and practitioners that strive to use or develop declarative languages for combining programmer productivity with the highest levels of runtime performance. T...
conf.researchr.org
📢Programming Languages folks in Lisbon: We're hosting PL@LX this Thursday (Jan 23rd) afternoon in Campo Grande. Details at lasige.pt/talk/program....
Programme Languages Talks, PL@LX Delta #1 - LASIGE
PL@LX Delta January 23, 2025, 14h Room C6.3.27 – Building C6 – FCUL (Campo Grande) 14h00: Luís Caires (IST): Programming with CLASS 14h40: Ana Borges (Formal Vindications): A logician’s look into temp...
lasige.pt
Speaking of pearls, we also have Backhouse, Guttmann and Winter's pearl, showing a neat example of a goal-directed, calculational proof: constructing an equivalence relation from a given relation by way of a starth root construction.
An example of goal-directed, calculational proof | Journal of Functional Programming | Cambridge Core
An example of goal-directed, calculational proof - Volume 34
cambridge.org