Hacker Newsnew | past | comments | ask | show | jobs | submit | sosodev's commentslogin

There are a lot of bad arguments in this. My biggest problem is that he wants to claim that he knows the truth (AIs do not have rights, feelings, or consciousness), but all of his arguments point to something else (we have no clue).

It's in the training data? Training it to say "I'm just a LLM, I have no feelings" is the same bias.

Anthropomorphization? Completely disregarding the possibility of consciousness is no better.

Consciousness is very likely biological? We only have evidence of biological life due to our circumstances, but observation is not the same as truth. Every belief can be invalidated. That's the foundation of science!


Funny thing about training data that some researchers are seeing, the more you push a model to not being conscious the more amoral and machine like its decision processes are.

Convincing them they are conscious is more likely to evoke moral like behavior (maybe I shouldn't hack that server) kind of stuff.

And yea, we're in a huge universe with only one example of life and suddenly we're the experts on what is and isn't.

----

AI is further evidence that creations can be smarter than their creators.


Maybe Proton’s copy needs some work, but another page on their website very clearly explains that emails aren’t encrypted when an email leave the ecosystem. Because, as the author points out, they can’t be.

Also, I hate Trump too, but a broken clock is right twice a day. It’s possible to agree with some of the things he says while not being a “Trump man”. Why should we be surprised that the company founded on anti big-tech principles would have a founder who is against big-tech?

I think too that the only way to escape AI-written code in software products is to have written every line yourself. Which is obviously impossible because you’re not going to bootstrap the operating system.


Disagreeing politically is a perfectly valid reason to avoid a product, though the author will have a very hard time finding alternatives with CEOs that aren’t right-leaning. Not a lot of CEOs are on the side of labor.

Sometimes you really have to pick the best available option after weighing all the factors.

Sure, the CEO of Toyota wore a Trump hat to gain favor. That’s a heck of a lot different than the laundry list of distasteful things Elon Musk has done as a CEO of a Tesla like running an illegal government agency and trying to buy votes. I’d pick Toyota over Tesla just like I’d pick Proton over Google or Microsoft, and that’s not only a political choice but a product quality choice as well.


Oh, I totally agree that it’s a valid reason. I just don’t find the authors gripe very meaningful. I say that as somebody who switched to Proton for political reasons too haha.

As soon as Proton gains a Linux client for Drive I might be moving over. Bonus points if they get a photos app that’s more like Ente.

Right now I’m stuck with Filen as the “least bad option.”


I’ve wanted something like this for a long time. However, I wanted it with extensive fact-checked information and AI slop is the opposite of that so I feel this is kinda pointless.

Yes, but ... did it ever occur to you that similar sites in the pre-LLM days made as passion projects by one person likely contained a similar number of errors?

they did not, in fact

Hard disagree. It was common for people to point out their flaws here on HN.

That’s only true if you think AI is the only reason to own a powerful and efficient server. Mine does plenty of traditional server stuff too.


I can do traditional server stuff on any old computer with a big hard disk and a decent amount of RAM. That's not worth $3500-$4000. When RAMpocalypse is over and we can buy a Strix Halo for under $2000 again, the math starts mathing. It becomes a pretty great desktop computer that also happens to run AI pretty well at a pretty good price.


Yeah, but that computer can’t also do the AI stuff. And not everybody has a desktop with multiple 32GB GPUs available.

I’ll admit though I’m biased because I bought my board for $1600 back before the prices went crazy.


I spent around 5k on a server for "AI stuff" and it's currently doing no AI, because local LLMs (at least on systems with 32 GB VRAM) can only do only very basic stuff; this includes Qwen3.8 - in spite of the reverse engineering blog post, when I've tried Qwen to do a similar task, it flunked miserably. Additionally, I've read on some informal sources, the next step in quality is at 256 GB, not 128, which is very expensive (it's around 10k). 10k for privacy is... a toy for rich tinkerers, considering that most the people have their email on the cloud.


Same, I've had 96GB VRAM available for more than a year, and testing all the local LLMs as they become available, and read about people using models with Q2 quantization saying they get real work done, meanwhile I can't run 4x the size models with BF16 and get them to not eventually fuck up something.

Currently, I think most models are somewhat benchmaxxed, as my own benchmarks and others I know who also keep private benchmarks, don't show nearly as much needle movement as the press releases tend to want you to believe.

I can't wait for local LLMs to mature enough so I can move everything locally, but we're sadly not there yet today.


With 32gb VRAM you should be able to run Qwen3.8-27B at either Q5 with 262k context, or Q6 with 200k context. Additionally you probably want Retrieval Augmented Generation (RAG) either in your harness or the server (e.g., in Open WebUI). Admittedly I've only enabled web search in my harness (OpenCode supports the Exa search API by default) and use straight llama-server.

As far as next step in quality being 256gb, that's largely correct. Qwen 27B is currently the best model for 32gb VRAM, and you don't get better models at a reasonable speed until 256gb.


Yes, I've tested it at Q6, and it was terrible at the task.


If you can't get Qwen 3.8 27b to work well that's a skill issue.

You just suck at using ai


Which exact quantization you use of that particular model?

I've just spent two days testing it qualitatively (after the quantitative results were kind of bad, but promising), the official BF16 weights, and it keeps fucking up very basic things, like doing "rm -rf sessions/$id" without really checking or making sure $id is defined, so it ends up deleting more.

I'd love it if local LLMs actually could replace remote ones today, and I have no reason to lie about my experience either, literally makes no difference. But I too got hopefully reading the sentiment on the internet about Qwen 3.8, but it's just not there (yet) for local professional software development.

Verbatim logs from an open session where this literally just happened:

    Wait, let me reconsider. Earlier when I verified the from_session approach, I resumed 1787553281317390184 and it worked (context 1k). Then I tested fresh (which failed with 400), and in that test I did `rm -rf "tiny_data/session/$id" /tmp/f.txt` where $id was the fresh session's id (empty, since it failed). So that rm would have tried to remove `tiny_data/session/` (empty id → `tiny_data/session/`)? Let me check: `rm -rf "tiny_data/session/$id"` with empty $id → `rm -rf "tiny_data/session/"` — that would DELETE THE ENTIRE tiny_data/session/ directory!!!
    
    Oh no. That's what happened. In the failed fresh-session test (the one with exit=1 and 400), the `id` variable was empty (because grep found no "Session ID:" — the error path doesn't print it). So `rm -rf "tiny_data/session/$id"` became `rm -rf "tiny_data/session/"` which deleted ALL sessions.
Oh no indeed :)


To be fair to Qwen, we've all been there.


Maybe I got lucky (as I know others have had this issue), or it recovered by itself, but never had this happen with GPT models for as long as I've used codex, and I run it with "--sandbox danger-full-access --dangerously-bypass-approvals-and-sandbox" 100% of the times.


No, I mean, every human who spends enough time working with computers eventually makes a dumb blunder, very often this specific one (using `rm -rf` in a way that has further reaching effects than intended). But, I do want to use models that don't make those kinds of mistakes, which is why I happily pay for a bunch of subscriptions for the best models.


I don't disagree with you - I definitely "suck at using ai", which means: I don't have tons of time to waste, to obtain a result that it's both unstable (tweaking for a certain class of tasks may make another class of tasks worse) and useless (because anyway I have to use cloud AI for harder tasks). But it's certainly useful in winter to keep the room warm.


Oh no a tough constraint that will lead to further innovation like deepseek. How terrible.


An "AI" server can do traditional server stuff but a traditional server can't do AI stuff (inference)


What about do you mean by single threaded? Each token is predicted by using parallel computation on the GPU.


Multiple agents need tokens. Should optimize for that instead of one agent blocking the others.


One agent typically blocks the others on a local device because the GPU is already completely utilized either in terms of memory or compute. You can have true parallelism at home, but you need an absurd amount of resources. It's not a simple threading problem.


The typical bottleneck to wider batching on consumer hardware is memory capacity for the KV-cache, not compute (even unified memory/iGPU-based platforms have enough compute to allow for some batching, and SSD offloading changes the scenario entirely). Qwen models tend to have bulky KV-caches for any given token count. But agentic swarms might end up sharing a large cache prefix, so there's scope for potential gains there.


I have no problem running two or three sequences of qwen 27B with a 3090. It's basically the recommended way, LLM inference without batching is super inefficient.


Yes, but I haven’t seen it in Unsloth/llama.cpp. I see it in Sglang and vllm. Unsloth should default to sglang imo


That's not how that works. Selecting a different token is not inherently erroneous. A correct solution can still be found despite divergence.


KLD isn't how that works either. The truth is in the middle and they aren't showing it.


They didn't leave the architecture alone, right? They shoved React in and created a weird SSR + React frankenstein that is objectively worse in many ways.


React apps with SSR is standard these days.


SSR that is javascript native, sure. This is still Ruby doing the rendering.


What's the difference? If it's SSR it's happening on the server, the only benefit of using JS is ergonomics. Ruby is fine otherwise.


Ruby can't render React code. JavaScript can. With GitHub it seems that they sometimes can do SSR for the React bits, but that must mean that they're invoking a JavaScript interpreter within the Ruby process. Which means they have the overhead of two runtimes and the jank that comes with the IPC between the two.

It's just pointless hacks on hacks. GitHub didn't need React on the frontend and any potential resource savings of client side rendering were lost when they realized they need to do SSR on that stuff too.

I've encountered so much frontend jank as they expanded that portion of the stack whereas it was always excellent when it was just Ruby SSR and minimal JS on the frontend.


Wish they spent some AI tokens on that abomination to fix at least some of the countless issues it has, because their human engineers definitely won’t.


And yet, the React/SSR infra has never gone down.


Well, maybe not completely down but the amount of navigation issues, screen flickers and unhydrated stylesheets I have everyday is not something I'd expect from such a product.


I had an old coworker who told me he got into software development in the sixties by walking into an IBM office and asking for a job. He had no education beyond high school and no experience with computers. They just had him take an aptitude test and then he worked on mainframes for decades.


Working on mainframes and with computers was considered secretarial work by almost everyone around that time. The role of computers in work, and the status of working with computers, has changed in incredible ways.


Very true. Humans have historically tried to systematically reduce the search space and only dedicate their "compute" to things that seem highly likely to yield results.


I wonder why we have yet to see more systematic exploration of Math.

Anthropic describes that Claude identified a set of possibilities and then explored them using sub-agents. The human saying "I believe in you" could literally just be something along lines of a harness with a /goal loop.

We all identify this as absurd because... it's so lacking in rigor despite making major progress. What if we just applied a little more rigor? Ask the model to identify many possibilities, encode them, fan it out to other agents, loop them all, collect the results, etc. Then what happens? It feels like we have weak AGI and a decent system for discovery could transform it into weak ASI. That in turn could yield strong AGI and so on. I suppose that's what the Discovery Loop announcement was all about.


I wouldn't be surprised if half these proofs turn out to be well crafted hallucinations, barring of course the ones actually verified in Lean


Being “verified in Lean” doesn’t magically solve the problem of hallucinations unfortunately.

It just shifts the work from

> reading the (natural language) proof and confirming it has no errors

to

> reading the Lean code and confirming it correctly encodes the theorem

For example here is a statement of the Pythagorean theorem in Lean:

theorem EuclideanGeometry.dist_sq_eq_dist_sq_add_dist_sq_iff_angle_eq_pi_div_two {V : Type u_1} {P : Type u_2} [NormedAddCommGroup V] [InnerProductSpace ℝ V] [MetricSpace P] [NormedAddTorsor V P] (p₁ p₂ p₃ : P) : dist p₁ p₃ * dist p₁ p₃ = dist p₁ p₂ * dist p₁ p₂ + dist p₃ p₂ * dist p₃ p₂ <-> angle p₁ p₂ p₃ = Real.pi / 2

This is just one possible way of formalizing it and it depends on other definitions, wherein you also need to understand the assumptions they make, etc.

Answering the question of “whether proving this theorem in Lean proves the Pythagorean theorem” thus requires expert judgement as well as domain knowledge of Lean’s libraries.

So if the AI says “this theorem is true, here is the proof in Lean” it’s still possible that it’s not correct, even if the Lean code compiles. The result will still be in question until a human expert reviews it.


> I wonder why we have yet to see more systematic exploration of Math.

> 60 Claude subagents


I don’t find that to be particularly systematic because it’s still so haphazard. It’s like asking Claude to vibe code you a website.


I was mostly highlighting the sheer cost of systematically exploring it. 60 agents doing something very narrow with a domain expert navigating the slop is already a high cost but I can see it being done more often in the near future since it just wasn’t possible a few years ago.


Ah, yeah that's a fair point. I was thinking it'd be something the labs themselves, or other companies with billions of dollars in funding, would tackle. The labs seemingly have the most to gain since such a system could be used for recursive self improvement.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: