News for hackers. Stuff that matters.

enriquto

This is great! I love to see the aggregated comments of HN users next to each book.

Besides linking to bookshop and amazon (weird choices in my opinion), you could also link to bookfinder, anna's archive, libgen. That would be really useful.

cool to see fresh Rust software with copyleft license !

I feel safer, as a user, enjoying the freedoms that the AGPL provides me. (No evil middleman will be able to give me non-free versions of this program.)

it's a matter of budget and political will. Spain simply cannot afford all these train lines, and the system fails. But hey, we have high speed train between Villacojón del Caudillo and Cagalera de la Reina, because they happen to be aligned to the center of the country (Madrit). These railways make no economical sense, they were built for political reasons, to support a "radial" concept of the country that does not really exist yet.

Meanwhile no high speed rail between València and Barcelona, because that would somehow erode the power of the central elites.

Re:We're releasing the weights of Mistral Large 4 on Thursday October 29, 2026 @12:30PM (#50291746)
this "open weights" stuff is tantamount to shareware in the olden times... i hope it will soon be replaced by proper free software, where the actual training base is also given
Re:Ghostty 1.4.0 on Wednesday October 28, 2026 @05:01AM (#50270836)
somehow this is far more concerning...

Does it mean that it's only viable to use the zig programming language if you can have "their team" on speed dial?

Re:Ghostty 1.4.0 on Tuesday October 27, 2026 @02:19PM (#50263484)
> Building Ghostty from source is not recommended for most users.

Why is that? It reminds me of the XFree86 times when building from source was some unstable, fancy thing that was severely frowned upon.

Re:Docker Is Weird on Friday October 23, 2026 @07:09AM (#50207166)
I understand the mechanism. I wanted to know the reasons for this choice.

Why choose to break user boundaries? Why can't docker images be files in the possession of each user?

Re:Docker Is Weird on Friday October 23, 2026 @06:27AM (#50206807)
> I'm happy to answer any questions you may have.

Why doesn't docker respect unix filesystem permissions? I use docker on a shared server, i can delete docker images of other users. This is bonkers.

Is it a defect of a particular docker setup (following standard instructions on ubuntu), or it's an intrinsic feature of docker itself?

Re:OpenBSD 8.0 on Tuesday October 20, 2026 @09:11AM (#50165862)
> What window managers is everyone running? I’m thinking i3 or dwm

everyone is running different managers... I use evilwm on linux and cwm on openbsd. They are very similar (keyboard-driven, floating windows with no frames) with different default keybindings.

Re:OpenBSD 8.0 on Tuesday October 20, 2026 @03:02AM (#50162325)

    # Debian/Ubuntu
    $ sudo apt update && sudo apt upgrade -y
But this is equivalent to syspatch && pkg_add -u , this does not upgrade the computer from one version of the OS to the next.
Re:OpenBSD 8.0 on Tuesday October 20, 2026 @02:18AM (#50162029)
> I am not on board with the graphic, whatever the heck it is.

They are purposefully iconoclast with whatever aesthetics are "socially acceptable" for mainstream nerds. For example, their use of comic-sans in official presentations. Here they use ridiculous slop in front of an audience of conservative unix hackers. You can find it funny with the right mindset.

The upgrade mechanism from 7.9 to 8.0 is still gloriously simple, and exactly the same as it has been for many years :

    ssh myopenbsdbox    # log-in to your machine
    doas sysupgrade     # will log you out, go drink some coffee
    ssh myopenbsdbox    # log-in to the upgraded machine

    doas sysmerge       # (optional) solve merge conflicts of your cfg files
    doas pkg_add -u     # (optional) upgrade local packages
Re:I don't like passkeys on Friday September 18, 2026 @10:43AM (#49755130)
> willing to enter your login details on a machine you don't control?

Are you talking about your phone here?

Re:Formalizing Fermat's Last Theorem on Friday September 04, 2026 @04:15PM (#49569690)
but i don't understand... isn't Wiles's proof and its numerous rewritings already in the training set?
Re:Nancy Grace Roman Space Telescope Launches this Sunday on Sunday August 30, 2026 @05:53AM (#49497210)
that's horrifying! what if you want to work on the processing algorithms themselves? can't you access the raw input data?
Re:Changes to Sourcehut's terms of service regarding LLMs on Thursday August 27, 2026 @05:22PM (#49471441)
> It is quite sad, that we have a choice of enshittifaction and radicalization only (...)

Maybe this is a question of point of view? I find github's stance on slop extremely radical (and totally contrary to my own values). At the same time, github is obviously enshittified, so I don's see the point in using it anymore.

You still have gitlab, which is some kind of middle ground. And if you only need to store private config files, you can host a private instance of forgejo--or a bare git repo--for much less than a sourcehut subscription. I hope you find your place! (still, I'm curious why your config files are AI slop, but that is another subject)

Re:Changes to Sourcehut's terms of service regarding LLMs on Thursday August 27, 2026 @12:00PM (#49466969)
Just to add a datapoint to the discussion: as a paying customer of sourcehut I 100% support this anti-slop policy. I'd prefer if some terms were stated somewhat more precisely, but it's great as it is.
Re:Mathematics in the Age of AI on Thursday August 20, 2026 @02:16AM (#49371004)
> a practical, albeit incomprehensible, algorithm for solving NP complete problems.

It would not not necessarily be practical, even if it ran in polynomial time. It may have cost O(n^c), with a totally out of order exponent like c=A(5,5) or whatever.

This may very well be the most epic post in HN history.
Re:Ask HN: Alternatives to GitHub on Monday August 17, 2026 @10:55AM (#49332085)
> Does sourcehut still require patches via email

I'd guess the technically correct answer to this question is "yes". But sourcehut has very good mailing list support, that is essentially equivalent to github pull requests.

Still, I find the wording of your question a bit prejudiced... as if I asked "does github still require pull requests via a proprietary interface instead of just sending the patches?"

Re:Ask HN: Alternatives to GitHub on Monday August 17, 2026 @10:33AM (#49331685)
my favourites are sourcehut (that has excellent ci, and does not try to be a github clone) and codeberg (with slightly more straightforward migration path from github)

[0] sr.ht

[1] codeberg.org

> Before GUIs, interacting with a computer was limited to strange terminal commands [...] Even though the strict syntax has been replaced with natural language

This post, and particularly the two quoted sentences, has activated anger pathways in my brain that I didn't know existed... An extremely visceral, primary, response. I find it unbelievably jarring to read.

Re:After the AI Crash on Wednesday July 29, 2026 @09:46AM (#49097475)
> Without AI there is no future US economy

I'm already on it, man, don't need to convince me!

Re:Enhancing X11 Application Security with LXC on Sunday June 28, 2026 @03:04AM (#48705100)
> Xeyes is cute until one considers the practical implications…

what's the problem with xeyes? it reads data on your computer and displays it. Just like vim or cat.

If, for some reason, you want to run a program that you don't trust, you should sandbox it from the outside. But granting full rights to distro-provided programs like vim or xeyes is perfectly sane. Just like you trust your kernel.

Re:How to Earn a Billion Dollars on Sunday June 14, 2026 @10:14AM (#48527401)
> the art of this game is to extract value which you did not create

in common parlance, theft

Re:On The <dl> on Saturday May 23, 2026 @10:53AM (#48248224)
It's not that inconvenient if you omit unnecessary closing tags:

    <tr>
    <td> first
    <td> second
    <tr>
    <td> what
    <td> ever
I find it simpler and cleaner than any of the markdown table markups
Re:Actually, Democracy Dies in H.R. on Monday May 18, 2026 @11:25AM (#48181141)
I don't know how accurate is what you explain, but the fact that Eichmann was not tried at Nuremberg certainly does not help your credibility.
Re:5x5 Pixel font for tiny screens on Sunday April 26, 2026 @02:55AM (#47908030)
i want all occurrences of the same glyph to be identical. This is essentially impossible to obtain with blurry "antialiased" fonts.
Re:Fundamental Theorem of Calculus on Thursday April 23, 2026 @08:12AM (#47874820)
> there's still something mystical and unintuitive for me about the area under an entire curve being related to the derivative

the discrete version is much clearer to me. Suppose you have a function f(n) defined at integer positions n. Its "derivative" is just the difference of consecutive values

     f'(n) = f(n+1) - f(n)
Then the fundamental theorem is just a telescopic sum:

     f(b) - f(a) = \sum_a^b f'(n)
Re:5x5 Pixel font for tiny screens on Wednesday April 22, 2026 @05:18PM (#47869422)
This is cool, but my problem is the opposite: I have a modern laptop screen with tiny pixels. What I need is then a huge bitmap font... does anybody have any?
Re:Bitmap fonts make computers feel like computers again on Thursday April 09, 2026 @05:40PM (#47710542)
Conspicuously missing to this list is uwe's ttyp0 [0].

One of the few bitmap fonts (with terminus) having somewhat complete unicode support and going to very large pixel sizes, so that they are visible on modern screens with tiny pixels.

[0] https://people.mpi-inf.mpg.de/~uwe/misc/uw-ttyp0/

Older »