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
[re: intoxication]
update:
we installed GnuCOBOL
we have now compiled hello world
her: "you can now add COBOL to your CV"
update:
we installed GnuCOBOL
we have now compiled hello world
her: "you can now add COBOL to your CV"
January 24, 2026 at 2:36 PM
[re: intoxication]
update:
we installed GnuCOBOL
we have now compiled hello world
her: "you can now add COBOL to your CV"
update:
we installed GnuCOBOL
we have now compiled hello world
her: "you can now add COBOL to your CV"
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