sleeping-machines.bsky.social @sleeping-machines.bsky.social · 21hThis post convinced me that tech illiteracy is an epidemic. if you know anything about computers it’s obvious this is almost certainly not a security concern and is also entirely irrelevant unless you are already using LLM agents on your computer 000
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 04/10/2026I’ve been using qutebrowser for seven years, and I just found out about this now. I just wanted to say I cannot be more thankful for your hard work, and I am so happy that you can now do it as your true self. You’re a gift to the world! 010
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/2026it’s crazy how many non-DTT programmers think that type-level computation is a good idea in DTT. As soon as you start using a DTT language you realize type-level computation should be avoided at all costs 001
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 · 23/09/2026Isn’t it? “I don’t like most desserts, but I like crumble.” “I like crumble, but I don’t like most desserts.” seems equivalent to me I would suggest is a modal logic where □P means “we expect that P”, and ◇P means “it is possible that P” “A but B” is A and B, but only defined when □(A→B) 010
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 22/09/2026the absence of sex or romance doesn’t mean a character is aro or ace. It just means it wasn’t included in the story. If it’s an obvious omission, yes it’s valid to criticize. It would also be valid to explicitly state they’re aro/ace. But that requires broaching the subject of romance/sex! 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 further from incompetence and more like they’re all secretly playing a prank on us. How on Earth do you make decisions this bad Just remove forward progress! It’s so easy to see that’s is fundamentally fucked up and bad! 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“I used Peano arithmetic” no you didn’t you just used a unary encoding of the natural numbers. it’s not Peano arithmetic if you don’t have induction 000
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/2026Cooontext: reddit.com/r/comics/com...old.reddit.comI don't like my boyfriendPosted in r/comics by u/chud_dumpling • 0 points and 5,572 comments 100
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 13/09/2026Reddit is blinded by woman-hate and therefore is only able to interpret a woman being vulnerable as expressing disdain toward men. It’s very obvious he’s presented as an innocent character toward which resentment has inadvertently built up on the part of our POV character 100
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 13/09/2026It’s not a bad comic. It’s not uncommon to realize that you are conversationally incompatible with someone. Doesn’t reflect on their character, but does strain the interpersonal relationship. If it’s romantic it can feel especially difficult to navigate, particularly combined with other issues 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/2026To be clear, I am against age verification in all forms – all this fearmongering about pornography is a clear right-wing distraction from real issues in society. But you shouldn’t spread misinformation either. 120
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 05/09/2026like, genuinely this isn’t hard to figure out. you just have to be capable of reading to understand that there wasn’t lying involved. I guess that’s too much for people these days? 110
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/2026actually I realize this is pretty much the same as what the nlab says lol. I still marginally prefer “quotient finite” over “finitely indexed” though 000
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 03/09/2026it’s intuitive because it describes what operations the sets are closed under. and I think “quotient finite” is easier to remember than “Kuratowski” 100
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/2026so instead you have to invent a nebulous character who would have supported anti–climate change regulation if not for seeing climate change activists and thinking that they could have been mildly inconvenienced by them. 000
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 02/09/2026These days you can’t tell people climate change isn’t happening because they can see it with their own eyes; you can’t say that you disagree with climate protests because obviously something needs to be done 100
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/2026…is it that much of an improvement? Calling people “mongoloid”s seems at best a coded version of the same behaviour 120
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 01/09/2026Rust: Hated by all your least favourite people since 2015 🔥🔥🔥 000
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. 19457130
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/2026also, we’re seriously fawning over actors? directors I can excuse, but you need to get a grip if the only thing you can see in a film is their face 000
sleeping-machines.bsky.social @sleeping-machines.bsky.social · 27/08/2026if you didn’t talk about them in life you need to shut the fuck up about them dying. i do not care to see your performative bullshit 100
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/2026it’s sometimes said that happiness is fairly consistent across binary genders. fine, but women have a lower quality of life on average and that’s what matters 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
![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)