Skip to Content Skip to Navigation
Profile image for Álex Córcoles (coding)

Álex Córcoles (coding)

@coder@alex.femto.pub

This is the profile where I talk about coding and technology in English.

103 Posts Posts & Replies 34 Following 12 Followers Search
Pinned post

My "production stuff":

- github.com/festivus-es/festivu - public holidays calendars for Spanish cities
- github.com/remote-es/remotes - companies hiring in Spain for remote positions

Usable WIPs:

- alexpdp7.github.io/selfhostwat - track self-hosting package updates (such as YunoHost)
- github.com/alexpdp7/ubpkg/ - package manager for "upstream binaries"
- github.com/alexpdp7/termflux - Miniflux terminal client

I'm presenting Knuth's LR parsing paper at Papers we Love Berlin tomorrow. Parsing nerds (and other types) come hang out. www.meetup.com/papers-we-love-

@nedbat if I click the "move icon", the panel that appears shows a "current location" that matches what I expect (moved a document to a folder and the current location pointed to the folder).

But it's very confusing. I think documents exist in a single place. They also have a unique internal id that "persists" even if the name changes.

I finally sat down and figured out a process to establish a virtual network over two hosts when I only have a pipe (such as SSH).

github.com/alexpdp7/alexpdp7/b

There must be a better way, but this works.

@ccothrun hah, thanks, very interesting. Replied via the email in your GitHub profile, hope you don't mind.

My biggest concern about the future of StackOverflow is their yearly developer survey. Large developer surveys are hugely useful.

(Apparently, the new survey came out, so I took the time to do my duty.)

Signal famously doesn't allow third party clients. Molly currently flies under the radar but their official stance is: fuck off.
If were to introduce ads tomorrow you just switch to a fork and move on with your life. With Signal you do what exactly?

Also, I'm a bit short on hardware so I was overthinking things until I realized I can just install Fedora 42 to an external USB drive without wiping any machine. Works fairly well when you realize that you have to use the blue USB ports.

So with Fedora 42, you can create VMs that use Venus to expose a GPU to VMs that passes through Vulkan commands to the host graphics card. Meaning I can create VMs to run an application that requires a GPU (using Intel 12th graphics!). You have to use raw QEMU because libvirt does not support the necessary options yet.

Obviously not the best for performance (but I don't care), but you don't have to source datacenter GPUs or strange patches- standard Intel integrated graphics + Fedora packages.

The Promised LAN: notes.pault.ag/tpl/

Another piece in the communities, Yggdrasil, new Internet, etc. puzzle...

For those who seek alternatives to shell scripts, github.com/oils-for-unix/oils/ is an interesting resource.

@jimsalter @hackaday sure! I never saw Stargate, but likely there are suitable sci-fi cautionary tales about alien tech we don't understand :D

But really, it stands out on being a few years ahead of its time, like some other Sun stuff. I'm not sure we will see many similar things happen.

@jimsalter @hackaday ZFS is alien tech. The temporary open sourcing was a random winning lottery ticket.

Apparently, the container support in macOS is one VM per container, which is interesting:

github.com/apple/container/blo

Among all the Apple news, I just saw this:

www.apple.com/newsroom/2025/06

One reason I tend to avoid containers is that I think that if there are alternatives, Mac users will be better. Although I see a lot of Mac users pushing for containers.

Hopefully this changes things?

If anyone is having troubles with the latest EL9 point update and IPA: access.redhat.com/solutions/71

RHEL 10 is out, so I decided to test drive AlmaLinux 10 on my spare laptop. It's pretty nice, had a few bumps with FreeIPA and remote desktop, but I got both working. GNOME has a fresh look.

I'm likely sticking to Debian Stable, but EL clones continue to be respectable desktops.

The negative highlight is that AI was all over the RHEL 10 announcement, but likely that's one of the things that EL clones such as AlmaLinux drop :)

I built for about 40€ a USB device that can virtualize USB bootable ISOs. There's Ventoy, but where's the fun in that?

github.com/alexpdp7/rpi-zero-u

(MicroSD costs not included, but you could also save some money by using a weaker Raspberry Pi Zero.)

CRUD programming is one of my personal obsessions. Surprisingly, I hadn't written directly about it on my "wiki-like" articles. So I wrote:

github.com/alexpdp7/alexpdp7/b

, because "Obsidian Bases" looks interesting and similar to a small pet project I made in the past.

How desperate is my current "machete mode" debugging? I put "except: pass" on one line instead of two!

nedbatchelder.com/text/machete

Section 2.B.(iii) of the macOS EULA[1] seems to limit the amount of VMs running macOS that you can run on a single box to 2.

www.apple.com/legal/sla/docs/m

Very convenient if you want to buy a Mac Mini for an office to let developers not on Apple hardware help their fellow developers on Apple hardware.

Status pages should have real-time traffic stats *of the status page itself*. So you could see that visits to the status page are spiking, although the status page is all green.

mmapped.blog/posts/38-static-t

The title of this article is "Static types are for perfectionists", but I think it should be "Your code is a reflection of you".

The Galois cover and the last quote made me chuckle.

I've always wondered about terminal accessibility for low/no vision. I guess braille lines work, but they are expensive. And I've heard about "unexpected" problems (e.g. progress bars).

Blind software developers on fedi, I have a question!

Have you used GDB? and if so, do you still use it? I'd love to hear experiences from blind users because I can't tell how good or bad our interface is for users.

For more context, GDB is the main debugger (that I know of, at least) for C, C++, Rust, Ada and Fortran. If you used a debugger for a program in one of those, you probably used GDB with maybe some interface on top.

Because GDB is all text based, I'd think it could reasonably well suited for blind users, but I'm sure being accessible isn't as easy as "the text is there" so I'd love to hear the experience of blind users!

I tried searching online but couldn't find any experiences from GDB users specifically (only general tool advice from coding with eyes closed), so direct experience would be appreciated!

Boosts are welcome!

Lightweight open source Google reCaptcha alternative: ALTCHA leverages a proof-of-work mechanism to safeguard your website, APIs, and online services from spam and abuse. Unlike traditional solutions, ALTCHA is self-hosted, does not rely on cookies or fingerprinting, and ensures complete user privacy. It is fully compliant with GDPR, WCAG 2.2 AA-level, and the European Accessibility Act. github.com/altcha-org/altcha

Edited 46d ago