Hisham

Still coding free software — Created htop, Teal (typed dialect of Lua), LuaRocks package manager, GoboLinux distro

PhD (PUC-Rio), interested in dataflow, PL ∩ HCI

Occasional music and cat content

en/es/fr/pt/de: he/él/lui/ele/er

remember personal websites?: https://hisham.hm/
my newer music: [@signifier@mastodon.art](https://mastodon.art/@signifier )
my older music: http://colorbleed.com.br/
toots in pt_BR:: https://masto.donte.com.br/@hisham

Public Key

npub1t2vuqqdxr3mqfe3q7q4cx306c3qnk56ls64pcqy6pushkatvsffq3gxz4g

NIP-05 Address

hisham_hm_at_mastodon.social@momostr.pink

Profile Code

nprofile1qqs94xwqqxnpcasyucs0q2urghavgsfm2d0cd2suqzdq7gtmw4kgy5sprpmhxue69uhhyetvv9ujumt0d4hhxarj9ecxjmnttawdhy

Publishing to

relay.momostr.pink

Author Public Key

npub1t2vuqqdxr3mqfe3q7q4cx306c3qnk56ls64pcqy6pushkatvsffq3gxz4g

Show more details

Last Notes

2026-01-29 13:59:02 UTC

A minor #KDE annoyance I don't know how to fix (other than diving into the source and compiling my own build of KDE which I don't want to do just for this)
Every time I press Alt+F2 then quickly type "kwrite<Enter>", I end up opening "KWin Scripts" instead, because the bar's autocomplete always matches that other app first, and takes an extra half-second to switch to KWrite.

2026-01-13 21:33:56 UTC

- reply

caindo de paraquedas na thread:
O Awake pra mim é _o_ album que combina prog e metal na melhor medida. Comecei a escrever um comentário aqui mas resolvi desenhar!
Sob medida pra alguém que gosta de Rush, Metallica e Iron (como eu!). Só botei os discos que eu considero mais essenciais, os outros são mais do mesmo (e sinceramente, são os que deram a fama de "banda chata" pro DT).
https://files.mastodon.social/media_attachments/files/115/889/906/265/050/852/original/50aa32e5341122b1.jpg

2025-11-24 11:44:49 UTC

"Look mom! I'm in the lineup!"
Invited keynote at PySul 2025, the southern Brazilian Python event. Thanks for having me, Pythonistas!
Sometimes I wish I were into Python, just for the community!
#PySul2025 #PySul #foss #python
https://files.mastodon.social/media_attachments/files/115/604/489/820/539/795/original/b776fe6efda9b7e0.jpg

2025-10-20 07:41:10 UTC

I have absolutely no idea how I even *want* to pronounce Forgejo.
Like English? "Forge Joe?"
Like Spanish? (like Jorge with an -ejo diminutive)
Like German? For-ge-yo
Like French? Forrr-zho
Like Brazilian Portuguese? For-zhe-zho
Like European Portuguese? Forr-zhe-zh
Like Rio de Janeiro Portuguese? Forrrrr-zhe-zho :trollface:
Like Dutch? :ohno:

2025-08-04 23:19:25 UTC

Today I realized that using Linux is like living in Latin America.
Always "almost there" (e.g. "Brazil is the country of the future"/"Year of Linux on the desktop" jokes)
Constant struggle against the powers-that-be (endlessly dealing with northern imperialism/with hw manufacturers for drivers)
Strong sense of community (happiness levels above what would be normally expected: "it's a mess but we love it here")
And most importantly:
You can only talk shit about it if you're one of us!

2025-07-04 20:24:44 UTC

🇫🇷 French question!
What kind of regional accent does the narrator that starts around 6:28 in this video (Léah) have?
I can tell that it is different from the other narrator at the beginning of the video (Blanche) and I have a guess, but I'm not sure!
https://youtu.be/kzkmurYDP1Q
#monanneeenfrancais

2025-06-12 19:09:11 UTC

- reply

you mean, like, me, now? 🤯

2025-06-12 14:31:25 UTC

I just saw screenshots of the Amiga classic "Another World" zip through my timeline (https://mastodon.social/@npub1k7x…ceaf/114670326936528377)
and it really drove home to me how distinctive the _color palette_ is in that game. That game is praised for its art style and I think people most often mean the shapes, but the colors play a part that is just as important into building its aesthetic.

2025-06-08 20:04:59 UTC

- reply

A few years ago I compared my browser history to compare the number of DDG searches I had and Google searches (all routed via !g), and the split was roughly 60/40, meaning that DDG was able to cut my Google use by more than half.
I should probably re-run those numbers and see how the split looks nowadays, assuming that DDG results have improved over time and I'm more conscious about avoiding Google.

2025-06-08 20:03:03 UTC

I just submitted a request to DuckDuckGo asking them to add "!gw" as a supported bang for "Google Web" search (i.e. adding &udm=14 to the search so that it takes you directly to the Web tab)
I've been avoiding using !g recently because of the embedded nonsense generator, but it would be useful to have !gw as a fallback for when I don't find something quickly via DDG.

2025-05-20 21:59:22 UTC

- reply

is Duolingo a game? 🙈

2025-04-02 16:36:21 UTC

- reply

apparently it's not a band (YouTube seems to have mixed it with an unrelated Argentine band), but it's this person instead?
https://www.youtube.com/@stefanopaggiaro8915
Song credits say S. Paggiaro; video mentions Ciao Bela Rap and other songs listed here: https://www.discogs.com/release/1795113-Pajaro-No-Hay-Problema
The YouTube channel avatar above mentions Ciao Bela Rap.

2025-03-28 16:47:48 UTC

These are the S-tier cities.
Sorry, I don't make the rules. Casio does.
https://files.mastodon.social/media_attachments/files/114/241/069/537/461/241/original/665f8f8c92003cf2.jpg

2025-03-27 23:57:00 UTC

in my experience, every red velvet cake I tried looked better than it tasted.
they were okay, mind you, but I don't know exactly what I was expecting: the color is so vibrant that I think I expect the taste to also be intense, and more, fruity, I guess (that is, tasting more like things that are red, and not like... well, cake -- kinda like chocolate cake does not taste like cake but tastes like chocolate).

2025-03-09 21:46:58 UTC

Honest question from someone who's out of the loop: is 32-bit Windows still relevant in any way in 2025?
(I mean, not as retrocomputing!)

2025-03-09 20:37:49 UTC

what best describes your relationship with the MCU?

2025-03-01 22:26:07 UTC

- reply

that one did come to mind too!

2025-03-01 22:21:08 UTC

for a second I thought "I wish I was one of those cool people with middle initials like Samuel L. Jackson and Michael J. Fox" and then I remembered I am literally Hisham H. Muhammad

2025-02-22 16:41:37 UTC

- reply

Oh, I see 😶

2025-02-22 16:35:56 UTC

- reply

My guess is that most people wouldn't need to memorize, they would just arrive at the destination then look at a clock or ask what time is it, and then wind their watches accordingly.
In an era when there's no instant communication (that is, unless you're a telegraph operator), what time it is anywhere else doesn't really matter much, does it?

2025-02-15 16:58:29 UTC

Two things that those of us who are old enough to remember 9/11 as adults can tell you younger folks:
* the structural changes happening to government structure now, will never fully roll back, even if Democrats get back to power.
* to this day I feel like I'm waiting for the world to get "back to normal" meaning a pre-9/11 normal. You will spend the rest of your life feeling that about the pre-Trump world too.

2025-02-10 00:21:27 UTC

a funny thing about being chronically online is that there are some things you only realize much later once you step out to actually talk to people in the real world:
in Portuguese, "fediverso" sounds like "stinkyverse"

2025-02-09 00:59:25 UTC

I honestly don't know which one I dislike more: anti-Rust reactionary curmudgeonism or pro-Rust elitism with its ageist undertones. Both of y'all suck.

2025-02-08 20:58:50 UTC

- reply

vi vários Frameworks no FOSDEM. Eles e os ThinkPads velhos de guerra são os favoritos da galera

2025-02-08 20:48:49 UTC

- reply

related:
last week I saw the following written on the wall of a public library bathroom in Berlin:
NIE VERGEBEN
NIE VERGESSEN
NAZIS HABEN NAMEN UND ADRESSEN

2025-02-04 21:03:22 UTC

French question: are "il danse bien" and "ils dansent bien" pronounced identically?
#monanneeenfrancais

2025-02-02 21:03:52 UTC

- reply

The Internet Archive needs a mirror outside of the US.

2025-01-06 14:45:10 UTC

I am again going to complain about cutesy names.
Do you have any idea how hard it is to recommend to a non-English-speaker from them to use "DuckDuckGo" instead of Google?
Google was a silly name, granted, but now everybody knows it so it doesn't matter. It's what I call the "Pink Floyd effect".
But DuckDuckGo is the incumbent. It has no such advantage. It's hard to say, most ppl know just enough to get "duck" but still don't get the "duck duck goose" reference, so it's hard to remember.

2025-01-03 14:42:40 UTC

Oh, the amount of times I've typed 2>&1 (and the amount of times I mistyped 2&>1 and produced a file called "1") due to not remembering to use |&

2024-12-28 02:17:19 UTC

There was _one_ social network where I "lived in" where outrage was not the most popular thing: Orkut.
Because it was very focused on communities (each with their customs, kind of like subreddits -- some could get heated, but I only hung out in the wholesome ones), and on 1-to-1 friend relationships (via the Scrapbook and Testimonial features, which were positive by design).
Experience design matters, and maybe copying Twitter isn't the best place to be in the design space.

2024-12-22 15:01:57 UTC

Wow, a local studio made a game entirely based on southern Brazilian culture! Everything here is super familiar to me!
Best comment: "#Brazil is a country so huge even me as a native Brazilian portuguese speaker can't understand half of the things said in this video lol "
https://www.youtube.com/watch?v=8J8_xCksK0Y
#gamedev #indiegame

2024-12-18 06:03:10 UTC

- reply

having struggled my way through Introduction to Metaphysics many years ago, the idea of Heidegger's philosophy being presented in a straightforward and approachable way for non-academics is mesmerizing to me! I'll defintely give this a watch!

2024-12-18 02:43:15 UTC

A thought sequence I just had:
"I wonder if I should treat myself to a pair of large monitors" (I use the same 27 inch monitor since about 2011, with my laptop screen next to it)
"Nah, I always have to end up lowering the resolution of my laptop anyway to keep everything 1080p because of my eyesight"
"I wonder if I should treat myself to a pair of glasses"

2024-12-13 14:33:47 UTC

- reply

what is the input format? I looked up Aseprite and that's a proprietary editor. Any specs for the input? (Or a couple of example files?)
Also, for the output: what type is `Color`?

2024-12-12 19:04:12 UTC

"An MS-DOS overlay library"
or
"A mixtape by DJ GPP"

2024-12-12 17:12:33 UTC

whenever I'm misgendered (yes, that happens to long-haired cis dudes and it's usually a quick "m'am--oh--mr." affair) what that usually means is that I'm in a good hair day
https://files.mastodon.social/media_attachments/files/113/640/962/113/466/414/original/2c461df9a70bec61.jpg

2024-12-06 12:55:32 UTC

- reply

ooh, an old-school-Facebook clone! interesting
(side grumbling: some FOSS projects really don't spend a lot of time thinking about picking names that are easy to pronounce/understand for international audiences, right? Smithereen, SecureScuttleButt...)

2024-11-30 15:49:55 UTC

I might have done some 6502 asm hacking last night
#retrocomputing #appleii #mario #assembly
https://files.mastodon.social/media_attachments/files/113/572/690/853/972/381/original/8001e776b44cbb98.mp4

2024-11-12 14:51:45 UTC

What is a good Mastodon server to recommend to a geologist friend?
(He's also into post-rock/noise music, btw!)

2024-11-12 12:41:08 UTC

When deleting my Twitter account for good yesterday, I did what someone else here suggested and I renamed my account, created a new one to avoid username squatting, then deactivated my real one.
The new account process made me pick 3 interests and 1 account to follow. I picked things that as distant from American politics as possible: "music", "sports", "travel", and the account for the city of Porto Alegre, Brazil.
This is what X shows to that new user account:
https://files.mastodon.social/media_attachments/files/113/470/021/382/450/679/original/838171d89efc30c6.jpg

2024-11-03 22:28:04 UTC

wow, someone drove _really_ far!
(spotted in Porto Alegre, southern Brazil)
https://files.mastodon.social/media_attachments/files/113/421/370/391/477/919/original/b6151b5506cbb440.jpg

2024-11-01 15:18:28 UTC

- reply

I found it! It's by Kent Beck, via Simon Peyton Jones (slide 15)
https://www.cis.upenn.edu/~sweirich/icfp-plmw15/slides/peyton-jones.pdf

2024-11-01 15:15:17 UTC

I have a vague memory that there was a pattern for writing abstracts that was something like "4 sentences" (or 3?), where each of them had a role... do you know what I'm talking about? I just can't find it right now.
I'm not intending to follow it religiously, but I wanted to show it to a student as a starting point.

2024-10-23 21:44:47 UTC

Today I showed @npub1auk…aqva to a friend who's a professional Premiere user (worked for years with video editing, teaches a video editing class at a university), and he was really impressed! Once he saw that there's a preset for Premiere keybindings, he was basically sold!
He's a Windows/Mac user. He had never heard of @npub1ncy…3x0q . When I told him "this is the same project where [@krita](https://mastodon.art/@Krita ) comes from" he was like "oh!! I know Krita!! Lots of people are using it pretty seriously in my field!!"

2024-10-21 19:19:03 UTC

How is Konqueror nowadays?
This used to be my daily driver browser waaay back in the day in spite of the hiccups (it was deemed good enough for Apple to fork it into Safari, after all).
I thought I heard it was using either Webkit or Chrome's engine now? Will the ManifestV3 uBlock Origin shenanigans affect it?
I'd be tempted to give it a try if there's a self-contained install somewhere (AppImage, Snap or Flatpak)
#kde #linux #foss

2024-10-14 14:37:35 UTC

- reply

It's interesting to see that apps that (to my perception at least) were fads among my non-tech friends (BeReal, Clubhouse) have numbers at 10M+.
That suggests that neither Mastodon or BlueSky have managed to break out of their original bubbles yet.

2024-10-14 13:28:11 UTC

Apropos of nothing, here's where we are on rough Android download numbers as presented by the Google App Store:
Facebook: 5B+
Instagram: 5B+
Tiktok: 1B+
Snapchat: 1B+
X: 1B+
Pinterest: 1B+
Kwai: 500M+
Threads: 100M+
Twitch: 100M+
Tumblr: 100M+
Discord: 100M+
Reddit: 100M+
VK: 100M+
BeReal: 10M+
Clubhouse: 10M+
BlueSky: 1M+
Mastodon: 1M+
Truth Social: 1M+

2024-10-13 19:34:23 UTC

- reply

there was a campaign in my city, started by a family who lost their son in a car accident, where they painted the silhouette of a butterfly on the asphalt at every spot where a fatal accident happened. It went on for years. It was quite sobering to drive on the streets of the city and see those butterflies pretty much everywhere. Even more so to find one on a street where there previously wasn't any.

2024-10-12 16:37:08 UTC

Holy shit! English has an actual name to that elusive color that in Brazilian Portuguese we infomally call "cor-de-burro-quando-foge" (literally "the color of a donkey as he runs away" -- yes, I'm not making this up).
TAUPE (pron. "tope", rhymes with "hope")
From Wikipedia: "Taupe is a vague color term which may refer to almost any grayish brown or brownish gray, but true taupe is difficult to pinpoint as brown or gray."
AND this name is also derived from an animal! (it's French for "mole").

2024-10-09 13:40:43 UTC

- reply

Only because the US views seeking refuge as something demeaning. That's unfortunate!

2024-10-07 15:05:48 UTC

The mayor of San Francisco is called London N. Breed. I think we should start a chain and London should now elect Rio Ferdinand.
https://files.mastodon.social/media_attachments/files/113/266/748/277/865/019/original/bd31aa64741c6b5d.jpg

2024-09-23 03:16:21 UTC

Question time! Let's say I want to make a "family cloud" with synced NAS devices across multiple households, where family members can store and sync photos/files/etc uploaded from their phones. Bonus points if those devices can also be used as media centers for sharing movies etc.
What hardware and software do you recommend to accomplish this?
Goal is to move my whole family off Google Photos and Google Drive using 100% FOSS and for it to be as low-maintenance as possible.
Boosts welcome!

2024-09-17 17:07:51 UTC

- reply

"Ever since we shutdown mozilla.social and disengaged from Mastodon, the sentiment analysis on our social media posts regarding our AI initiatives shows positive reactions went up a staggering 857%! I guess everyone on X seems to like them! A great win for our sharehol—I mean, our sponsors!"

2024-09-11 00:03:47 UTC

- reply

also, you must program in K&R C before graduating to ANSI C about 11 years later, then after another 10 years, move to C99 and so on.

2024-09-11 00:00:51 UTC

- reply

I wrote the same comment and then I saw it was already done 🤣

2024-09-10 13:10:08 UTC

- reply

I think often about the massive scale of the data collecting reported by the Snowden revelations back in 2013. At the time we used to say that they were collecting "more data than they could sift through", but now we know there's a process to sift through it all.

2024-09-05 03:13:13 UTC

It always amuses me when I realize there's some English-language name or word that I keep pronouncing in my mind as if it was in Portuguese because I first learned it so long ago, before I got better at English.
Today's episode: "Castelvânia"

2024-09-04 11:17:10 UTC

- reply

wow, that explains why this word has no direct translation in Portuguese! The closest translation would be "filmagem", which we can use to refer both to the act of filming and to the byproduct.
We *do* have a metric version of it though which is used in the context of cinema though! "Longa-metragem" is Portuguese for "feature film" and "curta-metragem" is "short fim".

2024-09-02 15:59:07 UTC

Do you, a friend or a loved one need a Twitter detox?
HOLIDAYS IN BRAZIL!
Great food, great beaches, friendly people and no Twitter!
https://files.mastodon.social/media_attachments/files/113/068/783/495/126/182/original/db36d1445b77acb5.jpg
https://files.mastodon.social/media_attachments/files/113/068/783/133/932/769/original/4936ec03cab8d254.jpg
https://files.mastodon.social/media_attachments/files/113/068/783/727/795/983/original/339aaf910fbc808a.jpg
https://files.mastodon.social/media_attachments/files/113/068/782/827/981/590/original/ee908f881a459046.jpg

2024-08-24 12:40:04 UTC

- reply

does "getting rid of CONFIG_VT" mean no more native text mode? That is, if the kernel doesn't have proper graphics drivers or their configuration is borked for some reason, then there's no way to fall back into text mode for debugging other than using a second computer and a serial cable? (for which I have no connector in my laptops)

2024-08-13 21:57:42 UTC

- reply

It's incredible how the press keeps giving a pass to Musk. "Cuddling to right-wing loons" as if he isn't himself one. Even calling him a "loon" is too soft.
https://files.mastodon.social/media_attachments/files/112/956/937/001/037/722/original/810040effa549418.png

2024-08-06 14:32:54 UTC

- reply

Thanks for the reply, but that doesn't answer my question. I know what localhost is. The question is: Domain names can map to both IPv4 and IPv6 at the same time. In other platforms localhost maps to both 127.0.0.1 and ::1. Is there a reason why that is not the case as well on Ubuntu?

2024-08-06 13:43:58 UTC

My Ubuntu box didn't have "localhost" for ::1 in /etc/hosts, only for 127.0.0.1. (I don't remember if that was the default or if I took it out at some point *). It does have ip6-localhost as a name.
Some tests in a third-party suite (likely written for macos) failed because of that. So I added localhost to ::1 in my /etc/hosts and the tests now pass.
(If that was even the default Ubuntu setup,) is there a reason why localhost is IPv4 only?

2024-08-04 21:07:35 UTC

Before Runtime, a film by Richard Linkearly

2024-07-31 22:09:38 UTC

- reply

yep ^^

2024-07-31 17:08:03 UTC

- reply

ah, that's not a translation (Portuguese for blond/blonde is loiro/loira (which if I had to guess, comes from "golden"?) ); using "galego" for blondes is slang, like using "cat" for jazz players.

2024-07-31 15:44:34 UTC

- reply

I've always assumed it was because, if you take the west coast of the Iberian peninsula (Galicia and Portugal), the further north you go there's more Celtic influence, and the further south you go there's more Arab influence.

2024-07-31 14:20:37 UTC

Fun fact: the slang for "blond(e)" (mainly) in the Brazilian northeast is... "Galician"!

2024-07-23 04:04:22 UTC

I felt like sounding off in the YouTube comments section.
https://files.mastodon.social/media_attachments/files/112/833/803/057/397/335/original/3b87c5208cb5fc42.jpg
https://files.mastodon.social/media_attachments/files/112/833/806/371/849/231/original/0dc36b9a112e0b62.jpg