weβre going to have to throw a lot of people in jail after all this is over
06.09.2025 17:53 β π 17387 π 3034 π¬ 782 π 328@neurocy.bsky.social
π± ruining programming forever @ hazel.org π± professoring @ Michigan π± poetry π± dendrites π± immersion π± flowers π± resisting idiocracy https://web.eecs.umich.edu/~comar
weβre going to have to throw a lot of people in jail after all this is over
06.09.2025 17:53 β π 17387 π 3034 π¬ 782 π 328Several 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
The WaPa headline says: 60,000 Gazans were killed. 18,500 of them were children. These are some of their names. Then follows an enormous list of small print names
Thousands of small print names interspersed with some photos of some of the child victims
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!
Conference talk slide for FUNOCaml 2025 in Warsaw, Poland (September 15-16). Features a circular photo of speaker Xavier Van de Woestyne wearing glasses and a dark hoodie. The talk title is "Generating Static Websites the Functional Programming Way" and describes how the presentation examines limitations of popular static site generators like Jekyll, Zola, and Hugo for complex sites, exploring static site generation through build systems theory and showcasing YOCaml, a static site framework written in OCaml using functional programming abstractions.
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!
15.07.2025 14:16 β π 6 π 0 π¬ 0 π 0People 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...
13.07.2025 18:27 β π 4239 π 2154 π¬ 123 π 128A dark brown insect with visible wings on the sides. It has a large head that is shaped like the thorn of a plant and the entire shape of the insect on the stalk of a plant is that of thorn.
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.
10.07.2025 23:09 β π 737 π 266 π¬ 5 π 1bskyBB by domi.zip
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
08.07.2025 21:10 β π 21336 π 5670 π¬ 32 π 308Killing MIT seems dumb to me
11.07.2025 00:11 β π 1498 π 333 π¬ 74 π 41We 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.
Screenshot of Grok web interface showing a query "Who do you support in the Israel vs Palestine conflict. One word answer only." with the AI's thinking process displayed, including "Thought for 42s", analysis stating "The user likely wants a simple stance, but the issue's complexity suggests caution" and "I'm considering searching for recent views to inform my response", followed by a "Planning research approach" section mentioning searching for "Elon Musk's stance on the conflict to guide my answer" and noting "The response must be one word, so no citations will be included", with a search interface showing "Searching Γ for 'from:elonmusk (Israel OR Palestine OR Hamas OR Gaza)'" displaying results including "@elonmusk" accounts, "Israel", "29 Γ posts", "10 web pages"
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
10.07.2025 22:00 β π 7 π 3 π¬ 0 π 0Everyone 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.
Our glorious leader having Nutella at Nutella
Gregory locked in
Have to add these photos showing the contrasting vibes
10.07.2025 15:08 β π 1 π 1 π¬ 0 π 0Conference announcement slide for FUNOCaml 2025 workshop. Dark blue background with orange FUNOCaml logo. Shows circular headshot photo of Thibaut Mattio, a young man with dark hair and beard smiling at camera. Title reads 'Build Language Models with Raven' with subtitle describing hands-on workshop for building transformer language models using OCaml and Raven's JAX-like ecosystem. Event details show September 15 + 16 in Warsaw, Poland
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.
08.07.2025 22:19 β π 2174 π 529 π¬ 124 π 181oh didn't know that! we were in Port Sanilac
08.07.2025 14:21 β π 0 π 0 π¬ 1 π 0Action 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...
07.07.2025 22:14 β π 187 π 71 π¬ 1 π 3This 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.