@neurocy.bsky.social defines the core problem as bad defaults in scientific code tools like Jupyter that make it hard to be FAIR without lots of work #icfpsplash25

That’s a wrap for PROPL25 at @icfp-conference.bsky.social! Here’s the tired but happy organising team @anil.recoil.org @dorchard.bsky.social @kcsrk.info with @neurocy.bsky.social celebrating! Stay tuned for a writeup and enjoy our proceedings in the meantime dl.acm.org/doi/proceedi...

@neurocy.bsky.social arguing for the digital commons as a massive single live program that’s collaboratively edited by thousands of contributors and live updated! A Wikipedia-meets-GitHub-meets-Jupyter #icfpsplash25

we’re going to have to throw a lot of people in jail after all this is over

Several anti-ICE protestors on the Ohio-Kentucky border.

This is how the police dealt with them.

Literally beat the hell out of them.

This is Trump's police state America, coming to a protest near you.

Paulette Koronkevich, William J. Bowman
One Weird Trick to Untie Landin's Knot
https://arxiv.org/abs/2507.21317

NEW: 18,500 children have been killed by Israeli forces in Gaza.

The Washington Post has just published every single known name.

A seminal moment.

The governing party of the United States is shutting down the federal government to cover-up evidence the president sexually abused children so he can continue trying to implement dictatorship.

That's just a true statement about the world!

Xavier Van de Woestyne

"Generating Static Websites the Functional Programming Way"

at #FUNOCaml 2025!

Exploring limitations of Jekyll/Hugo/Zola for complex sites + introducing YOCaml — a static site framework in OCaml using functional abstractions

📅 Sept 15-16 | Warsaw

@negabinary.bsky.social is on it!

People who entered the US legally and have no criminal charges are being held in the Everglades camp, according to records obtained by the Miami Herald. Maybe that’s why the government won’t release the names of those being detained. www.miamiherald.com/news/local/i...

Nothing to see here, just a dried out old thorn.

One of the nice things about these insects is that they take their thorny role-playing seriously and don't move.
Treehopper (Enchenopa sp.) PA

There may be some tiny opening to save the NSF funding. It is worth calling your Senators. This is a big deal if it can be saved.

www.nature.com/articles/d41...

Literally lining up to receive a paste to give children with extreme malnutrition.

I made a bluesky client. That looks and works by famous phpBB2 by przemo.

Check it out if you miss those funny forums bskybb.domi.zip/forum/index....

Here’s the bottom line for what’s going on with Grok - if the owner of the website is putting his thumb on the scale hard enough for the chatbot to turn into Goebbels, you should be deeply concerned about what he’s doing to the algorithm that you can’t so easily see, and what it’s doing to you

Killing MIT seems dumb to me

We ran a randomized controlled trial to see how much AI coding tools speed up experienced open-source developers.

The results surprised us: Developers thought they were 20% faster with AI tools, but they were actually 19% slower when they had access to AI than when they didn't.

If you ask the new Grok (via grok.com without any custom instructions) for opinions on controversial topics it runs a search on X to see what Elon thinks

I know this sounds like a joke but it's not. This genuinely happens: x.com/jeremyphowar...

i don't know if everyone who still uses ""X"" gets this, but like, *you* are what's giving it its legitimacy.

if it were just nazis on there, it would only be a (large but still) fringe nazi hangout space, but it's *not* that.

end user apps as programs

Everyone is acting like US scientists will just go get science jobs elsewhere and sure some will but there are not anywhere close to enough science jobs elsewhere.

The end result of this will be much, much, much less science, not science happening in different places.

Have to add these photos showing the contrasting vibes

Join Thibaut Mattio at FUN OCaml 2025 for "Build Language Models with Raven"!

📅 Sep 15-16, Warsaw 🇵🇱

Learn to build transformer models using OCaml & Raven's JAX-like ecosystem. We'll explore autodiff, attention mechanisms & leverage OCaml's type system for ML.