iiinova — where your digital self keeps evolving

Reposted by Henrique Cabral

gabriel @gironda.org · 22/09/2026

i dare the fossil fuel industry to one-up the tech industry by inventing a kind of oil rig that makes one quarter of the workforce happily butt-chug crude

1101

Henrique Cabral @hcabral.dev · 14/07/2026

You'll never beat the agent at Vienna Airport a few years ago who tried to argue with my girlfriend that her foot powder was a liquid.

010

Henrique Cabral @hcabral.dev · 29/06/2026

FWIW Haskell also uses `f` (so two backticks)

110

Henrique Cabral @hcabral.dev · 20/06/2026

3. (Workflow-dependent, but) You *can* open PRs that don't compile or pass CI as long as you make that clear, to get early feedback or front-load review while you sand down some rough edges. In some cases your full test suite might not even run until you open a PR (think limited target licenses)!

000

Henrique Cabral @hcabral.dev · 20/06/2026

2. It implies, although imprecisely enough to be deniable, that an LLM *would* catch those bugs, which is obviously not necessarily true and might not even happen consistently (unlike compilation failing, one would hope).

100

Henrique Cabral @hcabral.dev · 20/06/2026

1. It completely fails to engage with the multitude of ethical concerns around LLM training and usage. You might not share those concerns, but to dismiss them out of hand with nary a mention is simply disrespectful, to use your own word, and makes you seem little more than an uncritical cheerleader.

110

Henrique Cabral @hcabral.dev · 20/06/2026

I know you tagged this as nuclear upfront but I'll take it at face value. This is intellectual sloth, bordering on rage bait, for at least three reasons:

100

Henrique Cabral @hcabral.dev · 09/06/2026

The true mark of seniority. Or Buddhism.

000

Henrique Cabral @hcabral.dev · 03/06/2026

Desperate attempt to bring back the furries Rust stole away

1172

Reposted by Henrique Cabral

Zane Schacht - Voice Goblin @voicesbyzane.bsky.social · 27/05/2026

This is the platonic ideal of the bluescreen. I am using a device. When it fails, I want to see a big sterile readout that says "the machine has failed. This is why." Not fucking "Google the error message to learn more :]" you fucking rats.

0462141

Henrique Cabral @hcabral.dev · 19/05/2026

David Chisnall is quite active on lobste.rs, worth a try?

000

Reposted by Henrique Cabral

Ian Coldwater 🧊🚫 @lookitup.baby · 16/05/2026

Tech does not exist outside the context of other things happening in the world, and neither do we

746469

Reposted by Henrique Cabral

Chanda Prescod-Weinstein 🌌 @chanda.blacksky.app · 14/05/2026

We desperately need to get away from arguments for the humanities that elevate them because of what they do for technology. The humanities should not be understood as service disciplines. They are an extension of us, and that is enough.

4482161

Henrique Cabral @hcabral.dev · 13/05/2026

"The first madness was that we were born, that they stuffed a god into a bag of skin." (Akwaeke Emezi, Freshwater) Why does this quote go so hard holy shit

000

Henrique Cabral @hcabral.dev · 29/04/2026

Is there any information about the design of MARISA tries? It seems to be relatively well-known, as far as niche data structures go, but all I can find are wrappers around the C++ library for different languages, so it seems like nobody even reimplemented it natively? www.s-yata.jp/marisa-trie/...

s-yata.jp

MARISA: Matching Algorithm with Recursively Implemented StorAge

000

Henrique Cabral @hcabral.dev · 29/04/2026

Jesus, this whole article is galaxy brain levels of cope. Really telling on themselves by implying local initiatives are somehow not "democratic governance". I suppose when your only hammer is class warfare...

000

Henrique Cabral @hcabral.dev · 20/04/2026

So what you're saying is you can juggle pills in your mouth. A jugular, if you will.

010

Henrique Cabral @hcabral.dev · 11/04/2026

Not sure if Buttondown supports it, but FWIW FacebookBot and some others do obey robots.txt. Doesn't take away from the overall point though

110

Reposted by Henrique Cabral

Margaret Killjoy @margaret.bsky.social · 08/04/2026

if a position of authority can be misused in this way, that position of authority should not exist. It's clearly not enough to simply change who is in that position, no more than praying that the next king be better than the last.

91397422

Henrique Cabral @hcabral.dev · 03/04/2026

Can't help but notice that the same people who pushed, against workers' will, for return to office mandates under the guise of increasing "serendipitous" collaboration, are now among the staunchest proponents of the greatest anti-serendipity technology ever devised

010

Henrique Cabral @hcabral.dev · 03/04/2026

I guess it depends how you read it? I read it as "you cannot have p and not q", which seems pretty clear

001

Reposted by Henrique Cabral

Jon Phillips @jowiph.bsky.social · 02/04/2026

Tapping the sign

A young woman (the youtuber Strange Aeons, I believe) in a shirt, tie, vest, and party hat, in front of a microphone, with a powerpoint slide behind her that reads "The greatest research skill you can have is being a nosy bitch who wants to find out"

167521905

Henrique Cabral @hcabral.dev · 02/04/2026

"Serendipity doesn't come from efficiency. It comes from spending time in the space where the problem lives, getting your hands dirty, making mistakes that nobody asked you to make and learning things nobody assigned you to learn."

131

Henrique Cabral @hcabral.dev · 30/03/2026

That's some real Bogdan shit

Still from the Polish series 1670 showing Bogdan, a hussar, carrying his wings on his back. He has a blond mustache and bears a striking resemblance to the reconstructed warrior in the quoted skeet.

000

Henrique Cabral @hcabral.dev · 26/03/2026

Huh, this just made me realise that "blatant" in Portuguese would be "descarada", literally "faceless"

010

Henrique Cabral @hcabral.dev · 22/03/2026

Did you want an unnecessarily detailed post about compiler optimisations? I got you covered www.hmpcabral.com/2026/03/20/t...

hmpcabral.com

Two studies in compiler optimisations · hmpc

A deep dive into the intricacies of the LLVM optimisation pipeline.

030

Henrique Cabral @hcabral.dev · 27/02/2026

I understand The Dude on a spiritual level now

000

Henrique Cabral @hcabral.dev · 27/02/2026

Getting a rug for the dining room has filled a hole in my soul I didn't even know was there

100

Henrique Cabral @hcabral.dev · 27/02/2026

Is breaking down cardboard boxes a full time job with benefits, because I think I'd be pretty good at it

000

Henrique Cabral @hcabral.dev · 26/02/2026

Is the Kremlin soft power machine working overtime lately or is it just me? Heated Rivalry, The Great, Ponies, Idiotka, Mr. Nobody Against Putin, The Wizard of the Kremlin. Hard to miss the theme here

010

Henrique Cabral @hcabral.dev · 09/02/2026

New (and first) blog post! It was (mostly) fun to write some JavaScript for the first time www.hmpcabral.com/2026/02/09/m...

hmpcabral.com

Making waffles with group theory · hmpc

Using group theory to create a clone of the popular word game Waffle.

000

Henrique Cabral @hcabral.dev · 06/02/2026

Is using the Banach fixed point theorem while doing your tax returns normal, asking for a friend

000

Henrique Cabral @hcabral.dev · 29/01/2026

The "actual leftist solidarity or Comintern cosplay" litmus test (Ukraine/Syria) never fails

020

Henrique Cabral @hcabral.dev · 15/01/2026

Who was going to tell me there was a statistical mechanics critique of totalitarianism

An excerpt from Václav Havel's "The Power of the Powerless", the last sentence highlighted:

"Between the aims of the post-totalitarian system and the aims of life there is a yawning abyss: while life, in its essence, moves toward plurality, diversity, independent self-constitution, aud self organization, in short, toward the fulfillment of its own freedom, the post-totalitarian system demands conformity, uniformity, and discipline. While life ever strives to create new and improbable structures, the posttotalitarian system contrives to force life into its most probable states."

010

Henrique Cabral @hcabral.dev · 14/01/2026

"I recently needed to deploy Jellyfin to my home Kubernetes cluster while I was out running errands" this sentence should get you sent to an Amish re-education camp

000

Henrique Cabral @hcabral.dev · 14/01/2026

Actively getting brain damage from the amount of people ecstatic at the possibility of using LLMs to extract every last drop of "productivity" out of their time away from their desks. Some of you need to learn to sit with your thoughts and just exist in the world.

110

Henrique Cabral @hcabral.dev · 31/12/2025

The one that keeps putting me at risk of a massive coronary is "you can use it for the boring tasks like writing tests". You cannot delegate tests to the machine! That's your ground truth! Your job is categories and this is a huge category error!

1100

Henrique Cabral @hcabral.dev · 16/07/2025

Not a world I am looking forward to.

000

Henrique Cabral @hcabral.dev · 16/07/2025

But at this rate, LLMs will balkanise the entire field into exclusive rings of mutual trust within which the old heuristics still hold against the tides of generated slop. Reputation will become ever more valuable. The outside will become a market for lemons, with the attendant incentives.

110

Henrique Cabral @hcabral.dev · 16/07/2025

Many developers underestimate the degree to which their ecosystem is held together by spit and trust. However flawed in practice, the promise of open source was always that anyone could contribute. And, for a few decades at least, it seemed like this might actually work and move us all forward.

100

Henrique Cabral @hcabral.dev · 16/07/2025

But from a societal perspective, it's clear how this can wreak havoc with the heuristics we use to review code, both in open source and proprietary projects. I'm hardly the first person to point this out, but the firsthand experience really makes the impending collapse concrete for me.

110

Henrique Cabral @hcabral.dev · 16/07/2025

The most concerning thing for me as an interviewer is how little signal I can get about the candidate from their solution. There's no reasoning to question in a follow-up interview, no theory of mind to build. They bet the house on a tool that requires eagle-eyed review and they failed at it.

100

Henrique Cabral @hcabral.dev · 16/07/2025

This student, however, produces what seems at first glance to be high-quality code that works with the provided inputs. It requires careful review and familiarity with the language to identify many of these problems. In fact, our standard evaluation matrix would grade this an excellent solution!

100

Henrique Cabral @hcabral.dev · 16/07/2025

In the end, reviewing this code did nothing to challenge my view of these tools. Some of these are issues I also find in other (presumably human-generated) submissions, but overall I am put in mind of an overeager but easily distracted student who gets things to work by trial and error.

100

Henrique Cabral @hcabral.dev · 16/07/2025

Some other bits of interest: - Custom timestamp type instead of std::chrono (passed by reference despite being 64 bits) - Use of pointer/size pairs instead of std::span - Use of const std::string& instead of std::string_view - Catching exceptions, logging, rethrowing, and catching and logging again

100

Henrique Cabral @hcabral.dev · 16/07/2025

From a correctness perspective, the biggest issue was parsing a network packet without properly validating its size. There was no out of bounds access thanks to a ham-fisted length check, but it essentially attempted to read the head and tail of the packet without verifying whether they overlap.

100

Henrique Cabral @hcabral.dev · 16/07/2025

The unit tests were another dead giveaway. There were extensive tests, mostly useless or even duplicated (including a test to "verify that Google Test is working"). One test checked debugging output; another used a "mock" class which essentially reimplemented the real class for no reason.

100