Heatwave tip 7: shut off A/C in your staffers’ offices so the higher-ups can keep doing their Very Important Stuff unaffected 😀 www.politico.eu/article/eu-c...

EU Commission HQ forced to shut down air-conditioning amid heatwave

As Brussels bakes, the Berlaymont building’s AC stops working.

politico.eu

European Commission@ec.europa.eu · yesterday

It’s hot across Europe right now. Millions of us are feeling it - in cities, towns, and villages across the continent. When heatwaves hit, small actions matter ⬇️

Tbh a clanker recently wrote for me a parser that handled function arguments by doing setattr(myFunctionCall, f”arg{n}”, arg) and I am pretty sure that is not good code

dax@thdxr.com · 6d ago

now everyone gets to complain about how LLMs don't write good code like they're someone who even knows what that is

feelsgoodman dot jpg

What a thrill 😃 Check out our latest reactive synthesis paper! link.springer.com/chapter/10.1... #CAV2026 @floc2026.bsky.social

Follow up: the angle “Odysseus was in a fugue state for 10 years, crashed the Bronze age, made his whole journey up to partly justify him leading all his men to die, & only made it after psychoanalysis with Calypso” is unhinged yet compelling

Luca 🤓@lucadistefano.eu · 2w ago

ODYSSEY takes 🧿 * Wanted to hate it but couldn't * A lot of the "woke" stuff has been discussed since antiquity * The good thing about classics is that you can cut out 80% of them and whatever remains is still PLENTY * Dialogue is still his weakest spot 🥲 * Go watch it on the biggest screen you can

Heading to Lisbon for CAV @floc2026.bsky.social ! Can’t wait

Luca 🤓@lucadistefano.eu · 4mo ago

Our tool paper "Sweap: Reactive Synthesis for Infinite-State Integer Problems" has been accepted to #CAV2026 at @floc2026.bsky.social ! Sweap synthesises programs that can handle unbounded integers, and fulfill a specification while facing an adversarial environment... 🧵 1/5 #compsci #academicsky

ODYSSEY takes 🧿 * Wanted to hate it but couldn't * A lot of the "woke" stuff has been discussed since antiquity * The good thing about classics is that you can cut out 80% of them and whatever remains is still PLENTY * Dialogue is still his weakest spot 🥲 * Go watch it on the biggest screen you can

"most of the things we do online, even the public stuff, are not intended to be "manifestly public" in the way that the public broadcast protocol is." This nicely sums up my thoughts. I am not putting actual private stuff on my PDS anytime soon, but I wouldn't mind a bit of access control 😅

daniel holmgren 🫠@dholms.at · 3w ago

new data diary! (and i think final in the main series) this gets into the permissioned repository itself. how it's structured, signed & synced. give it a read & as always, lmk your thoughts!

If our LLM wrecking crew at TUW manages to run this locally I’ll be one happy critter omg

Sung Kim@sungkim.bsky.social · 3w ago

Kimi K3 (Open Weights by July 27, 2026.) 🔹 2.8 Trillion Parameters, 1 Million Context, Native Multimodal 🔹 Kimi Delta Attention enables up to 6.3x faster decoding in million-token contexts 🔹 Attention Residuals deliver ~25% higher training efficiency at <2% additional cost

An overlooked security feature of Matrix: you can use Element's unread messages badges as a cryptographically secure PRNG

Uhh not cool SIGPLAN.

ionchy@ionchy.ca · 3w ago

in case you missed it, ICFP 2026 is sponsored by Anduril, who have gotten themselves a booth at the conference for the low, low price of almost 5 full student registrations icfp26.sigplan.org (and don't forget your Anduril merch swag bag!)

We should all agree that solving this is a top priority for atproto. It's great that I control my PDS, but if I can't control who can access it and how it's like owning a house without locks 😕

Scan@scanash.com · 4w ago

Some people don't know that AT Protocol is fully public, you don't even have to sell user data, it's free!

@stemlabels.xyz is there any way to get labelled again? i used to have the Computer Science label but apparently not anymore 😔

A message to all Eurosky members and friends We need your help - can you support Eurosky with a monthly or one-off donation? If you can, please visit whydonate.com/fundraising/...

This is not surprising. Everyone is under intense pressure to publish "AI" papers, no matter their background.

Marzena Karpinska@markar.bsky.social · 4w ago

Only 17% of May #ARR authors are qualified for reviewing, and almost 40% of papers have no qualified people?!?!

My crackpot theory is that Zenodo's upload is deliberately slow so that you fill in the metadata out of boredom

I love cinema. I have access to, like, 5 different platforms. Yet, a few months ago I wanted to watch Wild at Heart and had no legal options. This is a film that WON CANNES, by one of the most universally acclaimed and beloved directors of all times! Make it make sense!

dan@danabra.mov · 4w ago

movie piracy is so good. impossible to find stuff otherwise

Errr my For You feed is thrashing quite a bit these last 24 hours, now it settled for Japanese BSky??

4th of July! Couldn't think of a better date to move my PDS to @eurosky.social 🇪🇺

VScode updating again

Proud of my lil bro @fratellobigio.com 🤩 fratellobigio.com/posts/landin...

This is discrimination against the branch that uses bools. May Armin Biere forgive you

srrrse@without.boats · last mo.

there are actually only two branches of computer science, the one that uses floats and the one that uses ints

Days since I had to ask Anna for some foundational text in computer science that has utterly disappeared from the face of the Earth: 0️⃣

I am not 100% against services backed by identity verification. But in the EU this is a solved problem: we have eIDAS (for better or worse). If you ask me to upload a scan of my passport I’m going to laugh at you #wsocial

Wow bsky is also a weather app now 🌞

*Midway through watching Backrooms* I'll never get a House of Leaves adaptation, now am I

My review stack is empty again 😮‍💨

God I love Gothenburg 💙🤍

The way Americans conceptualise Europe will never not be funny

Prof Dynarski@dynarski.bsky.social · 2mo ago

Once again, I have visited Europe in the spring only to find that spring is not in Europe 53°F Wearing linen and sandals while Danes are bundled in coats & hats

Jack White can still shred 🤩