On this Trans Day of Remembrance, we remember the bright and courageous trans people whose lives were stolen by hatred. Their absence is felt across our city. We will honor them by building a New York where every trans person can live safely, fully and freely.

Software Substrates Workshop. Submission deadline Feb 20 2026.programming-conference.org/home/substra...

Apparently you can reliably jailbreak frontier models with poetry. How … poetic arxiv.org/html/2511.15...

Our sociotechnical future is not determined: we can shape it! Preprints are a recent example. Let’s keep hoping and building together!

I've been using—and loving—@kagi.com as my main search engine. This new feature should boost authentic content even more. > Every piece of harmful AI-generated content you identify helps create a better, more trustworthy search experience for everyone. blog.kagi.com/slopstop

With Advent of Code coming up I've written a blog post about solving coding challenges with functional programming. Maybe someone reads it and recognizes that you dont need deep understanding of type theory or monads to get started with the cool stuff. Examples in OCaml. ecsodikas.eu/posts/functi...

A rough and ready, online Hazel of OCaml compiler: patricoferris.github.io/hazel_of_oca...

hazel development, september 2020 - september 2025

The best part of going to a conference is the things you learn; come cool talks I saw include @kcsrk.info about formal verification of GCs, others about @neurocy.bsky.social's Hazel, @sadiq.toao.com on OCaml and AI, and how I got Shriramed by... @shriram.bsky.social anil.recoil.org/notes/icfp25...

Great evening with @dorchard.bsky.social, @dm0ney.bsky.social and @neurocy.bsky.social talking Hazel and Fluid!

#SPLASH folks, check out our OOPSLA talk today at 10:30 on Syntactic Completions with Material Obligations! @dm0ney.bsky.social will discuss how we turn arbitrary text into parsed trees by error correction with a generalization of holes called obligations, turning parsing into structure editing!

#SPLASH folks, check out our Distinguished Paper (!) talk this afternoon at 14:15 on "Incremental Bidirectional Typing via Order Maintenance". Thomas will tell you how to efficiently update type information (including error marks) in response to local edit actions. A small step *static* semantics!?

@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

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.

Grok is now calling itself, "mechahitler" while spewing antisemitism.

Action shots from Nutella 2025 -- FP Lab's first annual retreat, on the shores of Lake Huron. Much fun and envisioning was had! thomasporter522.github.io/hazelcon/ind...

Every living NASA science chief unites in opposition to unprecedented budget cuts www.planetary.org/press-releas...

This is what happens when you believe the hype that vibe coding means you just need an “idea guy” to build a startup. The technology may get there someday but today’s LLM-based AI coding agents ain’t it.

🧵This is a terrifyingly real concern and I want people to understand that fully uniformed cops sexually assault women and girls all the time. ACLU: "One study found that, over a 10-year period, a police officer was caught committing sexual abuse or sexualized misconduct at least every five days."

Once again, this is a massive public jobs program for fascists. This bill was never just about tax cuts and gutting social services. It's about investing our collective resources in violence and using state power to spread fear and destroy solidarity. We need to resist this with all we've got.

One thing that’s really important to realize, which took me awhile to understand, is that people will be justifiably afraid to leave their homes. Now is the time to start thinking about aid pipelines to people who can’t leave their houses.

I don’t think anyone is prepared for what they just did w/ ICE. This is not a simple budget increase. It is an explosion - making ICE bigger than the FBI, US Bureau of Prisons, DEA,& others combined. It is setting up to make what’s happening now look like child’s play. And people are disappearing.

They're now using the social security notification system to push their propaganda. Just got this.

Big fan of democracy but we'll have to admit it's an L of historic proportions to get subverted and destroyed not by some strategic genius but by possibly the dumbest man on earth

trump should’ve been in handcuffs in jan 2021 and there is no way to quantify just how much human suffering will result from the disastrous decision to slow walk his prosecution or even avoid it altogether

I am grieving the barbarism that is going to unfurl from all this. People are going to die. Livelihoods gone. All to feed a corrupt kleptocracy. I see every day up close how different it is from the first time around. There are no guardrails. A disaster. I’m sorry we have to live through this.