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
🌉 bridged from ⁂ https://social.spejset.org/@amanda, follow @ap.brid.gy to interact
Desktop update: xfce is tiny on my HiDPI screen. Setting 2x scaling makes it...smaller, not larger. Setting it 0.5x (a custom setting) just breaks it.
Oh, and the mouse cursor is a normal size (gigantic in comparison) when hovering over some applications, including the Nextcloud tray icon. It […]
Oh, and the mouse cursor is a normal size (gigantic in comparison) when hovering over some applications, including the Nextcloud tray icon. It […]
Original post on social.spejset.org
social.spejset.org
December 26, 2025 at 10:41 PM
Desktop update: xfce is tiny on my HiDPI screen. Setting 2x scaling makes it...smaller, not larger. Setting it 0.5x (a custom setting) just breaks it.
Oh, and the mouse cursor is a normal size (gigantic in comparison) when hovering over some applications, including the Nextcloud tray icon. It […]
Oh, and the mouse cursor is a normal size (gigantic in comparison) when hovering over some applications, including the Nextcloud tray icon. It […]
3yo: can I go?
Me: yeah but you have to be careful, those are lithium ion cells. They’re quite sensitive and if you short them they’ll catch fire and burn and it’s very difficult to put them out
3yo: you can put them out with water!
Me: no, they’re self oxidising so once they get going your best […]
Me: yeah but you have to be careful, those are lithium ion cells. They’re quite sensitive and if you short them they’ll catch fire and burn and it’s very difficult to put them out
3yo: you can put them out with water!
Me: no, they’re self oxidising so once they get going your best […]
Original post on social.spejset.org
social.spejset.org
December 26, 2025 at 9:08 PM
3yo: can I go?
Me: yeah but you have to be careful, those are lithium ion cells. They’re quite sensitive and if you short them they’ll catch fire and burn and it’s very difficult to put them out
3yo: you can put them out with water!
Me: no, they’re self oxidising so once they get going your best […]
Me: yeah but you have to be careful, those are lithium ion cells. They’re quite sensitive and if you short them they’ll catch fire and burn and it’s very difficult to put them out
3yo: you can put them out with water!
Me: no, they’re self oxidising so once they get going your best […]
My problem with desktops is that I’m hanging on to a dead branch.
Basically, we have two modern offshoots. Either you have the mobile convergence which emphasises single apps, web browser-like navigation, large buttons, usually full screen apps, snd so on. OR you have tiling window managers […]
Basically, we have two modern offshoots. Either you have the mobile convergence which emphasises single apps, web browser-like navigation, large buttons, usually full screen apps, snd so on. OR you have tiling window managers […]
Original post on social.spejset.org
social.spejset.org
December 26, 2025 at 12:24 PM
My problem with desktops is that I’m hanging on to a dead branch.
Basically, we have two modern offshoots. Either you have the mobile convergence which emphasises single apps, web browser-like navigation, large buttons, usually full screen apps, snd so on. OR you have tiling window managers […]
Basically, we have two modern offshoots. Either you have the mobile convergence which emphasises single apps, web browser-like navigation, large buttons, usually full screen apps, snd so on. OR you have tiling window managers […]
I'm probably sticking with Gnome. It's not what I want, but it's so far the only desktop that doesn't break at least one workflow for me as far as I can tell. Mercifully most legacy GTK applications respect my styling and so look decent.
December 26, 2025 at 11:52 AM
I'm probably sticking with Gnome. It's not what I want, but it's so far the only desktop that doesn't break at least one workflow for me as far as I can tell. Mercifully most legacy GTK applications respect my styling and so look decent.
Here's a simple desktop benchmark to try:
- Drag the edge of a few programs, very quickly. Does the window redraw without glitching, lagging, or stuttering?
- Connect a HiDPI screen. Can all applications reliably 2x DPI scale? With a second, 1x display?
- Open a window, close it. Open it again […]
- Drag the edge of a few programs, very quickly. Does the window redraw without glitching, lagging, or stuttering?
- Connect a HiDPI screen. Can all applications reliably 2x DPI scale? With a second, 1x display?
- Open a window, close it. Open it again […]
Original post on social.spejset.org
social.spejset.org
December 26, 2025 at 11:42 AM
Here's a simple desktop benchmark to try:
- Drag the edge of a few programs, very quickly. Does the window redraw without glitching, lagging, or stuttering?
- Connect a HiDPI screen. Can all applications reliably 2x DPI scale? With a second, 1x display?
- Open a window, close it. Open it again […]
- Drag the edge of a few programs, very quickly. Does the window redraw without glitching, lagging, or stuttering?
- Connect a HiDPI screen. Can all applications reliably 2x DPI scale? With a second, 1x display?
- Open a window, close it. Open it again […]
Trying out Gnome and as I expected it's really not to my liking. A few things I immediately noticed:
- the strip of wallpaper shown under window headers now BLINKS when typing or clicking
- the dock is only shown when I press windows key, can't be turned on?
- system trays exist, but only as a […]
- the strip of wallpaper shown under window headers now BLINKS when typing or clicking
- the dock is only shown when I press windows key, can't be turned on?
- system trays exist, but only as a […]
Original post on social.spejset.org
social.spejset.org
December 26, 2025 at 11:36 AM
Trying out Gnome and as I expected it's really not to my liking. A few things I immediately noticed:
- the strip of wallpaper shown under window headers now BLINKS when typing or clicking
- the dock is only shown when I press windows key, can't be turned on?
- system trays exist, but only as a […]
- the strip of wallpaper shown under window headers now BLINKS when typing or clicking
- the dock is only shown when I press windows key, can't be turned on?
- system trays exist, but only as a […]
Oh great after a system update the Linux machine isn’t able to shut itself off again. Why? Don’t know, screen goes black and then nothing happens.
As far as I can tell this happens to literally every Linux machine within a year. Oddly enough suspend works, which is a first. It doesn’t usually.
As far as I can tell this happens to literally every Linux machine within a year. Oddly enough suspend works, which is a first. It doesn’t usually.
December 24, 2025 at 5:28 PM
Oh great after a system update the Linux machine isn’t able to shut itself off again. Why? Don’t know, screen goes black and then nothing happens.
As far as I can tell this happens to literally every Linux machine within a year. Oddly enough suspend works, which is a first. It doesn’t usually.
As far as I can tell this happens to literally every Linux machine within a year. Oddly enough suspend works, which is a first. It doesn’t usually.
Reposted by Amanda
Spiderman pointing meme but it’s Apple warning me that Apple is trying to paste from Apple
![On a Safari new tab page:
“Safari” would like to paste from “Safari”
Do you want to allow this?
[Don’t Allow Paste]
[Allow Paste]](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:ntkew5gge6ko43h3b73iazyd/bafkreictccu543cdhhkno2ycinzefppoh3yybnhh63rvzptherzu7afobq@jpeg)
December 23, 2025 at 5:34 AM
Spiderman pointing meme but it’s Apple warning me that Apple is trying to paste from Apple
Reposted by Amanda
Deadmau5 mistakes sonic pi code for strudel, news at 11 https://youtu.be/ane7B2Q8jbs?si=IzAdRtqS0DAmS4jl&t=120
December 22, 2025 at 7:14 PM
Deadmau5 mistakes sonic pi code for strudel, news at 11 https://youtu.be/ane7B2Q8jbs?si=IzAdRtqS0DAmS4jl&t=120
Since second hand DVDs are nearly free I’ve spent some nearly two months Netflix subscription fees on getting every Disney movie from my childhood and something that stands out is how deeply culturally evil the late 90’s to mid 00’s were.
December 21, 2025 at 8:42 AM
Since second hand DVDs are nearly free I’ve spent some nearly two months Netflix subscription fees on getting every Disney movie from my childhood and something that stands out is how deeply culturally evil the late 90’s to mid 00’s were.
En grej som känns sjukt futuristisk med Vinted är hur den är multispråklig som standard. Folk lägger upp annonser och kommunicerar hej vilt på sina egna språk och maskinöversättningar får stärka upp bäst det går där det behövs.
Det fungerar förvånansvärt bra faktiskt och visar att en värld där […]
Det fungerar förvånansvärt bra faktiskt och visar att en värld där […]
Original post on social.spejset.org
social.spejset.org
December 20, 2025 at 8:44 AM
En grej som känns sjukt futuristisk med Vinted är hur den är multispråklig som standard. Folk lägger upp annonser och kommunicerar hej vilt på sina egna språk och maskinöversättningar får stärka upp bäst det går där det behövs.
Det fungerar förvånansvärt bra faktiskt och visar att en värld där […]
Det fungerar förvånansvärt bra faktiskt och visar att en värld där […]
Reposted by Amanda
"Hello, We're Firefox, The Only Browser That Hasn't Hit Itself In The Dick With A Hammer. For years now, folks use us because of our un-hammered dick. Now, you may be wondering why today we've brought this hammer and pulled out our dick. Well I'm glad you asked--"
February 28, 2025 at 3:22 PM
"Hello, We're Firefox, The Only Browser That Hasn't Hit Itself In The Dick With A Hammer. For years now, folks use us because of our un-hammered dick. Now, you may be wondering why today we've brought this hammer and pulled out our dick. Well I'm glad you asked--"
Reposted by Amanda
My biggest transition advice is do it *now*.
Every legal/medical process takes 10x longer than you're thinking, 99% of it is reversible and all the irreversible stuff takes months and your doctor/etc will likely fight tooth and nail to not let you.
Get the new name, swap the pronouns, buy some […]
Every legal/medical process takes 10x longer than you're thinking, 99% of it is reversible and all the irreversible stuff takes months and your doctor/etc will likely fight tooth and nail to not let you.
Get the new name, swap the pronouns, buy some […]
Original post on mastodon.social
mastodon.social
October 29, 2025 at 11:04 PM
My biggest transition advice is do it *now*.
Every legal/medical process takes 10x longer than you're thinking, 99% of it is reversible and all the irreversible stuff takes months and your doctor/etc will likely fight tooth and nail to not let you.
Get the new name, swap the pronouns, buy some […]
Every legal/medical process takes 10x longer than you're thinking, 99% of it is reversible and all the irreversible stuff takes months and your doctor/etc will likely fight tooth and nail to not let you.
Get the new name, swap the pronouns, buy some […]
Reposted by Amanda
Here's the document release you were waiting for today!
The UNIX V4 tape!
https://archive.org/details/utah_unix_v4_raw
#retrocomputing
The UNIX V4 tape!
https://archive.org/details/utah_unix_v4_raw
#retrocomputing
UNIX V4 tape from University of Utah (raw) : Computer History Museum : Free Download, Borrow, and Streaming : Internet Archive
UNIX V4 tape from the University of Utah, received by Martin Newell circa June 1974 around when he modeled the Utah Teapot.This is the raw analog waveform and...
archive.org
December 19, 2025 at 10:29 PM
Here's the document release you were waiting for today!
The UNIX V4 tape!
https://archive.org/details/utah_unix_v4_raw
#retrocomputing
The UNIX V4 tape!
https://archive.org/details/utah_unix_v4_raw
#retrocomputing
Reposted by Amanda
While cleaning a storage room, our staff found this tape containing #unix v4 from Bell Labs, circa 1973
Apparently no other complete copies are known to exist: https://gunkies.org/wiki/UNIX_Fourth_Edition
We have arranged to deliver it to the Computer History Museum
#retrocomputing
Apparently no other complete copies are known to exist: https://gunkies.org/wiki/UNIX_Fourth_Edition
We have arranged to deliver it to the Computer History Museum
#retrocomputing
November 6, 2025 at 8:50 PM
While cleaning a storage room, our staff found this tape containing #unix v4 from Bell Labs, circa 1973
Apparently no other complete copies are known to exist: https://gunkies.org/wiki/UNIX_Fourth_Edition
We have arranged to deliver it to the Computer History Museum
#retrocomputing
Apparently no other complete copies are known to exist: https://gunkies.org/wiki/UNIX_Fourth_Edition
We have arranged to deliver it to the Computer History Museum
#retrocomputing
RE: https://social.lansky.name/@hn50/115748359854971375
One of my favourite patterns after let*, which you can now almost kind of do in Rust too except asterisk double dagger asterisk edge case
One of my favourite patterns after let*, which you can now almost kind of do in Rust too except asterisk double dagger asterisk edge case
social.lansky.name
December 19, 2025 at 9:37 PM
RE: https://social.lansky.name/@hn50/115748359854971375
One of my favourite patterns after let*, which you can now almost kind of do in Rust too except asterisk double dagger asterisk edge case
One of my favourite patterns after let*, which you can now almost kind of do in Rust too except asterisk double dagger asterisk edge case
Reposted by Amanda
[implications of suicide]
On Trans "Bravery"
Back in early transition, I'd occasionally be told by cis "allies" "you're so brave and strong to be your true self". Or even worse "I could never do that".
Trans people ARE brave, but not under the usual definition - charging enemy lines or […]
On Trans "Bravery"
Back in early transition, I'd occasionally be told by cis "allies" "you're so brave and strong to be your true self". Or even worse "I could never do that".
Trans people ARE brave, but not under the usual definition - charging enemy lines or […]
Original post on infosec.exchange
infosec.exchange
December 18, 2025 at 4:05 PM
[implications of suicide]
On Trans "Bravery"
Back in early transition, I'd occasionally be told by cis "allies" "you're so brave and strong to be your true self". Or even worse "I could never do that".
Trans people ARE brave, but not under the usual definition - charging enemy lines or […]
On Trans "Bravery"
Back in early transition, I'd occasionally be told by cis "allies" "you're so brave and strong to be your true self". Or even worse "I could never do that".
Trans people ARE brave, but not under the usual definition - charging enemy lines or […]
Idea for policy: ban cameras on phones along with any pocket-sized camera. Make sure any camera looks and feels like a camera and is unambiguously making it clear that someone is currently taking a picture.
December 18, 2025 at 3:33 PM
Idea for policy: ban cameras on phones along with any pocket-sized camera. Make sure any camera looks and feels like a camera and is unambiguously making it clear that someone is currently taking a picture.
Caddy experience: from ”search for a QuickStart” to ”actually migrated some give services”: 30 minutes flat. Configuration shrank at least an order of magnitude, and now contains no boilerplate at all unless you count two curly braces per service. It *also* eliminated certbot and all its config […]
Original post on social.spejset.org
social.spejset.org
December 16, 2025 at 9:03 AM
Caddy experience: from ”search for a QuickStart” to ”actually migrated some give services”: 30 minutes flat. Configuration shrank at least an order of magnitude, and now contains no boilerplate at all unless you count two curly braces per service. It *also* eliminated certbot and all its config […]
Ok I should absolutely have ditched nginx for caddy the second I had trouble. Caddy really is the reasonable defaults server in precisely the way nginx isn’t.
December 15, 2025 at 10:39 PM
Ok I should absolutely have ditched nginx for caddy the second I had trouble. Caddy really is the reasonable defaults server in precisely the way nginx isn’t.
Why did I just spend two hours I could have used for sleeping or at least doing something fun *not * getting nextcloud to work? I have open store so, so, so much. This isn’t even technically difficult, it’s just massively completed for no good reason.
December 14, 2025 at 11:14 PM
Why did I just spend two hours I could have used for sleeping or at least doing something fun *not * getting nextcloud to work? I have open store so, so, so much. This isn’t even technically difficult, it’s just massively completed for no good reason.
I’ve been thinking about ”everything’s computer”. It was funny because it certainly feels like everything is these days.
Except the more I think about it the less I think everything is computer. In fact, fewer and fewer things are computer. Computers frequently aren’t computer.
A computer is a […]
Except the more I think about it the less I think everything is computer. In fact, fewer and fewer things are computer. Computers frequently aren’t computer.
A computer is a […]
Original post on social.spejset.org
social.spejset.org
December 12, 2025 at 9:18 PM
I’ve been thinking about ”everything’s computer”. It was funny because it certainly feels like everything is these days.
Except the more I think about it the less I think everything is computer. In fact, fewer and fewer things are computer. Computers frequently aren’t computer.
A computer is a […]
Except the more I think about it the less I think everything is computer. In fact, fewer and fewer things are computer. Computers frequently aren’t computer.
A computer is a […]
[Screenshot from late in vampire the masquerade bloodlines, implied violence]
He must have had a bad reaction to his lunch or something #ifuckinglovethaumaturgy #vtm
He must have had a bad reaction to his lunch or something #ifuckinglovethaumaturgy #vtm
December 9, 2025 at 11:12 PM
[Screenshot from late in vampire the masquerade bloodlines, implied violence]
He must have had a bad reaction to his lunch or something #ifuckinglovethaumaturgy #vtm
He must have had a bad reaction to his lunch or something #ifuckinglovethaumaturgy #vtm
Super weird; my nextcloud nginx conf just…stopped working. I hadn’t done anything, even reloaded nginx, and it suddenly just stopped sending traffic to my Nextcloud. It loads the file fine and shows no warnings but the site never receives traffic. Weird thing is I haven’t touched the machine […]
Original post on social.spejset.org
social.spejset.org
December 8, 2025 at 10:53 PM
Super weird; my nextcloud nginx conf just…stopped working. I hadn’t done anything, even reloaded nginx, and it suddenly just stopped sending traffic to my Nextcloud. It loads the file fine and shows no warnings but the site never receives traffic. Weird thing is I haven’t touched the machine […]
RE: https://front-end.social/@Una/115685899497693622
Super funny how all of these are ”works in all browsers! Except safari”
Super funny how all of these are ”works in all browsers! Except safari”
front-end.social
December 8, 2025 at 10:45 PM
RE: https://front-end.social/@Una/115685899497693622
Super funny how all of these are ”works in all browsers! Except safari”
Super funny how all of these are ”works in all browsers! Except safari”