carodgers

I would just like to say that with this page open I have ~15% utilization on my GPU. XD

This is wrong, given only the text of the article. The two books explicitly listed are not banned in Portugal or anywhere else. They are simply not subsidized with public money in some libraries.

Only two books are explicitly listed by the article, neither of which have been banned anywhere.

Unsubsidized is the more accurate word here. Some governments have chosen not to pay public money to stock these books in libraries, but no government has created criminal penalties for ownership.

It may be the case that her library includes some books that genuinely carry criminal penalties, but the article does not provide enough info to assess that.

It behooves every company working on some form of actual AI to immediately switch branding to distance themselves from the slop bots. Call it image recognition, automated translate, inventory automation, what have you.

I tried to use claude for a completely menial task yesterday, adding some resistant-starch foods to my diet, and it was worse than useless. Actively wasting my time with claims that buckled as soon as I questioned them and completely falsified citations from product pages that it recommended.

If you are branding your product as "AI" when these word salad spitters are still dominating headlines, you deserve all the headwinds coming to you.

Another day, another breathless claim about the abilities of LLMs based on output that looks valid to underinformed user but is actually defunct.

On other topics I imagine the conversation would flow better and, I hope, be just as lively and engaging. But to be direct, no, I'm not eager to continue when universes that admit contradictions are on the table. A conversation that permits contradictions is not likely to be productive. So I'll be content to just restate my point. Cheers!

No, again, I have made no assumptions. I have made the observation (as others may, just as easily) that no one will ever succeed in describing a scenario or a universe where modus ponens is violated.

Modus ponens holds regardless of whether it is assumed correct or not. By that, I mean that excepting contradictions, not only are no counterexamples known, but it is known that none will ever be found.

So I decline to adopt your convention of classifying it as an assumption. It might be more accurate to call it an observation.

"We’ve established that the truth or falsity of a statement depends on its context — that is, on the assumptions we take as true or false in order to justify it."

I am inexplicably and disproportionately irritated by people like this. They've an a priori commitment to epistemic relativism. Unnaturally allergic to any claim that certainty is possible, and dedicated to undoing the careful work of those who are building up what may be known.

No, not every statement requires assumptions in order to hold. "The assumptions A implies B and B implies C, taken together, yield A implies C." This statement contains assumptions and makes observations about them, but it is true regardless of whether the assumptions it describes are true. The statement as a whole is "true" in the exact sense that the no counterexample to it can ever be given in any universe, under any set of assumptions.

I cannot wait for the day that Lean and other proof systems become accessible enough, conversant enough, and interdisciplinary enough to put these eternal confusion peddlers out of business.

A hobby project I've been working on for a few weekends. Picked it up because I've been wanting to learn Rust by writing something simple.

I've found a lot to enjoy about programming with Rust. Some minor complaints:

- The syntax does not always make clear whether copy or move will happen on assignment. You need to manually go look at the object signature to see if it implements copy. This bit me once or twice.

- std::time::Duration as_millis() returns a u128, but from_millis() requires a u64, so you have to cast.

- Rust object methods accept a &Self param, but this is hidden when you call it. This convention exists in other languages, so I'm not sure where it originated, but it is a minor irk for me that the function signature and call don't match.

I've hit this problem multiple times. The approach which finally eased this pain point for me was to take care to not overwrite any tmux defaults with my config, and only add non-conflicting configs (new shortcuts, styling changes, etc.) That way, if I need to use tmux on a new or unfamiliar machine, the core functionality is still present, and I just miss the candy that comes with customization.

For example, leave the existing prefix binding (ctrl-b), but also add something nicer for day-to-day use (ctrl-space or similar).

They ejected the man responsible for "The Net interprets censorship as damage and routes around it." Sweet mother earth.

I don't use Windows at home. What happens if you don't have Outlook but your personal local files still fill up OneDrive storage? Do you get error messages that files aren't being backed up? Are you unable to save files?

Lots of examples of anti-Elon pols giving nazi salutes and no one cares. People are done pretending that your concerns are genuine. Move on.

I take tremendous umbrage at "femboy Thinkpad enjoyer."

A wonderful writeup.

It appears an overeager dev has gotten a CVE filed against np++ for a "DLL hijacking vulnerability."

Submitter's repo is linked in the CVE change history: https://github.com/zer0t0/CVE-2025-56383-Proof-of-Concept

Just beautiful. I love that the pattern appears stable but diverges after 5 mins or so. Is the initial state proven to be stable under exact conditions?

Because they produce output probabilistically, when multiplication is deterministic. Why is this so hard for everyone?

This really misses a major point. If you write something in Zig, you can have some confidence in the stability of the program, if you trust yourself as a developer. If someone else writes something else in Zig, you have to live with the possibility that they have not been as responsible as you would have preferred.

I can't believe he omitted that detail. How did they appear to send an email from a google domain? This is especially puzzling given that he says he works in security.

I don't understand. What combination of actions and app features allowed the scammer to send an email that is indicated to be from google's domain?

You only get two options for each vote, and there is no reason that one or both of the options would need to be aware of or be in favor of an acceptable solution to the given problem. In fact, the chance of that happening is vanishingly small.

Thank you. I included the url params when I made the post, but it appears that HN strips these.

I support the X enterprise, its motives, and its agenda. I'm a happy paying customer. Question away as seriously as you please. But don't bother looping me into that dialog. I'm not interested.

Fun fact. In Ghostty and (some) other GTK apps, if your mouse leaves the window, the first scroll click after re-entering the window is ignored. This is due to an ancient bug first identified in 2015.

https://bugzilla.gnome.org/show_bug.cgi?id=750994

There are no plans for a fix. The maintainer recommends waiting for Wayland.

Terminal emulators have taken a very odd attitude toward OSC52. Many (or all?) of them selectively disable either copy, or paste, or both, depending on how cautious the maintainer is.

Yes, it's true that an application that can read system clipboard content may scrape a password, but literally any application running in the terminal can read private keys out of your .ssh folder.

With some heavy reading and a bit of experimentation, you can usually get this working, though.

Aside: I recall some famous mathematician had made a list of base proofs that you just hold to be true. Can someone remind me who, and/or what that list is called? I’m guessing they’re considered axioms.

Take a look at zeroth-order logic.

+1 for Brave!

The author is aware that definitions exist for the terms he uses in his blog post. He is proposing revised definitions. As long as he is precise with his new definitions, this is fine. It is left to the reader to decide whether to adopt them.

Looks like CGI was recently removed from python 3. https://docs.python.org/3/library/cgi.html

What is a modern python-friendly alternative?