MurphyA/hacker-news huggingface dataset:
by dakiol | 2025-08-03 13:08:35+00:00
It’s a bit trickier than that imho because Hard work doesn’t guarantee results either. And since, as you said, life isn’t fair, we are faced to… randomness. True story, working hard/intelligently does buy us some tickets to a decent life, but it’s not 100% jackpot. I know plenty of people that worked hard, they studied things that are not in demand, and so they are work in whatever they can with shitty salaries. I worked as hard as them, but studied (by luck I guess) something with demand (software engineering), and so I can afford some more niceties in life. And I know people who didn’t work as hard as others, and live a better life than many. So, it’s more complicated than “work hard”.
by ehnto | 2025-08-03 13:08:36+00:00
I was having a kernel panic on boot, I would work around it by loading the previous kernel. Turns out I had just ran out of space on my boot partition, but in my initial attemps to debug and fix I had gotten into a broken package state.

I handed it the reigns just out of morbid curiosity, and because I couldn't be bothered continuing for the night, but to my surprise (and with my guidance step by step) it did figure it all out. It found unused kernels, after uninstalling them didn't remove them, it deleted them with rm. It then helped resolve the broken package state and eventually I was back in a clean working state.

Importantly though, it did not know it hadn't actually cleaned up the boot partition initially. I had to insist that it had not in fact just freed up space, and that it would need to remove them.
by raincole | 2025-08-03 13:09:17+00:00
First of all the title is click-bait. Tokens are getting cheaper and cheaper. People just use more and more tokens.

And everything, I mean everything after the title is only a downhill:

> saying "this car is so much cheaper now!" while pointing at a 1995 honda civic misses the point. sure, that specific car is cheaper. but the 2025 toyota camry MSRPs at $30K.

Cars got cheaper. The only reason you don't feel it is trade barrier that stops BYD from flooding your local dealers.

> charge 10x the price point > $200/month when cursor charges $20. start with more buffer before the bleeding begins.

What does this even mean? The cheapest Cursor plan is $20, just like Claude Code. And the most expensive Cursor plan is $200, just like Claude Code. So clearly they're at the exact same price point.

> switch from opus ($75/m tokens) to sonnet ($15/m) when things get heavy. optimize with haiku for reading. like aws autoscaling, but for brains.

> they almost certainly built this behavior directly into the model weights, which is a paradigm shift we’ll probably see a lot more of

"I don't know how Claude built their models and I have no insider knowledge, but I have very strong opinions."

> 3. offload processing to user machines

What?

> ten. billion. tokens. that's 12,500 copies of war and peace. in a month.

Unironically quoting data from viberank leaderboard, which is just user-submitted number...

> it's that there is no flat subscription price that works in this new world.

The author doesn't know what throttling is...?

I've stopped reading here. I should've just closed the tab when I saw the first letter in each sentence isn't capitalized. This is so far the most glaring signal of slop. More than the overuse of em-dash and lists.
by handoflixue | 2025-08-03 13:09:24+00:00
Legal definitions vary country to country: I wouldn't be so quick to insist on some universal definition. I'm pretty sure you're wrong about US law there - docking someone's pay for "chatting" sounds extremely difficult to defend.

Besides, multi-tasking exists: sometimes I need to let my brain idle on another topic for 15 minutes, because I'm working through something complex, or just wrapped up a project and have a meeting.

Certainly, nowhere I've ever worked has tried enforcing anything like this. I've had plenty of co-workers who made a point of wandering over to socialize for 5-10 minutes every day, which must have easily added up to an hour a day - but they were also the expert that knew exactly where everyone was and who needed to coordinate with who.
by djhworld | 2025-08-03 13:10:00+00:00
Over the past year or two I've just been paying for the API access and using open source frontends like LibreChat to access these models.

This has been working great for the occasional use, I'd probably top up my account by $10 every few months. I figured the amount of tokens I use is vastly smaller than the packaged plans so it made sense to go with the cheaper, pay-as-you-go approach.

But since I've started dabbling in tooling like Claude Code, hoo-boy those tokens burn _fast_, like really fast. Yesterday I somehow burned through $5 of tokens in the space of about 15 minutes. I mean, sure, the Code tool is vastly different to asking an LLM about a certain topic, but I wasn't expecting such a huge leap, a lot of the token usage is masked from you I guess wrapped up in the ever increasing context + back/forth tool orchestration, but still
by actinium226 | 2025-08-03 13:10:02+00:00
It's cryptic until you sit down to learn it

tar xzvf <filename> -> "tar eXtract Zipped Verbose File <filename>"

tar czvf <filename> <files> -> "tar Compress Zipped Verbose File <filename> <files>"

So it's either x or c if you want to unzip a tar file or create one

Add z if the thing you're uncompressing ends in .gz, or if you want the thing you're creating to be compressed.

v is just if you want the filenames to be printed to stdout as they're extracted or imported

f tells it to read from or output to a file, as opposed to reading from stdin or output to stdout

Then your provide the filename to read from/export to, and if you're exporting you then provide the file list.

Not that hard.
by exe34 | 2025-08-03 13:10:34+00:00
By the time it works flawlessly, it won't be your career anymore, it'll be the product manager's. They will describe what they want and the AI will produce it. You won't be told to "use Claude all the time".

I personally hate coding, but it's a means to an end, and I care about the end. I'm also paranoid about code I don't understand, so I only rarely use AI and even then it's either for things I understand 100% or things that don't matter. But it would be silly to claim they don't produce working code, no matter what we want to call it.
by bluefirebrand | 2025-08-03 13:11:37+00:00
I am interested in improving the lives of the many people who cannot afford to be stockholders

The reason I'm interested in this is twofold

First, I think the current system is exploitative. I don't advocate for communism or anything, but the current system of extracting value from the lower class is disgusting

Second, they outnumber the successful people by a vast margin and I don't want them to have a reason to re-invent the guillotine
by byryan | 2025-08-03 13:12:34+00:00
Yea I agree it seems like (for my own team anyways), one group channel would work a lot better than a per person channel for everyone. I think some people may feel more likely to post, especially work related topics, in a group channel rather than starting solo threads in their own "ramblings" channel. One channel is also easier and "less work" to look through than n number of channels. This is very subjective though I guess, so I could be wrong.
by TrackerFF | 2025-08-03 13:13:36+00:00
I'm from Norway, and we have 25 days a year, which also comes out to 5 weeks. I had 7 extra day transferred from last year, so 32 days this year. This year was the first I took out 4 weeks of summer vacation, but usually 3 is enough for me. Travel is fun, but after 2-3 weeks of traveling I start to get a big exhausted, and want to focus on hobbies, house work, or similar stuff.

My routine has been: 1 week vacation during spring/Easter, 3 weeks in summer, 1 week fall or Christmas vacation.

On the other hand, I've also worked in other countries where there's much less focus on vacation. I like our balanced view very much.
by ehnto | 2025-08-03 13:13:55+00:00
Sometimes it's a bit too eager to mess around inside the containers, like when I ask it to understand some code sometimes it won't stop trying to run it inside the container in a myriad of ways that won't work.

It once did a container exec that piped the target file into the projects cli command runner, which did nothing, but gives you an example of the string of wacky ways it will insist on running code instead of just reading it.
by dakiol | 2025-08-03 13:14:53+00:00
I used to think like that too (because it seems like rational thinking and nobody around me could prove me wrong). But as I get older I start to think about the things I’m putting “aside” for when I have time when I’m retired. Doesn’t sound as good as before anymore. I still save for the future, but I don’t delay things anymore because I may not make it (accidents happen), or the people I love may not make it, or some other things can happen in between. You never know. So yeah, I’m trying not to put aside things for the future anymore, even if that means not saving as much as I could.
by germandiago | 2025-08-03 13:14:53+00:00
I embrace Modern C++, but slower than the committee, when the big three have the feature.

I really think reflection + annotations will give us the chance to have much better serialization and probably something more similar to Python decorators.

That will be plenty useful and it is going to transform a part of C++ ecosystem, for example I am thinking of editors that need to reflect on data structures or web frameworks such as Crow or Drogon, Database access libraries...
by nateburke | 2025-08-03 13:15:03+00:00
generalist = fungible?

In the food industry is it more profitable to sell whole cakes or just the sweetener?

The article makes a great point about replit and legacy ERP systems. The generative in generative AI will not replace storage, storage is where the margins live.

Unless the C in CRUD can eventually replace the R and U, with the D a no-op.
by senko | 2025-08-03 13:15:14+00:00
Insisting on flaunting English spelling rules (by not starting a sentence with a capital letter) in a think piece is a dead giveaway that the author thinks too highly of themselves, and results in me automatically discounting whatever they're saying.

If I (and billions others) can be bothered to learn your damn language so we can all communicate, do us a service and actually use it properly, FFS.
by bhasinanant | 2025-08-03 13:15:33+00:00
Bolt is my platform of choice to quickly prototype. In my experience, it generates coherent, beautiful frontends. That said, they've recently halved the daily free tokens. A token in Bolt's case is the literal LLM input/output token. Used to be 300K per day/3M per month. Now, it is 150K per day/1.5M per month. Once you are out of tokens, Bolt won't generate anything for you until more tokens(free or paid) become available. It is great tbh, but I can understand if it seems a bit too measly, but tokens especially from the frontier closed source models are pretty expensive though.
by layer8 | 2025-08-03 13:15:42+00:00
I’m not in the US, so that may be right. In my view this is more about how the employee feels about it: I don’t want to get into a dispute whether the half hour a day I spent on the rambling channel counts as work or not. For that it makes a significant difference if people use the channel to discuss their hobbies or whether they discuss work-related ideas. I also don’t want to miss the work-related topics just because I’m not interested in the hobby discussions.
by blinry | 2025-08-03 13:16:20+00:00
Gladly! Automerge on its own is just a library that makes local-first data structures possible.

Ethersync uses this library for a concrete purpose: Collaborating on local text files. We wrote editor plugins and a daemon that runs on your computer, to enable you to type in plaintext files/source code together, from the editors you already know.

Hope that clears things up a bit.
by turnsout | 2025-08-03 13:16:21+00:00
This is how (checks notes) everything has always worked.

In a large project such as introducing the first GUI for general use, you can't do everything yourself. If you're within a company, you hire people. You take inspiration from the outside. It's a team effort, and not the result of a lone genius.

That does not diminish what Jobs did. The Mac and the Lisa were underway before the Xerox PARC visit. The idea of mixed graphics and text were already out there as an ideal—it's pretty obvious if you think about it. Engelbart's demo was already legendary.

But as we all know, it's one thing for a technology to exist in a research lab, and quite another for it to be adopted by millions of people. That's where Jobs was actually exceptional. He was able to manage these massive projects with just the right compromises to take great technology and turn it into great products.
by franga2000 | 2025-08-03 13:17:04+00:00
We're not talking about driving risk per km, that's not what laws are here tp prevent. They're here to reduce the number of accidents, injuries, fatalities...

And you're the one who brought "anglosphere" into the mix. And specifically in the UK, there seems to also be a lower speed limit for trucks: https://www.gov.uk/speed-limits

You're the one rambling off topic. You're the one calling people names. You're the one everyone is flagging. Log off and take a look in the mirror, you might find that I'm not the one "completely disconnected"
by furyofantares | 2025-08-03 13:17:42+00:00
> claude code has had to roll back their original unlimited $200/mo tier this week

The article repeats this throughout but isn't it a straight lie? The plan was named 20x because it's 20x usage limits, it always had enforced 5 hour session limits, it always had (unenforced? soft?) 50 session per month limits.

It was limited, but not enough and very very probably still isn't, judging by my own usage. So I don't think the argument would even suffer from telling the truth.
by eric_cc | 2025-08-03 13:19:06+00:00
> Equinox EV roundly beats the Model Y head to head

The Y is the best vehicle I’ve ever owned. To me, it took over what the Prius used to be - the best overall vehicle for most people.

You don’t even mention FSD here, I assume strategically. That, to me, is the most important feature. Does Equinox or Ioniq even have FSD?
by Someone | 2025-08-03 13:19:23+00:00
> One of the projects came back with 'just flipping C++20 switch with no changes causes significant regression on build times

Given that C++20 introduced modules, which are intended to make builds faster, I think just flipping C++20 switch with no changes and checking build times should not be the end of checking whether C++20 is worth it for your setup.
by flohofwoe | 2025-08-03 13:19:45+00:00
You can access the DOM from WASM just fine, you just have to go through a JS shim because the DOM is a Javascript API (just like WebGL, WebGPU, WebAudio and any other API available in browsers).

In most DOM access libraries (like https://github.com/web-dom/web-dom) this Javascript shim exists but is completely invisible to the library user (e.g. it looks and feels as if WASM would have direct DOM access).

Why this topic is always brought up I really have no idea, at this point it feels like trolling attempts because from a technical point of view 'direct DOM access from WASM" simply doesn't make a lot of sense. Accessing web APIs from WASM is an FFI scenario, no matter how you look at it.
by MrGilbert | 2025-08-03 13:20:16+00:00
I'd argue it's not my job to "shield the team". It's my job to enable the team to question "dumb shit" and put them in a position where they can discuss these matters constructively with management (or whomever).

Also - I "deal" with underperformers because my team needs to deal with them. It all comes back to "what benefits the team".

I see that there are a lot of different varieties of agile coaches out there.
by ryao | 2025-08-03 13:20:29+00:00
The “whole word” approach had been used to successfully teach children in the past without phonetics and it worked. This avoids the downsides of phonetics. In any case, my earliest memories of learning English involved the “whole word” approach where my mother had taken me to the library to read books with such profound literary prose as “This is Spot. See Spot run.” after I had learned the alphabet. There was substantial repetition before I learned. It worked for me as far as bootstrapping went.

All of the phonetics material included in my elementary school’s curriculum had been detrimental overall in hindsight. There were many times teachers would tell me to sound words out, I would do it wrong and I was considered the one at fault. If I asked how to sound out words correctly, I would get a non-answer, such as “you just do it”. That is a form of sadism that no child should have to endure.

Thanks to the inclusion of elements of phonetics into elementary school’s English curricula, I remember one time being asked to identify the syllables in words. I asked what a syllable was. I would be told it was the smallest subdivision of a word and be given an example. Then I would identify that I could say a vowel from it (not knowing that was a vowel) so by the definition, the example was not a syllable and just told I was wrong. At no point was how anything actually worked explained. Of course, this would be touched on as if it were important, but then would not be used for anything in the rest of the year, which illustrated how useless knowing this was for English. I would not learn what a syllable was until college when I studied Latin, where it actually matters somewhat due to the stress accent that English also has in some form, but goes untaught in school. :/
by turnsout | 2025-08-03 13:21:37+00:00
Palm Pilots and Blackberrys existed before the iPhone, so why don't they exist anymore? Why are their founders historical side notes?

Because they didn't usher in the smartphone revolution. They just weren't good enough for the mass market. Palm was a great early start, but so was Apple's Newton.

So yes, the idea of a smartphone and some of the components existed before the iPhone, but nothing was "stolen." Jobs was the one who first crystalized the smartphone as we know it now. And yes, he used a team, because CEOs don't literally do all of the work of the company.
by rusk | 2025-08-03 13:21:52+00:00
Having built a NAS the actual build is only half the story. There’s a hole heap of nonsense you have to go through to tune the software. I ended up bailing and just buying a NAS. Just too many ticks and glitches.

There are good all-in-one software solutions for all this stuff (unraid comes to mind) and I really feel this kind of article is unfinished without going into that kind of thing.
by wulfstan | 2025-08-03 13:22:16+00:00
This is not one person complaining about another’s behaviour - these are two people who are alleging the same thing about the same person. Either a) they are colluding or b) this is a pattern of behaviour by the accused person that needed to be addressed.

Whether the way it was addressed was appropriate or not I don’t know. The person may have been warned about it and what we are reading about may have been the end of a lengthy process. Maybe, as the accused person alleges, this was an enormous unexpected surprise and they had no warning of it.

You’re entitled to your opinion about what has taken place in this situation.
by rwmj | 2025-08-03 13:22:31+00:00
Whether or not it's actual PeerTube, you're describing something that would have to work like PeerTube, since you can't do peer to peer video sharing without some people uploading, and so inevitably it's going to be DMCA'd out of existence as soon as Google find it.

(Note to self: Never wrestle with a pig ...)
by tphyahoo2 | 2025-08-03 13:22:32+00:00
"In constructive mathematics, proof by contradiction, while not universally rejected, is treated with caution and often replaced with direct or constructive proofs."

(gemini llm answer to google query: constructive math contradiction)

"Wiles proved the modularity theorem for semistable elliptic curves, from which Fermat’s last theorem follows using proof by contradiction."

https://en.wikipedia.org/wiki/Wiles%27s_proof_of_Fermat%27s_Last_Theorem

So, will the Lean formalization of FLT involve translation to a direct or constructive proof? It seems not, I gather the proof will rely on classical not constructive logic.

"3. Proof by Contradiction: The core of the formal proof involves assuming ¬Fermat_Last_Theorem and deriving a contradiction. This contradiction usually arises from building a mathematical structure (like an elliptic curve) based on the assumed solution and then demonstrating that this structure must possess contradictory properties, violating established theorems. 4. Formalizing Contradiction: The contradiction is formalized in Lean by deriving two conflicting statements, often denoted as Q and ¬Q, within the context of the assumed ¬Fermat_Last_Theorem. Since Lean adheres to classical logic, the existence of these conflicting statements implies that the initial assumption (¬Fermat_Last_Theorem) must be false."

(gemini llm answer to google query: Lean formalization of fermat's last theorem "proof by contradiction")
by ehnto | 2025-08-03 13:22:34+00:00
It does definitely seem to be, and stands to reason, that better developers get better results out of Claude et al.

You're on the right track in noticing you'll be missing valuable lessons, and this might rob you of better outcomes even with AI in the future. As it is a side project though keeping motivation is important too.

As well, you'll eventually learn those lessons through future work if you keep coding yourself. But if instead you lean more toward assistance it is hard to say if you would become as skilled in the raw skill of coding, and that might affect yoir abilityto wield AI to full effecf.

Having done a lot of work across many languages, including gdscript and C# for various games, I do think you'll learn a huge amount from doing the work yourself and such an opportunity is a bit more rare to come by in paid work.
by b112 | 2025-08-03 13:22:36+00:00
You should fear famine. The biggest issues with global warming or famine, are the wars they will cause.

If large prosperous nations cannot obtain food, that is, no one has food to sell, then those nations will take food.

At whatever cost.

If they do not, then such a nation will tear itself apart from within. The options are, take from others, or take from your fellow citizens.

This is the reality, and no amount of hope or wishful dreams will change that fact. People will not let their children starve.
by sjsdaiuasgdia | 2025-08-03 13:22:36+00:00
If we lose pedantry, we lose the spirit of HN.

I think there's also a lot to unpack in "support for this". What is 'this' precisely? Many of Trump's policies and actions get poor results in polls.

The die hard ride or die for Trump types that are fully on board with everything are definitely not half the country.
by sublinear | 2025-08-03 13:22:50+00:00
No thanks. One of the best parts of going remote is letting your work truly speak for itself to a much broader audience. This would have been impossible in person.

High performers usually have their own thing going on outside of work and don't need the workplace for socializing. This boosted a lot of careers, and otherwise made life way less toxic. Unless you're fresh out of college I can't see anyone wanting this again.
by schwartzworld | 2025-08-03 13:23:12+00:00
what you’re saying is on par as “kids can’t learn as well typing their work as they do with a pen and paper” or “video games bad”. I’m not saying I disagree with the idea that an AI can’t replace a real human connection, but it’s more complex than you state.

Loneliness is an umbrella term. You could have friends but be single and feel lonely. You can be married, surrounded by family and be lonely. It doesn’t necessarily mean the same thing as solitude, as many people are alone all day without feeling lonely.