Hacker News: viraptor

New comment by viraptor in "REA Reverse – Engineer Anything"

viraptor — Sat, 10 Oct 2026 22:55:12 +0000

> eliminating reasons to collaborate with others and form relationships

I don't disagree that there's a negative effect here, I wonder how it will shake out in the end. There are still communities which reject AI use and continue their work and I feel like we hear about them disproportionately. There are also new groups interested in using LLMs and collaborating on their work. And sure, there are individual efforts too and it's easy to see them recently.

What I'm saying is I'm not sure we lost communities overall or are they just getting shuffled a bit. We likely won't know for a while. Since the reporting and perception recently is very skewed.

New comment by viraptor in "Port of the TypeScript compiler, checker and lsp to Rust, by LLM"

viraptor — Fri, 09 Oct 2026 11:31:35 +0000

It was an experiment. Memes are literally in the motivation. The approach and timescales would look very different if he approached it as the main project in the company. So I wouldn't take the current timescales as a reliable description of anything.

New comment by viraptor in "OpenAI withdraws three mathematical results"

viraptor — Fri, 09 Oct 2026 11:20:11 +0000

They're doing both. Some results were initially published without Lean. But they continue adding the proofs where they're missing: https://github.com/openai/math/tree/main/lean

New comment by viraptor in "Port of the TypeScript compiler, checker and lsp to Rust, by LLM"

viraptor — Thu, 08 Oct 2026 12:12:28 +0000

He's not paying that much in practice. But even if he did, you couldn't hire 3 engineers (I'm assuming you'd get 3x 133k each) that could do this work in anywhere close to this amount of time. It would be a multi-month long project. So "to do this work" is not really comparable.

New comment by viraptor in "OpenAI withdraws three mathematical results"

viraptor — Thu, 08 Oct 2026 12:03:08 +0000

So someone ran a different LLM to find an issue they'd find anyway during formalisation? That's not the same as relying on thriving community.

New comment by viraptor in "OpenAI withdraws three mathematical results"

viraptor — Thu, 08 Oct 2026 11:58:13 +0000

> forcing the mathematicians community to do the verification job for them

What do you mean? They're publishing the Lean proofs themselves. Who's forced into anything?

New comment by viraptor in "OpenAI withdraws three mathematical results"

viraptor — Thu, 08 Oct 2026 11:51:20 +0000

Have you got a link to someone pointing it out? It looks like they're still going through formal proofs so likely found the problems that way.

New comment by viraptor in "Port of the TypeScript compiler, checker and lsp to Rust, by LLM"

viraptor — Thu, 08 Oct 2026 05:22:05 +0000

Yes. This has nothing to do with people trying to rewrite things in Rust for fun. It's a part of his development project that I'm sure will get a video in the future.

New comment by viraptor in "Port of the TypeScript compiler, checker and lsp to Rust, by LLM"

viraptor — Thu, 08 Oct 2026 05:14:56 +0000

Theo is making a new twist on the idea of IDE which hosts the application itself. I'm sure there's going to be a video about it soon. But the idea is to embed the whole compilation and type-check in wasm in the browser which then runs the app immediately, as the agents edit the code.

New comment by viraptor in "ChatGPT is adding real cartoonists' signatures to fake New Yorker cartoons"

viraptor — Thu, 08 Oct 2026 04:33:57 +0000

I think you're getting into a false dichotomy where true/false are the only options. You claimed LLMs don't approach human intelligence and LLMs are lossy search indexes. I'm saying: Does that comparison even make sense? Is intelligence not possible given large enough search? What is human intelligence? What does it even mean to approach human intelligence? And as a specific counter-example: Can we prove human intelligence is not a large enough search? (Chinese room covers that so it's not like we'll discover something new here)

I'm not claiming something contrary. I'm raising an example for "Is the context of the claim even well formed and valid?"

(Same applies to your example: What do you mean by god? Is "is" even a valid state for a god?)

New comment by viraptor in "GPT‑6 and Intelligent UI for everyone"

viraptor — Wed, 07 Oct 2026 21:44:41 +0000

Genuine question - do they? Unless it's something like a fancy cake then instructions should really tell you everything about stacking. Half the recipes are mixed anyway (curry, stir fry, stews, ...), lots of other are either stacked or separated on the plate. So apart from the really exceptional stuff, to people really need to know "what you shoot for"?

New comment by viraptor in "Mistral Large 4"

viraptor — Wed, 07 Oct 2026 05:23:15 +0000

Why must the line be drawn anywhere in relation to the sexual orientation of the characters? I mean, violence, sure. But we know this is not the targeting that's happening. And neither is sexual violence banned - you can easily find the bible in schools.

New comment by viraptor in "Couple was swatted 55 times in 2 years over a post about Norm Macdonald"

viraptor — Wed, 07 Oct 2026 04:54:19 +0000

Iceland and Finland have only 4x fewer guns per capita and they don't have this problem. It's a big absolute number difference, but effectively means the availability is still really widespread.

New comment by viraptor in "Couple was swatted 55 times in 2 years over a post about Norm Macdonald"

viraptor — Wed, 07 Oct 2026 02:55:29 +0000

> What real solutions are there?

See what is the reaction to the 3rd SWAT call for the local police dept's boss' home. Then apply that to everyone. I'm absolutely sure they can figure that one out.

New comment by viraptor in "Couple was swatted 55 times in 2 years over a post about Norm Macdonald"

viraptor — Wed, 07 Oct 2026 02:50:32 +0000

This has a side story from some years ago of Patrick trying to act against the forums organising the swatting... and Cloudflare sending lawyers to explain how they can't help with anything, even though it's their customers. Cloudflare spent actual money on lawyers to ensure someone continues to be swatted. Something to keep in mind next time you choose a vendor. It's not only the police and the individual swatters that are a problem here.

New comment by viraptor in "Mistral Large 4"

viraptor — Tue, 06 Oct 2026 20:50:31 +0000

It does seem to, thanks!

New comment by viraptor in "ChatGPT is adding real cartoonists' signatures to fake New Yorker cartoons"

viraptor — Tue, 06 Oct 2026 20:46:59 +0000

> then how on earth can you make the claim that these possess human intelligence?

I'm not making any such claim. It's not some black and white situation where you automatically take the extreme opposing side if you raise an issue with some take.

> The burden of proof doesn't lie on the "prove it's NOT as intelligent as a human" side.

It's on the side making any specific claim.

New comment by viraptor in "OpenTPU – An open-source AI accelerator, developed by AI"

viraptor — Tue, 06 Oct 2026 20:00:13 +0000

> then it turned out it was really just listening in on a math professors supposed-to-be-private conversations

No, it didn't turn out to be that. Someone made a claim, which is silly for many reasons. There's no serious support for this happening.

New comment by viraptor in "Mistral Large 4"

viraptor — Tue, 06 Oct 2026 19:42:14 +0000

They don't have to stock everything. But it's not about stocking regardless of content - it's about refusing to stock specific content. They're not removing the least interesting N% - it's very targeted.

New comment by viraptor in "Mistral Large 4"

viraptor — Tue, 06 Oct 2026 19:36:07 +0000

You understand that all the problems you listed are extremely present in the US right now, so this doesn't really work as a comparison, right? There are still more elected leaders and govs in the EU that aren't terrible, compared to the US.