Mastodon Feed: Posts

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

All lemmas and theorems in this paper have been verified with the proof assistant Lean.

okay, i won't trust them then.

Boosted by zkat@toot.cat ("Katerina Marchán"):
andrewnez ("Andrew Nesbitt") wrote:

Forge is an alternative to gh cli that also works with gitlab, gitea, forgejo and codeberg with zero telemetry: https://github.com/git-pkgs/forge

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

what happened to that high speed train terminal? they forgot to build it.

as mistakes go in a plan designed around high speed trains, that seems like a fairly big one.

pzmyers@freethought.online ("pzmyers 🕷") wrote:

What would a spider eat on a human-made steel post?

https://freethoughtblogs.com/pharyngula/2026/04/22/what-does-theridion-eat-asked-answered/

Boosted by jwz:
mhoye@cosocial.ca wrote:

RE: https://mastodon.world/@paninid/116445313743159155

This _seems_ bananas, but you have to appreciate Microsoft's central role in computing as a _consumer of excess capacity_ that only incidentally produces useful outputs. That is to say, the classic cycle of the computing _economy_ has been that chipmakers, mostly Intel, build faster machines, then Windows and Office grow to soak up that excess capacity, driving demand for yet faster hardware. But... there's a plausible need in that cycle for Windows, Word, etc.

https://cosocial.ca/@paninid@mastodon.world/116445313952711313

Boosted by glyph ("Glyph"):
NorthBayPython@social.northbaypython.org ("North Bay Python") wrote:

Can you believe it's basically three days until #NBPy 2026? Have you got your tickets to the best barn-based tech conference in northern California?

No?

You should fix that: https://northbaypython.org

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.

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

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

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

yes :Froglet:

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

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

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

Building SSA in a compiler for PHP

😂

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

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

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

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

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.

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.

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.

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

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

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

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.

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

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/

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

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

f*ck yeah

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.

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

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

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!

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?

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

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