HNHacker News
TopNewBestAskShowJobs

benibela

963 karma · joined March 28, 2013

Personal website: https://www.benibela.de/index_en.html

Open-Source projects:

LaTeX-Editor: https://www.texstudio.org/

Command-line JSON/XML/HTML processor: https://www.videlibri.de/xidel.html

submissionscomments
benibela··on Reading and writing are less symmetric than you (probably) think
I was thinking human speed

One can read very quickly, but writing takes a long time.

And speech is rather annoying because I read faster than people speak. But the worst thing is when people start writing on the blackboard during a lecture because then you have to watch them write slowly.

benibela··on StackOverflow now gets fewer than 1000 questions a month
but now the same moderators are on reddit
benibela··on Amazon Is Gutting Its AI Division After Sustained Failure
They also started calling me and asking if I wanted to update my Amazon account to an Amazon Business account.
benibela··on Quad9 to exit France
That doesn't work if they use https.

unless someone could still use emudhra certs

benibela··on mitmproxy adds --emudhra option
I remember twenty years ago when many sites were still http only
benibela··on Quad9 to exit France
>the labourer who built the apartment doesnt get a hundred year claim to economic benefit from that apartment though?

they do if they build their own house and rent it out

benibela··on PHP 8.2.35
I am curious about that, too

Here was a PoC: https://jackalsyn.com/posts/php-up-2026.html

But it was withdrawn; now it says that it (CVE-2026-109618) is not an RCE and not even a CVE, apparently an addref call prevents the use-after-free. CVE-2026-109619 is still a memory safe bug, but they have no RCE for that one

benibela··on I resigned from Anthropic today
>a book about this.

Daemon+Freedom by Daniel Suarez

though it is kind of mid

benibela··on Mercury 2.5
or the Mercurial VCS
benibela··on Tao: Open math problems being non-renewably mined by AI
>It's similar to Mochizuki claiming to have proved the ABC conjecture

Now I wonder if someone could port his proof to Lean

benibela··on Gmail thinks I'm stupid, so I left
Google is also bad at not sending spam

I got a lot of group spam, where someone seems to have created a google group and added my mail to it. And then people answer the spam, and the answer is also send to everyone in the group

benibela··on America is getting an AI gold rush instead of a factory boom
>Investing in AI infrastructure seems very risky to me. With how short of a lifecycle computing hardware generally has, does it make sense to blow billions on hardware that will need to be replaced in a few years?

That also depends on the budget. I work in the public sector, so there's usually no money, but now they've just discovered that they have a 25 million budget, which needs to be spend this year on hardware (for AI). If we do not spend the money within this year, the budget expires and then we cannot spend it at all

25 million is not billions, but that could still be a higher budget than any other public institution agency in the entire state here has

benibela··on Why the push for Agentic when models can barely follow a simple instruction?
>BE EXTREMELY PESSIMISTIC. NEVER ASSUME ANYTHING WORKS.

search for compiler bugs

benibela··on Why the push for Agentic when models can barely follow a simple instruction?
Someone posted these single file examples: https://github.com/joaopauloschuler/ai-coding-examples/tree/...
benibela··on Signal Protocol and Post-Quantum Ratchets
whatsapp is the worst because it shows everyone the phone number
benibela··on Signal Protocol and Post-Quantum Ratchets
Nowadays this is a premium feature and you have to pay for it
benibela··on Google Groups spam: Why so many people are currently receiving emails
I've received over 100 emails this year from these dubious mailing lists. And each mail I checked has a "X-Google-Group-Id" header. I hardly get the spam, but mostly notifications from strange email servers. "Thank you for your message," or "I'm currently out of the office," or "This email address is no longer valid.". and the servers respond to each other "Thank you for your message titled 'I am out of office'"...

a) Are they really sent by Google Groups?

b) Why does Google allow any person to create an google groups mailing list and add my email address to it without my consent?

c) Are there really still people who have configured their autoresponders to automatically respond to autoresponders through email lists in 2025?

benibela··on Show HN: SQLite Online – 11 years of solo development, 11K daily users
At first I thought that was about SQLite development itself
benibela··on Personal care products disrupt the human oxidation field
the internet is being ruined everywhere.

This week I wanted to download some old HN front pages on the command lines and only got "403 sorry"

although I do not get that now

benibela··on Scraperr – A Self Hosted Webscraper
FreePascal / Lazarus

There was actually just a large discussion thread in the Lazarus forum wondering about why it is not more popular, with almost 300 comments. But now the thread got locked. That might be a reason.

I used Delphi on Windows 98. But that became outdated, so I ported it to FreePascal. FreePascal has a lot of integrated libraries, but I do not really use anything I did not already use with Delphi.

benibela··on Scraperr – A Self Hosted Webscraper
that fits, I wrote the first code for xidel almost 20 years ago

and it still uses Pascal because I didn't plan to change it but just wanted to show people what I programmed 20 years ago

benibela··on The design philosophy of Great Tables
>Libraries like ag-grid only render a small portion of the total table at a time

such libraries often mess the scrolling and searching up

benibela··on A disk so full, it couldn't be restored
My Windows has been broken for a month, because the disk is full: https://superuser.com/questions/1834247/recovering-non-booti...

I do not know how to fix it without reinstalling

benibela··on Pack: A new container format for compressed files
But it is read-only?

I was trying to change a single file in squashfs container recently and could not find a way to do that.

benibela··on How to Copy Uncopyable Texts on Windows
>ctrl+shift+win+s

what was wrong with the Print key?

benibela··on Study shows antibodies against PEG in 83% of the German population
And Germans tapwater tastes much better than US tapwater, there is no chlorine

I drink a lot of tapwater (though usually as tea)

I used to drink bottled water, because it is sparkly. I like sparkling water much more than ordinary water.

But I got tired of carrying so many bottles

I bought a CO2 device that should make tapwater sparkling. But lacked fuzz and my mother donated it away. She donates all my stuff

>This means everyone buys water in plastic containers at the grocery store, all this plastic is PET-based, and PEG is always present in small quantities in that water (because water is slightly acidic, and acids disassociate the PET molecule).

My mother only buys glass bottles because of that.

benibela··on Java JEP 461: Stream Gatherers
My favorite is XPath:

   let $numberOfWords := count($words[.])
or

   let $numberOfWords := $words[.] => count()
benibela··on Enable ARMv9 Memory Tagging Extension (MTE) on Pixel 8
Or clever code that should not be fixed

I just added my own tagging to my pointers. I have 48-bit pointers and 16-bit of tagging data.

I replaced all my struct { word type; char* data }; with something like (type << 48) | data. This saves a memory allocation and pointer indirection. It is much faster

benibela··on RegEx Crossword (2013)
My reason is that I have to do every challenge. Perhaps that is some kind of adhd
benibela··on RegEx Crossword (2013)
That was uneventful

I thought something would happen if you solve it

Page 1 of 34Next →