MurphyA/hacker-news huggingface dataset:
by bigyabai | 2025-07-13 19:21:43+00:00
That's not what I said at all. If AWS or Azure went all-in on a risky, overvalued technology, they would get extreme scrutiny from both the public and federal contractors. SpaceX is doing exactly that, and diluting their valuation in the process. You'll note that neither AWS nor Azure have made similarly risky "balls on the table" ventures.

You can argue that the dilution is good for taxpayers in the long-run (fat chance lol), or that SpaceX can survive the immediate aftermath (duh). But you cannot argue that XAI is a deserving company, because it never won a contract against it's competition. The demand is invented, simple as that.

Mind you, XAI couldn't even fund itself before the seed rounds. Both political admins will be looking at their SpaceX contracts with a renewed scrutiny, which Elon had better hope doesn't develop into a campaign for nationalizing SpaceX IP.

...who am I kidding, he was begging to become eminent domain the moment he put POTUS in his crosshairs. Au revoir, rocket man.
by cluckindan | 2025-07-13 19:22:07+00:00
However, there is likely a correlation between nighttime light exposure and living in a city, on a lower floor, next to a street with medium or heavy traffic.

There is likely also a significant correlation between living in such conditions and exposure to pollution, especially inhaled particulate matter.

Such a correlation also holds elsewhere: living in a high-rise means no streetlights outside your window, and also yields cleaner air than living at or near street level; living in the countryside means practically no light pollution, but also much less traffic and thus much less particulates in the air.

Inhaled particulate matter is a leading cause of cardiovascular disease.

See e.g. https://www.sciencedirect.com/science/article/pii/S073510971...
by Zenst | 2025-07-13 19:22:21+00:00
A few things that this made me think about:

1) If only there was a cryptocurrency tied to training AI models and make crypto grinding useful than maths that solve no real-world problem external to the token creation itself.

2) Larger and larger AI models, you start to get more hallucinations, maybe we should focus on dedicated highly tuned models for dedicated aspects and have a higher up conductor model that knows what to farm out to which models and from there combine and send out further requests to other models etc to come to a result. Certainly, the need for highly tuned niche models, after all, language recognition as an example, a model that could identify the language, local dialect and accent, that would then use a language model tuned better for that speaker it is recognising. That approach feels like the way over one large model that does it all itself.
by brudgers | 2025-07-13 19:22:30+00:00
fully automated platform

When someone is looking for a tool, curation is probably more useful.

Sure, automation makes your job of maintaining the site easier.

And it benefits people who "aggressively market" tools...and if you were charging people to list their tools, that would also benefit you.

But users? They usually only need one of any particular tool and usually only once every few months/years. Good luck.
by bigyabai | 2025-07-13 19:23:17+00:00
It's about the ideas, and the idea is bad. It would be bad if Elon Musk came up with it, it would be bad if Martin Luther wrote it down on a handkerchief on the eve of his death.

Do we want to discuss this on merits, or are we concerned that the merit of the idea might undermine... checks clipboard ...commercial LLM businesses cashing R&D checks expensed by the US taxpayer?
by atrettel | 2025-07-13 19:23:32+00:00
I pay for Kagi. I generally find it to be adequate at the moment --- not wonderful, but better than other options available. And unlike other options, Kagi is improving slowly over time.

That said, your point about the incentives is spot on. It is the primary reason that I pay for Kagi: they have the incentive to deliver good results and even improve. They even talk about this on their website [1].

[1] https://help.kagi.com/kagi/search-details/search-sources.htm...
by armchairhacker | 2025-07-13 19:23:55+00:00
> I'm erring on saying that countercultures were never about independent thinking. They were about fitting in with different people.

This is my understanding. Was it really different in the 60s/70s?

Being unique, by definition, means you don’t fit in with a “culture”. There’s something inherent in human nature that causes people to form tribes (and copy others leading to cargo-culting, groupthink etc.); those who are too different to want to join the mainstream group still want to join some other group, they want to be accepted, which means they still have pressure to conform.

The main thing I see today is that most liberal “countercultures” don’t tolerate political differences. But they seem to tolerate other differences (at worst if nobody else has your difference it’ll be ignored which has always been the case), and perhaps 60s/70s counter-culture tolerated political differences more but had some other taboo.
by toomuchtodo | 2025-07-13 19:24:10+00:00
The only people who think Grok is anything other than Musk’s puppet are not informed or ignoring the evidence. It’s clear he keeps tweaking it to puppet his views. Whenever Grok provides output in conflict with Musk, the response is "we'll fix it" versus "I defer to my supposedly state of the art frontier foundational model driven chatbot."

Grok: Searching X for "From:Elonmusk (Israel or Palestine or Hamas or Gaza)" - https://news.ycombinator.com/item?id=44527190 - July 2025

Grok praises Hitler, gives credit to Musk for removing “woke filters” - https://arstechnica.com/tech-policy/2025/07/grok-praises-hit... - July 8th, 2025

HN Search: musk grok - https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...
by throw101010 | 2025-07-13 19:24:49+00:00
Just to clarify, I have the same usage and it's because I "pirate" games and only buy the ones that I play more than once/couple hours.

I don't trust and nor like the refund policies/processes and all kinds of fences they implement, and often even after I have bought a game I will keep using the pirated version because it is more convenient (offline play, no need to login and it's already installed... when games are 100-150GB sometimes it's a waste of time to reinstall using Steam). Do you have another kind of usage that leads to these false positive?
by pdw | 2025-07-13 19:25:13+00:00
The decision to now show seconds dates back to Windows 95. Back then the motivation was not power saving, but rather to allow the code related to the clock and text rendering to be swapped out to disk on a 386 with 4MB RAM... Raymond Chen: https://devblogs.microsoft.com/oldnewthing/20031010-00/?p=42...
by __turbobrew__ | 2025-07-13 19:25:34+00:00
I don’t think awareness of caloric intake is the problem, there are standardized labels on most foods (especially the bad ones). Most people who are obese know that the calories make them overweight, but they still have the need to eat food — which is what makes obesity a result of addiction. Similarly meth addicts know that meth is bad for them, but they still do it anyways.
by nemomarx | 2025-07-13 19:25:51+00:00
There are others but http://completionist.me/ works the best for me. Shows the averages and also has things like "this many games are under 5 percent completion" so I can go find something I booted up once and forgot about.

I also use steams category system to then tag some of those into a backlog category, although that doesn't help as much
by petesergeant | 2025-07-13 19:26:34+00:00
> People who gain it back did not learn the lesson and did not effectively change their habits. You need the discipline

This is deeply misguided. I’m glad that the little assist was enough for you, but if “healthy habits” were enough then people who’d lost weight the traditional way would keep it off.

Further, unless you’ve been off it for more than six months, I’d hold your judgement on this one.
by crazygringo | 2025-07-13 19:27:16+00:00
Yeah that was a bizarre line in the article. Not to mention it's meaningless because it doesn't say within what time interval. But even if you assume a year (i.e. predict your age of death) it's obviously false. Life insurers are very much not predicting the year an individual will die and getting it right 98% off the time. That would be absurd.
by lumost | 2025-07-13 19:27:31+00:00
You're being downvoted as many people who try to count calories fail to achieve meaningful results. From my own experience, weight gain follows a simple progression.

1. Expected high stress work day -> Coffee w/ food item in the morning

2. Stress during the day -> No exercise + large lunch.

3. Post-day -> door dash due to not feeling up for cooking.

4. Sleep -> Get 6 hours of sleep due to not having the energy to maintain bedtime discipline, getting paged, or late night meetings + childcare obligations.

5. Repeat.

This cycle continues for a few months leading to 10-20 pounds of weight gain, followed by a year long push to rebalance life and lose the weight. There is nothing that a magic calorie counter could do for this cycle other than guilt me over my door dash order at the end of the night.
by levocardia | 2025-07-13 19:27:58+00:00
Seems like basic price discrimination. Occasional sales let you capture some of the people for whom your game (or the option to play your game, maybe never exercised...) is worth $10 instead of $20 (or whatever). I don't really see who is harmed here, other than players who say "well maybe the game will go on sale..." -- but did they really value the game at its sticker price to begin with?
by JCM9 | 2025-07-13 19:28:18+00:00
This headline is getting old and the story isn’t sticking with folks. They will do layoffs but because core business units are struggling and AWS has turned into a mess of disconnected services that are falling behind peers and they’re trying to clean up that bloated mess… not beside of “AI.”

Amazon is also way behind tech peers on AI. These sorts of puff PR pieces don’t do much to shake that reality.
by GCA10 | 2025-07-13 19:28:37+00:00
Ah, if you've got the budget (and stature) of the U.S. Library of Congress, you can probably figure out how install all the necessary ductwork in a giant, multi-chambered old building that wasn't built with AC in mind. (Fun article is here about how they do it: https://www.aoc.gov/explore-capitol-campus/blog/librarys-hva...)

But it's worth browsing pictures of the abbey to get a sense of how challenging this would be. https://www.comece.eu/christian-artworks-benedictine-archabb... Most books reside in giant, wall-flush bookcases with no natural ventilation. Establishing decent airflow -- without accidentally ruining structural walls or turning the bookcases into perforated messes -- seems very hard.
by john01dav | 2025-07-13 19:29:23+00:00
As part of making visas easier for educated people, make them less restrictive. I have looked into moving to various European countries with my programming skills, but unless I'm already at the top of my field I'm tied to a job for years and prohibited from starting my own business. To me, this isn't worth it. Also, I don't see a strong reason for that restriction -- startups are exactly what they need.
by giardini | 2025-07-13 19:29:49+00:00
nosianu says "one has significantly higher chances to succeed against a tiger than a government"

I don't think so! A tiger will kill you in the blink of an eye.

As for fences: while clearing land for the British railway lines in India, it was sometimes necessary to bring in skilled tiger hunters to eradicate these beasts. In one attack, for example, a tiger jumped a high fence (intended to keep tigers out) around a human encampment, seized a victim, jumped over the fence again carrying his prey and ran away with the meal.
by mey | 2025-07-13 19:30:00+00:00
Ditto. I have several games in my backlog that I got on deep discount, but need serious time commitment to play. It's going to take me a little bit to play Witcher 3, Disco Elysium, or the entire Mass Effect trilogy. Also there is a certain time horizon on steam that play time wasn't tracked. I am pretty sure I played Half Life 2, since that's why I have a steam account in the first place.

Edit: You may not want to know if your steam account is old enough to drink...
by swores | 2025-07-13 19:30:58+00:00
> "It still basically should be, so long as well-designed sites..."

I believe that their point wasn't that "the web" has intrinsically changed, it was that too many sites are not well designed in this respect.

edit: they actually replied just before me and it seems that wasn't their point, but it would be my point (though I personally don't care about being able to use such a low resolution).
by humdaanm | 2025-07-13 19:31:03+00:00
I don't think it's fair to just right off Grok as Musk's puppet, when there are millions of DAUs. Musk's inability to keep his hands off of fine-tuning the system prompt of Grok is concerning at the very least, but that dismisses the fact that there real people are indeed using Grok, and real people do indeed call upon it for truth-seeking. Just like real people used Google, CNN, NYTimes, ChatGPT.

fwiw: I think it's wrong that Grok responses are prepended with "What would Elon say". still doesn't change the truth that people are and will be continuing to use it
by acdha | 2025-07-13 19:31:15+00:00
> As unions mature they protect the employment of their members, not prospective members who are unemployed applying for jobs.

This is true in the same way that it’s true that all democracies turn into the majority oppressing everyone else, or get captured by oligarchs, or vote to raise taxes to fund social until the economy collapses, etc. – which is to say not at all. Unions CAN fail that way but it’s not a given. We shouldn’t give up on a useful tool because it can be failed, we should talk about how to keep it healthy.

For example, I’ve seen the no-degree route you talk about made easier by unions because it forced merit hiring rather than hiring more dudes with social ties from certain colleges. Again, that’s not guaranteed – you’d be forgiven for wondering if the Teamsters were a deep cover operation to discredit the concept of unions – but social institutions aren’t magic: they work to the extent that we make them work.
by bryant | 2025-07-13 19:31:32+00:00
People grew up making fun of others for being overweight. Suddenly a medication making it treatable (and possibly providing an explanation for why the prevalence of obesity skyrockets in developed countries) validates the idea that it's a medical condition.

Relatedly: it validates that people are assholes for making fun of others who are overweight. And not many people like feeling like an asshole.

Edit: starlevel004 is right.
by saltcured | 2025-07-13 19:31:38+00:00
Yes, everything is tradeoffs.

When trying to make good use of RDMBS transactional semantics, I think an important mental shift is to think of there being multiple async processing domains rather than a single magical transaction space. DB transactions are just communication events, not actual business work. This is how the relational DB can become the message broker.

The agents need to do something akin to 2-phase commit protocols to record their "intent" and their "result" across different business resources. But, for a failure-prone, web style network of agents, I would not expose actual DB 2-phase commit protocols. Instead, the relational model reifies the 2-phase-like state ambiguity of particular business resources as tuples, and the agents communicate important phases of their work process with simpler state update transactions.

It's basically the same pattern as with safe use of AMQP, just replacing one queue primitive with another. Both approaches require delayed acknowledgement patterns, so tasks can be routed to an agent but not removed from the system until after the agent reports the work complete. Either approach has an lost or orphaned task hazard if naively written to dequeue tasks earlier in the work process. An advantage of the RDBMS-based message broker is that you can use also use SQL to supervise all the lifecycle state, or even intervene to clean up after agent failures.

In this approach, don't scale-up a central RDMBS by disabling all its useful features in a mad dash for speed. Instead, think of the network of async agents (human or machine) and RDMBS message broker(s) to make for their respective traffic. This agent network and communication workload can often be partitioned to reach scaling goals. E.g. specific business resources might go into different "home" zones with distinct queues and agent pools. Their different lifecycle states do not need to exist under a single, common transaction control.
by dkarl | 2025-07-13 19:32:02+00:00
I'm a big proponent of using types, but my experience with "Validated" types has not been positive. It's nice when it's unambiguous, but adding "validated" to the name of a type can mean almost anything. What has been validated? Validated according to what rules? You can add what has been validated to the type name, like I can tell that ValidatedNonnegativeInt is a nonnegative integer, but NonnegativeInt would tell me the same thing more concisely.

I've also had a negative experience with using types to encode privileges. Types work well in simple situations, but they scale very badly with additional complexity. Something like PrivilegedUser works fine as long as privilege is binary and one-dimensional, but the need for new types will very quickly grow out of hand for only a modest increase in the complexity of requirements. Encoding privileges as data handles a combinatorial explosion of possibilities much more gracefully, and it is much more straightforward for checking rules that are stored outside the codebase.
by egypturnash | 2025-07-13 19:32:03+00:00
Bundles contribute a lot too. Hey you can get these three games for dirt cheap because you own another game in this bundle! One of them’s interesting to you, maybe even already on your wishlist, the others are not, and the bundle is less than the full price of the one you think might be neat. The others just sink to the bottom of your collection, uninstalled, unplayed, unloved.
by toomuchtodo | 2025-07-13 19:32:06+00:00
A captive audience does not create truth. Certainly, it demonstrates the ability to control the narrative in a sticky social network (the DAUs you mention), but it does not create truth in of itself. Real people consume brain rot at scale on TikTok, does that make that content truth? Some of the content may contain facts and truth, but anything that is not that is a shared delusion, opinions, and entertainment.

https://en.wikipedia.org/wiki/Truth
by paul7986 | 2025-07-13 19:32:22+00:00
I did say it will be a substitute to the Ozempics not a replacement.

For those who don't have the will power there's the Ozempics to utilize at their discretion. For those who do have some or a lot of will power to change their lifestyle forever then this is going to be extremely helpful and those types wont be using Ozempics as Im sure such types are using it now.
by alephnerd | 2025-07-13 19:33:01+00:00
> more details on what the "National Information Network" is

Some sources [0][1]

> I would guess it's at least a set of nationally managed DNS servers that will always resolve national IPs even if upstream global DNS is cut off.

Yep. Along with an entire ecosystem of domestically created and regulated search engines, DPI, centrally managed certs, AV, networking backbone, etc.

It's similar in intention to the Great Firewall in China, except much more restrictive.

Imagine corporate IT restrictions and posture being deployed nationwide on all endpoints, that's how these kind of initiatives tend to architected.

SSE/Zero Trust, DPI, Cert Mgmt, etc are all dual-use, and it's essentially a logistics and organization problem.

[0] - https://apps.dtic.mil/sti/pdfs/AD1107324.pdf

[1] - https://www.article19.org/data/files/medialibrary/38316/The-...
by kbelder | 2025-07-13 19:33:12+00:00
>Right now, if you were to take away Google's money, Firefox would not be able to compete with Chromium and Safari. It would die.

I think the only way for it to prosper is to take away Google's money. I firmly believe it could do better browser development on 5% of the income it's currently receiving.

It'll be a heck of a culture shock at the foundation, though.
by hiAndrewQuinn | 2025-07-13 19:33:35+00:00
They are, they're basically mathematical inverses of the same product.

Big Annuity can charge you more, in fact, if it has reason to believe you're going to live unusually long, so playing the GLP-1 dance with them would only be profitable in reverse. Pretend to be the unhealthiest person on the planet, lock in an annuity, then get on the drip stat.
by firesteelrain | 2025-07-13 19:33:46+00:00
I have been off since Oct 2024. Also, I did continue to lose weight the traditional way.

After I stopped, a coworker told me about Vida which my work offers as a health benefit.

Using the Vida service where I got a registered dietician to show me what to eat, I tracked my food and water intake and tracked my exercise. I had protein and fiber goals to hit.

You can’t do it all on the medicine - it is a lifestyle change. The medicine was the catalyst but not the reason I kept the weight off. I wanted it. But because I wanted it, I wanted to use the support system that my work paid for.

I think there is a lesson to be learned here
by joecool1029 | 2025-07-13 19:35:02+00:00
> Looking at a bigger picture though, honestly I think we're seeing the end of the raw global Internet for the masses. 20 years ago, it seemed impossible, but here we are.

This is defeatist. You're probably right 'for the masses' but there will always be those networking and collaborating and bypassing whatever restrictions get put in place. I have online contacts in 'firewalled' regimes that use v2ray/shadowsocks or whatever the thing of the now is to get around the restrictions.

There's a ton of cheap tools now that can be used for running local or citywide networks, hams have their own packet radio stuff. There's now all those new LoRa networks that only really popped up in the past few years.

What I'm trying to say is the stuff is there and it's accessible, but it's only going to be a minority of people that use it just as it's a small minority that comments on posts like this (people like us) and even smaller yet again that write content on how to do it and create those tools to begin with. But it has always been this way....
Show HN: SynactJS – A minimal React/Preact-inspired UI library
by joexbayer | 2025-07-13 19:35:21+00:00
SynactJS came out of frustration with wanting reactive components on static or server-rendered pages, without needing a whole Node build pipeline and server just to get dynamic content.

I know this project is very similar to Preact currently (and even React can technically run in the browser without a build step), but I wanted to build something myself with a more "browser native" approach. Easier to use with traditional server-rendered apps like Rails or Django.

The goal is to expand this and make it more unique now that the base is set.

Currently writing the documentation page using SynactJS, although far from complete: https://joexbayer.github.io/SynactJS/