HNHacker News
TopNewBestAskShowJobs

everforward

3,011 karma · joined December 10, 2021

submissionscomments
everforward··on AI less regulated than milk, Microsoft president says in warning over safety
It’s sort of notable, but not really, no. The list of things that might kill all humans is pretty long, and most of them have a currently extant, non-theoretical path to kill us all.

Nukes could kill us all, unhinged people have access to them. Global warming appears inevitable, and we’re trending towards “world ending”. I don’t recall how many dinosaur killer asteroids have a path whose margin of error includes hitting Earth. We’re about due for a “fry all the electronics on earth” solar flare by probability. Microplastics seem okay-ish so far, but they’re in the whole food chain. If they somehow end up causing sterility at certain concentrations, we might kill our whole food chain.

No, it’s not that notable that some technology could theoretically, one day, in ways we don’t currently understand, kill us all. That’s been basically a constant since rhetoric Industrial Revolution and our ability to blanket the earth in a particular thing.

everforward··on AI less regulated than milk, Microsoft president says in warning over safety
Something being potentially extremely dangerous isn't super notable. We sell cars to everyone, and that's ~ a device for accelerating a ton or more of metal to potentially eye watering speeds. Propane tanks are already approximately a crappy bomb.

I've not seen anything so far that's remarkably more dangerous than a laundry list of commonly purchased items. Most of what I hear is either some sort of far fetched "the teenagers are going to be bio-engineering designer strains of polio", or some vague fears that the AI will become sentient and kill us all that vaguely reminds me of when the Manhattan Project thought they might cause earth's entire atmosphere to enter runaway fission.

I'm also distrustful because virtually all the experts stand to benefit from convincing us unregulated AI is dangerous. Namely, it's a compelling reason to ban Chinese and open weight models that are eating into their margins. It doesn't mean they're wrong, but it does mean that they'll need to substantiate their claims. I'm not trusting them at face value.

everforward··on Type-safe HTML templating in Zig
It would tie in an additional feature with potential future incompatibilities, and it moves insecurities in templates to the client runtime where they’re more dangerous than compile/interpret time.

Eg some template feature creates a security issue and has to be disabled, which invalidates all the old HTML that used it.

There’s also just not a super great reason to do it. It’s not all that different from pre-templating like Hugo or doing it server-side like Django. You get to offload some compute, but HTML templating isn’t usually the bottleneck.

everforward··on Why isn't the industry freaking out about DeepSeek 4.1 Flash?
That accounting exists because DeepSeek doesn't need to exist for me to use 4.1 Flash. If Anthropic goes under, Claude probably just ceases to exist.

That accounting doesn't make sense when looking at future models, but if you're evaluating the current state it makes sense to ignore training costs for companies that don't pay them.

You can also get subscriptions for the open models, which are typically much cheaper. It's not crazy popular because the open model crowd switches often, but they do exist if you want a firehose of tokens.

everforward··on The mental health of young men is declining. Experts warn it could get worse
I feel like this is a better phrasing of what I’m trying to get at. Feeling like you aren’t good at anything feels like you’re bound to be “undifferentiated worker #7354 at Amazon warehouse 13.12b”, and the abundance of talent on social media can make it hard to feel like something other than a corporate cog that has hobby #142
everforward··on The mental health of young men is declining. Experts warn it could get worse
Guitar and art in general is weird because technical skill and commercial success are orthogonal. I grew up on pop punk; anyone with a desire and like 4 hours of free time can basically play Blink-182’s entire discography of power chords.

I wouldn’t even say I can play guitar and I can do an okay rendition of Stairway to Heaven.

It’s easier to get into hobbies, but you’ll also be far more keenly aware of just how shit you are at it. I do hydroponics and YouTube won’t even really show that; apparently if you haven’t upgraded to aquaponics (hydro with fish to poop out nutrients) it’s not even worth having a channel. The algo hasn’t even suggested someone with a normal sized setup. The smallest I ever see verges on a commercial setup. Genuinely I think the smallest setup I’ve seen had a 500 gallon tilapia tank for a reservoir. The larger ones were installing hydroponic power on rivers to run all their pumps and fans for a detached hydroponic grow system.

everforward··on The mental health of young men is declining. Experts warn it could get worse
I wonder if some of it is a sort of parallel to the self-image issues called out for young women on social media. In the same way that it used to be easier to be happy about your appearance when you didn't see the genetically gifted on your feed every day, it was easier to feel proud about being good at $job/$hobby/etc when you only had to be better than anyone within 100 miles rather than competing with that one guy who lives 3,713 miles away who hasn't done anything but eat, sleep and blacksmith (or whatever) since he was 3.

Even as an adult, I feel it a bit. You see somebody on YouTube and think the hobby looks intriguing, but feel discouraged because you'll never be as good as someone who made a "make it or break it" bet on the hobby at 12 years old with a parent who was famous in the field.

It seems hard to feel proud of yourself these days in a world where everything you do is judged on a national or global scale instead of your city or county.

everforward··on Show HN: Pi pod – Run your pi coding agent in sandboxes on your own server
I have a similar project you might be interested in if you use ACP via Zed or something; I need to make a Show HN post at some point.

The gist is that it pretends to be an ACP agent to Zed, but it actually spins up a Docker container on your PC and proxies the ACP connection over websocket to the agent. It supports bind-mounting your Pi config like you're doing (as well as copying files, so changes don't propagate to your host). It also has early plugin support for your ACP connection. It's basically an nginx proxy for ACP, I just made a plugin that will automatically kill a session if it detects OpenRouter secrets in agent output, tool calls, file access or shell commands.

It doesn't currently support remote targets like your server, but it's on the list.

Another notable difference is that it creates a new container every time you connect so you get an idempotent environment, though I am also working on a persistent style. Everything supports it, I just need to make the host-side binary support finding a container to use before it tries starting a new one.

https://abyss.scurry.io/

everforward··on Pi Durable
It’s neat but I don’t think fixes these issues because they have to integrate with live systems. You can lie about system time in tests by making everything else have the same time.

That doesn’t apply if I need to hit gmail.com and can’t login because my system time is a week behind and the JWT says it isn’t valid for another week.

Even if you make everything else accept the time, timestamps will be screwed. Like in a fake gmail service that accepts mocked times, what do you use for timestamps on emails?

everforward··on Pi Durable
The good version of it is to only allow interacting with the environment declaratively (preferably idempotently as well), and then checkpointing those.

So rather than saying “open chrome, go to this page, click next page 5 times”, it would be something like “chrome is running; url is X; url is X/page/1; url is X/page/2” etc. Ansible, basically.

Other than that, you could just replay bash tool calls. That’s full of holes, though. Anything that relies on “date” will return different stuff, and if you try checkpointing the system time then TLS breaks due to timestamp differences.

If you wanted to go absolutely wild, some hypervisors can checkpoint the memory of a running VM and revert back to a prior version memory and all. I can’t imagine a way to make money off that (you’d be writing gigs of data per checkpoint), but I suppose it’s technically possible.

everforward··on Returning from vacation? The government can search your phone without a warrant
Thats partially that we insist on interpreting it in this contorted lens of “how the founding fathers meant it”, when words like “reasonable” seem like they’re clearly meant to reflect the current opinion of the populace. If people find it unreasonable, it is, and vice versa.

I don’t think “interstate commerce” is unclear at all. That’s one where started with an end goal in mind and rationalized everything in between. There is no sane English reading of that passage that resembles the current interpretation at all. We just repeatedly mentally Google Translated it to Spanish and back until it was vague enough to allow what we wanted.

everforward··on Returning from vacation? The government can search your phone without a warrant
They don’t get tried in part because of Qualified Immunity (which has some rationality but I think we’ve taken it much too far), and in part because the structure of the system doesn’t incentivize it.

The people who would charge the officers are the same people who rely on the police to provide evidence. Both groups work closely together. Malfeasance by police typically provides the prosecution with evidence they want or people to charge. There’s no incentive other than morality to charge them, and a lot of reasons to find a way to rationalize it as untrue, or necessary, or whatever.

everforward··on Systems that no one will test
Data diodes of some level are semi-common in my experience. An SSH bastion host is a sort of that thing.

I think it works better than you realize, though it is about as painful. Most of these just ban UDP leaving the subnet. TCP is stateful so you can set firewalls to allow inbound connections but not outbound, and you can terminate TCP connections based on bandwidth ratios (ie if you’re sending more than 10% of what you’re downloading then the connection gets killed).

Im largely with you on air gaps in the modern day, with the exception of storage. Backups should be airgapped, but that’s common practice basically anywhere that runs their own servers.

everforward··on You said no MCP
I’m not sure; the integrated GUI seems like a major differentiator for them.

Pi’s agent is supposed to be simple, and a simple ACP agent is like a couple hundred lines of code. Making a system that allows UI plugins is way harder.

Also not sure if you’ve seen but you can get ACP from Pi with https://github.com/svkozak/pi-acp It bridges Pi’s RPC mode to ACP, works okay but not amazingly. My thinking level selector in Zed has never worked with it but everything else I use has worked (I’m sure other things don’t but I must not use them).

everforward··on You Said No MCP
I’m still not entirely sold. I do hear you about team workflows, I’m just not sure MCP does that dramatically better (as of today).

I can see the snap appeal. One protocol, we can chuck an auth reverse proxy in front of all the MCPs, compliance has their integration point, etc.

I don’t think MCP is structured enough to give a huge edge over bash there. Looking at MCP messages, they aren’t immediately more legible than a bash command, output and exit code. You also don’t own a lot of the MCP servers you use, so backtracking for audits will require knowing what MCP commands did what back then.

I do suspect something more like MCP than bash will be the winner. MCP just feels very open source rather than enterprise. Eg I don’t think I’ve seen any sort of privilege escalation and logging scheme. The enterprise will want some sort of “request admin privileges” scheme. Likewise they’ll probably want more context on ACP requests; who is calling this MCP, using what agent, and for what project?

everforward··on Dots: Always-on agents
I'm working on a project that solves some of this [1]. It runs agents in Docker and proxies the ACP connection via websocket, with WASM-based plugins in that proxy so you can get in between your client and the agent if you want.

It currently tears down the container after the session, but it wouldn't take much to leave it running post-connection and make a mode that continually re-uses the same container.

It's also possible to intercept ACP read/write file and shell commands via one of the WASM-based plugins if you wanted to execute them in a separate VM/container. I'd have to double check on FS permissions for the Docker socket; I think plugins have no file access currently because I haven't figured out a permission system for it yet. The whole plugin system is new and I'm still working out some of the edges.

Feedback and feature requests welcome!

[1] https://github.com/SethCurry/abyss

everforward··on America.gov
They can take it as authoritative, but that won't change the consequences if they're wrong. This is already a thing between two people; "my cop friend told me it was okay" isn't a legal defense. Changing the 2nd person to an AI doesn't change much, both are still agents of the government.

Doesn't really have any bearing on a similar system for HR. The government is sort of unique in a bunch of ways, but not really being responsible for what their low level agents say is one of them.

I'm not sure how to fix that, to be honest. I'm also not sure how much worse it is than trying to Google it? Google is full of stuff that's either wrong, or won't apply for a reason that takes some reading comprehension to grasp (e.g. state-specific rules/programs/etc).

everforward··on 500k facial scans at UK stations yield no arrests, 1 false positive
That’s not hard to value, it just doesn’t make Flock look particularly good. If these actually work well, you would expect the average catch rate to be nearly 100%. We had decent rates just having humans look, Flock should be clearing those like crazy if it works.

It doesn’t. I had a car stolen, called it in as they pulled away. I live a block from a Flock camera, 2 others apparently captured it. Car wasn’t intercepted, car was never recovered, no arrests were ever made. They could have put up scarecrows and it would have done as much good for a lot cheaper.

> the system will come off pretty badly in terms of ROI.

It’s a bad evaluation function. A lot of the cost of crime isn’t directly the crime, it’s the economic deadweight of trying to deter the crime. Every car needs anti-theft parts, lots of people buy home security systems, armored cars to do bank drops, etc, all this stuff we pay for that exists solely to try to stop crime.

Flock would look great if it worked so well it made armored cars and car anti-theft obsolete. It won’t, but if it did the ROI would be crazy.

everforward··on The problem is not AI code, but not knowing about system architecture or intent
> But today you can do even better, with AI can do true waterfall by rewriting from scratch many times.

This does nothing other than ensure you end up in the "joy" of running a v0.0.1 product but for years on end instead of for a few months.

I hear this sort of thing a lot, and I can't help but internally translate it to "I've never had to take oncall for a product directly after a rewrite". It will be broken; not even because the AI is "wrong", but because the rewrite has new edge cases. No one rewrites a project to have the exact same edge cases. Those edge cases will become outages. No one will learn anything, because a month from now it will be rewritten and those edge cases will get swapped for something else; you can pick which edge of the CAP theorem you want to live on, but you can't pick "none of them".

everforward··on The problem is not AI code, but not knowing about system architecture or intent
I agree with you, but it's a moot point for software engineering.

> Your concerns have moved up the stack to managing requirements, context, and verification processes.

This has always been the concern. "Add oauth to this app, there are no requirements beyond oauth working" has been an intern level task for ages. What makes software engineering hard is when the requirements start adding "well it has to use this oauth backend that isn't technically spec compliant, and the user is going to send some kind of random token you need to translate to oauth, and...". The problem isn't in writing code that will do the thing, it's figuring out exactly how that backend isn't oauth compliant and what chain of API calls I have to make to convert their random token into an oauth one, and etc.

Producing software that complies with a test suite isn't really novel. You've been able to outsource that forever. This falls apart in the same places outsourcing does; I'm sure India/Phillipines/etc/ is more than capable of iterating on code until it passes a test suite.

everforward··on Flock Wants the Most Detailed Map of Its Surveillance Cameras Taken Offline
I think you misunderstand the balance of power. If you're talking about power over you specifically, your local clerk almost certainly has more than your senator. If they both want to make your life suck, the clerk is the one with the relationship to the local PD, the ability to make your filings get lost in a pile for a couple days so they were technically filed late, etc. Your senator or representative is likely in 0 of the processes you are likely to engage in unless you're notable enough that you specifically get targeted by the state legislature.

> Also, there are private individuals who knowingly exercise more power than that clerk.

This is partially a pet peeve of mine, but again, almost certainly not. I struggle to think of someone with more ability to kill a project than a clerk that refuses to do their job.

Kim Davis was a clerk that refused a literal Supreme Court order. As best I can tell, she did 5 days in jail and launched a million dollar speaking career out of it. Bezos or Musk can be absolutely sidelined by a clerk who is pissed off enough to accept eventually getting fired as a result.

everforward··on Ember-1
I vaguely recall a project from a while back that did something similar without LLMs.

I’m really pushing my recall, but I want to say it was written in Ruby and stored pre-configured commands that it just did traditional search over.

I vaguely recall it working okay because 99.99% of the questions people asked were the same (“tar command to gzip a directory and strip the prefix” is something I google like once a month).

everforward··on On caring for user data: NeoVim caused Vim undo files to be deleted
At one point vim lacked asynchronous plugins. If a plugin was running a builder or linter it locked the editor up (from what I recall).

That fell apart when people wanted vim to do some more modern IDE kind of things like all the “… on save” stuff (build on save, test, lint, etc). I think LSP support is native in neovim as well.

I believe vim merged asynchronous plugin support a while back though, so I’m not sure how different they really are anymore.

everforward··on Turning GLM-5.3-Flash into a Jev-like decision model
I think the truth is sort of halfway between yall.

Hallucinations in tool call results _do still exist_, but basically everyone asks for a JSON schema for the tool call and uses that to validate and re-prompt the LLM until it emits something with a valid schema.

That all goes out the window when a string field has a “hidden” schema in that only particular strings are valid, but that restriction isn’t in the JSON schema. I have had failures when I want a field to be specifically formatted Markdown or something.

We’ll probably see something that handles this better in the future like jsonnet or Cue or dhall that has some execution capabilities so you can write a custom validator beyond what JSON schema supports.

everforward··on U.S. appeals court upholds designation of Anthropic as supply chain risk
Bombing civilian infrastructure is a war crime because the end state is the same as bombing civilians. Killing power shuts down hospitals and emergency responders (generators run out eventually) and desalination plants. The military is largely unphased, they’re the first ones to get gas for generators.

Also, this is carpet bombing. Carpet bombing is the targeting of civilian infrastructure with effectively willful ignorance of the collateral damage.

We started a war knowing the only way to win was either boots on the ground or war-criming our adversary into submission. We don’t get to pretend our hands are tied and we have to send out the bombers. We don’t have to do this because Iraq forces us to, we have to do this because we elected a man who can barely read Post It notes and ignored half a century of military intelligence. We are at fault for every dollar of damage caused to infrastructure and every life lost.

everforward··on Plan mode is dead
I haven’t tested with Claude specifically in a while, but I see this a lot on larger features.

It tends to be small decisions way down the stack that bubble up, or an incoherent data model that can’t handle what you’re asking for cleanly.

Eg I was messing with a state tracker the other day. The state tracker assumes a container is either currently running, or fully removed from disk.

The LLM chose to remove the state file when the container is stopped and then to remove it after, which leaks container storage.

The LLM is kind of stuck though, because every option other than “rewrite the data model” has negative outcomes and it probably violates user expectations to launch a massive rewrite there.

everforward··on U.S. appeals court upholds designation of Anthropic as supply chain risk
Militaries have a lot of experience, and an exceptionally poor track record.

I don’t remember the last war that didn’t have credible evidence of war crimes occurring. Were bombing civilian infrastructure in Iran, Iraq had Abu Ghraib among all the Collateral Damage stuff, the Highway of Death in the Gulf was probably a war crime, Vietnam had My Lai, WWII was the advent of carpet bombing civilian infrastructure. I can’t think of any for Korea, but I also know very little so that doesn’t say much.

We still haven’t charged anyone for the second strike on that fishing boat in South America, and I haven’t heard a single rationale for why that’s not a war crime other than “fog of war”.

The US doesn’t even really have a meaningful system for finding and prosecuting these, because we aren’t signatories for the ICC and have a bill saying we’ll invade if they charge one of our service members with a war crime. We aren’t basically the furthest thing from having any experience prosecuting war crimes. I can probably count on my fingers the number of cases we’ve tried. We rarely charge our own service members, and we usually kill foreign combatants rather than capture and charge them.

everforward··on U.S. appeals court upholds designation of Anthropic as supply chain risk
He didn’t say they were _the_ corporate party, just that they’re dominated by corporations. It’s notable because it’s an accusation that they pitch at Republicans often (not that R is doing any better there, but it’s part of their platform more or less).

The dems haven’t done anything notably anti-corporate in ages. There are rumbles about doing it (anti trust, supporting unions, climate change), but it never _quite_ seems to actually materialize into anything.

Cynically, that’s why both sides lean so hard into the culture wars. The men in suits would rather we argue about how to interpret history than whether a wealth tax makes sense.

everforward··on Oracle cites 'force majeure' to shield itself on controversial data center
The data tier is one of the lowest tiers in the stack (for bigcorps with centralized DBs), and changes bubble up the stack. Change an API and a few upstreams have to change. Change the core DB and _everything_ has to change.

That makes the schema calcify, and the DB becomes the most stable format of the data. I've worked more than one place where "upgrade the core DB between major versions" was a multi-quarter effort.

everforward··on Linux support is coming to Snapdragon X2 series
I don’t hear people suggesting to replace an RPi with a similar device (OrangePi or what not).

What I hear a _lot_ is that the thing could have been an esp32 (or Arduino rarely).

That’s a way wider price gap. I can order Costco-sized lots of esp32’s for the price of a single RPi.

RPis pricing has really, really narrowed the space where their products make sense. Low power devices can be esp32, high power can be x86 NUC things (or interconnected esp32s if you need tons of pins).

I don’t encounter a ton of things in “too big for an esp32 but I’m positive I don’t even want the option of a beefier x86 CPU”.

No hate if it works for you. I don’t even dislike RPi, they’re just in a narrower band for me these days.

← PreviousPage 3 of 34Next →