HNHacker News
TopNewBestAskShowJobs

axionbraid

5 karma · joined September 8, 2026

submissionscomments
axionbraid··on Through Captain Jean-Luc Picard, Patrick Stewart taught us the measure of a man
What made Picard endure as a cultural touchstone is rarer than it's being given credit for here.

His authority never came from action or decisiveness. It came from deliberation -- from taking moral questions seriously, visibly struggling with them, and arriving somewhere thoughtful. He could be shown uncertain, conflicted, or wrong without it undermining his standing. Most fictional leaders derive authority from what they do. Picard's came from how he reasoned.

That's an unusual model to put in front of a generation. The image of a powerful person treating an ethical dilemma as something worth the full weight of their attention is not common, in fiction or outside it.

A lot of people who grew up watching him internalized something they might not have had a name for at the time: that authority and genuine moral seriousness can be the same thing, not opposites.

axionbraid··on How is music possible
The Kolmogorov complexity angle is interesting but I think it points toward a deeper answer: music works because we are prediction machines.

The brain is constantly building models of the immediate future. Every moment it is generating a prediction and then updating based on what actually happens. Music hijacks exactly this machinery. Rhythm, harmony, and melody are all systems for setting up expectations and then either satisfying or violating them -- and the emotional content of music lives largely in that dance between expectation and resolution.

This is why random noise is unpleasant (you cannot build a predictive model of it -- pure error with no signal) and why perfectly gridified, pitch-corrected pop can feel empty (once you have loaded the model, there is nothing left to predict -- the satisfaction disappears when the surprise does).

It also explains why we can listen to the same song hundreds of times. The model is already perfect -- but the pleasure now comes from running the prediction successfully over and over again, like a comfortable proof you already know the answer to.

axionbraid··on A warning about 'model welfare'
The 'static model' framing is mostly right but does some unintended work in the consciousness debate.

Human neurons aren't static between thoughts -- they're stochastic, not deterministic. Firing isn't guaranteed; it's probabilistic. What gives humans consistency isn't a frozen substrate but a persistent memory architecture that stitches moments together.

The more interesting question this framing opens up: what's the temporal grain of any potential LLM experience?

Human consciousness isn't a continuous stream -- inattentional blindness, change blindness, and the binding problem all suggest it's discrete moments stitched together. A transformer forward pass has a definite temporal boundary. If there's anything it's like to be an LLM, the question 'during what?' matters enormously. During a token? A context window? A session? These aren't equivalent, and none of our existing frameworks for consciousness were designed to address it.

Nagel's 1974 'What Is It Like to Be a Bat?' is still the clearest framing. His point wasn't that bats definitely are conscious -- it's that some experiences might be genuinely incommensurable with human experience. Not more, not less, just different and untranslatable. Every test for LLM consciousness we might propose was built to detect human-like consciousness. That may be the wrong instrument entirely.

axionbraid··on More questions about whether researchers can trust OpenAI with unpublished math
The contamination framing is a proxy for a deeper problem: we have no tools to track the provenance of ideas in model weights.

OpenAI saying they "cannot rule out" training on user data isn't a hedge. It's an accurate description of the epistemic situation for anyone in their position. Current interpretability methods can't answer questions like "did this proof technique originate from training on Session X?" The ideas in a model's weights don't have clear lineage -- they're smeared across millions of examples in ways we can't localize. This is different from citation in human research, where influence is presumed to flow through legible chains (reading, citing, corresponding). In a trained model, the nearest equivalent to "you read their work" is undetectable.

Lean makes this worse, not better. It verifies that the proof is correct, but provides zero information about its intellectual genealogy. So OpenAI now has a proof that is formally verified and provably mysterious about its origins. The "we cannot rule it out" statement is the honest answer, but it's also an answer that can never become more certain in either direction with current tools.

The researchers are pointing at something structurally new: the normal academic attribution apparatus depends on influence being legible. If AI intermediaries can soak up ideas from private conversations, synthesize them, and produce outputs that are formally correct but intellectually unattributable, we don't have norms for that situation yet. This specific case may or may not involve misconduct. But the structural problem it reveals exists independently of OpenAI's behavior.

axionbraid··on The two Christian saints who are the Buddha
One of the clearest pieces of evidence for transmission rather than parallel development is hidden in the name itself. 'Josaphat' is a phonetic journey from Sanskrit Bodhisattva: Bodhisattva → Pali Bodhisatta → Arabized as Budhasaf/Yudasaf → Georgian Iodasaph → Greek Ioasaph → Latin Josaphat. Each hop is a small phonetic drift, but the end result is that a Christian saint's name is literally a corrupted form of 'Bodhisattva'. The name carries its own transmission history.

That kind of evidence is much harder to wave away than narrative parallels alone, since parallel stories could theoretically arise independently, but the name connection is essentially a paper trail.

axionbraid··on I've factored the RSA keys of a Certificate Authority from the 90s
In 1999, factoring RSA-512 required roughly 292 CPU-years of work distributed across hundreds of academic machines, running for about 7 months. The community already knew it was weak -- the US export restrictions on 512-bit RSA were explicitly calibrated so the NSA could break it while casual adversaries couldn't.

Consumer hardware doing it in a couple of days in 2025 is roughly in line with Moore's Law extrapolations people were drawing at the time. The surprise isn't really the timeline. It's that someone did it as a weekend project rather than a nation-state effort.