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.

125 Posts Posts & Replies 42 Following 11 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

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 122d 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.

So maybe ARM "open" systems will be here sooner than expected. Now, if we could get CPUs that compete with x86 and have good Linux support...

www.jeffgeerling.com/blog/2025

The Radxa Orion O6 is the first midrange Arm ITX motherboard... but I can't recommend it. Yet.

See why here: www.youtube.com/watch?v=OMnCqm

So I wanted to try Chimera Linux. But then I realized (again) that it does not have an installer. Well, I installed Gentoo in 2002, I should be able to do this?

But I have not produced a bootable system. Perhaps systemd-boot + ZFS was too daring. Or well, this laptop always gives me issues with booting.

Maybe I'll play with something easier :D

I'm not sure Google is indexing this, but just in case, a Kobo Libra Color does not have a working Internet connection if DHCP pushes multiple routes (as in a VPN setting).

@dabeaz I'm in a similar place. However, I focus more on the externalities. I have judged others as "luddites", so I must constantly question if I'm being a luddite myself.

IMHO, if authors who wish their works not to be used for training LLMs had a magic wand to enforce their will, the LLMs would crumble. To me, that's enough to prevent me from using them.

(I also hope that the same authors would make exceptions for accessibility and similar uses- but that's complex.)

I sometimes wonder if I'm being too stubborn on LLMs. I can acknowledge their utility for certain tasks, but I also look at their many negative externalities. I'm just not on-board with any of that. Also, I derive the most enjoyment from slowly figuring things out for myself and honing my own skills. Maybe an LLM would help me solve problems faster, but I'm much more interested in figuring out how to solve problems better. Of course, maybe it's just a pride thing at this point.

@coder oops, it's before taxes.

In any case, you can use their M4 offering for any non-consecutive 112 days before you pay more than buying the equivalent Mac Mini from Apple.

If you get the M1 offering, the number goes up to 225, although of course you are getting lesser hardware. But if you don't care about performance and you only need macOS...

Some time ago I found a company that rented Mac Minis affordably. However, I think the minimum 24h rental that Apple imposes had killed that.

Today I found that Scaleway has Mac Minis from 0.11€ to 0.24€. Of course, this is subject to the 24h Apple rule, *but* 2.64€ for a day is bordering on reasonable for testing. (It works out to 75€/month, which is a lot of money, though.)

@glyph @modulux I know people with training can come close to 200 WPM, but I don't see so many of those lately...

@modulux @glyph what surprises me is the number of fast typers. Over half of the responses do 100 WPM or more. I just did a test and only did 87 WPM, and I don't know so many people who type noticeably faster than me.

(This keyboard is not great, but I think I've never tested over 100 WPM, 90+ is my max.)

I could quote this entire article by Dan North: dannorth.net/best-simple-syste

undefined behavior is pretty well understood at this point, but a piece of the puzzle that has always been missing is "how well could a compiler like LLVM optimize, without leaning on UB"

here's a very cool new paper that takes a crack at answering this, for LLVM:

web.ist.utl.pt/nuno.lopes/pubs

"Vendoring" by Carson Gross

htmx.org/essays/vendoring/

"You get more of what you make easy, and if you make dependencies easy, you get more of them."

"This demonstrates significant cultural problem with dependency managers:

They tend to foster a culture of, well, dependency."

Some little-used regular expression features that *aren't* confusing punctuation! nedbatchelder.com/blog/202504/

@vaurora what I'm finding more frustrating is that I'm not trying to get others to "help me". I'm trying to "help others", and I'm not succeeding.

(Of course, I am likely doing it wrong.)