Lex Bailey's Avatar

Lex Bailey

@lexbailey.tech.lgbt.ap.brid.gy

Formal Verification Engineer by profession. Computer enjoyer by hobby. Interests include: Formal verification Formal languages CPU design Esoteric languages and […] 🌉 bridged from ⁂ https://tech.lgbt/@lexbailey, follow @ap.brid.gy to interact

4 Followers  |  2 Following  |  63 Posts  |  Joined: 24.08.2025  |  2.2244

Latest posts by lexbailey.tech.lgbt.ap.brid.gy on Bluesky

current status: making sure that this waste of my time is turned in to a waste of eBay's support staff's time by asking how I turn it off permanently instead of simply pressing "maybe later"

23.11.2025 13:42 — 👍 0    🔁 0    💬 0    📌 0

also, fuck you eBay for doing the whole "you can't say no, you can only say maybe later" bullshit

23.11.2025 13:29 — 👍 0    🔁 0    💬 1    📌 0
Messaging is faster with eBay.ai
Intelligent Assistance
Provides suggested replies to buyer questions using information solely
from your listings and order details
Curated topics
Only available for topics relating to item details and postage, and avoids
questions about pricing or offers.
Complete Control
Suggested replies are not visible to buyers, allowing you to review and edit
them before sending

Messaging is faster with eBay.ai Intelligent Assistance Provides suggested replies to buyer questions using information solely from your listings and order details Curated topics Only available for topics relating to item details and postage, and avoids questions about pricing or offers. Complete Control Suggested replies are not visible to buyers, allowing you to review and edit them before sending

I see eBay has jumped on the AI bandwagon.

I sure am looking forward to receiving AI hallucinations in response to my normal human questions /s

23.11.2025 13:29 — 👍 0    🔁 0    💬 1    📌 0

[UPDATE! re: bizarre unexpected encounter with an LLM]

yep, there it is, got a call that was obviously a scam from the same number. human this time tho

22.11.2025 12:37 — 👍 0    🔁 0    💬 0    📌 0
Original post on tech.lgbt

[re: bizarre unexpected encounter with an LLM]

I have no idea why this system exists.

I can only assume that someone is using an LLM to do some phone scam, but they fucked up the configuration quite severely.

It wasn't advertising anything, nor asking for money or personal information […]

22.11.2025 06:48 — 👍 1    🔁 0    💬 1    📌 0
Original post on tech.lgbt

[bizarre unexpected encounter with an LLM]

I got a phone call yesterday. I didn't answer it in time.

Minutes later, a second call from a number that was almost identical. Only the last digit was different.

I answered the second call, and said hello. There was silence. After speaking and […]

22.11.2025 06:42 — 👍 0    🔁 0    💬 1    📌 0
Original post on tech.lgbt

Dear all employers,

Stop expecting your employees to install work applications on their personal devices. Provide them with a work laptop/phone, or stop requiring those apps.

Please also never require them to provide their personal phone number for anything other than emergency use.

Kind […]

21.11.2025 11:21 — 👍 1    🔁 0    💬 0    📌 0
Original post on tech.lgbt

[Job search updates, positive]

Twice recently I've had people email me at the email address on my CV about job openings. This is very exciting.

Both cases were things that I had not directly applied for, but that are actually interesting. It'll be fun to see if those go anywhere. I like that […]

20.11.2025 13:19 — 👍 0    🔁 0    💬 0    📌 0
Part of an animation of a progress pride flag being drawn on a ZX Spectrum. The bitmap is being mirrored from top to bottom.

Part of an animation of a progress pride flag being drawn on a ZX Spectrum. The bitmap is being mirrored from top to bottom.

Highlighting some of my favourite blog posts from my new blog (initially populated by turning all my YouTube videos in to blog posts)

This one includes animations of the drawing process for an executable graphics entry to LoveByte that I did this year […]

[Original post on tech.lgbt]

20.11.2025 10:06 — 👍 4    🔁 0    💬 0    📌 0

RE: https://mastodon.online/@thunderbird/115571570084869697

yay! I can drop the extension that I'm using to make this work!

I dislike that have to use Microsoft's email system at work. Thunderbird is the only thing making it pleasant. now it will be even more pleasant :)

perhaps my colleagues […]

18.11.2025 22:21 — 👍 0    🔁 0    💬 0    📌 0
a screenshot of the title of my blog. "Computing: the Details - Lex's blog of curious computer-related shenanigans". it is in what looks like a window on a GUI styled like the crux window theme.

a screenshot of the title of my blog. "Computing: the Details - Lex's blog of curious computer-related shenanigans". it is in what looks like a window on a GUI styled like the crux window theme.

I have a blog now!

http://computingthedetails.org/

There's a write up for each video topic on my YouTube channel, for those that prefer reading to watching to videos.

Subscribe with atom or RSS!

14.11.2025 16:08 — 👍 7    🔁 4    💬 1    📌 1
Original post on tech.lgbt

"I should hire a van so I can pick up the fridge, freezer, and cooker that I need."

* me, before picking up the van



"I sure am glad I was able to use this van pick up this 88 key floor standing synthesiser keyboard and obsolete wireless electronic audience voting system with 100 remotes." […]

13.11.2025 16:28 — 👍 0    🔁 0    💬 0    📌 0
A small piece of paper on a wooden desk. Printed on the paper is a motif that looks like a level from Super Mario Bros. Written in the sky above the level is the text "Monads??".

A small piece of paper on a wooden desk. Printed on the paper is a motif that looks like a level from Super Mario Bros. Written in the sky above the level is the text "Monads??".

Photo from July 2022

13.11.2025 13:22 — 👍 0    🔁 0    💬 0    📌 0

last checked for updates 624 days ago

wow it really was a while ago

I went nearly two years without touching Windows

12.11.2025 19:37 — 👍 0    🔁 0    💬 0    📌 0

booting my windows install for the first time in a long time

12.11.2025 19:21 — 👍 0    🔁 0    💬 1    📌 0

[post does not contain Pointer Sisters]

🎵 I'm moderately excited!
🎶 I could easily hide it!
🎼 I'm still fully in control, and that's how I like it!

11.11.2025 12:43 — 👍 1    🔁 0    💬 0    📌 0

OwO new Mastodon

for some reason now the bottom button bar doesn't show on mobile until I scroll quite far down the page?? 🙃

but I can quoot now! so there's that

07.11.2025 15:30 — 👍 1    🔁 0    💬 0    📌 0

the block button is right there but apparently I was feeling sassy today lmao

07.11.2025 15:09 — 👍 2    🔁 0    💬 0    📌 0

two more job applications in

hopefully I don't get an 100% instarejection rate today

07.11.2025 13:59 — 👍 1    🔁 0    💬 0    📌 0

[sometimes,,,...]

horny,,,

y'know?

05.11.2025 22:42 — 👍 0    🔁 0    💬 0    📌 0

instarejected

no reason provided

05.11.2025 16:13 — 👍 0    🔁 0    💬 0    📌 0

reading job adverts

getting sick of reading the words "proven track record"

like, bro, what proof are you expecting?

who's keeping those records?

05.11.2025 11:52 — 👍 0    🔁 0    💬 0    📌 0

I have applied for a job, oh my! first one in a while. really struggling to find job adverts that fit my skills but that aren't for shitty companies doing shitty things

I just wanna get paid to write good quality code why is that so hard

05.11.2025 11:46 — 👍 1    🔁 0    💬 1    📌 0

fuck it

we browsing job ads on the work laptop in the office

05.11.2025 11:14 — 👍 2    🔁 0    💬 0    📌 0
a person in a black dress and leather body harness, with a collar. they have shoulder length dark hair. and fingerless gloves with buckles on them. they are on a dance floor at a party lit with dim red light

a person in a black dress and leather body harness, with a collar. they have shoulder length dark hair. and fingerless gloves with buckles on them. they are on a dance floor at a party lit with dim red light

the person from the first photo, but in better lighting. They have a spider web eye liner pattern on their left eye

the person from the first photo, but in better lighting. They have a spider web eye liner pattern on their left eye

taking a moment out of the party to post pictures of my outfit. Selfies ahead!

31.10.2025 22:33 — 👍 0    🔁 0    💬 0    📌 0
Original post on tech.lgbt

I'm looking for a job in _Software Engineering_ (ideally Rust, Python, or C) or _Formal Verification._

I'm versatile and can do anything from Embedded to Web front end.

I'm strugging to find job adverts that are:

* nothing to do with AI
* nothing to do with cryptocurency
* from […]

30.10.2025 14:15 — 👍 0    🔁 0    💬 0    📌 0
Original post on tech.lgbt

Fact check...
Claim 1: You can log in faster with chrome.
Response: I just logged in without chrome and did not perceive any significant delay. If it is faster, it's not perceptible.

Claim 2: Using chrome is "more secure".
Response: The claim is not testable. They haven't specified a threat […]

29.10.2025 12:39 — 👍 0    🔁 0    💬 1    📌 0
a screenshot of the NHS app: "Chrome Recommended. Install the Chrome web browser for the best NHS App experience. It lets you log in faster and more securely. Without it app may not work as intended."

a screenshot of the NHS app: "Chrome Recommended. Install the Chrome web browser for the best NHS App experience. It lets you log in faster and more securely. Without it app may not work as intended."

what the actual fuck!?

29.10.2025 12:21 — 👍 2    🔁 0    💬 2    📌 0

I wish to be temporarily reduced to an unthinking ball of slime, and then emerge fully reformed days later feeling like everything is great.

Anyway, time for bed. good night!

27.10.2025 06:20 — 👍 0    🔁 0    💬 0    📌 0

[re: secret spooky month project]

it's not looking good, folks. this last step was a failure 😭 might ask a professional next time

sorry to get your hopes up, no pic this time

20.10.2025 17:58 — 👍 0    🔁 0    💬 0    📌 0

@lexbailey.tech.lgbt.ap.brid.gy is following 2 prominent accounts