Queer leftie anticapitalist sort currently in the netherlands; computers fear it. I talk lots of wank about the stuff I'm working on, which at the minute is mostly fedi software called cake. Sorry about that. I really like a language you've probably never heard of called idris that's quite different from most. I'm currently trying to teach it to people and write a wasm backend for it. I am also attempting to learn type and category theory. #nobot #noindex
Public Key
npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52
Profile Code
nprofile1qqsytw6pqswkyfmeekwmwp9h6a9r3pvrtnf3mxqejjqlh63a5upl5hgpz4mhxue69uhhyetvv9ujumt0wd68ytnsw43qfm2rv2
Author Public Key
npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 Show more details
Published at
2024-02-02T01:28:35+01:00 Event JSON
{
"id": "e3be10104338e6992201092b4231ff8c2d8df63975bbb7a6c5f43e70699071e1" ,
"pubkey": "45bb41041d622779cd9db704b7d74a3885835cd31d98199481fbea3da703fa5d" ,
"created_at": 1706833715 ,
"kind": 0 ,
"tags": [
[
"proxy",
"https://social.treehouse.systems/users/dysfun",
"activitypub"
]
],
"content": "{\"name\":\"extreme organic gay\",\"about\":\"Queer leftie anticapitalist sort currently in the netherlands; computers fear it.\\n\\nI talk lots of wank about the stuff I'm working on, which at the minute is mostly fedi software called cake. Sorry about that.\\n\\nI really like a language you've probably never heard of called idris that's quite different from most. I'm currently trying to teach it to people and write a wasm backend for it. I am also attempting to learn type and category theory.\\n\\n#nobot #noindex\",\"picture\":\"https://cache.treehouse.systems/accounts/avatars/108/083/770/920/537/255/original/24e994506c9e1372.jpg\",\"nip05\":\"[email protected] \"}" ,
"sig": "051faafbb98f79e08d70b053c6c373cc9799a9cae51ded08af6104f1d86852fd7db427c44b16932ad110fb29489d70785440b6c80ec165fe8ad1c831929cb852"
}
Last Notes npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1vr4…92wq yeah there's no way i could do that over here npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub17qe…u62y need soft piping in case you're in a shell which doesn't support pipes so you can still pipe to bash. npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub17gd…a8lw depends where you're eating of course. once you get to a certain threshold, you're just paying a fortune for it instead. npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1cpp…e7uy wow. that seems stingy npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1cpp…e7uy that seems a little light on details. i don't understand why it would be faster or why you would run out of RAM. how much RAM are you normally limited to? npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1cpp…e7uy extended virtual addressing? for a game?! npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub17gd…a8lw i don't remember one. i tend to try and find the entrypoint and start from there. npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1vr4…92wq i have 4 of these plugs. i just haven't gotten around to setting them up because all the off the shelf solutions for mqtt seem tedious npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub16nf…q6as that's aseptic surgery, vaccination and antibiotics in that order, isn't it? npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay wtf is this picture? jimmy carter is doing a sidekick over a fence and why has that guy got his leg up like he's about to kick jimmy in the face? #note1yuu…jnnm npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay so, idris and agda people. have i missed something about `parameters` blocks? it seems that because of the way parameters are automatically passed to functions within the block that there's no way to override them? npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub10fm…x0qg right? i mean i hadn't even thought of that one yet, but in fairness i already thought it was so utterly fucked that i stopped looking for failures. npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay NEO carries an onboard computer and antenna array that will allow officers the ability to create a ‘denial-of-service’ (DoS) event to disable ‘Internet of Things’ devices that could potentially cause harm while entry is made.” lord, and there i thought they were doing something smart. #note1nd2…8223 npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1lks…a4mq at least you're finally getting round to hacking it? npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1fvt…83fu and you'd still be fucking miserable. npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1rv4…ft5j that will fail unless it's exactly 11 characters. npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1fvt…83fu yeah venison's quite lean isn't it? wouldn't want to do it too much npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1fvt…83fu love a good bit of venison with fruit and some bangin' spuds npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1fvt…83fu very much so. what was the rest of your menu again? npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1fvt…83fu oh i absolutely did. npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1fvt…83fu and here's jess with a naughty green curry and some incredibly gold trousers npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1fvt…83fu jess, it's fucking july npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub10fm…x0qg alright mahatma gandhi, no need to mother theresa npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay won't somebody please think of the advertisers? npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub17wk…uzqr stop doing speculative execution. years of security holes and no use found for GOING FAST npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1vr4…92wq you could probably reprogram it somehow to be a useful modifier key instead npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay incidentally, in the netherlands, the fash govt is in chaos already. parties in the coalition bickering about each other in parliament and on twitter. the new prime minister felt compelled to say "my cabinet is not a kindergarten" so we're currently having a race to obscurity with liz truss's record. npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1vr4…92wq is that 12 cores or threads? either way, nice piece of kit. npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay lol, i've just been talking about intel's P and E core thing and i've just remembered it's going to get even more batshit soon. they're planning for this flexible core thing where each i dunno let's call it a core complex can be either 1 P-core or 2 E-cores and you can switch them whenever. or it could switch them for you. npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1fvt…83fu ah well, you know, loud is the new silent npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1c9m…9xjd it's a warning that some of the papers might have sharp edges npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay LOL, tolerances excused by "we're working in imperial, it's not very accurate anyway" npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1vs8…54zy i saw a hundred quid mentioned? you're as cheap as 10 grand? npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1fvt…83fu "sorry folks, we had to boot out joost klein when he got offensive to a crew member, so you've got me for a bit longer" npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1fvt…83fu better dig out an old routine just in case some more drop out npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay Bits in a byte are labeled 7 through 0. Bit number 7 is the most significant bit, the least significant bit is assigned bit number 0. oh god why would you design a protocol in little endian? npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay Very few people are regularly using "much hyped" artificial intelligence (AI) products like ChatGPT, a survey suggests. Researchers surveyed 12,000 people in six countries, including the UK, with only 2% of British respondents saying they use such tools on a daily basis. But the study, from the Reuters Institute and Oxford University, says young people are bucking the trend, with 18 to 24-year-olds the most eager adopters of the tech. zoomers, you need to lay off the crack npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1fvt…83fu i get knocked down, but i buy vinyl again? npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1aa3…zykt but also... democracy sausage. npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1aa3…zykt still, you've definitely grown up and made your own mistakes. your politics might be as fucked as ours. npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1aa3…zykt it's true, australia and britain are very alike. probably something to do with the whole penal colony thing npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay britishness test: do you read 'httparse' as 'http arse'? npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1cpp…e7uy have you ever had an SSD that was noticeably slower than spinning rust? I have. npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1fvt…83fu hey at least you managed to lose the "did you go on <whatever that cooking show was called>?" by transing your gender npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1fvt…83fu lalala can't hear you npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1fvt…83fu assuming that's a euphemism npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub18et…m5kt have you seen 'extreme ironing' yet? npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay good news, microsoft will screenshot your passwords but it won't screenshot DRM'd content. i was worried for a minute there 😬 #note1w60…gxak npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay want to go into uk politics to do good but worried about all the smearing that would entail? simply do it as a member of the green party. the media will pretend you don't exist npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1vr4…92wq okay i did not expect you to be a gleamy. becaus i know you like your types and gleam's type system isn't exactly super powerful. npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1qk5…jlda i'm not sure maligning coffee enthusiasts on fedi is going to make you many friends npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub10fm…x0qg http://www.sigbovik.org/2024/proceedings.pdf npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay oh no, peter higgs has died https://www.theguardian.com/science/2024/apr/09/peter-higgs-physicist-who-discovered-higgs-boson-dies-aged-94 npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1fvt…83fu do you treat all your devices like that? npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay i couldn't really finish it because of the general 'written by a google engineer' of it all, but i'm assuming the v8 developers haven't learned not to play with chainsaws? https://v8.dev/blog/sandbox npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1vs8…54zy @npub12jc…a4uc i think not representing the full diversity of solutions in a broad field in a toot sized precis isn't really a flaw. npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay To understand garbage-collection, go to a bowling alley and watch how the pinsetter removes fallen pins after the first ball has been rolled. Rather than identifying and removing individual fallen pins, the pinsetter mechanism picks up all the pins that are still standing, lifts them to safety, and then runs a sweeper bar across the lane without regard for how many pins are lying there or where they are located. ooh, good analogy! npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay AI is coming for your cock #note1x80…c2xv npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1aa3…zykt i imagine it'll be very cool at that latitude, yes npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1fvt…83fu i tried to get vermin to supply broadband once but they ultimately couldn't. the connection was dropping out near constantly. npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay ah, yes, "quenching" is a delightfully subtle term for superconducting magnet failure. when you quench your thirst you don't rip yourself apart. npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1vs8…54zy honestly never thought it would happen at all until recently. delighted. npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1aa3…zykt wow i can't believe the budget had space for plastic glasses npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1qk5…jlda rust webapps are not as easy as many rust advocates would like you to believe. and i think i get to say that given i used to write async rust primitives. npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1vs8…54zy i have no idea how well it works in 2024. i had my fill of inexplicable errors in 2019 and went alpine. npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1cpp…e7uy i just assumed it was like znu because i also say OSX instead of Mac OS npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1cpp…e7uy yes, is the short answer. but USB-2 is actually a clusterfuck. while they were busy improving performance they did some fucky wuckies with the wire format that they fixed in 3 npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1cpp…e7uy USB-2 is horrific though, USB-3 plz. 4 wires. npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1cpp…e7uy yes but truth is apple just don't make any good software any more npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52 extreme organic gay @npub1fvt…83fu "you have two mad cat lady mums?"