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-

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.

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.

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 48d ago

Just realized that Ferrocene publishes a trove of material about safety certification for auto, industry, and medical:

public-docs.ferrocene.dev/main

The Goguma IRC mobile client now supports reactions!

(This requires a modern server supporting IRCv3 client message tags, and is only enabled when the server allows reactions.)

I keep my "work" org-mode file on work's Google Drive; I can just C-x C-f /gdrive:me@work:/My Drive/private.org to open it.

(Now, if I learned some convenient bookmarking and persistent layouting.)

How is it 2025, and I am only just now finding out that TRAMP supports GNOME Online Accounts? I can easily access my Nextcloud files in Emacs.

In a new episode of "write your content as plain text", today I discovered liascript.github.io/ . You can author courses in a Markdown plus extensions format, and export to SCORM, apparently.