Blaues Plakat + buntes Gegenplakat: dein Auto würde uns wählen ... Es hat ja auch kein Hirn
Wunderbare Gegenplakatierungen, eben zugesandt bekommen:
28.02.2026 22:28
👍 4689
🔁 1294
💬 42
📌 45
Blaues Plakat + buntes Gegenplakat: dein Auto würde uns wählen ... Es hat ja auch kein Hirn
Wunderbare Gegenplakatierungen, eben zugesandt bekommen:
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...
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.
· Das gesetzliche Ziel von mindestens 80 % erneuerbarer Stromerzeugung an der Stromnach- frage im Jahr 2030 scheint angesichts eines geringer als ursprünglich unterstellten Nach- frageniveaus trotz der erwartbaren Zielverfehlungen bei den installierten Kapazitäten er- reichbar. Diese Zielerreichung hängt stark von den tatsächlichen Wetterbedingungen und damit verbunden der Auslastung der installierten Kapazitäten ab und könnte daher auch verfehlt werden. Für die Erreichung der EEG-Strommengenziele könnte entsprechend der explorativen Sze- narien mehr installierte Kapazitat als bisher unterstellt notwendig sein. So ergibt sich aus der Kombination der unterstellten Bandbreite der Anlagenauslastung sowie des Brut- tostromverbrauchs eine Spanne zwischen 62 % und 97 % EE-Anteil am Bruttostromver- brauch für das Jahr 2030.
· Das gesetzliche Ziel von mindestens 80 % erneuerbarer Stromerzeugung am Bruttostrom- verbrauch im Jahr 2030 scheint erreichbar. Dies ergibt sich vor dem Hintergrund der er- warteten geringeren Höhe des Bruttostromverbrauchs trotz der erwarteten Zielverfehlun- gen bei den Kapazitäten von Wind an Land und Wind auf See. Die Erreichung des EE- Strommengenziels hängt stark von den tatsächlichen Wetterbedingungen und Abregelun- gen ab. So resultiert aus der Kombination der Bandbreite der Anlagenauslastung und des als robusten Korridor identifizierten Bruttostromverbrauchs eine Spanne zwischen 62 % und 97 % EE-Anteil am Bruttostromverbrauch fur das Jahr 2030.
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...
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
Screen shot with a file tree on the left and the text contents of a selected file to the right.
Just released version 1.6.0 of ‘ProjectNavigator’ — a cross-platform file navigator for SwiftUI based on ‘NavigationSplitView’: https://github.com/mchakravarty/ProjectNavigator
🤔
INFORMATION From: Presidency To: Law Enforcement Working Party (Police) Subject: LEWP-P meeting on 11 July 2025: Presidency flash on the new compromise text on the CSA Regulation Delegations will find attached the Presidency flash on the above-mentioned subject.
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...
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!
Summer School on Advanced Functional Programming in Utrecht (NL) in July: http://afp.school/
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...
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...
📢Programming Languages folks in Lisbon: We're hosting PL@LX this Thursday (Jan 23rd) afternoon in Campo Grande. Details at lasige.pt/talk/program....
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.
Have a read of Shin-Cheng Mu's beautiful functional pearl on deriving an algorithm for bottom-up computation using trees of sublists.
My keynote from FProPer'24 is also online now
"From C to Comonads to Climate: A Functional Programmer's Journey in Array Programming"
www.youtube.com/watch?v=y_tJ...
I'm happy to announce that the Utrecht Advanced Functional Programming summer school is happening again this year! It takes place in the second week of July. If you'd like to join, please register via the link below! utrechtsummerschool.nl/courses/scie...
Heads up! The next Haskell Utrecht Meetup is going to be on 11 December: www.meetup.com/haskell-utre...
