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
very happy to report that all 6 people that voted yes were correct!
(poll still open but never mind)
The solution:
1. Build Libreoffice from source (bleeding edge version appears to not encounter the issue)
2. Start Libreoffice in a new process and IPC namespace as root with safe mode […]
(poll still open but never mind)
The solution:
1. Build Libreoffice from source (bleeding edge version appears to not encounter the issue)
2. Start Libreoffice in a new process and IPC namespace as root with safe mode […]
Original post on tech.lgbt
tech.lgbt
December 20, 2025 at 1:14 PM
very happy to report that all 6 people that voted yes were correct!
(poll still open but never mind)
The solution:
1. Build Libreoffice from source (bleeding edge version appears to not encounter the issue)
2. Start Libreoffice in a new process and IPC namespace as root with safe mode […]
(poll still open but never mind)
The solution:
1. Build Libreoffice from source (bleeding edge version appears to not encounter the issue)
2. Start Libreoffice in a new process and IPC namespace as root with safe mode […]
I have "tidied up" the cable ties that were hanging around the office
December 16, 2025 at 1:36 PM
I have "tidied up" the cable ties that were hanging around the office
[spoilers for what the thing is]
@tom it is a device that sends video to an LED video panel array over a thing that's almost ethernet (if you squint hard enough) via the two RJ45s. it can be configured over USB, and take video frames from the DVI. It doesn't need to be inside a computer, I'm […]
@tom it is a device that sends video to an LED video panel array over a thing that's almost ethernet (if you squint hard enough) via the two RJ45s. it can be configured over USB, and take video frames from the DVI. It doesn't need to be inside a computer, I'm […]
Original post on tech.lgbt
tech.lgbt
December 11, 2025 at 7:15 PM
[spoilers for what the thing is]
@tom it is a device that sends video to an LED video panel array over a thing that's almost ethernet (if you squint hard enough) via the two RJ45s. it can be configured over USB, and take video frames from the DVI. It doesn't need to be inside a computer, I'm […]
@tom it is a device that sends video to an LED video panel array over a thing that's almost ethernet (if you squint hard enough) via the two RJ45s. it can be configured over USB, and take video frames from the DVI. It doesn't need to be inside a computer, I'm […]