Mastodon Feed: Posts

Mastodon Feed

dysfun@treehouse.systems ("gaytabase") wrote:

RE: https://mathstodon.xyz/@fnf/116445029678488042

a paper in which an autoformalisation of a proof by AI turns out to have just left out the bits it couldn't prove.

Mastodon Feed

dysfun@treehouse.systems ("gaytabase") wrote:

i suppose you'll want the page i got that link off too https://c9x.me/compile/bib/

Mastodon Feed

Boosted by dysfun@treehouse.systems ("gaytabase"):
Heliograph@mastodon.au wrote:

yes :Froglet:

Drawing of a green round frog moving a seance board, above them the text "Fuck chatgpt I'm asking ghosts."

Mastodon Feed

dysfun@treehouse.systems ("gaytabase") wrote:

The Static Single Assignment (SSA) book https://pfalcon.github.io/ssabook/latest/

Mastodon Feed

dysfun@treehouse.systems ("gaytabase") wrote:

Building SSA in a compiler for PHP

😂

Mastodon Feed

Boosted by jwz:
mcfadden ("Brian McFadden") wrote:

If you're catering the White House Correspondents' Dinner, don't forget to not wash your hands. https://patreon.com/BrianMcFadden

(panel 1 - title across the top of a tacky menu) 2026 White House Correspondents' Dinner Menu (panel 2 - The appetizer section) Access Journalist Appetizers (item A - Gregg Phillips holding a plate with a translucent waffle.) Teleported Waffles (item B - A dinner roll between two pats of butter.) Bothsides Buttered Rolls (panel 3 - The entree section) Elite Entrées (item C - A rotting USAID bag of food.) Naturally Fermented USAID (item D - RFK Jr. holding a gross bowl of soup.) Whale Chunks in Secret Sauce RFK Jr., "Your open mouth awaits my harvest!" (panel 4 - The dessert section) Dumbed-Down Desserts (item G - A parfait with a needle resting on it.) GLP-arfait (item F - A horrifying Friendly's Cone Head sundae.) Mar-A-Lago Face Sundae (panel 5 - The kids' menu) Don't-Bring-Your-Kids' Menu (item G - A redacted plate and child with Trump) REDACTED (item H - JD Vance in a pontiff's hat and holding a plate of pasta.) The JD Special Vance, "I'm da pope of pasghetti!"

Mastodon Feed

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
hailey@hails.org ("Hailey") wrote:

With Windows 9x Subsystem for Linux you can run all your favourite Windows and Linux apps side-by-side with a modern Linux kernel running cooperatively with the Windows kernel in ring 0. And unlike modern WSL, no hardware virtualisation is used so even your 486 can run it!

Please enjoy, I think this might be one of my greatest hacks of all time

https://codeberg.org/hails/wsl9x

a screenshot of WSL9x running on Windows 95. Three MS-DOS prompts are open running WSL9x ptys. The focused one is running fastfetch, showing basic machine information and a nice ansi coloured penguin. Other windows show the output of ps, ls /dev, mount, uname -a, and tty.

Mastodon Feed

EmilyEnough@hachyderm.io ("Emily 🏳️‍🌈🏳️‍⚧️") wrote:

Why yes I am doom scrolling and rapid-fire posting as I see things instead of attending to non-critical work because the meds that give me the ability choose my course of action for the day are a controlled substance on back order at the pharmacy.
#adhd

Mastodon Feed

isagalaev ("Ivan Sagalaev :flag_wbw:") wrote:

Naked lady trail. Didn't have a chance to investigate it that time, but I want to go back now :-)

#darktable #photography

A carved wooden sign in a local park saying "Naked lady trail".

Mastodon Feed

EmilyEnough@hachyderm.io ("Emily 🏳️‍🌈🏳️‍⚧️") wrote:

Yes it’s gender affirming to know that I don’t have excess testosterone floating around in my system building and maintaining muscle all the time for no reason, but it would be nice to be able to carry a large pack of bottled water in from the garage without getting winded.

Mastodon Feed

EmilyEnough@hachyderm.io ("Emily 🏳️‍🌈🏳️‍⚧️") wrote:

What’s it like to live with #adhd ? Well I just opened the air fryer to make lunch, only to find yesterday’s lunch sitting there in the tray.

Mastodon Feed

Boosted by EmilyEnough@hachyderm.io ("Emily 🏳️‍🌈🏳️‍⚧️"):
theleftistlawyer ("Sheryl Weikal") wrote:

"Trans children have such awful lives, isn't it better for them to not suffer?"

Transness is actually really awesome. It's the transphobia that sucks. If everyone responded to trans kids coming out with "thanks for telling me, I love you" and being affirming, trans kids would have GREAT childhoods.

Mastodon Feed

dysfun@treehouse.systems ("gaytabase") wrote:

competitive pooing where contestants superdose fibrous vegetables to get ever higher bristol stool scale scores

Mastodon Feed

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
davidrevoy@framapiaf.org ("David Revoy") wrote:

The Dungeon of Dark Patterns

Sources and bonus timelapse: https://www.peppercarrot.com/en/miniFantasyTheater/049.html

#webcomic #krita #miniFantasyTheater

Panel 1. The adventurer and his fairy are in front of the door of a nightmarish dungeon, it's dark, foggy, and the inside the door we can't see anything except a deep red light. > Dungeon: "Welcome adventurers, to the Dungeon of Dark Patterns!"
Panel 2. In one room of the dungeon, a giant beautiful and inviting door with a red carpet, and on the side, in the shadow a too little door. Writing on big door: Go to the trap, on small door: Go to the treasure. The adventurer crouch and do a little sign to the fairy to follow him to the little door. > Dungeon: "Ha ha, you're good!"
Panel 3. The aventurer is now putting some effort climbing on an old rope in the middle of a room with a beautiful luxuous stairway with a red carpet on the side. A sign tells "GO TO THE TREASURE but pass by the trap" in direction of the beautiful stairs; and "(other options)" in small and in the shadow in direction of the rope. > Dungeon: "Impressive!"
Panel 4. Top down view on the adventurers shrugging in front of the fairy, they reached a dead end. A short path on the right has on the ground the word "Now", and a longer path "Later". Both lead to a giant pool of green acid where bones and skulls are floating. > Dungeon: "So, when do you want to jump to the trap?"

Mastodon Feed

EmilyEnough@hachyderm.io ("Emily 🏳️‍🌈🏳️‍⚧️") wrote:

It was always going to be absolute morons burning the world down, because if it were anyone smarter in charge they wouldn’t be doing it.

Mastodon Feed

Boosted by EmilyEnough@hachyderm.io ("Emily 🏳️‍🌈🏳️‍⚧️"):
jascha@ohai.social ("tomate 🍅") wrote:

People with #adhd have three types of workday:

* Get absolutely nothing done
* Get 4 hours of work done at a random point in time
* Get 40 hours of work done in 4 hours

All types are sprinkled with work unrelated sidequests

Mastodon Feed

jsonstein@masto.deoan.org ("Jeff Sonstein") wrote:

I want this NOW https://blast-o-rama.com/2026/04/22/finally-the-coyote-vs-acme-trailer-is-here/

Mastodon Feed

jsonstein@masto.deoan.org ("Jeff Sonstein") wrote:

RE: https://mastodon.social/@blogdiva/116449054416701024

f*ck yeah

Mastodon Feed

jsonstein@masto.deoan.org ("Jeff Sonstein") wrote:

finally broke down and installed full "mactex" on one of my machines so I can do decent file conversions and printings. it is HUGE, but I've the room. the benefits to having a fully-powered pandoc installation, for example, are enormous.

Mastodon Feed

zkat@toot.cat ("Katerina Marchán") wrote:

does anyone have a recommended service for just paying someone to run a gotosocial instance for you?

Mastodon Feed

neatnik@social.lol ("Neatnik") wrote:

irc.social.lol folks: I’ve just implemented a custom IRCv3 draft/FILEHOST endpoint, and it’s now possible to share files in channels directly from compatible clients. The new version of Halloy released earlier today supports this, as does Goguma. Have fun sharing pics and stuff!

Mastodon Feed

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
why@mastodon.ocert.at ("Why?") wrote:

because I want to give you freedom, and have you work in gladness instead of fear?

Mastodon Feed

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
seesawsally ("Sal") wrote:

Saw this cutie on our front door jamb when I took the pups out this morning! #moth #bug #entomology #insect #outdoors #nature

A small moth with a fuzzy yellow body, pink legs, and pink and white striped wings on an off-white door jamb

Mastodon Feed

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
lespreuh ("Lëspreüh") wrote:

Je sors un nouvel EP - Nostos Algos
Disponible à l'écoute et pour téléchargement gratuit/prix libre

My new album, Nostos Algos, is out!
Available to stream and download for free/pay what you want

https://lespreuh.bandcamp.com/album/nostos-algos

Pochette de mon album Nostos Algos, On peut lire "Lëspreuh" au dessus d'un corbeau de profil, aux ailes mécaniques et devant un cercle formé d'os, de plumes et d'engrenages. "Nostos" apparait verticalement à gauche et "Algos" à droite

Mastodon Feed

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
yiningkarlli@mastodon.gamedev.place ("Yining Karl Li") wrote:

Disney Animation remade three songs for ASL. For these, we resurrected the original data and pipeline version (which took a ton of work), reanimated (from near scratch in some places), relit where needed, and re-rendered. Probably the hardest way to do this, but definitely the right way to do it, so that's what we did!

No AI shortcuts or anything, just doing it properly all the way.

Attachments:

Mastodon Feed

Boosted by baldur@toot.cafe ("Baldur Bjarnason"):
leah@chaos.social ("Leah") wrote:

If you read only one article about "AI" this month, than read this long, but very very good article by @tante

https://tante.cc/2026/04/21/ai-as-a-fascist-artifact/

But there is another aspect of “Al” usage that fuels the right’s enjoyment of using “Al”: It hurts the people they want to hurt. “Al” is cur- rently mostly used to generate media (think images, illustrations, music or text). But tra- ditionally people in those creative industries are more left leaning, more inclusive. Fascists just can’t create good and interesting art. Using “Al” to take that groups’ jobs, their livelihood, their creative expression away is exactly why using “Al” to create an image is so enjoyable by right wingers: It’s a vulgar display of power.
That does not mean that every user of “Al” products is therefore a fascist. Some “Al”- users might even consider themselves an- tifascists. But by using these systems you are integrating inherently fascist logic into your thinking, into your mental apparatus. These systems force you to at least accept the fas- cist tendencies within “Al” systems as “nor- mal” or “okay”.
Screenshot with some Text that is marked red: This framing implies that you should not unionize and connect with your fellow workers but that you should see them as your enemies, as the people who will take your job and your ability to provide for your family.
This implicitly cuts my ability to form connections of solidarity with de- signers whose work and livelihood I have im- plicitly declared irrelevant. It makes me put myself over my fellow workers, workers who are facing the same struggles as me, who are my comrades. But no more.

Mastodon Feed

zkat@toot.cat ("Katerina Marchán") wrote:

I’m begging mastodon to implement a feature where only people you follow (or nobody) can reply to your thread

Mastodon Feed

denschub@schub.social ("Dennis Schubert") wrote:

of course, 99% of mail servers just ignore DANE completely, so I didn't even notice that at all until now where someone asked me off-channel why I didn't respond to an email. WONDERFUL.

Mastodon Feed

denschub@schub.social ("Dennis Schubert") wrote:

at some point, stalwart decided to get a new cert from letsencrypt instead of just renewing it (no idea why, or when), and that broke DANE and caused me missed email.

I already only use 3 1 1 pinning, but of course, that isn't helping if the entire cert changes.

lovely. wonderful. great. awesome.

I hate technology.

Mastodon Feed

chipotle@mstdn.social ("Watts Martin") wrote:

VCs, I am waiting for your call

“Business Plan” chart reading: Phase 1: Spend more money on OpenAI/Claude tokens than employees Phase 2: ? Phase 3: Profit