Amanda
banner
amanda.social.spejset.org.ap.brid.gy
Amanda
@amanda.social.spejset.org.ap.brid.gy
#ComputerScientist PhD student working on specialised #ConstraintSolvers for #ProgramAnalysis, including #Polonius in #Rust. Interested in personal computing […]

🌉 bridged from ⁂ https://social.spejset.org/@amanda, follow @ap.brid.gy to interact
@jonben I think something was badly wrong with either my FreeBSD package or my configuration, but it all validated fine so I don’t know. Generally things seem debuffed in RPG terms on FreeBSD
December 16, 2025 at 8:30 AM
@jonben in this case I did something unreasonable. I don’t think data loss was warranted but I can see how it happened.
December 16, 2025 at 8:25 AM
(Yes, I do have a backup but apparently NextCloud from flatpak won’t launch under x11 in case anyone worried that things would be simple)
December 15, 2025 at 10:45 PM
Honorary mention for NextCloud which when I signed in to an empty new account on the rebuilt server with my existing folder noticed that the folder on the cloud server and my local folder (which contained all my files) was different and promptly proceeded to resolve the difference by deleting […]
Original post on social.spejset.org
social.spejset.org
December 15, 2025 at 10:44 PM
Why do I need docker to run a program? Why can’t I just list the binary and do proxy_pass? Why doescan’t nginx stop serving the requests when I add a request parameter that by all accounts should be completely inert? Why do only some endpoints work without it when all other endpoints work for […]
Original post on social.spejset.org
social.spejset.org
December 14, 2025 at 11:18 PM
Oh and also every product costs half a year’s salary and has a projected lifetime of at most one baby
December 3, 2025 at 2:50 PM
Jag mår inte piss för att jag scrollar social medier för mycket (det gör jag inte). Jag mår piss för att jag har en lägre materiell standard än nästan alla mina vänner, en oklar ekonomisk framtid och framför allt lever ett liv som helt och hållet definieras av att passa upp på mina barn där det […]
Original post on social.spejset.org
social.spejset.org
December 2, 2025 at 6:34 PM
@leo_wallentin @mikaeleiman ”hindra betalningar” och ”spärra kort” är ju två rätt olika åtgärder.
December 1, 2025 at 6:18 PM
Det här är förstås ännu viktigare nu när så mycket politik och kultur är nedströms från det vi kallade ”data tjafs” när jag växte upp. Den som kan något om datorer har också möjlighet att sätta emot på arbetsplatsen när den digitala arbetsmiljön förslummas, chefen vill övervaka en, osv.
November 29, 2025 at 8:36 AM