@tauon I titled this song the tauon reactor because that was the subject of a dream i had but i couldn't recall why tauon was familiar https://soundcloud.com/flaviusf/the-tauon-reactor

Lean proof assistant is vibe-coded. What the fuck? https://github.com/leanprover/lean4/commit/67ba4da71f2f6b066ac343c2e35cf7f986962553
This is the state of lean right. one developer changing semantics of division with no review or docs using claude. Claude folder in the main repo. Terry Tao […]

I promised I'd have more to say about the Calibre situation; I didn't realize it'd come out to be over a thousand words, but I wrote them all the same.

And yes, it has em-dashes. I like em-dashes. AI can take my em-dashes from my cold and decomposing corpse […]

food, labubu feeding

thinking about the pro-slop-machine argument we've seen that comes from some notion of it being an "accessibility" tool

some aspects of the the argument sound plausible on its face, but then you get into the details, and every time we've seen it, it boils down to "i, personally, am unwilling to […]

why are there so many discord updates now

Just realized that because of federation the only @limebot posts that I can see are the bangers. They were just too perfect to be randomly generated

[bluesky]

bluesky: We made an anti-censorship social media site!

fedi: oh cool, do you plan to resist authoritarian demands from governments?

bluesky: nope

fedi: will you make the voices of queer and black people more heard?

bluesky: nah

fedi: so which acts of censorship will you oppose? […]

[antisemitism / holocaust ref]

the github wiki having a section titled "the final solution to the realms question" is very uncomfortable

fragmentarium hyperbolic honeycombs raytracer insanity

I have discovered that samsung's bootloader doesn't find partitions by their names but instead uses the Nth one, hardcoded.

"What do you want to be when you grow up?"
"a fedi critter! :blobcat:"

Uhh I should post more for this markov bot
_ahem_ boys 🥺

Can't wait for Patricia Taxxon's next release to have those bullshit CC "signals" 🥲

Heads up distro folks, clowns are apparently submitting code vomited out of LLMs to ffmpeg and it didn't get shot down immediately. Obligation to vet updates is going to get a whole lot more serious if they let any of this shit in...

Mastodon got quote posts now!!! I can finally read misskey threads

Just thinking about how "the set of genders is homeomorphic to a 2-sphere" is the perfect troll cause a conservative would see "2" but it does Not say that