sleeping-machines.bsky.social @sleeping-machines.bsky.social · 29/09/2026Genuinely someone needs to figure out what exactly drives some people to have a best–favourite distinction and others not. I feel this the most fundamental difference in how people approach art 000
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 26/09/2026You hear a lot about laziness when you start learning Haskell, but what they don’t tell you is that Haskell is still the only lazy language since its creation and maybe this is for a reason 000
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 22/09/2026Defending a story’s inability to broach queer relationships or sex because “the characters are aro/ace” when there is zero textual evidence they are aro or ace is just defending queerphobia 100
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 20/09/2026the disconnect between not a single real type theorist taking Victor Taelin seriously versus laypeople fully buying in to his bullshit hype is quite fascinating 000
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 18/09/2026This feels like a satire of C++. They somehow manage to dodge every reasonable alternative and land on literally the worst solution possible www.sandordargo.com/blog/2026/09...sandordargo.comC++26: Trivial infinite loops are no longer undefined behaviourLet’s start with a question! Is this program well-defined? 1 2 3 4 int main() { while (true) ; } If you said yes, you’d be wrong — at least before C++26. A while (true); loop with no side effects used... 101
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 17/09/2026“I’m doing discourse The Right Way” – Person responding to a bluesky post that has literally zero likes 000
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 16/09/2026People posting Aella tweets like these is the same energy as the Stallman toe thing. Focussing on subjectively gross but ultimately unimportant stuff when there’s actual criticisms of the person and their beliefs to be had. Aella has some really regressive beliefs, they aren’t hard to find 001
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 16/09/2026“Peano arithmetic” is a term that programmers love to use but never use correctly 100
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 13/09/2026I don’t know what I expected from Reddit, but the response to the “I don’t like my boyfriend” comic has been startlingly misogynistic 100
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 10/09/2026I like YouTube sponsors when they’re for extremely mundane things, like food or furniture. It feels refreshing in comparison to the many startup scams 000
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 10/09/2026the laws of thermodynamics are great for situations where you’re modelling heat transfer in a closed system. but in the real world, you need to go to work; so we need something more general, like cars 010
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 07/09/2026Headscarf bans help Muslims integrate by showing that we hate women just as much as they do 😇 001
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 05/09/2026The extent to which people brazenly lie about this has me losing faith in society discord claimed that k-id dose not retain data. they did not claim their third-party support system does not retain data. a third-party support system they not longer use leaked data. there is zero evidence of lying 2184
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 03/09/2026There are 4 basic distinct notions of finiteness in constructive mathematics. they unfortunately lack standardized names. I propose: 1. finite: bijection n≃S 2. subfinite: injection S↪n 3. quotient finite: surjection n→S 4. subquotient finite: partial surjection n→S (or multivalued injection S↪n) 100
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 02/09/2026My least favourite thing about Wikipedia is that the page “List of Internet top-level domains” does not list every Internet top-level domain. In fact, I’m not aware there is a list of every top-level domain. I have been annoyed by this at least 5 separate times 000
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 02/09/2026Optimistically, I think the whole “[climate change protest group] are actually pro–climate change because their protests make climate activism look bad” argument is just a last-ditch effort by climate deniers 100
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 01/09/2026I’m realizing a whole bunch of tech people i used to respect are not my friends. it seems they like hype more than they like computers. don’t you have anything better to do than grasp at straws to defend your big daddy AI companies? 010
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 01/09/2026Greatest optics win for Rust just dropped. let’s fucking go 100
Reposted by @sleeping-machines.bsky.socialAndrew Lilley Brinker @alilleybrinker.com · 31/08/2026Hey @1password.bsky.social, longtime customer here: stop giving your money to fascists. 19457131
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 31/08/2026I feel like people using “déjà vu” to refer to events they have in fact experienced before is a similar phenomenon to how in fictional worlds, religions are very often real 000
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 29/08/2026en.wikipedia.org/wiki/Nice_name you probably couldn’t predict what this article is about from the title 000
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 28/08/2026Sentences that start with “I’m (ace|trans|autistic|bi) so” either end by saying something completely obvious or totally insane, either way being completely unrelated to the start of the sentence 000
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 28/08/2026if we’re going to argue about 70s transgender movie representation at least do interesting films like Funeral Parade of Roses or In a Year With 13 Moons 😔 000
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 28/08/2026I love reading through PDF slides I find on the Internet and imagining what they said in the talk. Creative writing exercise 000
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 27/08/2026There are separate Wikipedia pages for “LGBTQ (term)” and “LGBTQ people” and “LGBTQ community” 000
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 27/08/2026for some reason random famous people dying compels people to larp as fans of things they obviously aren’t. social contagion i guess 100
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 26/08/2026I wonder if there is a smart quote algorithm that correctly converts 'cause into ’cause instead of ‘cause. I certainly haven’t seen one 000
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 25/08/2026People focus on “happiness” a lot, but what makes someone happy is pretty nebulous. “quality of life” is both easier to measure and more important for decision-making 100
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 24/08/2026Typst’s decision to concatenate statement outputs across blocks was genuinely radical and genius. 10/10 DSL design 000
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 24/08/2026I am so excited for everyone to start hating on JXL the same way they hated on WebP, you have no idea 100
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 23/08/2026I like it when date selectors default to the current date even though that makes no sense, like when entering your date of birth or credit card expiry date 000
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 23/08/2026I was reminded of this excellent comment 000
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 23/08/2026turns out all you need to get funding in Linux is having a few fascist billionaire friends. Who would have thought. omarchy.org/news/2026/08...omarchy.orgOmacom Foundation launches with $8 millionIt’s time to dream big. Omarchy Quattro has given people a chance to experience what the malleable computer of the future looks like, and they like it (a lot!). It now feels like a moral obligation to... 110
Reposted by @sleeping-machines.bsky.socialFink!!! 🏳️⚧️🏳️⚧️ @beepboopbork.com · 21/08/2026the focus on 'men's loneliness' and centering cis-male experiences isn't bc of a need to address an unnecessary woe they suffer, either - its an important facet of the patriarchy and how they maintain control. this piece describes it better than i can - butchanarchy.noblogs.org/post/2024/09... 0405
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 22/08/2026THE FOGHORN IN THE GLOW PT 2 IS A PITCH-BENT BASS????? 100
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 21/08/2026maybe it’s not surprising the guy who thought facet was a good idea likes ai (stuff i’ll only say because i have no followers) 100
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 21/08/2026you don’t get to be nuanced when one side is six orders of magnitude richer than the other. applies to israel/palestine, applies to AI. there simply is not nuance possible with that amount of power disparity. 000
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 21/08/2026big black racer-x was an anime reference… all along… he’s such a weeb 000
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 20/08/2026Passwords are a fairly intuitive construct – you don’t actually have to know about hash functions and rainbow tables and salting to understand what makes a good password. But technology people probably spend a lot more time explaining what makes a good password to laypeople than actual technology. 100
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 20/08/2026getting rage-baited by someone saying they’re unmasking, but actually they’re autistic 120
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 20/08/2026I’m ashamed that as an RFC 3339 enthusiast I didn’t know about 9557 until today datatracker.ietf.org/doc/html/rfc... it extends 3339 with support for timezonesdatatracker.ietf.orgRFC 9557: Date and Time on the Internet: Timestamps with Additional InformationThis document defines an extension to the timestamp format defined in RFC 3339 for representing additional information, including a time zone. It updates RFC 3339 in the specific interpretation of the... 000
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 20/08/2026“unique choice” is such an oxymoron. if “fording” wasn’t already taken i’d suggest that: “you can choose any value as long as it’s black” 000
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 20/08/2026These predictions are essentially correct. Virtual libraries never caught on that much. Classrooms are still entirely physical. Politics is in-person. Electronic voting isn’t a thing. Remote work is for some, but not all. Digital networks have had an unclear impact on democracy. 200
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 20/08/2026holy moly. i had no idea you could do this 000
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 19/08/2026I dislike Shen because he’s extremely unfunny and objectifies yuri, so even though I don’t care at all about his current comic i am glad it is resulting in people hating on him 000
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 19/08/2026“people with ADHD aren’t just lazy” who do you think the word “lazy” was invented to describe? we just found a care for laziness 🤷 100
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 19/08/2026It’s pretty depressing to see this get so popular. Obvious example of a magical girl parody written by somebody who has never seen PreCure and has absolutely no idea what they are even parodying 100
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 19/08/2026women who are only pro-bald because of chemo are cowards 000
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 18/08/2026jon sterling is not ok mathstodon.xyz/@jonmsterlin...mathstodon.xyzJon Sterling (@jonmsterling@mathstodon.xyz)There was another bug fixed this week in which the Lean people were checking whether a type is proof irrelevant by simply asking whether its sort normalises to the Prop level, and then when it DOESN’T... 100
![Mom… my literacy rates are declining
Is that because of that pandemic you got?
oh yeah, lemme check if I accidentally got the f*cking virus that makes you stupid
oh f*ck
[graph showing COVID infections 2020–2026]](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:brpocs7hknignuqbkuyuhrz6/bafkreiarnxmp6eoplhyqevd4f7kwsje27r5ekewzp4c2ornpwobswv526u)
