HNHacker News
TopNewBestAskShowJobs

naasking

12,730 karma · joined September 9, 2011

submissionscomments
naasking··on Ten advances in mathematics and theoretical computer science
It does matter though. If you want to murder someone by hitting them with a plushie, you're not going to get charged with attempted murder because it's not possible that that would ever work. There must be justification that the choice will have the intended effect.

We should not be gung-ho to give the government more power to regulate speech.

naasking··on Ten advances in mathematics and theoretical computer science
The margins for groceries are objectively thin. The only way to provide food at lower prices is to provide a worse good or service, eg. less variety, less quality, less availability, etc. You will see all of these outcomes in NYC, if anyone even accepts the bids to begin with.
naasking··on Ten advances in mathematics and theoretical computer science
Yes, but there is little evidence this had a meaningful effect on votes.
naasking··on Show HN: Run an 80B Qwen in 4.3 GB of RAM on a Mac, and a 35B on an iPhone
They're important everywhere of course, but especially on mobile. If AI researchers figure out how to offload knowledge and expertise from reasoning weights, then a core reasoning ASIC linked to the knowledge would totally rock.
naasking··on Ten advances in mathematics and theoretical computer science
> I can't see how the model could include the actual subjective human experience.

People who say LLMs have subjective experience aren't saying they have human-type subjective experience. Nobody who sees an LLM express hunger when role playing as a hungry person thinks that the LLM is actually hungry.

I too can role play as a hungry person despite not being hungry, so there is no reason in either case to conclude that the words produced reflect genuine internal subjective states. The point is that such internal states may still exist.

naasking··on Ten advances in mathematics and theoretical computer science
Even mechanistic models generate interesting discussion. How many years have we discussed Turing machines and the lambda calculus? Almost a century of great work came out of those.

The reason I insist on mechanistic models is because the original post was making a definitive knowledge claim, and in my experience, the knowledge claim is unwarranted.

naasking··on Ten advances in mathematics and theoretical computer science
> Dunno about the parent commenter, but I personally interpret the concept as having a hidden representation of self that is continually tended to

I don't see why an LLM could not have a sense of identity or personality while it's evaluating a specific prompt, or even change self awareness while evaluating a prompt since many outputs model a back and forth conversation. My point is that without a mechanistic model of what "self awareness" means, we have no way of truly evaluating such questions, we're just hand waving vague intuitions about what it could mean.

naasking··on Ten advances in mathematics and theoretical computer science
Making definitive claims about whether LLMs do or do not have specific properties absolutely does require precise definitions of those properties that can be used to evaluate those questions. Merely hand waving that LLMs didn't undergo the same evolutionary process is not a definitive argument.

For example, the Turing machines and the lambda calculus don't look anything alike, but they are fundamentally interconvertible, and so in a real sense they are fundamentally equivalent. Without a model, all of your arguments are completely unconvincing for exactly the same reasons, eg. that there may exist many paths to fundamentally equivalent ends.

naasking··on Ten advances in mathematics and theoretical computer science
> The qualia themselves, even those that are quite abstract, are rooted in our physical presence and evolution.

There is no objective evidence of qualia. All evidence of qualia are vocal or other expressions of belief in qualia. Perceptions clearly exist and are observable, subjective experience and qualia, not so much.

> I see no reason to believe that a neural network built entirely based on the symbolic level of language could have the features needed for the subjective experience itself.

If your objection is to models based on "symbolic level of language" which you think lack semantic understanding of, say, trees, you should ask yourself how our brain, based on physics which also lacks any semantic category for trees, can somehow develop a semantic understanding of trees. All of these appeals to differences with the brain never seem to acknowledge that fundamentally, the brain has the same explanatory gap with physics.

> But if we assume awareness because outputs resemble what we consider meaningful as humans, yet the neural network has had no inputs or evolution that could form the actual basis of human-like experience

This assumes a lot. It seems very possible to me that intelligence inherently develops a map of natural categories (natural kinds), and language naturally develops around such categorical understanding. Semantics are then fundamentally the network of associations between categories, eg. there is no fundamental difference between symbols and semantics, and the latter cam be inferred from the former, and that's exactly what LLMs do, and why the semantic maps between different languages are so similar and how they can translate between languages.

naasking··on Ten advances in mathematics and theoretical computer science
> AI has no self-awareness

What is your mechanistic model of self awareness that yields this conclusion?

> It's a tool

Does your model suggest that tools can't have self awareness?

naasking··on Concurrency, interactivity, mutability, choose two
What sentence from my post implies that?
naasking··on Concurrency, interactivity, mutability, choose two
All of them depend on temporarily suspending concurrency in order to synchronize. Even atomic exchange operations are like this at the hardware level.
naasking··on Memory safety absolutists
> 3) and also by how Microsoft operates (e.g. certainly not using any modern C).

Are you suggesting "modern C" is less prone to memory safety issues, and that if MS used "modern C" then that would meaningfully reduce the 70% of security vulnerabilities it claims are caused by memory safety violations?

naasking··on Memory safety absolutists
You wouldn't have to worry so much about running up to date software if memory safety were pervasive.
naasking··on Show HN: Cactus Hybrid: We taught Gemma 4 to know when it's wrong
An opinion is a particular subject's belief [1]. That's literally the definition. "X believes Y at time T", is a fully specified fact and completely follows from the definitions of all terms involved.

[1] a view, judgment, or appraisal formed in the mind about a particular matter, https://www.merriam-webster.com/dictionary/opinion

naasking··on Show HN: Cactus Hybrid: We taught Gemma 4 to know when it's wrong
This seems like a very long winded way to agree with my statement that opinions can only be considered facts when modelled as time series data.
naasking··on Show HN: Cactus Hybrid: We taught Gemma 4 to know when it's wrong
Opinions can only be seen as facts when modelled as time series data. Verifying an opinion X at time T does not entail X at time T+1.
naasking··on Annoying and alarming things about OpenCode
Comments sometimes help the LLM think through a problem. They are particularly useful if you have thinking disabled, eg. it's not uncommon to run Qwen3.6 locally, but its thinking is extremely verbose, so it's fast if you disable thinking, but doing that will sometimes cause it to think a little in comments, and if you disable that too, then it will produce worse output.

Comments can always be stripped reliably later.

naasking··on Zig Creator Calls Spade a Spade, Anthropic Blows Smoke
> Can't help to think of a recent HN post about most AI-generated projects being abandoned within months. Why?

That which can be created with little effort can be dismissed with little fanfare, since it can easily be recreated later if there's a need.

The other category of AI abandonware is one-off stuff. It did its job and there's no further use for it.

naasking··on Postgres rewritten in Rust, now passing 100% of the Postgres regression tests
> If you can do a Rust rewrite with AI, I can create one as well.

Translations are a lot more likely to be error-free and robust, as the original data structures and algorithms have been battle tested.

naasking··on Grok 4.5
> Trump called for investigation and arrest on Comey, Cheney, Powell, ... despite the fact that they never crossed the line in expressing their criticism to Trump's decisions.

I'm not a fan of Trump's governance, but none of those people were investigated for "criticizing Trump's decisions".

> This has never happened in Europe.

Poland: The "Lex Tusk" Commission (2023)

Hungary: The Sovereignty Protection Office (2023)

Ukraine: Viktor Yanukovych vs. Yulia Tymoshenko (2011)

Turkey: Erdoğan vs. Ekrem İmamoğlu

Romania: Investigating the Chief Anti-Corruption Prosecutor (2018)

France: The "Clearstream Affair" (2004)

> How is that a bad thing? If your opinions are not stupid, you don't need to insult people to express them.

1. Insults are subjective. If you don't see the problem with criminalizing subjective opinions, then I don't know what to tell you.

2. You're literally trying to restrict how I express my legitimate opinions while simultaneously claiming that speech is freer in Europe.

> Me: "Mr Smith was not arrested because he wears a red t-shirt, he was arrested because he acted like an idiot by deciding to expose himself to children in the street". You: "So you are saying that acting like an idiot is a criminal offence".

You've lost the plot. The original point was that people were arrested for criticizing politicians, your rebuttal was that the way they did it was idiotic, which directly implies that you're ok with criminalizing idiocy even when the criticism is legitimate. Your reply here is a complete red herring.

> Academia are highly international and therefore meritocracy based:

This does not follow. Literally.

> This idea that the whole word is so much into the conspiracy that every universities on Earth are covering the left-wing academia conspiracy is so stupid.

It's not a conspiracy when people are just acting in their own best interests. I don't know where you got the idea that it has to be a conspiracy.

> Maybe another reason is that a lot of right-wing political ideas don't make sense when confronted to a rigorous analysis, and therefore the right-wing positions are falling from natural selection.

This is also delusional, and frankly completely ignorant of studies done on exactly this (not only researcher bias, publication bias, hiring bias, and more).

naasking··on Grok 4.5
> When, at the same time, "normal" people have absolutely no problem criticizing politicians in a "normal" way.

So you agree that the US has more free speech because people can deviate from your completely arbitrarily defined "normal" form of critique.

As for examples, the German criminal code has literally criminalized insulting people (section 185), and insulting politicians has even harsher penalties (section 188). There are hundreds of articles covering cases, just ask any AI for a summary.

> So they were not arrested for criticizing politicians, they were arrested for acting like idiots.

In your opinion, acting like an idiot is a criminal offense, even if it does not harm anyone, in the tort sense?

> Well, first, it cuts both way: left-leaning scientists have a left-leaning bias, and right-leaning scientists have a right-leaning bias. So it cancels out.

And what are the political demographics of academia right now? This is a big reason for the replication crisis in the social sciences.

> politicians who have no idea of the subject who ruin a scientist career because they saw the term "Enola Gay" or "financial equity"".

That isn't really happening. No one's career is being ruined by having to rewrite grant proposals to remove DEI language, because previous policy required DEI language. The restructuring of academic funding and incentives is frankly long overdue. Everyone, including scientists, has been complaining about grant funding and the skewed incentives in academia, like publish or perish. You often have to break a system before it can be fixed.

naasking··on Grok 4.5
I'd say that one data point is not enough to object to, except if what's depicted is literally impossible, like the AI generated images of a female pope. Beyond those, the distribution of a set of generated images is what implies likely bias.
naasking··on Grok 4.5
> I just don't think that I can ever trust an xAI model knowing that they are actively trying to shape its replies to fit a political narrative.

Maybe you should base this assessment on more than just vibes. Grok came out pretty balanced on independent assessments, where most other models were heavily biased: https://github.com/washingtonpost/political-bias-llm-eval/

naasking··on Grok 4.5
> In Europe, criticizing any politician is very very common.

Criticizing politicians has gotten people arrested in Europe. This doesn't happen in the US.

> As for work, in US, research grant were removed for using some "woke" keywords for political/ideological reasons. In Europe, grants are decided by the peers, and when a controversial subject is not attributed a grant, it is not for political/ideological reason, it is because the scientific value is considered as poor.

This is naive. You think European scientists are immune to political influence, ideological conformity and fads?

naasking··on Grok 4.5
> I didn't see them defining "for everybody" what low/high morality are.

Morality by definition is a set prescriptions that everyone ought to follow.

> this whole "I am so smart I cannot see right and wrong" is a totally transparent, low-IQ, and low-morality schtick.

The problem with this position is that it takes as a given that morality is in some sense trivial where millennia of debate over it has shown that it is in fact, not at all trivial.

naasking··on Grok 4.5
> that they aren't particularly vocal and obviously active about their politics

Is Grok obviously vocal and active about its politics? Or are you talking about Musk?

> I don't see how political commentary about Musk's is somehow forbidden

Nobody is saying it's forbidden, but this is (or was) a technical site, so presumably one would hope that the main topic of discussion is technical.

naasking··on l: A new runtime for k and q
I don't believe for one second that this metric has been rigourously evaluated, it's also just based on vibes.
naasking··on What Emily Bender meant by "stochastic parrots"
> The child knows how to catch the ball, without understanding.

I disagree that decoupling "knowing" from "understanding" is well motivated or useful in any way.

> I don't think that it is useful to say that LLMs understand anything they say, or that we say to them.

This is starting to seem like a Chinese Room disagreement, so I'll just say that what that thought experiment demonstrated is that there is no robust or meaningful way to distinguish semantics from syntactic processing given everything we know about reality, and that LLMs were a fantastic demonstration of this illusion, eg. that "semantics" are reducible to a relational network of syntactic elements.

naasking··on A global workspace in language models
Not sure why this is weird when you really think about it. You're saying that a multiparameter constraint satisfaction problem is harder to solve, even when there's only a single solution (one point in the total space that satisfies all constraints), than just being given that solution/point. Well of course it is!
← PreviousPage 4 of 34Next →