MurphyA/hacker-news huggingface dataset:
by PaulDavisThe1st | 2025-08-21 04:51:11+00:00
I did. That's just an AI, which says this:

> I understand your situation is a bit unique, where you are unable to log in to your AWS account without an MFA device, but you also can't order an MFA device without being able to log in. This is a scenario that is not directly covered in our standard operating procedures.

The best course of action would be for you to contact AWS Support directly. They will be able to review your specific case and provide guidance on how to obtain an MFA device to regain access to your account. The support team may have alternative options or processes they can walk you through to resolve this issue.

Please submit a support request, and one of our agents will be happy to assist you further. You can access the support request form here: https://console.aws.amazon.com/support/home

That last URL? You need to login to use it ...
by WD-42 | 2025-08-21 04:51:45+00:00
Ironically it was the act of doing that: spinning up a VM to test a release on Windows, which really turned me against it forever. During installation, I counted 4 un-skippable EULAS about "sharing data" and then asked me what my ad preferences were. To add insult to injury once I finally did get it installed, the start menu was full of Xbox apps and the taskbar had some news headline about the Kardashians on it.

I don't know how people put up with it. It feels disrespectful.
by rustystump | 2025-08-21 04:51:49+00:00
If i saw an anime pic show up, thatd be a flag. I only know of Anubis’ existence and use of anime from hn.

It is only trusted by a small subset of people who are in the know. It is not about “anime bad” but that a large chunk of the population isnt into it for whatever reason.

I love anime but it can also be cringe. I find this cringe as it seems many others do too.
by defrost | 2025-08-21 04:51:51+00:00
I guessed this was the type of thing to which you referred.

The real question here, though, is where does the 6.5 billion pound number come from? Who is quoting it, what's their justification for that figure, and does that give a real and accurate account of any "drain" on the UK economy?

( eg: of that amount how much goes into the pockets of "illegal immigrants" and stays there (or is transferred out of the UK), how much goes into the pockets of UK shopkeepers and landlords and recirculates within the UK economy )

The big picture on economic flow activity really is important in these debates, the US is facing one cost of immigration enforcement being the loss of cheap labour in construction, hospitality, and agriculture, with knock on effects - these costs over and above the costs of funding a massive and unaccountable para military force.
by themafia | 2025-08-21 04:52:03+00:00
> always results in perceived offense.

If you think the company has contempt for you then you might try to see what they put new employees through. If you feel lucky just to be able to complete your transaction then you shouldn't have to wonder hard what it's like to feel lucky just to receive a paycheck without any notes or veiled corporate threats attached.

The gamification of society has reduced us all to cattle.
by TiredOfLife | 2025-08-21 04:52:08+00:00
>IntelliJ lost the plot at the inception of CLion etc. I was a customer for so many years. "One IDE to rule them all" and then they started cashing on more.

What are you talking about?

ReSharper came out 21 years ago 3 years after Intellij. RubyMine came out 15 years ago. 7 years before CLion.
by biztos | 2025-08-21 04:52:19+00:00
For me, it's always interesting to try out new editors, and I've been a little frustrated with Sublime lately.

Upsides of Zed (for me, I think):

* Built-in AI vibecodery, which I think is going to be an unavoidable part of the job very soon.

* More IDE features while still being primarily an Editor.

* Extensions in Rust (if I'm gonna suffer, might as well learn some Rust).

* Open source.

Downsides vs Sublime:

* Missing some languages I use.

* Business model, arguably, because $42M in VC "is what it is."
by abhaynayar | 2025-08-21 04:52:35+00:00
Could've been written better, and also, it is posed as something new and illuminating - that style too could've been changed. But kinda agree on the high points.

Just figure out what you want. That is your "goal". It does not need to be 1,2,5 years - can be anything. Things can change and are always in flux. Be open to changing both your goals and/or your daily habits. Change goals when you achieve or grow out of them, change habits when they aren't getting you closer to your goals or not helping you enjoy the journey.

Work backwards from your goals and break them down into something you can do as daily habits. The daily habits should have very STRICT success metrics in the direction of the goals' success metrics. If you do not have STRICT metrics for both the GOALs and the DAILY ACTIONs, you do not have good FEEDBACK.

If you do not have good FEEDBACK, you can spend a lot of time, even years - which I did, doing things that FEEL like you're working towards something with nothing to show at the end. There HAS to be a way to SHOW to yourself whether you are making progress or not. In too many things in life I have at times felt bad about my life not being a certain way, when I actually look at what I've done - like truly sit down and note things down, I realize my mind has been playing tricks on me - years of a lot of apparent struggle, but not much truly done - perhaps just a bit here and there.

I know there's many counter arguments to the STRICTness and GOAL setting nature of this way of living life. One counter argument is it's too rigid - but I like to think of it as chaos within constraints - btw you can tune the constraints to suit yourself. Another is once you reach a goal then what - I would say then another goal or just improving/maintaining that goal. Another one is Goodhart's Law - to which I say you will slowly learn to set good metrics and to use them as directional measures.

Despite all the problems with metrics and strictness, I think it is still the best way to go. Also I am personally against grandiose systems or too much complexity. I would say the core of it is just being AWARE. As long as you are AWARE of the inputs you're putting in and what outputs you'll get out of em I think it's fine to decide whether to do stuff or not. You can be lazy or free flowing or instinctual or whatever. (Your fast instincts could actually be very well aligned with your slow goals - though those kind of people are super rare I feel).
by AuthAuth | 2025-08-21 04:52:36+00:00
Geopolitics doesnt change because someone was mean. Its all about power and influence. Isreal is key for enacting and protecting American interests in the region. Whats happening in Palestine hurts in the short term but I think average people will forget about it in a year and the US foreign policy will be business as usual. Its brutal to think about but I cant see it going any other way, most of the people upset by whats going on had never heard about gaza before oct 7th.
by aidenn0 | 2025-08-21 04:53:07+00:00
I've seen the argument made that "when people talk and text, they don't use punctuation." This seems like nonsense to me, since when people talk they inflect in rather varied ways, and there is punctuation in texts every time the "send" button is hit. 2300 years ago, the Greeks didn't have punctuation, and they had to invent it!
by junon | 2025-08-21 04:53:08+00:00
This is definitely something I did when I was younger (DAGs and everything, sans Waffle House - maybe a Vietnamese restaurant named "Vietnamese Restaurant" before it burned down).

Also, normally this style of writing would annoy me but I found it very charming and fun, somehow.

These days, I think just visualizing what my "proudest self" in 5 years would be would be enough to help me sort of 'manifest' it without all of the excessive planning bits. The visualizing bit is kind of the hard part.

Given everything happening in the world at the moment the FUD has been strong the last few years making it nerve-racking to plan anything big.
by acossta | 2025-08-21 04:54:24+00:00
A hungry osprey drops its dinner on a power line and fries the grid. A Danish zoo politely asks people to donate their pet bunnies to be euthanized and fed to lions. A ballplayer gets traded during the seventh‑inning stretch and has to switch dugouts mid‑game. Somewhere in France, farmers are fighting van‑squatters with tractors and tanks of slurry, while over in Germany a driver manages 199 mph on the Autobahn on a stretch with a speed limit of 79 mph.

Then there’s the bear in Wisconsin walking around with a jar stuck on her head, wolves being deterred by drones blasting AC/DC and Marriage Story audio, and a scholarship that requires climbing six mountains instead of writing an essay. A Catholic parish even made up a Corvette‑raffle winner. If there’s a pattern here, it’s that reality occasionally feels like a Monty Python sketch.
by ChocolateGod | 2025-08-21 04:54:54+00:00
I have a S24 (flagship of 2024) and Anubis often takes 10-20 seconds to complete, that time is going to add up if more and more sites adopt it, leaning to a worse browsing experience and wasted battery life.

Meanwhile AI farms will just run their own nuclear reactors eventually and be unaffected.

I really don't understand why someone thought this was a good idea, even if well intentioned.
by cyphertechinc | 2025-08-21 04:55:25+00:00
For anyone getting started with local LLMs and prioritizing privacy, https://lite.askcyph.ai offers a lightweight, browser‑based way to try models like Gemma, Llama, Zephyr, Phi, and Mistral.

Everything runs client‑side in your browser (no install required) and includes simple document Q&A support, making it beginner‑friendly while keeping your data private.
by Brybry | 2025-08-21 04:56:03+00:00
I believe most consumer CPUs only have 2 memory channels w/ 1 memory controller so unless they're using 64GB UDIMMs (which I believe do exist as of this year) then gamers seem limited to 64GB total ram (2x32GB) unless they want to drop their ram frequency.

For example a 9950x3d officially supports 2 sticks at DDR5-5600 but 4 sticks at only DDR5-3600. [1]

I had a friend run into this issue on AM5 when he was trying to use 4x32GB DDR5 on his gaming PC.

[1] https://www.amd.com/en/products/processors/desktops/ryzen/90...
by jibal | 2025-08-21 04:56:18+00:00
https://github.com/ImperialCollegeLondon/FLT/blob/main/GENER...

"It will not be the original Wiles/Taylor-Wiles proof, but rather a "newer" proof which takes into account more recent developments due to Khare-Wintenberger, Kisin and many other people."
by AmVess | 2025-08-21 04:56:19+00:00
Trained cashier? The local Lowe's and HD have little old ladies running the checkouts. They can't even lift most of the things I am buying, and have to scan them myself.

Supermarkets usually have old slow people running them. The only time I don't use self checkout is when I have alcohol, and it is slower every single time than doing it myself.
by ekidd | 2025-08-21 04:57:04+00:00
It has been decades since I've seen an FSF CLA packet, but if I recall correctly, the FSF also made legally-binding promises back to the original copyright holder, promising to distribute the code under some kind of "free" (libre, not gratuit) license in the future. This would have allowed them to switch from GPL 2 to GPL 3, or even to an MIT license. But it wouldn't have allowed them to make the software proprietary.

But like I said, it has been decades since I've seen any of their paperwork, and memory is fallible.
by mhb | 2025-08-21 04:57:17+00:00
I don't really have a position other than it doesn't matter if everyone believes that global warming is occurring and that it was caused by our activities. Even if everyone thought that, I don't think they would be willing to take any kind of hit to their lifestyles to address it.

Are the people driving around in ridiculous giant SUVs and trucks and turning off the nuclear plants all not convinced that global warming is happening? I'm guessing they just think it will all work out somehow in the future.

But I hope you're right.
by dc396 | 2025-08-21 04:58:29+00:00
A few possible answers: inflation, cost to upgrade infrastructure to keep up with e.g., DDoS attacks, costs to deal with revised ICANN rules, etc. And/or greed.

A TLD is a bit more than simply a registry of domain names. For gTLDs, you might look at https://www.icann.org/resources/pages/gtld-2012-02-25-en
by strgcmc | 2025-08-21 04:58:31+00:00
As a manager, I am considering to enforce a rule on my team that -- no README in any repo should ever go stale ever again --> it should be near-trivial for every dev to ask Claude Code to read the existing README, read/interpret the code as it practically currently stands, read what's changed in the PR, then update the README as necessary. This does not mean Claude will be perfect or that engineers don't need to check that its summaries make sense (they do, and the human is always accountable for the changes at the end of the day); but this does mean that, the typical amount of laziness that we are all guilty of often, should not be eliminated as a reason as to why READMEs go stale.
by ethanwillis | 2025-08-21 04:58:49+00:00
It's a code editor so I think the geeky forums are relevant here.

Also, this post is higher on HN than the post about raising capital from Sequoia where many of the comments are about how negatively they view the raising of capital from VC.

The fact of the matter is that people want this and the inability of companies to monetize on that desire says nothing about whether the desire is large enough to "actually sustain" a product/company like Zed.
by ameliaquining | 2025-08-21 04:58:51+00:00
I'm surprised about the "What is my donation doing?" section, because my experience is that most nontechnical nonprofits suck at this too. (Unless they have a very specific "your $50 donation buys a family a cow"-type marketing model, but those tend to be pretty misleading: https://blog.givewell.org/2009/11/05/donor-illusions/)
by acossta | 2025-08-21 05:00:45+00:00
This feels like watching a storm from far off but the sky’s starting to crack. There’s a spike in login attempts hitting FortiGate VPNs and FortiManager consoles, and researchers reckon it’s not routine testing. Historically, when this kind of probing shows up, a zero-day drops within six weeks. If you’re running Fortinet gear, it might be time to lock down access, ramp up logging, and spin up your incident playbook.
by unethical_ban | 2025-08-21 05:01:20+00:00
I feel compelled to stick with GrapheneOS even though I install Play Services and meta apps.

I do miss several Samsung features. Most of all, the ability to set the Always-On Display to only show when new notifications pop up. It is easier to see at a glance that I have a message vs. squinting at how many faint lines are displayed to see the messages icon.

DeX is a novel concept too, and with Samsung you can do USB-C --> HDMI out to use your phone to play on a TV. It is a choice Google makes that Pixel can't do that.
by neilv | 2025-08-21 05:01:43+00:00
> To account for this influx of reviewers, Rotten Tomatoes has created a "Top Critic" designation reserved for established media outlets, such as The New York Times and The Atlantic. However, this label has no special bearing on a film's top-line Tomatometer score and is largely incorporated into ancillary aspects of the site.

Just last night, I noticed that I could access the two percentage scores for critic reviews.

If you go to "https://www.rottentomatoes.com/m/the_dilemma", and click on the critic reviews percentage (25%), you get a popup that lets you select between seeing the All Critics score (25%) and Top Critics score (28%).

(And if I'd thought to check Rotten Tomatoes first, when selecting what looked like a fun light comedy on Netflix, I wouldn't have wasted an hour of my life before I said WTF, checked RT, and continued to be in a bad mood.)

Incidentally, I'd love to have the Tomatometer score integrated into my UI for video streaming services. The services seem to instead like to use their own very generous scoring instead. (When they show any score at all. Some like to suppress the ratings for new shows they produced, presumably to avoid shooting down their own poor shows before people watch them by default.) But Rotten Tomatoes is a much better predictor of how I'll like a show than the streaming service scores are. But maybe the streaming services don't want to expose that the majority of the movies and series offered at any time now range from mediocre to outright bad.
by neerajsi | 2025-08-21 05:01:45+00:00
> mean, "not enough data" is an explanation why neural networks can't do a bunch of things... One of the things humans are really good at is learning things from a few examples

I dispute the search space problem for something like folding clothes. Like a lot of human actions in space, folding clothes and other motor tasks are hierarchical sequences of smaller tasks that are strung together, similar to a sentence or paragraph of text.

We can probably learn things from each other from few examples because we are leaning on a large library of subtasks that all have learned or which are innate, and the actual novel learning of sequencing and ordering is relatively small to get to the new reward.

I expect soon we'll get AIs that have part of their training be unsupervised rl in a physics simulation, if it's not being done already.
by jibal | 2025-08-21 05:01:55+00:00
Wiles' original proof was flawed. It wasn't due to "sloppy logic", it was a subtle misapplication of a theorem when the conditions for its use weren't met. It wasn't merely a mistake or gap in the exposition ... the error required finding a different approach and it took Wiles and Taylor a year to patch the proof.

There are multiple reasons for formalizing the proof in Lean ... see https://github.com/ImperialCollegeLondon/FLT/blob/main/GENER...

P.S. "So that patching is exactly what I’m referring to."

No, it isn't.

"The mathematicians can see the idea that’s true"

Mathematicians could not "see" that FLT was true, and they could not "see" that Wiles' original proof demonstrated it because it didn't. His original flawed proof showed how certain tools could be used, but it didn't establish the truth of FLT. There long had been speculation that it was undecidable, and it might still have been until Wiles and Taylor provided a correct proof.

From a previous comment by the same user: "The purpose of a proof is to show yourself and someone else why something is true."

The purpose of a proof of an assertion is to demonstrate that the assertion is true. Once that is done, the assertion can be treated as a theorem and other results can be built upon it.

The purpose for digitally formalizing a proof of a theorem that has already been accepted as proven by the mathematical community is multifold, as laid out at the link above.
by tbrockman | 2025-08-21 05:03:21+00:00
Also recently found it unnecessarily difficult to do profiling of page workers using Playwright's CDPSession wrapper (and they don't seem to have any plans to improve it: https://github.com/microsoft/playwright/issues/22992#issueco...), whereas it was pretty painless in Puppeteer.

So, definitely more useful if you care about more than just your main thread.
by thewebguyd | 2025-08-21 05:03:22+00:00
But not for photos, arguably one of the more important things to a lot of people to be E2EE, and not everyone wants to host their own Immich instance, or do things manually. iCloud offers E2EE photo back up and sync and native apps for it, it's a huge selling point that Google could just as easily offer but willingly choose not to.
Show HN: I Built this to repurpose YouTube Videos into posts to save time
by Nimish29 | 2025-08-21 05:04:13+00:00
So I watch a lot of educational YouTube videos for work. I'd always find myself wanting to share the good stuff with my network on LinkedIn or tweet about it.

But here's the thing that drove me crazy: I'd spend ages trying to summarize a 20-minute video into a decent post. Copy some quotes, try to capture the main points, format it nicely... and it would take me like 30 minutes just to write one post.

Then I started thinking - if this is painful for me as just a consumer, imagine how much worse it is for actual content creators and YouTubers + social media managers. They're making all this great content on YouTube but then have to spend hours manually converting it for LinkedIn, Twitter, etc. just to reach different audiences.

I figured there had to be a better way, so I built this thing called ThinkYT.

You just paste a YouTube URL and it turns into posts for different platforms. No more sitting there rewinding videos trying to get the exact quote or struggling to remember what the third point was.

What used to take me 30+ minutes now takes like 2 minutes.

I would love to hear your feedback!
by 16bitvoid | 2025-08-21 05:09:20+00:00
I think there's a middle ground between trying to follow a path you set for yourself and thoughtlessly wandering by gut feeling: set a direction you want to go, not a destination.

You'll find that it doesn't require much thought at decision points to choose the options (in aggregate) that push you in that direction. As they say, it's about the journey, not the destination.

With that said, it's still difficult because you have to learn to forego long term expectations and/or acquire discipline not to just "stay put" lest you fall back into the habit of stressing over end goals or the comfort of a stress coping loop (anime, video games, etc), respectively.
by numpad0 | 2025-08-21 05:09:30+00:00
Hasn't this been a common trope for past ~50 years? East Asian anything is at least within a few miles to American/European anything, but way cheaper thanks to USD dominance, and that situation renders non-Asian industrial fabrication pointless and unsustainable, and East Asian products win.

From Toyota cars to Sony TVs to TSMC chips to DJI drones. It's been that way for a while.
by pjmlp | 2025-08-21 05:10:22+00:00
In the sense that OpenGL and Vulkan are paper standards that OEMs might implement, whereas they tend to design their DirectX drivers alongside Microsoft, and then their OpenGL/Vulkan drivers are mostly an afterthought.

This is especially visible when buying random asian cards that aren't the reference designs from AMD and NVidia. Intel was never great regardless of the API.

Additionally we have the usual extension spaghetti, which is one thing that has beaten them here.

Require too many of them, and coding around their inexistence becomes like using yet another API, that is similar but not quite.
by jonwinstanley | 2025-08-21 05:10:52+00:00
It’s not yet guaranteed that Uber will kill off black cabs but who knows.

I read that all Uber rides are subsidised by the huge amount of investment they’ve received as they try to gain market share. Maybe at some point prices will return to similar to cabbies?

Also I find Uber to be sometimes manipulative, they regularly lie about how long it will take for your car to arrive and how surge pricing is enforced.

I’m not saying I don’t use Uber, I do, but I’m not certain Uber is definitely going to win long term.
by Feeble | 2025-08-21 05:12:05+00:00
I am very much in the same position right now. My dev team has introduced mandatory code reviews for every change and I can see their output plummeting. It also seems that most code reviews done are mostly syntax and code format related - noone actually seems to run the code or look at the actual logic if it makes sense.

I think its easy to add processes under the good intention of "making the code more robust and clean", but I never heard anyone discuss what is the cost of this process to the team's efficiency.
by kcrwfrd_ | 2025-08-21 05:12:47+00:00
Interesting

When they say iCloud passwords, do they mean

* iCloud passwords extension in chrome?

* safari?

* iOS safari?

iOS safari in particular seems to use native OS UI separate from the web page for password form auto completion, I would think it wouldn’t be susceptible?

And what about google chrome’s built in PW manager?