Hacker Dudes// alternate deck. same feed.
FEED ~10/h Δ0 ────:──── LINK ░ SIGNAL
98%
SPOOLED 0/45 CYCLE 61339.905.158.46
Using Claude to reduce the attack surface of codeanthropic.com
137pts/89 comments/6d/─
by dnw / hn> / « feed
▲▼ vasco06:41 hn>

These guys are now the biggest slowdown to fixing issues with their bullshit cyber detection. They drop a model, let the model find security issues in your code, then when you want to fix them you need to play a game of charades so it doesn't realize it's creating a validation and then a fix for the issue because you might be hacking yourself. Meanwhile attackers are using some ablated deepseek or what have you.

▲▼ xnorswap06:54 hn>

It's frustrating. Claude thinks it finds a way to hop from one client to another, but any attempt to get it to demonstrate it isn't relying on something that's already prevented runs into "safety" concerns and gets blocked.

I'm not that hot on the idea of open models, but having something dangled in front of you but suddenly unable to verify is not a good feeling.

With the right amount of coaxing you can sometimes get it to reproduce a PoC with a "TDD first" approach to fixing, but often now that gets blocked too.

▲▼ vasco07:04 hn>

So far I can always get around it by starting fresh sessions on a similar problem and without ever mentioning security issues, but why do I have to play this little theater with a tool we pay to use.

▲▼ generic9203407:05 hn>

On the other hand this sounds like a job guarantee, though. And not only for the moment, as it is not the capability of the model which is insufficient.

▲▼ featwanz08:18 hn>

Why wouldn't everyone be hot on open models? Security implications? First time I have heard someone lightly opposing the idea of fully open models.

─ 4 more ─
▲▼ esperent07:12 hn>
>Meanwhile attackers are using some ablated deepseek or what have you.

I think the hackers are just using "not Claude".

▲▼ abc123abc12309:01 hn>

In the kingdom of vibe coderz the engineer is king!

▲▼ owebmaster08:14 hn>

The irony of a company using Nextjs for a chat app and React for a terminal UI talking about reducing attack surface.

▲▼ esperent08:25 hn>

React is actually pretty good for any kind of reactive interface, and it's small. Something under 3k lines of code, and it's well battle tested at this point.

You might have a dislike of react and that's fine, but it's not adding any significant attack surface to a project.

Nextjs on the other hand...

▲▼ shakna09:27 hn>

We're only 10 months out from React2Shell. That is not nearly enough time to say "battle-tested".

▲▼ brazukadev09:35 hn>

Just the ReactFiberWorkLoop.js has 5k+ lines of code. React is one or two orders of magnitude bigger than you are thinking. And that's not counting Nextjs.

─ 4 more ─
▲▼ Maken09:58 hn>

You should add the entire JS runtime you have to ship along React to that attack surface.

─ 1 more ─
▲▼ skydhash11:24 hn>
>React is actually pretty good for any kind of reactive interface,

It’s a different interface and the axiomatic layers are not the same.

React expects a tree of nodes that will map to the UI and build on that to add reactivity. And that’s what the major GUI platforms do offer (QT, the web dom, Android, iOS,…).

The terminal is a grid of characters modfied by the cursor concept. It is also modal (although most TUI uses one mode). What the cursor can do, and how the grid is rendered is terminal dependent (even though most current ones try to follow xterm-256color).

Using React on top of that is a technical bad idea.

▲▼ messe08:29 hn>

If only Claude didn't constantly drop to less capable models whenever it encountered anything vaguely cybersecurity related (despite being part of the Anthropic Cyber Verification Program and having Mythos access, albeit limited).

We're strongly pushing for a move to a mix of Codex and open models at my workplace because of Anthropic's ridiculous nanny-ing.

▲▼ windexh8er10:45 hn>

These types of flip flop posts are the new security theater. One week Anthropic will post a doom and gloom about how open weight models running a fraction of a token per second on your Grandma's popped Android TV is a national security threat and the next week they'll tell you how awesome their 200+ billion parameter model is at doing something they don't actually allow you to do because they gatekeep all the normies. I really do hope history remembers them correctly, but I'm sure they'll be attributed as being a significant and load bearing linchpin during the new world order of LLMs.

▲▼ nl11:26 hn>
>their 200+ billion parameter model

It's a 10T BTW.

▲▼ LoganDark11:00 hn>

Also in the CVP and kept tripping cyber a couple days ago due to an MCP server that had the ability to connect to remote devices. Maybe it thought I was trying to make a C&C server. But you literally have to start the MCP first, have it generate a key, give the key to the remote device and then it'll generate its key, then give that key back to the MCP server before they can connect.

▲▼ oefrha11:22 hn>

Yep, gotta really mind the language, sometimes saying something like “when implementing <foo> feature you gotta pay attention to <bar> to avoid <baz> attack” is enough to trigger it, along with a cache miss of 300k tokens in the downgraded request to rub it in. Frustrating.

▲▼ LoganDark13:11 hn>

• Mythos 5.1's safeguards stopped the response above · continuing once with that noted

▲▼ jDucky17:52 hn>

Having a big brother on the frontier models in the cyber verification program defeats the whole purpose of the program. My team has found ourselves leaning the same direction your team is going. I was looking into GLM 5.3 to host in our env and come to find there is an article from anthropic trying to say that model is "dangerous" and/or not good compared to their models.

▲▼ mentalgear08:58 hn>

There is really just one way this goes and its upwards to the peak: which means full formal verification programming languages, OS uni-kernels, small TCB and probably verified HW for the most sensitive cases. Everything else will soon be hackable via 'brute compute' because economy of scale and accessibility of open weight models.

▲▼ comboy12:11 hn>

These programs are executed in environments. Which are run on a hardware. Big part of which is hidden software.

And in general you can have 5 boxes verified and be surprised what comes out of them calling each other. Number of boxes is growing and possible interactions is exp. I don't think formal verification solves much.

▲▼ ben_w12:57 hn>

It can't be perfect, but don't let the perfect be the enemy of the good.

▲▼ mentalgear09:01 hn>

I would argue: if each each part (box) of a system is truly formally verified, it would only expose a set interface (API) that is also formally verified by definition, and all possible interactions are also of a closed set and formally verified.

How hard such closed sets are (or even possible) of course varies by domain and application.

▲▼ GoblinSlayer09:21 hn>

TLA+ is designed for verification of distributed systems.

▲▼ lptome09:00 hn>

I'd really expect a company like Anthropic to proof-read their posts. I found at least 4 typos in this.

▲▼ cianmm09:28 hn>

Maybe they're signalling that the post was written by a human

▲▼ steve197709:40 hn>

That's what Claude wants you to think.

▲▼ StilesCrisis13:09 hn>

Ironically, I'm sure Claude could have spotted all four.

▲▼ jph10:19 hn>

I'm doing this attack surface tactic with Vix IDE, a terminal text editor that helps novices get comfortable with vi, emacs, git, jj, sql, commands, and more.

The prompt I used was "Goal: rework to reduce the attack surface. Process: move features into feature-flag Rust crates. Output: build a minimal version. Questions: Ask me anything."

https://github.com/vixide/vix

This past weekend, Claude Fable/Opus/Sonnet together successfully refactored the whole Vix IDE codebase into many separate Rust crates and Cargo features.

This refactor enables a security-oriented user to pick and choose, and also makes it easier for a security auditor to look at one capability at a time.

If you're curious you can see the commit messages by Claude Sonnet. IMHO they're reasonably good.

▲▼ philipp-gayret12:23 hn>

Is there not a great irony in over a weekend throwing Fable/Opus/Sonnet at your project, refactoring your whole codebase, and the purpose of that project is to teach people to use vi, git, sql and so on. Why would anyone want to learn that in the current day and age, when as you state it can refactor a project over a weekend fairly autonomously?

▲▼ Zambyte11:31 hn>
>Team: Frontier Red Team

This sounds so arrogant, lol. I know it actually means that they red team the frontier AI models (which is a reasonable claim), but it looks like they are claiming to be the best red team in the world

▲▼ cube0011:38 hn>

Considering they have access to infinite free tokens they should be the best.

▲▼ Rapzid14:38 hn>

Finite monkeys with infinite typewriters..

▲▼ Marcom0712:26 hn>

Nice article! Thanks for sharing.

▲▼ StilesCrisis12:44 hn>
>leaving a features behavior undefined

Missing an apostrophe? A human wrote this! Love to see it.

▲▼ ethin12:46 hn>

I would believe Anthropic about how Claude reduces attack surfaces if they weren't simultaneously nannying everyone about how they supposedly don't want their models used for cybersecurity because... Reasons. And if you do want that access, you have to verify your identity, and do a bunch of other things, all of which goes against "reducing" the "attack surface". If they really gave a damn about cybersecurity, this cybersecurity filter wouldn't exist, period.

▲▼ ben_w12:55 hn>
>If they really gave a damn about cybersecurity, this cybersecurity filter wouldn't exist, period.

Golden guns don't keep you safe from silver bullets.

These models are obviously getting used to commit acts which would be criminal if done with intent (https://www.felonybench.com), handing everyone a digital version of a machine gun means everyone catches strays.

Worse: every capability the SOTA models demonstrate is available in an open weight model 3 months later, so we're all catching strays already, and it's only the exact policies you're unhappy about which gave critical infrastructure any prep time.

And recall, absent demonstrations of capabilities (and sometimes even with demonstrations), lots of people respond dismissively to these warnings; before OpenAI had actually hacked into HuggingFace, people thought it was "science fiction" that an AI would find and exploit novel zero-days in its own sandbox.

▲▼ functionmouse13:25 hn>

No, it means some billionaires catch strays and have to sell one of their yachts out of their fleet, or cut dividends. The collapse of the current Google/Microsoft security and management duopoly would be less impactful on the average computer user than the death of flash player.

None of this is for you; it's for money. It's someone else's empire. Cybersecurity is a farce, and western culture would quickly recover from a complete collapse, and be better off for it.

─ 2 more ─
▲▼ ethin14:15 hn>

This doesn't work. Even if you use agents that are 3 months behind, they will still find the vulnerabilities Mythos or Claude Opus would find, it would just take them a bit longer to do it. As such there is little reason for these cybersecurity filters to exist. They don't actually prevent people from finding vulnerabilities; it just slows people in finding them because they have to use less capable models, and by extension that makes cybersecurity postures worse. You can't ever get rid of the arms race between defender and attacker. Anthropic acting all nanny-ish doesn't at all help the situation -- if anything, I would argue, it just makes it significantly worse. Especially when the filters will have significant false positives (e.g., they will trigger for local things that are completely unrelated to hacking at all, because somehow that's super duper dangerous).

─ 2 more ─
▲▼ orbital-decay14:42 hn>

The flip side of it is that now the US agencies have unrestricted access to that machine gun and software developers don't, or at best still heavily censored access (their "trusted" program is a joke). Instead of building a tool to fix security issues, they've essentially built a cyber weapon for offensive use. Which was obvious from the day 1 of Mythos shenanigans.

─ 1 more ─
▲▼ tjbrock18:28 hn>

11 felonies and no prosecutions? What are we doing?

▲▼ y-curious13:05 hn>

I’m very frustrated by this, for the record. But they have the atom bomb, and we want to borrow their tech for nuclear power. They don’t trust us. This familiar geopolitical quagmire isn’t resolved on the global scale, so I don’t expect these flawed companies to do it any better.

▲▼ andriy_koval18:44 hn>

One can phrase it: bad actors already have nukes, and throwing them on peaceful American cities every day, and gov + corps deny citizen access to defensive tools while do nothing for protecting citizens.

▲▼ petermora12:54 hn>

Recently I watched this presentation of a kernel developer about the "Mythos' 79 kernel vulnerabilities": https://youtu.be/NnV_cWeoo5Q?t=257

He claims that most of these vulnerabilities are not an issue at all, or have been fixed earlier, etc. I can clearly see the improvement of the AI models, but based on this youtube video it's very plausible that these AI labs rush to announce a result without further understanding of the underlying problems. I wonder what's the quality here in this article.

▲▼ ActionHank13:05 hn>

That's the weird thing with LLMs, they know just enough about a topic to fool anyone without much knowledge on the subject, seemingly even frontier labs.

▲▼ voidhorse13:20 hn>

It doesn't help that the labs have positioned themselves on the predication that expertise is no longer required.

They are trying to sell this false myth of machines so good they can replace any human expert, and they buy this BS themselves, so, instead of actually learning something and/or confirming results with institutions of experts (what's left of them anyway) they just rush out a PR piece knowing the unwitting public and VCs won't care enough to look into the validity of anything themselves anyway.

The whole thing is a gamble on whether or not they can convince the world that a fancy word machine substitutes for deep experience and expertise.

(To be clear, the fancy word machines are still very useful tools, but they are not adequate replacements for knowing humans).

▲▼ dev_hugepages14:19 hn>

Anthropic currently seems under AI psychosis/mania so I wouldn't use it as an argument of authority

▲▼ dijit14:25 hn>
>they know just enough about a topic to fool anyone without much knowledge on the subject

There are humans like this and they are some of the most catastrophic people to have on a project, I actively avoid them.

I'm sure LLMs are different.

▲▼ smashers111414:28 hn>

What topics are you still seeing this in?

─ 1 more ─
▲▼ keeda16:13 hn>

They've fooled me so much on subjects new to me that I actually became knowledgeable about them!

How do I know I didn't learn hallucinations?

Because based on that knowledge, I've produced code that works as intended.

─ 2 more ─
▲▼ chatmasta10:06 hn>

The Anthropic red team is led by security professionals who wrote books on the knowledge of the subject.

▲▼ Rapzid14:15 hn>

Well Anthropic seems to have taken to "bragging" recently that they don't write, read, or review code anymore.

God, I'd hate to be on the receiving end of their bug/issue submissions.

▲▼ square_usual14:18 hn>

I don't get what your point is WRT this article. They aren't announcing a result? They're describing a technique they used in real projects to prevent new vulnerabilities, including a change that is merged into OpenSSL. What is the "rush to announce a result" here? What are you saying they don't understand?

▲▼ syngrog6613:04 hn>

base rule: dont use Claude. never run it or allow it to be installed anywhere

▲▼ ActionHank13:06 hn>

What's you're recommended alternative?

▲▼ syngrog6613:10 hn>

I literally included it. more broadly: dont install any so-called AI/LLM "black box" agent anywhere if you want to minimize attack surface and risk. Claude might be the most notoriously foolish but the same security-sloppy design decisions are likely present in the other similar codebases. And the line between reckless naivete and intentional maliciousness is conveniently blurry.

─ 2 more ─
▲▼ tilemarch13:36 hn>

There is an unresolved issue where the offensive guys can use AI to attack a target and the defensive guys are being limited when they ask AI to audit their codebase.

The workflow for a defender basically goes: Claude do a security audit on this codebase, use the harness / skills I built on how to do security audits.. pick the best suitable audit strategy, methods.. use the tooling and reporting structures.

Claude refuses, GPT refuses. Grok, goes further, but refuses to make a working PoC.. a requirement because AI models make stuff up and without a PoC there is no proof. GLM-5.3 / Kimi to the rescue and completes the job the "smarter" models refused.

So we as defenders are refused by the best models, on our own codebase

▲▼ naveen9913:50 hn>

Kind of like the old days of human gatekeepers.

▲▼ realusername14:09 hn>

That's pretty much why gatekeeping security, as Anthropic and OpenAI want, isn't a thing and doesn't work.

All projects need security and writing code means taking security decisions, you can't untangle both.

▲▼ Rapzid14:23 hn>

Heck, Codex was trying to use gdb to debug a capture crash and the session locked up with security blocks. I had to restore a checkpoint and tell it abandon that work and stay away from gdb.

I've heard people getting jammed up with Claude refusing to update DNS..

The situation is pretty insane right now.

▲▼ woud42014:28 hn>

There's nothing stopping you from applying for Daybreak for OpenAI / Unsure which program Anthropic has. But yes, you do have to share your identity and I can see how that is a blocker for some.

▲▼ zamadatix14:36 hn>

Hey, speaking of Daybreak: I just saw you can apply for this yesterday and was wondering if people here have had success being approved as an individual? If so, how long did it take from application to access?

─ 2 more ─
▲▼ abrookewood23:21 hn>

Why are offensive users not subject to the same limitations? Assuming it is because they are using different models, why aren't the defenders doing the same?

▲▼ GoblinSlayer08:41 hn>

What if you ask Claude to audit the codebase and send the result to the authors encrypted with GnuPG, without revealing?

▲▼ joshstrange18:33 hn>

So rich to have them post this when just this morning I had to switch to GLM 5.3 so I could mitigate the PHP CVEs (both Claude and Codex balked at the early investigation work). Once I was further along I was able to switch back to Claude to implement the fix but it refused to look at any POC's or test them against my dev servers, so freaking annoying.

The only things worse than the CVE getting dropped in our laps with little warning was having Claude run into its safeguards which slowed my progress in actually protecting our customers.

Last week Claude (and Codex) also refused to help write unit tests around existing code because it touched on authentication. I was able to ladder between them past everywhere they got stuck but today I went straight to GLM after hitting safeguards.

▲▼ espeed18:52 hn>

Anthropic keeps talking about using its models to detect security issues in existing projects and other people's code, but no mention of its models creating security issues in new code and the mass of vulnerabilities AI agents are creating in its wake. If you run Fable on Opus code, how many security issues do you find? The irony is Fable can detect many of them, but its security guardrails refuses to fix them.