Sign in

Amanda

@amanda.social.spejset.org.ap.brid.gy
26 followers 1 following 130 posts

#ComputerScientist PhD student working on specialised #ConstraintSolvers for #ProgramAnalysis, including #Polonius in #Rust. Interested in personal computing […] 🌉 bridged from ⁂ social.spejset.org/@amanda, follow @ap.brid.gy to interact

PostsRepliesMedia
Amanda @amanda.social.spejset.org.ap.brid.gy · 10/10/2026
@spikybaddie I’ve started feeling a lot better when I do something I’m not good at because at least it’s not AI slop
000
Reposted by Amanda
Zelda @spikybaddie.mastodon.social.ap.brid.gy · 10/10/2026
I'm never sure how to express this without sounding mean, but I love seeing amateur, honestly kinda sloppy stuff, especially in a medium I create in. It soothes my perfectionism to see people able to enjoy making and consuming stuff like that, and it's just nice to see people doing what they […]
mastodon.social
Original post on mastodon.social
113
Amanda @amanda.social.spejset.org.ap.brid.gy · 05/10/2026
I’ve heard of spaghetti code but this is ridiculous
tech.lgbt
000
Reposted by Amanda
Glyph @glyph.im · 04/10/2026
Me: I will use "radium water" as an analogy for how horrible AI's potential subtle long-term effects are, because the general public in 2026 can easily understand this analogy. The general public in 2026 […]
mastodon.social
Original post on mastodon.social
5432
Reposted by Amanda
`Da Elf @elfin.mstdn.social.ap.brid.gy · 03/10/2026
Androgoneous Spacecraft docking because neither the US or Russia wanted to be the "Female" docking part. I know a lot of stupid Space shit, but I was today years old when I learned this.
61445
Amanda @amanda.social.spejset.org.ap.brid.gy · 04/10/2026
FINALLY, now all that remains is to also kill Orion for iOS and macOS. Both of them have safari at home after all.
mastodon.social
001
Amanda @amanda.social.spejset.org.ap.brid.gy · 02/10/2026
By symmetry, is a fist bump a low zero?
000
Amanda @amanda.social.spejset.org.ap.brid.gy · 27/09/2026
Me, 2025: ok so turns out as an academic I’ll have my first permanent position at 60 and I have kids and a dog to feed, maybe I’ll go to industry. It’s soul crushing and stupid but at least I’ll be programming, the thing I love to do * the rest is drowned out by the background saxophones *
011
Amanda @amanda.social.spejset.org.ap.brid.gy · 27/09/2026
Me, 2014: there are no jobs for librarians, but if I study the non-engineering comp sci degree while I apply for jobs at least I can eat Me, 2017: ok if I kill myself maybe I can finish my master’s too before the money runs out and then I can do a PhD and become an academic! Me, 2019: wow! […]
social.spejset.org
Original post on social.spejset.org
110
Amanda @amanda.social.spejset.org.ap.brid.gy · 27/09/2026
Me, 2007: the only thing in life I really like is computers so I guess I’ll go for the comp sci engineering degree Me, 2008: fuck this shit apparently you need to know linear algebra, I’ll just try getting some random programming job Narraror: but alas, it was two thousand and eight Me, 2009: ok […]
social.spejset.org
Original post on social.spejset.org
100
Amanda @amanda.social.spejset.org.ap.brid.gy · 27/09/2026
Shoutout to my baby who figured out how to actually hurt me by repeatedly slamming a kitchen cupboard door into the side of my head while I was trying to find the thyme.
000
Reposted by Amanda
kralcttam ☕️ @kralcttam.mastodon.social.ap.brid.gy · 26/09/2026
Happy Stanislav Petrov day! Today marks 43 years since Petrov decided to wait for confirmation before escalating a missile alert up the chain of command in the Soviet Air Defense, preventing nuclear war. A hero for not trusting automated systems fully […]
mastodon.social
Original post on mastodon.social
1390
Amanda @amanda.social.spejset.org.ap.brid.gy · 26/09/2026
Apparently this machine makes American coffee!
A paper mug of slightly brownish hot water in a Nespresso machine
031
Amanda @amanda.social.spejset.org.ap.brid.gy · 26/09/2026
If this works (a big if) it’s one of the best things to happen to tech in 20 years www.crowdsupply.com/open-tools/open…
127
Amanda @amanda.social.spejset.org.ap.brid.gy · 23/09/2026
RE: social.spejset.org/@amanda/11730244… Terminal update: apparently I was already fine on Linux because I was using the KDE terminal. But I switched to Foot anyway (from Homebrew of all places; I couldn’t get the flatpak to load its conf) and it’s so. much. faster to launch […]
social.spejset.org
Original post on social.spejset.org
000
Amanda @amanda.social.spejset.org.ap.brid.gy · 22/09/2026
RE: social.podsnack.se/@kodsnack/117312… Nice! Just in time for the commodore brand flip phone based on Jolla!
social.podsnack.se
000
Amanda @amanda.social.spejset.org.ap.brid.gy · 20/09/2026
What the hell IS THERE ANY TERMINAL EMULATOR THAT ISN’T VIBECODED BY A FASCIST
011
Amanda @amanda.social.spejset.org.ap.brid.gy · 20/09/2026
Men deras sång för siffran två förklarade mycket hjälpsamt att en familj kan ha en mamma och en pappa!
000
Amanda @amanda.social.spejset.org.ap.brid.gy · 20/09/2026
Denna spaning sponsras av mattelandet, som rakt av hade kunnat sändas på 70-talet och det nästan exakt ur som fem myror, förutom det 3D-animerade introt som av någon anledning visar…en amerikansk stad? Med monorail och vattentorn på taket????
001
Amanda @amanda.social.spejset.org.ap.brid.gy · 20/09/2026
Varför är det alltid nånstans mellan 1920 och 1987 i svenska barnprogram? Det är som att det går baklänges dessutom; på 90-talet var det ofta 90-talet på TV, men det är som att de inte klarade av övergången till internet och smartphones.
212
Amanda @amanda.social.spejset.org.ap.brid.gy · 18/09/2026
Please tell me there’s a more strict version of Racket called ”Protection Racket”. Bonus points if it’s a patreon exclusive
000
Amanda @amanda.social.spejset.org.ap.brid.gy · 16/09/2026
RE: mastodon.social/@sarahjamielewis/11… I’m not sure I believe this but I absolutely believe the worst case scenario when believing it is things go to hell while you’re having a much better time of it as opposed to you feeling miserable about it.
mastodon.social
000
Amanda @amanda.social.spejset.org.ap.brid.gy · 16/09/2026
Det uttalas masto-dån eftersom det är ett metadonprogram för Twitteranvändare
100
Amanda @amanda.social.spejset.org.ap.brid.gy · 15/09/2026
Time for a little mental health walk before sleep
The Amperfy music player playing the Santa Monica theme from the mid 2000’s video game vampire the masquerade bloodlines.
020
Amanda @amanda.social.spejset.org.ap.brid.gy · 10/09/2026
Find someone who looks at you like a capitalist looks at a widget replacing variable capital with constant capital
000
Amanda @amanda.social.spejset.org.ap.brid.gy · 09/09/2026
RE: hachyderm.io/@skinnylatte/117231296… I’m going to need a graph of these people
000
Reposted by Amanda
Adrianna Tan @skinnylatte.hachyderm.io.ap.brid.gy · 07/09/2026
live your life so you're not on this list 'weird little guys of FOSS' drewdevault.com/weird-guys
drewdevault.com
Weird little guys of FOSS
7662
Amanda @amanda.social.spejset.org.ap.brid.gy · 06/09/2026
I propose instead a ban on a) matrices in general and b) floating point arithmetic in computers.
011
Amanda @amanda.social.spejset.org.ap.brid.gy · 06/09/2026
RE: mastodon.social/@eff/11721531933545… Unpopular opinion, but the EFF are right. Copyright is shit, and it’s shit for this purpose too. Obviously the GenAI shitheads shouldn’t be allowed to do any of what they’re doing, but stopping them with copyright extension/interpretation is […]
social.spejset.org
Original post on social.spejset.org
022
Amanda @amanda.social.spejset.org.ap.brid.gy · 05/09/2026
I’m teaching again and the kids are all right!
001
Amanda @amanda.social.spejset.org.ap.brid.gy · 04/09/2026
Det här är verkligen som ångvältsscenen i Austin Powers supermiljobloggen.se/nyheter/nu-ar-…
supermiljobloggen.se
Nu är det fastslaget: 1,5-gradersmålet kommer att missas
022
Amanda @amanda.social.spejset.org.ap.brid.gy · 03/09/2026
@jannem here goes I guess
A screen showing memtest86+ running
000
Amanda @amanda.social.spejset.org.ap.brid.gy · 02/09/2026
@jannem anyway I guess I can rip one of them at a time out and see if the problem persists. If removing one of them makes it not appear I assume that’s the broke one
000
Amanda @amanda.social.spejset.org.ap.brid.gy · 02/09/2026
@WiteWulf @smallsco ok that was meant to be ”convinced” but the autocorrect fumble was so funny I’m leaving it in. It’s been a long day.
000
Amanda @amanda.social.spejset.org.ap.brid.gy · 02/09/2026
@WiteWulf @smallsco I think BitWarden has more or less an identical feature set to what me and my household plus friends use 1Password for but I want to do some experiments with eg passkeys, OTPs and so on before I’m convicted. Ideally I can self host it, but I’m scared about both the security […]
social.spejset.org
Original post on social.spejset.org
100
Amanda @amanda.social.spejset.org.ap.brid.gy · 02/09/2026
@jannem it’s weird because I’ve done multiple scrubs, and neither drive shows any SMART issues. They’re also both quite new
100
Amanda @amanda.social.spejset.org.ap.brid.gy · 01/09/2026
Nice, the ZFS pool has a file so corrupted the machine reboots if anyone does anything to it, including attempting to delete it. It can’t tell me if it’s due to a failure of one of the drives, and there doesn’t seem to be any suggestions for what to do about it anywhere. I’m…becoming less […]
social.spejset.org
Original post on social.spejset.org
202
Amanda @amanda.social.spejset.org.ap.brid.gy · 01/09/2026
A psssword manager MUST be developed and operated by people on contracts in an office.
000
Amanda @amanda.social.spejset.org.ap.brid.gy · 01/09/2026
The real horror of the 1Password situation is I’m not aware of an alternative that even remotely reaches parity for the features I use. Notably, autocomplete and cross platform support are both moving targets that each alone makes it too labour intensive for FLOSS.
210
Amanda @amanda.social.spejset.org.ap.brid.gy · 31/08/2026
@Mockza jättebra idé att bli infrastruktur, tränga ur det som redan finns och sedan försvinna
000
Reposted by Amanda
Ambivalent Dictator For Life @pikesley.mastodon.me.uk.ap.brid.gy · 30/08/2026
I met a traveller from an antique land Who said: Two vast and trunkless legs of stone Stand in the desert. Near them, on the sand, Half sunk, a shattered visage lies, whose frown, And wrinkled lip, and sneer of cold command, Tell that its sculptor well those passions read Which yet survive […]
mastodon.me.uk
Original post on mastodon.me.uk
113
Reposted by Amanda
Glyph @glyph.im · 30/08/2026
the social contract that allows the web to exist at all is literally collapsing in real time people.kernel.org/monsieuricon/cree…
people.kernel.org
Creepy crawlies
Comments
654126
Amanda @amanda.social.spejset.org.ap.brid.gy · 29/08/2026
@jonben it’s funny because when I look at it now it’s giving KDE 4 as the kids would say
000
Amanda @amanda.social.spejset.org.ap.brid.gy · 28/08/2026
@jonben sure are www.youtube.com/watch?v=EpWsR3vh3bE
100
Reposted by Amanda
mx alex tax1a - 2020 (6) @atax1a.infosec.exchange.ap.brid.gy · 27/08/2026
we're late for demon core day but here (src)
An edit of a panel of a Tintin comic depicting a grassy area by a body of water, where Snowy, a small white dog, is holding a screwdriver in his mouth, using it to tilt one of the beryllium spheres of the demon core. A goat looks on, concerned. The image is given a motion blur as if zooming out slightly.
156
Amanda @amanda.social.spejset.org.ap.brid.gy · 28/08/2026
You know things are bad when the kids are nostalgic for, uh, Windows Vista
121
Amanda @amanda.social.spejset.org.ap.brid.gy · 25/08/2026
The internet is slow again. It used to be fast when everything was on google and Facebook and extremely corporate but these days most things I use run on smaller boxes, worse connections and shoestring budgets.
010
Amanda @amanda.social.spejset.org.ap.brid.gy · 22/08/2026
[TikTok voice] we’re weaning the baby onto solid foods and today I’m making her favourite, garmonbozia [incoherent screaming]
011
Amanda @amanda.social.spejset.org.ap.brid.gy · 22/08/2026
RE: mastodon.social/@CuratedHackerNews/… One of the true losses in contemporary computing that has made everything so shit is the fact that we never managed to translate hypermedia and multimedia to the desktop. This means that we effectively can’t make applications […]
social.spejset.org
Original post on social.spejset.org
011
Amanda @amanda.social.spejset.org.ap.brid.gy · 21/08/2026
@pozorvlak @lindsey @lenary Thanks! Someone suggested I look at Riak, which I understand to essentially be I can't believe it's dynamo. I could always punt on merges and have a human merge them later if there's an actual conflict. For most types of data I […] [Original post on social.spejset.org]
A decision tree, rendered by the following mermaid:

```mermaid
flowchart TD
    silverbullet(Silverbullet is annoying to work with) --> wikinew
    wikinew(I should create a new wiki engine) --> noparse
    noparse(I don't want to store and parse markdown all the time) --> structured
    hledger(Why should it even be possible to store syntactically invalid bookkeeping in hledger) --> structured
    structured(I should store structured data) --> beos
    wikinew --> unicode
    wikinew --> fn
    unicode(No Unix file system normalises unicode) --> fs.new
    fn(Platforms don't agree on allowed characters in file names) --> fs.new
    beos(I wish I had BeOS file system-as-database everywhere) --> fs.new
    slow(Syncthing is slow and annoying to set up) --> fs.new
    fs.new(I need to reinvent a distributed file system) --> kmn(Kill me now)
```
001