25 Followers
447 Following
672 Posts
#ComputerScientist PhD student working on specialised #ConstraintSolvers for #ProgramAnalysis, including the #Polonius ownership constraint solver for the #Rust compiler. Previously at @mnda.

I am hosting this instance from a laptop in a chest of drawers everything is FINE.
Bloghttps://observatory.blog
Websitehttps://amandastjerna.se
LanguagesSwedish, English, some French (if under duress)
PronounsShe/her (en), hon/henne (se)
This account has moved to @amanda!
@samuel @laxsill jag tänker att jag ska migrera till @amanda också vid tillfälle
@laxsill :( med vilket jag menar VILKEN LÄTTNAD
Funny how some people think a secret group of rich people control everything instead of the well known group of rich people who control everything.
@klardotsh @zens oh god they’re reimplementing Lojban
I really wish the US left could have more positions on a bad thing X than “X must be illegal and handled with the brutest state repression imaginable while the violence is simultaneously being horrifically unequally applied” and “X is, in fact, good and has no problems at all except stigmatisation!”.
It’s almost time for my yearly reminder that there are, in fact, few things I hate more than drunk people.

How to join a video call:

1. Pace around for twenty minutes
2. Sit down with five minutes to go
3. 30 seconds to go…
4. Click “join meeting”
5. Computer asks you to download some software, change your password, log out, log in, answer some questions and restart, then freezes

PC: You quit improperly.
ME: You froze.
PC: Next time quit properly.
ME: I didn’t quit.
PC: You lost your data.
ME: YOU lost my data.
PC: Would you like to send a report to Microsoft?
ME: That you fucked up?
PC: That’s not how it’ll read.
ME *reboots
PC: YOU SHUT DOWN IMPROPERLY.
@same @ariadne Makes sense if you’re on a machine that’s literally just used to play steam games etc I guess?