Finally some good use of AI
https://www.vice.com/en/article/infinite-ai-homer-simpson-cover-songs-poisoned-soulseek/

@IngridHbnIngrid Hoeben Ⓥ 🇧🇪 Gee, never knew that!

IRS Tactics Against Meta Open a New Front in the Corporate Tax Fight

Link: https://www.nytimes.com/2026/02/24/business/irs-meta-corporate-taxes.html
Discussion: https://news.ycombinator.com/item?id=47136537

넘졸리다

When I was in high school in 2012, I read the formal definition of a function on Wikipedia and it blew my mind. One year later, I dropped out of high school and tried to rigorously define everything in high school mathematics from scratch.

Of course, it didn't work, although I gained some basic knowledge about propositional logic and predicate logic. In 2014, I discovered Metamath's set.mm database, but I didn't have the time to thoroughly understand it. Since 2022, I've been learning and using the Lean theorem prover and Mathlib.

When I try to write a proof on paper, it takes as much time as writing a formal proof. That's because I end up writing a semi-formal proof without using a proof assistant. I'm not sure why, but I feel like I'm in full control of mathematical concepts when I use proof assistants.

C’est l’heure du lunch réseautage. 🍽️ Bon appétit, on se retrouve à 13h30!

#FediMTL

#OnThisDay, 24 Feb 1968, Jocelyn Bell Burnell - along with her male supervisor and three other men - published a paper confirming the discovery of pulsars. She had built the array, picked up the signal and argued it was not an anomaly. Hewish received the Nobel prize for it in 1974: Bell Burnell did not.

In 2018 Bell Burnell received a £3m prize for her work. She's used it to set up a foundation to improve the diversity in STEM.

#WomenInHistory #OTD #History #WomensHistory #Histodons

oh: o ty huju

Irish Data Protection Commission was asked today in Committee: have you ever taken a GDPR decision on Google?
Answer... No.

Ireland is responsible for supervising Google's data use across the whole EU. It has produced Zero decisions.

Hundreds of "amicable resolutions" but no actual Article 60 final decisions at all.

The European Commission should be examining Ireland not just on tax but on data and child safety online.

Oh this is super nice wow! I don't have a remote storage account can I get a Kosmos one from you to try out your sync? I see you also have nostr listed but it's grayed out. Will you add nostr based sync too?

@ricciRob Ricci @thisismissemEmelia 👸🏻 like, this is a crucial part of decentralisation to me, and what i got at here. There are multiple axis of decentralisation, and the separating software into components is one of them

Jusqu'au 26 février, Aéropoly vous propose de découvrir le pilotage de drones dans le cadre de Fly Indoor!

Des démonstrations, des simulateurs et des initiations au pilotage sont proposés de 10h00 jusqu’à 19h00 à la salle polyvalente CE 1 515.

#plushtodon #epfl #drone #Aeropoly #FlyIndoor

A hug to the people of Budapest who have to live under Orban

"If war bad, why big robots cool?"

Working on a Space Fantasy setting and searching for the special sauce to give it more awe and wonder, while also having it stay consistent with the themes I want to focus on, this video is raising some very interesting points. Instead of avoiding the contradictions, or ignoring them, it could be interesting to make them part of the story.

"All of humanity's dream are cursed somehow. Beautiful yet cursed."

https://www.youtube.com/watch?v=Tqb0Z0sM88U

#worldbuilding #scifi

nobody confident in their own abilities is panicking

https://www.theregister.com/2026/02/23/claude_code_security_panic/?td=rt-3a

the people who are panicking are signaling.

"an argument against pretending there is no tradeoff. [...] Age-restriction laws are not just about kids and screens. They are reshaping how identity, privacy, and access work on the Internet for everyone." Waydell D. Carvalho for @ieeespectrum https://spectrum.ieee.org/age-verification

my scheme for interacting on the internet is that, should anything in the conduct of the other netizens annoy me, I complain about it approximately two or five months later.

Not sure where #Google asked for feedback about their developer verification program, but they surely didn't talk with #FLOSS devs, civil society, privacy organisations or their #Android users

#FDroid did since September, and interacted with folks in the Fediverse, forum, email and in person

They all voiced one opinion: "developer verification must be stopped"

@marcpruxMarc Prud'hommeaux has written an open letter, signed by likeminded organisations who want to #keepandroidopen

Click: https://f-droid.org/2026/02/24/open-letter-opposing-developer-verification.html

doing nicolium dev at bar wenecja in kutno?

Kansai Airport has never lost a baggage in the 30 years since it opened (2024)

Link: https://japannews.yomiuri.co.jp/features/japan-focus/20241228-229891/
Discussion: https://news.ycombinator.com/item?id=47139224

ATAboy is a USB adapter for legacy CHS only style IDE (PATA) drives

Link: https://github.com/redruM0381/ATAboy
Discussion: https://news.ycombinator.com/item?id=47095972

the blizzard put a bit of a damper on my regularly scheduled late February gardening daydreams

but i persevere

Lina Inverse

😇

Alameda is a bird-lover’s paradise, so it’s fitting that the K Gallery at Rhythmix Cultural Works is presenting “Flight Patterns,” an exhibit that celebrates the wonder of local birds. An opening reception is scheduled for March 13, and the show runs through April 24. Artwork by Jean Chen. https://alamedapost.com/features/arts/rhythmix-cultural-works-presents-flight-patterns-at-k-gallery/

#alameda #DeborahCrooks #KGallery #RhythmixCulturalWorks

I had a cookie today!!

But I ate it...
so now I have no cookie

The LLM discourse on the Fediverse has really irked me the last few days.

Refusing to read writing made with the use of LLMs and refusing to give time to writers who use, promote or justify the use of LLMs is not purity culture, it's a boycott. It's a political act of withdrawing my time, resources and support for something that I find deeply morally wrong. It's protest. I have a choice and I refuse.

LLMs are exploitative, destructive, biased, mediocre parroting machines. Using them has a negative impact on the climate, the arts, the quality of the internet, the job market, the economy, the accessibility of electronics, even on skill development, creativity and mental health. LLMs are made and trained on the unpaid labour of millions -if not billions- of people who didn't consent. Their generic output litter the path to finding anything by true human creators.

Wherever I can, for as long as I can, I reject LLMs and anything that is related to them. I'm boycotting.

OTD 1982: The founding of #SunMicrosystems.

Astonished to learn that $msft employs designers.

Samsung Upcycle Promise

Link: https://www.xda-developers.com/samsung-promised-make-old-phones-useful-galaxy-upcycle/
Discussion: https://news.ycombinator.com/item?id=47125263

Remember LAN parties? Plug in and everything just worked.

At @allthingsopen, Allen on the Tailscale Solutions Engineering team recreated that across AWS, a home lab, hotel WiFi, and MongoDB Atlas.

Watch it here - https://allthingsopen.org/articles/stop-opening-firewall-ports-identity-tailscale-secure-access

"What creates durable, adaptable systems? It’s accessibility infrastructure. Accessibility is the architecture that makes usable systems and variability scalable.” - @annaecook https://www.deque.com/axe-con/sessions/accessibility-in-the-end-of-deterministic-design-again/ #axecon

ねむすぎ​​

Just got a letter from DHS. We will be losing our snap benefits at the end of the month because my disabled wife isn't trying to find a job. Most days she can't get out of bed. We have called them multiple times to explain that we are both waiting on them to process our disability claims.
Not sure how we're going to do this.

Just got a letter from DHS. We will be losing our snap benefits at the end of the month because my disabled wife isn't trying to find a job. Most days she can't get out of bed. We have called them multiple times to explain that we are both waiting on them to process our disability claims.
Not sure how we're going to do this.

GitHub puts a thicker left edge on some pull requests in a list. What does it mean? Is this the most implicit indicator ever?

Leckt's mi am Oasch
I foa jetzt noch Rio
Dort spün's o sole mio
Und ihr Trottln bleibt's daham
https://www.youtube.com/watch?v=IpodMSggOVk
#mood

This is a BIG one that enables our customers to expand the types of workloads they land on the Cloud Computer.
Read more here: https://docs.oxide.computer/release-notes/system/18

Pixi GUI: modern alternative to Anaconda Navigator https://lobste.rs/s/wnuxqz #python #rust
https://prefix.dev/blog/introducing-pixi-gui

Stripe valued at $159B, 2025 annual letter

Link: https://stripe.com/newsroom/news/stripe-2025-update
Discussion: https://news.ycombinator.com/item?id=47137711

i’m at https://fedimtl.ca today and really enjoying the talks so far

this seems wildly naive but gosh I hope it works? https://mastodon.social/@josusanz/116126589909111074

Quietly queer: #LGBTQ meetups in #Oakland for introverts and quiet people that don’t center alcohol

https://www.meetup.com/quietly-queer-meetup-for-lgbtq-introverts-and-allies/

The first two (pro-genAI) talks at #axecon were not well-received, but @annaecook knocked it out of the park.

https://www.deque.com/axe-con/sessions/accessibility-in-the-end-of-deterministic-design-again/

#accessibility #a11y