Lex Bailey
banner
lexbailey.tech.lgbt.ap.brid.gy
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
[open for raw gay, claims to be 12 inches but it's actually 11.5 inches]

🖼
January 16, 2026 at 4:14 PM
Open for illegitimate VLC merch
January 8, 2026 at 3:19 PM
thanks @vifino !
and yes it should use caller ID really, but I couldn't figure how to make hylafax give me the ID details in the limited time I had before it's first deployment at EMF Camp, and I never got around to fixing that 😅
January 6, 2026 at 2:25 PM
I have "tidied up" the cable ties that were hanging around the office
December 16, 2025 at 1:36 PM
Did I ever tell you about that time I nearly crashed a £1,000,000 supercomputer?

Yes! I did! in my latest YouTube video and blog post!

Vid:
https://youtu.be/CVtibV_68mI

Blog:
https://computingthedetails.org/blog/i-nearly-crashed-a-supercomputer/
December 13, 2025 at 9:05 PM
I recently bought one of these from aliexpress, and the more I look at it, the more I realise just how cursed it appears to be when you don't have the context of what it is used for. IYKYK
December 11, 2025 at 6:58 PM
LMAO I asked my brother if he wanted to come over for lunch some day around this Christmas, and I told him who else was going to be there, listing various partners and metamours of mine, and he sent the first image. I then pointed out the poor construction of the […]

[Original post on tech.lgbt]
December 11, 2025 at 6:40 PM
I think I've found the most scuffed online takeaway order menu.

I want a quantum salad with souce, and I'll have the extra chips that come with a discount.
December 3, 2025 at 10:37 PM
They shall live amongst the platonic solid twisty puzzles, atop the boom box, watching over the living room activities.

#plushtodon
November 28, 2025 at 9:38 AM
they arrived!

my baby is here!

#plushtodon
November 28, 2025 at 9:33 AM
If you need an SVG of the instragram logo, you can just go and download the official _11MB bitmap wrapped in an SVG trenchcoat._ 🙃
November 27, 2025 at 1:11 AM
didn't really want my company name listed on my conference badge, so I printed a comically large pronoun sticker to cover it over.

had to put it somewhere, and they didn't provide a field for pronouns during registration
November 25, 2025 at 1:43 PM
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
November 23, 2025 at 1:29 PM
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]
November 20, 2025 at 10:07 AM
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!
November 14, 2025 at 4:09 PM
Photo from July 2022
November 13, 2025 at 1:23 PM
taking a moment out of the party to post pictures of my outfit. Selfies ahead!
October 31, 2025 at 10:34 PM
what the actual fuck!?
October 29, 2025 at 12:23 PM
This was the intended diversion route. A607 to Melton Mowbray, A606 to Stamford.

I had a chat on the phone with some from National Highways who clarified "you should be following the unfilled diamond symbol route" but the signage started with the filled circle symbol.

how bizarre
October 6, 2025 at 2:55 PM
yesterday I followed a signposted diversion route around a carriageway closure on the south bound A1 near Grantham.

This is the route they signposted. It's a circle. I thought I'd misread the signs, but nope. I went around this circle twice, the signage was just wrong.
October 6, 2025 at 2:47 PM
computer version 1.1 can produce mind boggling effects
September 26, 2025 at 9:03 PM
got the latest version of computer
September 26, 2025 at 2:51 PM
:blobhaj_headphones:
September 22, 2025 at 9:49 PM
Committing gender fraud so I pay less gender tax
September 3, 2025 at 3:33 PM
moving house
August 25, 2025 at 12:50 PM