HNHacker News
TopNewBestAskShowJobs

pja

6,077 karma · joined April 24, 2011

Occasional computer wrangler
submissionscomments
pja··on I tried every todo app and ended up with a .txt file
https://github.com/doppelc/org-notifications is a thing if you want that.

Emacs will happily run in the background.

pja··on The Framework Desktop is a beast
llama.cpp combined with Mesa’s Vulkan support for AMD GPUs has worked pretty well with everything I’ve thrown it at.
pja··on Reading Neuromancer for the first time in 2025
IIRC Switch was originally conceived as having one gender in the outside "real" world but another when incarnated in the Matrix (where your own self body image defines you). Hence their name - they switched.

This was all dropped at some point - the only surviving relic being the name of the character.

pja··on An almost catastrophic OpenZFS bug and the humans that made it
The blog post suggests that, probably because it’s never been used, it’s just too noisy to turn on.

Arguably every unused variable in the code base is a potential bug like this waiting to chomp on some poor user’s data though, so arguably they should be turning it on & dealing with the consequences?

pja··on Guess I'm a rationalist now
https://en.wikipedia.org/wiki/Rationalist_community

Fair warning: when you turn over some of the rocks here you find squirming, slithering things that should not be given access to the light.

pja··on Guess I'm a Rationalist Now
Scott Aaronson, the man who turned scrupulosity into a weapon against his own psyche is a capital R rationalist?

Yeah, this surprises absolutely nobody.

pja··on Guess I'm a Rationalist Now
Capital r-Rationalism definitely bleeds into cult-like behaviour, even if they haven’t necessarily realised that they’re radicalising themselves.

They’ve already had a splinter rationalist group go full cult, right up to & including the consequent murders & shoot-out with the cops flameout: https://en.wikipedia.org/wiki/Zizians

pja··on Andrej Karpathy: Software in the era of AI [video]
> You have to be extremely verbose in describing all of your requirements. There is seemingly no such thing as too much detail.

Sounds like ... programming.

Program specification is programming, ultimately. For any given problem if you’re lucky the specification is concise & uniquely defines the required program. If you’re unlucky the spec ends up longer than the code you’d write to implement it, because the language you’re writing it in is less suited to the problem domain than the actual code.

pja··on Coventry Very Light Rail
Bus stops are often set too close by municipalities, but that’s driven by the lack of density in US housing. Density drives efficiency.

> Manhattan needs a serious demolishing to become sane

Ah yes, lets demolish one of the most economically productive regions of the USA, both in GDP / capita and GDP / km^2 in order to make it easier for people to drive through it.

Listen to yourself, this is deranged.

pja··on Coventry Very Light Rail
> Sigh. People are WAAAY too accepting of urbanist propaganda. > > Buses are _barely_ more effective than cars. A regular passenger car with 4 people is more efficient than a city bus. An EV needs 2.5 people (these numbers are for the US). > > The explanation is simple: > > 1. Buses have to drive _all_ _the_ _time_, even when there are few passengers. As a result, the average bus load tends to be around 10-20 people. And you can not increase the bus interval to compensate for it because it makes off-rush-hour bus commutes impractical. > > 2. Buses have INCREDIBLY polluting components: 2-3 drivers for each bus needed to provide the service. They are by far the dirtiest part of the bus. This part can be removed with the self-driving hardware, but... > > A full self-driving bus also makes no sense. It defeats the main advantage of self-driving: door-to-door transportation.

Even if you focus only on emissions this completely ignores the cost of congestion, which is huge.

Your complaint about self driving buses makes no sense either. If the most polluting part of the bus is the driver then removing the driver makes the bus far, far less polluting.

When your arguments don't even make sense on their own terms it suggests that you're making them from an emotional position instead of a rational one. That's ok: if you don't like buses just say so, but be honest about it instead of making spurious arguments.

pja··on Claude 4
Oh sure, RLHF instruction tuning was what turned an model of mostly academic interest into a global phenomenon.

But it also compromised model accuracy & performance at the same time: The more you tune to eliminate or reinforce specific behaviours, the more you affect the overall performance of the model.

Hence my speculation that Anthropic is using a chain-of-thought model that has not been alignment tuned to improve performance. This would then explain why you don’t get to see its output without signing up to special agreements. Those agreements presumably explain all this to counter-parties that Anthropic trusts will cope with non-aligned outputs in the chain-of-thought.

pja··on Claude 4
IIRC RLHF inevitably compromises model accuracy in order to train the model not to give dangerous responses.

It would make sense if the model used for train-of-though was trained differently (perhaps a different expert from an MoE?) from the one used to interact with the end user, since the end user is only ever going to see its output filtered through the public model the chain-of-thought model can be closer to the original, more pre-rlhf version without risking the reputation of the company.

This way you can get the full performance of the original model whilst still maintaining the necessary filtering required to prevent actual harm (or terrible PR disasters).

pja··on An end to all this prostate trouble?
Interestingly, daily masturbation appears to have a protective effect against developing prostate cancer, although no one knows why: https://www.webmd.com/prostate-cancer/ejaculation-prostate-c...
pja··on AMD Publishes Open-Source Driver for GPU Virtualization, Radeon "In the Roadmap"
DRM mostly.
pja··on AMD Publishes Open-Source Driver for GPU Virtualization, Radeon "In the Roadmap"
My recent experience has been that the Vulkan support in llama.cpp is pretty good. It may lag behind Cuda / Metal for the bleeding edge models if they need a new operator.

Try it out! Benchmarks here: https://github.com/ggml-org/llama.cpp/discussions/10879

(ollama doesn’t support vulkan for some weird reason. I guess they never pulled the code from llama.cpp)

pja··on Is 1 Prime, and Does It Matter?
All of these models appear to contain infinitely sized objects that are explicitly named / manipulable within the model, which makes them extensions of the Peano numbers though, or else they add other, extra axioms to the Peano model.

If you (for example) extend Peano numbers with extra axioms that state things like “hey, here are some hyperreals” or “this Goedel sentence is explicitly defined to be true (or false)” it’s unsurprising that you can end up in some weird places.

pja··on Is 1 Prime, and Does It Matter?
> Correct, it's impossible to specifically and formally define the natural numbers so that addition and multiplication work. Any definition of the natural numbers will also define things that look very similar to natural numbers but are not actually natural numbers.

Are such objects not inevitably isomorphic to the natural numbers?

Can you give an example of a formal definition that leads to something that obviously isn't the same as the naturals?

pja··on Fintech founder charged with fraud; AI app found to be humans in the Philippines
AGI == A Guy Instead.
pja··on How University Students Use Claude
The promise of the expansion of this kind of tutorial teaching to everyone via AI is great. The problem is keeping students honest with themselves.
pja··on How University Students Use Claude
The tutorial system is just for teaching, not grading. It does keep students honest with themselves about their progress when they’re personally put on the spot once a week in front of one or two of their peers.
pja··on An Overwhelmingly Negative and Demoralizing Force
> Unseen were all the sleepless nights we experienced from untested sql queries and regexes and misconfigurations he had pushed in his effort to look good. It always came back to a lack of testing edge cases and an eagerness to ship.

If you do this you are creating a rod for your own back: You need management to see the failures & the time it takes to fix them, otherwise they will assume everything is fine & wonderful with their new toy & proceed with their plan to inflict it on everyone, oblivious to the true costs + benefits.

pja··on Triforce – a beamformer for Apple Silicon laptops
Yeah, earbud noise cancellation may as well be non-existent unfortunately.

You’d think a phone could do cancellation between the bud microphone & it’s own microphones; maybe once the audio data from the bud has been pushed through bluetooth audio compression there’s no longer enough information to do that effectively?

pja··on Triforce – a beamformer for Apple Silicon laptops
In that situation you’re better off using Meet audio only & holding the phone as if doing a video call - the background noise cancellation modern phones do is very impressive but it only really works if you use the phone as a phone & hold it up to your ear / mouth.
pja··on Volkswagen reintroducing physical controls for vital functions
> Interestingly almost everything VW will reintroduce is already physical on Tesla, no? The only thing with no physical buttons on Tesla are the temperature and fans. Or am I missing something?

The steering wheel on modern Tesla's has those godawful turn buttons instead of a proper indicator stalk.

Fine for (most of) the US market but wildly impractical for anywhere you need to use the turn signals mid turn. Anywhere the road system uses roundabouts for instance.

To some extent this is just US parochialism leaking out into the rest of the world, but it's typical of Musk style design to not really think through the reasons for existing design choices.

pja··on MacBook Air M4
Latest X1 Carbons have 14" 16:10 OLED screens: https://www.lenovo.com/gb/en/p/laptops/thinkpad/thinkpadx1/t...

Or pick up a Framework 13 which has a 13.5" 2880x1800 16:10 screen: https://frame.work/products/laptop-diy-13-gen-amd/configurat...

pja··on Nvidia's RTX 5090 power connectors are melting
> I think next gen we will begin seeing 24V power supplies to deal with this.

May as well go the whole hog & jump to 48V.

(50V is as high as you can go whilst still being inside the “low voltage” electrical safety regime in most countries IIRC.)

pja··on CDC: Unpublished manuscripts mentioning certain topics must be pulled or revised
There’s a women in the medical literature (I have read the original paper, but can’t lay my hands on it right now) who had multiple children & was discovered to be a 99% XY / 1% XX chimera IIRC.

(edit) This is probably the case paper I was thinking of: https://pmc.ncbi.nlm.nih.gov/articles/PMC2190741/ It was her ovaries that were 99/1% proportions. Other parts of her body had varying levels of mosaicism.

pja··on Macrodata Refinement
You should absolutely watch True Detective Season 1. It definitely holds up a decade on.
pja··on CIA now favors lab leak theory to explain Covid's origins
These labs were putting coronavirus samples into a forcing environment that drove evolutionary development towards the goal they wanted to study. Creating new lineages of the virus that differed from the original was the entire point!

Given that, it’s plausible that sloppy lab handling procedures led to someone being infected with multiple different viruses that were present in the same part of the lab.

None of this proves the lab leak hypothesis of course, but a lab worker being infected with multiple variants simultaneously (or separately) is a perfectly plausible outcome.

pja··on Does Google have customer support for pixel phones yet?
Does Google have actual phone support where you can talk to a real live human? No. (Although does any phone manufacturer?)

That said, I’ve had no issues with either of my recent Pixel phones & haven’t heard of widespread problems with either the Pixel 8 or 9 online. Google themselves seem to have been fairly good at recalling phones for actual problems. I don’t know whether they’re better or worse than, say, Apple though.

← PreviousPage 3 of 34Next →