MurphyA/hacker-news huggingface dataset:
by deathanatos | 2025-07-28 20:43:30+00:00
That's sort of a disingenuous phrasing, but yes. I'm not thinking of them as "air gapped", since I'm intentionally attempting to form an ad hoc WiFi network between them, but yes, until two laptops are connected over a network, yeah, they're effectively "air gapped" I suppose.

They have normal, consumer OSes on them. Whatever one might reasonably already have preinstalled.

I'm sitting at an macOS machine presently. If I poke around the Wi-Fi menu, and the Wi-Fi settings … IDK, I come up empty handed.

So let's cheat, and Google it. But the entire point of my post above is that needing to Google it defeats the point; if I have an Internet connection (which would be required to Google something) — I can just network the various machines using that Internet connection. In every situation I've wanted to form an ad hoc network, it is because I do not have any access to the Internet, period, but I still have the need to network two machines together.

Anyways, Gemini's answer:

> To set up an ad-hoc Wi-Fi network on macOS, you can use the "Create Network" option in the Wi-Fi menu.

Apparent hallucination, since there is no such menu item.

The first result says the same thing:

> 1. Click the wifi icon on the menu bar. 2. Click “Create network. . .”

(… I suppose I see where the training data came from).

The next result is a reddit thread; the thread is specifically about ad hoc WiFi. The only answer is a link to a macOS support article; that article tells us to go to General → Sharing, and use "Internet Sharing". But AFAICT, that's for sharing an existing WiFi connection over a secondardy medium: i.e., if you have WiFi, you could share that connection over a TB cable, or some other wired medium. And "To Devices Using" conspicuously lacks "also over WiFi", or similar. I.e., this also isn't what we're looking for.

The rest of the results are mostly all similarly confused, and I've given up.

So even if I had Internet, … I still can't do it. So if I'm actually in a situation where I need an ad hoc, it definitely isn't happening.
by strictnein | 2025-07-28 20:44:03+00:00
That's not what they claim:

https://www.anthropic.com/pricing

> Max > Choose 5x or 20x more usage per session than Pro* > Higher output limits for all tasks > Priority access at high traffic times

That first bullet pretty clearly implies 4x the usage and the last one implies that Max gets priority over Pro, not that 20x gets priority over 5x.
by scoreandmore | 2025-07-28 20:44:26+00:00
The first thing I did when I signed up for Claude was have it analyze my website for security holes. But it only recommended superficial changes, like the lifecycle of my JWTs. After reading this, I’m wondering if a prompt asking it to attack the website would be better than asking it where it should be beefed up. But I no longer pay for Claude, and I suspect it won’t give me instructions on how to attack something. How would one get past this?
by MattPalmer1086 | 2025-07-28 20:44:51+00:00
Just a note you may find helpful. I feel your post is too long to be digested and responded to in a forum like this.

Maybe I'm wrong, and if so I apologise! But as soon as I saw the essay like format, I knew I wasn't going to spend time on it. I think shorter points that provoke discussion may work better here.
by accoil | 2025-07-28 20:44:55+00:00
They're probably talking about Mouthwashing which was announced to be delisted from itch (not steam though) today [^1]. Not played the game, only read synopsis, but it's a horror game instigated by a rape. As far as I know, the rapist is not meant to be a sympathetic character.

[^1]: https://bsky.app/profile/siarate.bsky.social/post/3luz4cz6wx...
by brigade | 2025-07-28 20:45:00+00:00
Governments have made a variety of rules on what acceptable for their individual country. The issue is that some groups don't like that governments (often, governments other than their own) aren't as restrictive as they want.

Like here, the driving group is Australian. Similar groups have been quite successful in getting the Australian government to ban the sale of video games with content they find objectionable, but is very arguably non-pornographic, like Hunter × Hunter: Nen × Impact. To the point that they're far more restrictive than Nintendo.
by artluko | 2025-07-28 20:45:08+00:00
Hey Everyone!

Today, I’m beyond excited to announce the beta launch of Snippets AI. A real-time prompt management tool with the largest structured prompt library for every AI tool on the market.

Why Snippets AI? Why now?

Every single day, a new AI tool is born. And with it: new prompts, new methods, new rules. Blink, and you’ve already missed the wave. At conferences, I spoke with companies and everyday users. Everyone's running into the same issue by the time you learn how something works, it’s already outdated. That prompt you saw in a Medium post last week? That technique peaked two years ago. Trends are changing at breakneck speed. Today it’s Claude CLI. Tomorrow it’s Gemini CLI.

From my experience consulting companies as an AI strategist, most teams don’t even know where to start.

Prompts are the new gold. Anyone can build an app in seconds. Sure, it might be buggy, but prompting is already becoming more powerful than coding.

So what’s the real problem? There’s been no space to share how it’s done. No platform built for real-time prompt knowledge. No tool to help you catch up before the next thing drops.

Snippets AI is that tool. The only tool you need in 2025 for prompting.

How it can help:

Save prompts, code, and AI workflows,

Expand snippets anywhere like ChatGPT, Gemini, IDE, terminal, browser and more

Explore public workspaces from Eleven Labs, Cursor, Suno AI, Perplexity, and more...

Create your own private or team workspace

Desktop-native for macOS, Windows, and Linux

Structured prompt library built for real reuse

Try it out for free → https://www.getsnippets.ai

Would love feedback from the community. Happy to answer anything.
by LTL_FTC | 2025-07-28 20:45:36+00:00
I have been using Gemini for some time now. I switched away from Claude because I was frustrated with the rate limits and how quickly I seemed to reach them. Last week I decided to give it Claude another try so I resigned up. I linked a personal repository I am working on, prompted it for suggestions on potential refactoring recommendations and hit send. It immediately stopped and said this prompt would reach my limits. Immediately reconsidered my subscription.
by neom | 2025-07-28 20:45:44+00:00
I'm working on a coding agent for typescript teams and I'm curious how people would like to consume these things generallyin terms of price a predictability. I've thought through a bunch of stuff, not sure what is best... Right now I have a base fee and then a concept of credits, the base fee ($500) includes 10k credits, and the credits are tied to PRs, it works out to 100 "credits" per simple PR and 200 "credits" for a complex PR, Commit is 20 credits. 20 credits are $5. PR reviews are free.

Is this way too complicated? It feels complicated to me and I worked on it, so I presume it is?

I don't want to end up in some "you can work for X number of hours" situation that seems... not useful to engineers?

How do real world devs wanna consume this stuff and pay for it so there is some predictability and it's useful still?

Thank you. :)
by LordDragonfang | 2025-07-28 20:45:46+00:00
This is one of the rare times that it's probably not that. I know a couple of devs who have built/worked on sites that have "adult" content, and they say that payment processors are always pretty hostile because the chargeback rates for adult content are an order of magnitude higher than most other areas[1].

This has resulted in payment processor execs historically being very prejudiced about against any site that provides that sort of content.

Combine this with the dual facts that no one of good standing is very motivated to stick their neck out to defend porn publicly, while many people define their politics by being very publicly against it, and you get a system that routinely discriminates against sex workers.

[1] Historically, this was from angry spouses/parents seeing it on the CC bill and the person who ordered it lying that "someone else must have stolen the card and ordered it"; nowadays actual identity fraud is so common that it's a real concern
by vineyardmike | 2025-07-28 20:45:52+00:00
Because the goal is to extract more money from the people who have significant usage. These users are the actual targets of the product. The idea that it’s a few bad actors is misdirection of blame to distract “power users”.

They undercharged for this product to collect usage data to build better coding agents in the future. It was a ploy for data.

Anecdotally, I use Claude Code with the $20/mo subscription. I just use it for personal projects, so I figured $20 was my limit on what I’d be willing to spend to play around with it. I historically hit my limits just a few times, after ~4hrs of usage (resets every 5hrs). They recently updated the system and I hit my limits consistently within an hour or two. I’m guessing this weekly limit will affect me.

I found a CLI tool (which I found in this thread today) that estimates I’m using ~$150/mo in usage if I paid through the API. Obviously this is very different from my payments. If this was a professional tool, maybe I’d pay, but not as a hobbyist.
by umbra07 | 2025-07-28 20:45:57+00:00
> Verizon pixels also can't be OEM unlocked. That doesn't make them unsuitable for GOS

Everything I'm seeing says that Verizon Pixels can't install Graphene, since Verizon doesn't let you unlock the bootloader. [1]

Galaxy Buds come with 3 Bluetooth codecs: SBC, AAC, and Samsung's proprietary codec. SBC and AAC are low-quality, low bandwidth codecs. Samsung's proprietary codec supports high bit rates, but only Samsung phones support their codec.

Competing non-Samsung & non-Apple earbuds will typically also support other codecs, like aptx-HD, aptx-Adaptive, and LDAC. These are all high-quality codecs, that are supported on every new Android phone except for Samsungs.

The Galaxy Watch situation has improved. I think all that's currently missing is a couple of health features like the ECG when not using a Samsung phone. Last time I checked, there was a modded apk out there that you could install to get the full functionality.

tl;dr galaxy buds will have subpar audio quality when connected to a non-Samsung phone, galaxy watch requires sideloaded apk for certain health features.

[1] https://discuss.grapheneos.org/d/18422-google-pixel-9-is-car...
by Fuzzwah | 2025-07-28 20:45:59+00:00
This section of the readme really sets the expectation clearly:

> inverse linux philosophy -- do all the things, and do an okay job > - quick drop-in service to get a lot of features in a pinch > - some of the alternatives might be a better fit for you

This includes a link to this doco in the repo which is an incredible source of info: https://github.com/9001/copyparty/blob/hovudstraum/docs/vers...
by johnisgood | 2025-07-28 20:46:07+00:00
People form beliefs and make judgments based on things they do not know, it is nothing surprising[1]. I would recommend reading the history of Israel (vs. Palestine, especially).

Yeah, Hamzah has been making lots of videos of IDF soldiers (and other Israelites) saying that they want all Palestinian children to die, and that their lives are worth more than Palestinians' lives.

I am not surprised by any of this, the media is probably controlled. They hear what the Government wants them to hear, which is this: they are the good guys.

[1] I do not claim to know everything either, which should be very obvious, but I try to postpone forming a judgment.
by mushufasa | 2025-07-28 20:46:14+00:00
I think they should totally do this but I think they should call it "rate-limiting" instead of "weekly limit". Seems pretty clear to me that the purpose is to avoid situations where people are running 5 background agents 24/7, not the person working during business hours normally. Reframing this makes it more clear this is about bots not users.
by csb6 | 2025-07-28 20:46:44+00:00
> A model checker doesn't imply anything about the kind of the formal specification used.

That is true; I was just contrasting the way TFA explained specifications as being definitions of groups of acceptable execution traces (perhaps checked using a model checker) with Dijkstra’s approach of characterizing the acceptable behavior without simulating any executions.

Both are of course valid approaches to demonstrate the correctness of a specification.
by djeastm | 2025-07-28 20:47:25+00:00
For me it's more like I bounce back and forth avoiding the pains from whatever the last project was using. Same with front-end frameworks vs vanilla JS etc.

For example, you work with ORMs and then you see all the problems with them as you maintain the project, so on your next app you create an app that is raw SQL. Then after maintaining that for awhile you start to see all the pitfalls of that approach and why people created ORMs in the first place. Then someone mentions the latest and greatest ORM that promises to be better this time and you use it, saving you from raw SQL you'd jumped to last time....ad infinitum.
by axeluser | 2025-07-28 20:47:47+00:00
Hi, thank you for your questions: 1. The "one-line" boolean condition still has jumps in the produced JIT Asm, at least to make a short circuit to exit as soon as possible. I guess the C# compiler is far too conservative for such optimisations.

2 and 3. The "operations" are both the array's size (actually the nearest power of 2) and lookup operations. I first thought that latency should be equal for both cases, because my benchmarks may be too naive - they test lookup by sequential memory access, i.e., iterating buckets from 0 to n, and iterating from first to last element in each bucket. I'll try to experiment with a more shuffled workload in my free time. Thank you for the question. I've not thought about it deeply. Also, counting mispredictions is a good idea; I'll add this metric to my benchmarks to get a complete picture.

4. I didn't pay much attention to that because the trend was still the same, and even the ratio was similar for different counts of lookups per underlying memory layout. There was just some minor deviation, but I ignored it. Maybe I'll run more granular tests with hardware counters to catch some insights.

5. SIMD, in my opinion, would be an overhead there because for a single lookup in my configuration, I'm using a single 32-bit value, and Cuckoo Filter will touch at max 64 bits (2 lookups). However, I was planning to experiment with batching of lookups; I just haven't reached it yet.
by ignaciovdk | 2025-07-28 20:47:52+00:00
We're building a lightweight collector (RTCollector) you can run inside the air-gapped environment. It can read from local cert stores (JKS, PKCS#12, PEM, etc.), extract metadata like expiration date and fingerprint (no private keys or cert contents), and send it out securely when outbound connectivity is available.

We already have an api endpoint in place, so you can push data using Python, Bash, curl, or anything else that fits your workflow. No agent required, just a simple POST.
by insane_dreamer | 2025-07-28 20:47:58+00:00
> more ideological than practical

how so?

the impact of increased energy consumption, from non-zero-emission sources, on global warming is a highly practical matter based on established science

AI is/will cause a significant increase in energy consumption (still largely powered by fossil fuels) at a time when it's well established that we're supposed to be reducing emissions (Paris Accord etc.)
by data-ottawa | 2025-07-28 20:48:03+00:00
That’s a perfect use case with MCP though.

My biggest issue is local models I can run on my m1/m4 mbp are not smart enough to use tools consistently, and the context windows are too small for iterative uses.

The last year has seen a lot of improvement in small models though (gemma 3n is fantastic), so hopefully it’s only a matter of time.
by gruez | 2025-07-28 20:48:42+00:00
>I don't see the need to create and articulate a universalizeable moral framework to decide how I should react to a specific case in front of me.

You kinda do, otherwise your position just sounds like "why are you talking about trans athletes? You should just Trust the Experts, except when I disagree with them, then it's an Important Moral Issue that the public needs to weigh in on".

>I listed rulemakers and organizers but also athletes themselves. I don't know much about the history of the olympics but I would guess the desires and probably activism of women athletes played a role.

This is a very perilous position to hold, because it basically means if there's enough TERF athletes to outnumber trans women athletes (which doesn't seem too implausible, based on purely demographic factors) then it's okay to exclude them.
by Tokumei-no-hito | 2025-07-28 20:48:59+00:00
you were rugged? you sincerely expected you could run parallel opus agents 24/7 for $200/mo? who did the rugging here? did it occur to you that paying $7/day for a 24/7 team of dedicated senior engineers, roughly being paid 30 cents an hour, was not sustainable?

yes it was unlimited. so is the public water fountain. but if you show up and hold the button down to run nonstop while chanting "it says unlimited free water doesn't it??" you must expect that it will no longer be unlimited.

we went from reasonably unlimited, which 95% of users enjoyed, respected and recognized was subsidized, to no unlimited anymore because 5% wanted to abuse it. now you can scream about being rugged, just like you did for cursor, and jump to the next subsidized provider that you can abuse until there's none left. you do realize that every time "unlimited" gets abused it raises the standard of limits and pricing across the board until it becomes normalized. this was going to happen anyways on a longer timeframe where providers could optimize inference and models over time so the change wasn't so shocking, but abuse accelerated it.
by darkwater | 2025-07-28 20:49:00+00:00
This is the wet dream of every power-user. It has tons of features on top of the file server. And it also seems developed by a 10x (100x?) developer, I mean, just making/editing the video is a work of art and humor.

If the author is lurking here, are you doing all by yourself? Do you use any LLM/agent?

It really is impressive.
by deathanatos | 2025-07-28 20:49:19+00:00
> starlink doesn't even give you publicly routable ipv6 unless you bypass the starlink router.

If you've not got an Internet[-routable] address, are you truly connected to the Internet?

> I looked in to managing ipv6 from a "i am making my own router" and no OS makes this simple. i tried with debian, and could not get it to route any packets. I literally wrote the guide for using a VM for ipcop and one of the "wall" distros; but something about ipv6 just evades me.

TBH, I would think that this is just enabling v6 forwarding. That wouldn't do RA or DHCP, I don't think, but I don't think you'd want that, either. (That would be the responsibility of the upstream network.)
by alias_neo | 2025-07-28 20:49:40+00:00
The nuance of the situation was obviously missing from that short "emotional" statement I made, but I wasn't intending to start the argument it caused, just expressing some frustration in passing before someone jumped on my back.

With a progressive tax band, the burden is different, you're aware of it ahead of time and you set your living standards accordingly, you won't see a big sudden drop and can adjust accordingly. You can't suddenly sell your home or find a much higher paying job in the same space of time a small pay increase took you over the cliff.

For my generation, a professional that's having a family has probably focused on their career to get there, having there kids once they break some income threshold at a certain age, let's say it's 80k to fit with your numbers. You bought your home somewhere where those higher salaries are, paid a premium, higher SDLT on a small new build flat, you upsize when you have kids, buy a(n) (old) house, now overpriced due to property price jumps in the last few years, another chunk of SDLT, bills much higher, then you hit 100k as your costs have gone up significantly, that might be manageable, but you've just lost 2k per child to the tax credit trap, then the next 10k breaks even, after that you're taxed at 60% while your salary can't/won't be able to increase enough to offset that additional tax burden and your living standards have materially dropped because you got a pay rise.

I suppose the nuance I'm trying to convey is one of timing compounded by cliffs in the tax system that wouldn't become the sudden problem they are if the tax system wasn't set up the way it is.

One could argue that you could have known this, but I don't believe anyone would be seriously aware of the pitfalls until they have kids or hit a salary where you're going to be hit with a big step in tax burden.

Sure it won't affect everyone the same, but if you happen to meet those specific criteria with that specific timing, it can certainly feel like being "taxed to the eyeballs" even if that isn't the best way to put it. I'm far from the only person in that position, it's just the natural progression for some.

I hope that explains my position a bit better. I wasn't trying to say "I pay too much tax as a percentage of my income", in fact I DON'T think that, but I and others I've spoken to in this situation believe it's a tax-based ceiling on our progression and is a tax-based contribution to the growing wealth devide pushing anyone down that attempts to break into the middle class, which as a whole just makes the rich richer and the poor poorer; no I'm not putting myself in those brackets before someone jumps on me, but pushing the middle down makes the rich richer and the poor poorer (sorry slight tangent at the end there).
by A_D_E_P_T | 2025-07-28 20:49:42+00:00
Yeah, that's the problem. In the UK, thanks to the party system, "first past the post," and certain longstanding procedural and cultural norms, it's literally impossible to vote them out.

At best, as we're now seeing, they'll go from Tories to Labour to Tories to Labour. With the members of both parties from the same schools, the same social circles, living in the same neighborhoods, and supporting the same policies.

There's no voting their way out of this mess. At this point they need something like the Restoration of the Stuarts. Failing that, they need divine intervention.
by galleywest200 | 2025-07-28 20:49:43+00:00
I agree with this.

I use Linux on my desktop in my basement as that is the "fun" computer meant for entertainment and some coding. I have a Macbook for a lot of "serious" work because if I am out meeting people I need the software to work the first time I open it and not waste time troubleshooting.

Side note on the comment about reliable sleep/wake...Linux is very good at this, just look at the Steam Deck.
by Aurornis | 2025-07-28 20:49:51+00:00
> '35 hours' is absolutely nothing when you spawn lots of agents, and the damn thing is built to support that behavior.

I wouldn't call "spawning a lot of agents" to be a typical use case of the personal plan.

That was always in the domain of switching to a pay as you go API. It's nice that they allowed it on the fixed rate plans, but those plans were always advertised as higher limits, not unlimited.
by blitzar | 2025-07-28 20:50:01+00:00
> Anthropic is saying that one out of every 20 users will hit the new limit.

I regularly hit the the Pro limits 3 times a day using sonnet. If I use claude code & claude its over in about 30 minutes. No multi 24/7 agent whatever, no multiple windows open (except using Claude to write a letter between claude code thoughts).

I highly doubt I am a top 5%er - but wont be shocked if my week ends on a wednessday. I was just starting to use Claude chat more as it is in my subscription but if I can not rely on it to be available for multiple days its functionally useless - I wont even bother.