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
Interests include:
Formal verification
Formal languages
CPU design
Esoteric languages and […]
🌉 bridged from ⁂ https://tech.lgbt/@lexbailey, follow @ap.brid.gy to interact
I'm ... on top of things today!?
woo!
woo!
January 9, 2026 at 2:42 PM
I'm ... on top of things today!?
woo!
woo!
Open for illegitimate VLC merch
January 8, 2026 at 3:19 PM
Open for illegitimate VLC merch
Reposted by Lex Bailey
Getting tired of the ongoing "world's first AI-powered [thing that in no way needs AI]" trend in my press release inbox. Absolute flood now CES is in full swing.
My "favourite:" the world's first AI-powered wearable UV sensor. A wearable for tracking UV exposure isn't new (hell, you can buy […]
My "favourite:" the world's first AI-powered wearable UV sensor. A wearable for tracking UV exposure isn't new (hell, you can buy […]
Original post on mastodon.social
mastodon.social
January 7, 2026 at 10:00 AM
Getting tired of the ongoing "world's first AI-powered [thing that in no way needs AI]" trend in my press release inbox. Absolute flood now CES is in full swing.
My "favourite:" the world's first AI-powered wearable UV sensor. A wearable for tracking UV exposure isn't new (hell, you can buy […]
My "favourite:" the world's first AI-powered wearable UV sensor. A wearable for tracking UV exposure isn't new (hell, you can buy […]
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 😅
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
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 😅
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 😅
RE: https://mastodon.social/@c3fax/115800382417103904
Aha! some folks made my CFax thing work at #39c3
Amazing!
thanks to @stary and @vifino
I'm not at 39c3, and I don't know what the number is for this. Hopefully someone will fill in the details :neofox_laptop:
Aha! some folks made my CFax thing work at #39c3
Amazing!
thanks to @stary and @vifino
I'm not at 39c3, and I don't know what the number is for this. Hopefully someone will fill in the details :neofox_laptop:
mastodon.social
December 29, 2025 at 9:21 AM
RE: https://mastodon.social/@c3fax/115800382417103904
Aha! some folks made my CFax thing work at #39c3
Amazing!
thanks to @stary and @vifino
I'm not at 39c3, and I don't know what the number is for this. Hopefully someone will fill in the details :neofox_laptop:
Aha! some folks made my CFax thing work at #39c3
Amazing!
thanks to @stary and @vifino
I'm not at 39c3, and I don't know what the number is for this. Hopefully someone will fill in the details :neofox_laptop:
Reposted by Lex Bailey
[discussion: tech illiteracy]
Reminder that the average person doesn't use ad blockers, doesn't even understand the difference between ads and content, that's just "how the internet looks."
If it seems like a LOT of people are ignorant about the harm done by AI and Crypto and think its "just […]
Reminder that the average person doesn't use ad blockers, doesn't even understand the difference between ads and content, that's just "how the internet looks."
If it seems like a LOT of people are ignorant about the harm done by AI and Crypto and think its "just […]
Original post on bark.lgbt
bark.lgbt
December 28, 2025 at 7:43 PM
[discussion: tech illiteracy]
Reminder that the average person doesn't use ad blockers, doesn't even understand the difference between ads and content, that's just "how the internet looks."
If it seems like a LOT of people are ignorant about the harm done by AI and Crypto and think its "just […]
Reminder that the average person doesn't use ad blockers, doesn't even understand the difference between ads and content, that's just "how the internet looks."
If it seems like a LOT of people are ignorant about the harm done by AI and Crypto and think its "just […]
[genocide]
Please look past the clickbait title and watch this video: https://youtu.be/e0qh1kkEAaM?si=h2p5SgMWRoCRVtyR
Britain is actively assisting a genocide, and actively suppressing those acting or speaking against it.
Shame on Britain.
Free the prisoners.
Please look past the clickbait title and watch this video: https://youtu.be/e0qh1kkEAaM?si=h2p5SgMWRoCRVtyR
Britain is actively assisting a genocide, and actively suppressing those acting or speaking against it.
Shame on Britain.
Free the prisoners.
December 22, 2025 at 9:24 AM
[genocide]
Please look past the clickbait title and watch this video: https://youtu.be/e0qh1kkEAaM?si=h2p5SgMWRoCRVtyR
Britain is actively assisting a genocide, and actively suppressing those acting or speaking against it.
Shame on Britain.
Free the prisoners.
Please look past the clickbait title and watch this video: https://youtu.be/e0qh1kkEAaM?si=h2p5SgMWRoCRVtyR
Britain is actively assisting a genocide, and actively suppressing those acting or speaking against it.
Shame on Britain.
Free the prisoners.
super excited for today!
travelling to see my partners for Christmas! :neocat_cute:
travelling to see my partners for Christmas! :neocat_cute:
December 22, 2025 at 9:10 AM
super excited for today!
travelling to see my partners for Christmas! :neocat_cute:
travelling to see my partners for Christmas! :neocat_cute:
OH: "You are socially omnivorous, fiscally vegan."
December 21, 2025 at 9:48 PM
OH: "You are socially omnivorous, fiscally vegan."
omg, don't get a reputation for giving thoughtful hand-made gifts to people you love every Christmas. it sets a precedent and the workload tends to increase each year 😆
with three days to go, one of which involves significant time spent traveling, I still have not finished my presents for two […]
with three days to go, one of which involves significant time spent traveling, I still have not finished my presents for two […]
Original post on tech.lgbt
tech.lgbt
December 21, 2025 at 7:46 PM
omg, don't get a reputation for giving thoughtful hand-made gifts to people you love every Christmas. it sets a precedent and the workload tends to increase each year 😆
with three days to go, one of which involves significant time spent traveling, I still have not finished my presents for two […]
with three days to go, one of which involves significant time spent traveling, I still have not finished my presents for two […]
I have spilled
the glitter
that was in
the small round tub
and which
had worked it's way
through
the threads on the lid
Forgive me
it will never come out
of the carpet
or your left shoe
the glitter
that was in
the small round tub
and which
had worked it's way
through
the threads on the lid
Forgive me
it will never come out
of the carpet
or your left shoe
December 20, 2025 at 8:34 PM
I have spilled
the glitter
that was in
the small round tub
and which
had worked it's way
through
the threads on the lid
Forgive me
it will never come out
of the carpet
or your left shoe
the glitter
that was in
the small round tub
and which
had worked it's way
through
the threads on the lid
Forgive me
it will never come out
of the carpet
or your left shoe
Ah, of course, now that I've reached a suitable level of separation from my main user, I can't actually start any GUI applications because they don't have permission to access my main user's Wayland or X interfaces
perhaps I should just log in the other use with a full gui session
perhaps I should just log in the other use with a full gui session
December 20, 2025 at 12:18 PM
Ah, of course, now that I've reached a suitable level of separation from my main user, I can't actually start any GUI applications because they don't have permission to access my main user's Wayland or X interfaces
perhaps I should just log in the other use with a full gui session
perhaps I should just log in the other use with a full gui session
RE: https://tech.lgbt/@lexbailey/115748848414494109
so far two people believe in me!
So far I've tried:
* export a PDF instead (didn't work, same error)
* extract the raw data from the Wayland clipboard in a format that can be returned to the clipboard later and pasted in to a new […]
so far two people believe in me!
So far I've tried:
* export a PDF instead (didn't work, same error)
* extract the raw data from the Wayland clipboard in a format that can be returned to the clipboard later and pasted in to a new […]
Original post on tech.lgbt
tech.lgbt
December 20, 2025 at 12:14 PM
RE: https://tech.lgbt/@lexbailey/115748848414494109
so far two people believe in me!
So far I've tried:
* export a PDF instead (didn't work, same error)
* extract the raw data from the Wayland clipboard in a format that can be returned to the clipboard later and pasted in to a new […]
so far two people believe in me!
So far I've tried:
* export a PDF instead (didn't work, same error)
* extract the raw data from the Wayland clipboard in a format that can be returned to the clipboard later and pasted in to a new […]
hello queer people in my phone, how are you all today?
I am now on holiday until the 12th of January! Exciting times ahead :)
I am now on holiday until the 12th of January! Exciting times ahead :)
December 19, 2025 at 11:02 AM
hello queer people in my phone, how are you all today?
I am now on holiday until the 12th of January! Exciting times ahead :)
I am now on holiday until the 12th of January! Exciting times ahead :)
Reposted by Lex Bailey
:boosts_ok_gay:
I want to use furry musicians to soundtrack my youtube videos. I want to make sure that it is music that the artists are ok with folks using in this way.
Anyone have suggestions on where to look, or for your own music? I want to credit and thank fellow furries!
I want to use furry musicians to soundtrack my youtube videos. I want to make sure that it is music that the artists are ok with folks using in this way.
Anyone have suggestions on where to look, or for your own music? I want to credit and thank fellow furries!
December 18, 2025 at 11:00 AM
:boosts_ok_gay:
I want to use furry musicians to soundtrack my youtube videos. I want to make sure that it is music that the artists are ok with folks using in this way.
Anyone have suggestions on where to look, or for your own music? I want to credit and thank fellow furries!
I want to use furry musicians to soundtrack my youtube videos. I want to make sure that it is music that the artists are ok with folks using in this way.
Anyone have suggestions on where to look, or for your own music? I want to credit and thank fellow furries!
only me in the office
I've given notice
last day is Thursday
might spend the day making "art" in the office
maybe an office chair sculpture?
feel free to suggest amusing harmless mischief >:)
I've given notice
last day is Thursday
might spend the day making "art" in the office
maybe an office chair sculpture?
feel free to suggest amusing harmless mischief >:)
December 16, 2025 at 12:53 PM
only me in the office
I've given notice
last day is Thursday
might spend the day making "art" in the office
maybe an office chair sculpture?
feel free to suggest amusing harmless mischief >:)
I've given notice
last day is Thursday
might spend the day making "art" in the office
maybe an office chair sculpture?
feel free to suggest amusing harmless mischief >:)
the moment you realise that _you_ are the problem: https://youtube.com/shorts/MrGbQgvXXvw?feature=share
December 16, 2025 at 11:33 AM
the moment you realise that _you_ are the problem: https://youtube.com/shorts/MrGbQgvXXvw?feature=share
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/
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 14, 2025 at 10:06 AM
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/
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
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/
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/
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
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
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]
[Original post on tech.lgbt]
December 11, 2025 at 6:40 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]
[Original post on tech.lgbt]
I think I'm about to resign from my job 🥳
this is exciting
2026 is gonna be exciting
this is exciting
2026 is gonna be exciting
December 10, 2025 at 2:27 PM
I think I'm about to resign from my job 🥳
this is exciting
2026 is gonna be exciting
this is exciting
2026 is gonna be exciting
OwO
a second Mastodon plush order dispatch notification has hit my email inbox.
but I didn't order a second one :ms_cat_heart_eyes:
appears to just be Shopify being strange? tracking number shows up the original package, says it's delivered. how strange.
a second Mastodon plush order dispatch notification has hit my email inbox.
but I didn't order a second one :ms_cat_heart_eyes:
appears to just be Shopify being strange? tracking number shows up the original package, says it's delivered. how strange.
December 8, 2025 at 2:28 PM
OwO
a second Mastodon plush order dispatch notification has hit my email inbox.
but I didn't order a second one :ms_cat_heart_eyes:
appears to just be Shopify being strange? tracking number shows up the original package, says it's delivered. how strange.
a second Mastodon plush order dispatch notification has hit my email inbox.
but I didn't order a second one :ms_cat_heart_eyes:
appears to just be Shopify being strange? tracking number shows up the original package, says it's delivered. how strange.
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.
I want a quantum salad with souce, and I'll have the extra chips that come with a discount.
![An online food ordering app displaying the page for customising a "Salad in pita". It requires that you pick some items from the list, which contains: Salad, No salad, No souce [sic], Chilli. Both "Salad" and "No salad" are selected.](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:5xzikgoxfbriaqgtrjk34xut/bafkreighmyc3ijx7pgwuxsarp6slhuqdfpghou7r7i7zp4tv7hq3y3qmom@jpeg)
December 3, 2025 at 10:37 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.
I want a quantum salad with souce, and I'll have the extra chips that come with a discount.