MurphyA/hacker-news huggingface dataset:
by humdaanm | 2025-07-13 19:10:24+00:00
I believe the internet's search for a truth-seeking authority is about to come to a close, and the clear winner is GrokAI. There is a clear indication that a major populace of the internet's(read: X fka twitter) default action is to post a "@grok is this true" when faced with an uncertainty. I don't believe this will get any less pervasive. While I don't think this is a necessarily bad outcome, I don't know if I would like to call this a good one, just yet
Is making the rust compiler slow a billion dollar mistake?
by breatheoften | 2025-07-13 19:10:33+00:00
Just wondering if other folks feel growing dissatisfaction with the fact that the current leading modern system programming language does not include fast compilation as one of its fundamental design goals.

To me -- this seems like an obvious candidate for a future 'billion dollar' mistake retrospective essay.

How and why is it that 'support fast compilation' isn't a necessary pre-condition for any modern language hoping to achieve serious usage?

With rust in particular -- it seems like a whole lot of the slow compilation behaviors are not fundamental to any of the most important aspects of the language ...

Is there anyone out there who has tried to fork the rust ecosystem in a way which deliberately breaks compatibility in order to chart the simplest path to a fast, scaleable compilation strategy for the language and ecosystem?

I have a feeling that such an effort -- rust with some misfeatures removed, and with the package system simplified in order to speed up compilation would actually take off and be able to replace the current ecosystem relatively quickly ...
by tbrownaw | 2025-07-13 19:11:41+00:00
My library has quite a few games I haven't played, but most are from bundles that cost as much as or slightly less than the other bundle parts I actually did want. A couple are from friends posting keys from bundles, and then I got sidetracked by something before seeing if whatever game was actually as interesting as it sounded.

The only one I actually properly paid for and haven't played is Elden Ring. Because I got sidetracked for too long between buying it and finding out it wanted admin access (for some anti-cheat rootkit) to play at all rather than just to enable competitive online things I wasn't interested in. Which I didn't feel like doing on a machine that also had non-game stuff on it.
by leptons | 2025-07-13 19:11:55+00:00
>I find it fascinating that people will genuinely worry about this happening to them, despite it not happening

Trump very recently suggested he would revoke Rosie O'Donnell's US citizenship, a natural born US citizen, because of things she's said that's (rightly) critical of him. I have no doubt he will try to do it, and SCOTUS probably won't stop him. This is political retaliation, and it's absolutely abhorrent.

That's where we are. I have no doubt the "white vans" are coming for people who speak out against the tyranny this administration is foisting upon us. I have no doubt that this very comment may even be used against me someday, as ridiculous as that may sound to you right now.
by jrm4 | 2025-07-13 19:11:57+00:00
I'm not sure why you're being downvoted so hard, it's a good point.

I'm not thrilled with where we are and I'm very cautious, but as a Black man in America the net difference in my fear and concern over my own government/police right now, as opposed to e.g. during Biden or Obama, isn't huge.
by a022311 | 2025-07-13 19:12:06+00:00
Awesome work! I've been dreaming of this project myself with a very similar stack (basically React instead of Svelte), but I'm very excited to finally have a Raycast alternative for Linux that has both consistent UI and extension compatibility.

The most impressive part is probably your age, because this isn't an easy project even for senior devs!

I haven't tried it yet, but I can't wait to find some time for that.

I've researched applications like this for Linux quite extensively and I think you might find the following tips of interest: - For the slow extension startup issue you mentioned, consider Deno as a runtime as it has a better sandbox and is faster than Node overall. There may be some compatibility issues, but if I remember correctly most stuff is handled by the special Raycast extension libraries which you implement manually anyway. - I'd consider Numbat [0] for replacing the calculator implementation you have now. As far as I can tell, it should have feature parity with SoulverCore and it's also written in Rust, so interfacing with it should be much easier and won't require the FFI work you're doing now. - Project Gauntlet [1] is another project which has gotten quite close to implementing a full-featured Raycast alternative and might be worth taking inspiration from. It would certainly be very cool if you can make the UI rendering native at some point (although I guess Rust isn't perfect for native UI at the moment [2])

Keep up the good work!

[0]: https://github.com/sharkdp/numbat

[1]: https://github.com/project-gauntlet/gauntlet

[2]: https://areweguiyet.com/
by 1vuio0pswjnm7 | 2025-07-13 19:13:01+00:00
"Publish a version of Firefox with no sponsored content, no telemetry, no Google (by default), and ad-blocking built in. I wouldn't hesitate to pay.

If Mozilla doesn't do it, I fear someone else will."

Why fear; competition drives improvement

IMHO, need more non-commercial browsers; I use a 1.3MB (static) text-only one for printing large HTML files^1; there are not many choices for such programs

The author makes a strange but persistent assumption; payment will stop surveillance

Payment does not necessarily solve the issues of sponsored content, telemetry, Google partnership or ads (not to mention non-telemetry data collection and tracking)

It is possible to accept payment and still perform surveillance and advertising services

"Big Tech" is already doing this; e.g, stop ads/tracking in one context after payment, but still collect data, track and/or show ads in other contexts

What is more lucrative for the "browser developer"

(a) payment from trillion-dollar market cap companies serving the advertising industry, or

(b) donations from www browser users, or

(c) both

1. It bloats to 7.5MB (static) with OpenSSL; one of many reasons I use a TLS forward proxy

"Personally, I'd be ok with opt-in telemetry if the information was used solely within Mozilla for product development.

The red line for me is sharing of telemetry data with advertisers."

These so-called "tech" companies offer no such enforceable promises; the absence of enforceable (cf. non-binding) promises is intentional

How does this commenter know Mozilla does not share telemetry with its other partners, e.g., Google.

"Product development" is for the benefit of Google^2 and anyone else who leverages Mozilla's work.

2. Chrome's initial development was performed by former Mozilla developers who joined Google. The idea that Mozilla is "competing" with Google or offers some meaningful alternative is bonkers. Mozilla's work has direct benefits for Google. By all means, use Firefox and warn against Chrome. But spare us the illusions that this somehow impedes Chrome. The companies are business partners; they share data under agreement

IMHO, all these popular "modern" browsers suck.^3 Too large, too complicated and effectively outside the user's control. The developers maintaining them are paid with profits from selling advertising services, or search data in the case of Mozilla. The resulting software is designed with advertising and tracking in mind. That is why we see bizarre ideas, e.g., from Google, Apple, about how make data collection, advertising and tracking "acceptable".

3. This comment was submitted without using a browser. I'm using vim 4.6, hunspell, a couple of custom UNIX filters, a TCP client and a tiny 54-line shell script
by ASalazarMX | 2025-07-13 19:13:02+00:00
Correlates with my experience. Sometimes sales are so attractive you buy several games for cheap, or even an entire franchise, but playing them all can take enough time that another sale comes again. Red Dead Redemption 2 has been collecting digital dust in my library because I'm still playing Fallout 76. I stopped buying more because it feels wrong.
by guenthert | 2025-07-13 19:13:20+00:00
> Like, is behavior when running a script in "interpreter" mode guaranteed to be the same as when running in "native compiled code"?

The ANSI Common Lisp standard applies to all compliant implementation, regardless of whether they interpret or compile the language. In earlier Lisps there might have been a difference, in Common Lisp that would be a bug.

> At what point does the compiler create an intermediate representation?

??? Are you referring to macro-expansion time?

> Why does SBCL not use LLVM?

Other than for historic reasons, why would it?

> At what point are #-starting words(read macros?) evaluated and how is that different from interpreting to compiling

You're answering your own question. Read macros are evaluated at read time.

I'm not sure whether those questions are really all that relevant to someone just starting to learn the language.

Practical Common Lisp is a fine starting point and Common Lisp The Language (2nd edition) will keep you busy for a looong time.
by oefrha | 2025-07-13 19:13:31+00:00
Same. My library is probably >70% unplayed because of that, but in terms of money spent I’d say the number becomes <10%. And in general people are more likely to impulse buy on discount, especially deep discount. So I won’t count on making most of the revenue from unplayed sales (plus the provided stat is average 32.7% unplayed, median 51.7% unplayed, that’s not “most” anyway).
by bombcar | 2025-07-13 19:15:31+00:00
The real reason cracktorio can do no sale is the same reason Minecrack can be basically no sale (same price forever) - it’s an evergreen game people will always buy at a low roar.

Most games are like DVDs or books, they frontload 90% of their total revenue in the first few months, and so sales are a way to squeeze a bit more juice out later.
by jrm4 | 2025-07-13 19:15:45+00:00
Yeah, always thought this was incredibly short-sighted.

You have an orders-of-magnitude smaller non-profit-ish thing going toe to toe with THREE of the hugest and most powerful companies to ever exist -- and generally holding their own for freedom.

It's good to be critical and influence, they do make bad decisions sometimes.

But COME ON, given what they're up against, most of the time I want y'all to just shut up and keep giving them money.
by fileeditview | 2025-07-13 19:15:46+00:00
I don't know.. maybe if you cannot control your impulses..

For me Steam sales are great. I have things in the wish list and when the sale is good I might buy it. I always check if it's a good sale on SteamDB.

I usually play these games but most of the time not for long. That's why I don't want to put in the full price.
by maxlybbert | 2025-07-13 19:15:51+00:00
I honestly didn't mean any condescension.

Years ago, I read a roleplaying book ( https://en.wikipedia.org/wiki/Orkworld ) that had a throwaway comment that many ancient civilizations had decent medical care for injuries, but good care for disease was much less common. Ancient Romans, Egyptians, Chinese, Mayans, and others mastered various forms of surgery. They even recognized that some materials (such as silver staples) were better for closing wounds because they would be less likely to get infected.

But disease was always much harder to understand. It's usually hard to tell if somebody got better because of treatment, or because they were just going to get better ( https://en.wikipedia.org/wiki/Royal_touch ), and (sadly) if everybody got the same treatment, it wasn't always obvious when the treatment killed people ( https://www.mountvernon.org/library/digitalhistory/digital-e... : George Washington died because he received drastic treatment for a sore throat; including having a doctor remove about half of the blood in his body. People at the time didn't realize that the treatment was the problem, they just believed that sore throats were incredibly dangerous ("George Washington then called for Tobias Lear. Lear recorded that Washington told him, '... I believed from the first that the disorder would prove fatal'")).

I honestly once thought it would be cool to have a TV series based on the Knights Hospitallers, but realized they’d just be bleeding people in every episode (different time period, same idea: https://smbc-comics.com/comic/chirugeon ). Our understanding of germs is very recent. The 1896 book “The Chemistry of Cookery” ( https://www.gutenberg.org/ebooks/53458 ) says “I should add that this germ theory of disease is disputed by some who maintain that the source of the diseases attributed to such microbia is chemical poison, the microbia (i.e. little living things) are merely accidental, or creatures fed on the disease-producing poison.” That is, even at the end of the 1800s, whether bacteria caused illness was still disputed.

During the black death, the people did the best they could with the knowledge they had. But we can do better with the knowledge we have, and that's easy to prove based on comparing modern recovery rates to what they were in Europe in the 1300s. It would be depressing if medical science hadn’t improved in the last 700 years.
by paul7986 | 2025-07-13 19:16:08+00:00
I believe AI along with smart glasses that shows and calculates your daily caloric intake will be a SUBSTITUTE (another option) to the Ozempics.

With AI glasses doing this automatically for you upon seeing what your eating without u having to do anything some people may be shocked to learn how many calories they consume daily.

Currently, it's too time consuming now for the majority to do (i use GPT via texting it or talking to it to keep track as I eat out daily at healthy chains) but if it was done automagically I believe it definitely would be a substitute to Ozempic. I bet some or more would use that easily captured data that's shown to them (in the glasses or on their mobile device) to strive, make and possibly compete with their friends/family to eat less calories and carry less weight on them (be healthier). You can train your body to eat less to a lot less and for some that would definitely help them shed weight. The glasses could as well deduct calories burned from your daily walk, jog, etc.

*Being downvoted hmmm do you think AI by seeing it can't via an image calculate the calories of a burrito bought from Chipolte and other chains? All chains have nutrition information on their websites now that GPT goes and fetches. As for home cooked prepared meals I have taken pics of my food via GPT and it seemed to come close.
by notatoad | 2025-07-13 19:16:35+00:00
>Let’s say you started a date lib right now that would take random strings and do its best.

why would you do that? that's a bad idea, and no matter what implementation you choose you will end up with some silly compromises like javascript has in it's date constructor. javascript's default choices are probably no better or worse than whatever choices you would make.

if you're writing a date parser, the first thing you should do is come up with a better definition than "take random strings and do your best" unless you're putting an LLM behind it.
by lerno | 2025-07-13 19:17:15+00:00
> So the issue is clearly not solved.

You can use --sanitize=address to get this today, or use the Vmem-based temp allocator (which is only in the 0.7.4 prerelease and only for 64 bit POSIX) if you're curious how it feels and works in practice.

> I can see multiple issues with this:

There is a constant trade-off, and being as safe as possible is obviously great, but there is also the question of performance.

The context matters though, it's a C-like language, an evolution of C. So it doesn't try to be a completely new language with new semantics, and that creates a lot of constraints.

The "safe-C" C-dialects usually add a lot of additional annotations that doesn't seem particularly palatable to most developers.

> Am I still misreading the title if I read it as "C3 solves the same issues that the borrow checker solves"?

Yes I am afraid you do. But that's my fault (since I suggested the title, even though I didn't write the article), and not yours.
by collingreen | 2025-07-13 19:17:15+00:00
Isn't that an argument against any piece of ethics? Am I missing something or are you arguing that gaining an advantage by being a bad actor means you shouldn't be a good actor because then you'd be at a disadvantage?

I get that I am making a general statement from your original narrow scope so correct me if I'm wrong that you mean THIS bad thing is fine but other bad things are still bad.
by stevenicr | 2025-07-13 19:17:35+00:00
Some years ago I gifted a Kano system. https://www.tomshardware.com/reviews/kano-computer-kit-touch...

that felt like that spirit.

This was great at the time, I feel it should of come with a 'computing partner doc' like a piece of paper with how to backup and restore with a second sd card, and links to stuff about censorware and what people think about certain places attached to the internet..

I saw one of these at a pawnshop with a $250 price tag and I think a chrome book can be had for less.

not sure what the current availability and pricing of PI type things are these days - but the kano kit was a perfect fit at the right time back then.
by nullorempty | 2025-07-13 19:17:55+00:00
> We will need fewer people doing some of the jobs that are being done today, and more people doing other types of jobs.

What he hopes for is to just reduce the number of people they employ. So the "more people doing other types of jobs" just makes the message more palatable.

Suppose all companies follow the suite who is going to buy their crap?
by janalsncm | 2025-07-13 19:18:17+00:00
One detail the OP glosses over is the increasing costs of RL as the sequence length increases. If we’re just reasoning through an simple arithmetic problem, it’s a pretty manageable number of reasoning tokens and answer tokens.

For a complete piece of software the answer might be 10 million tokens, and that doesn’t even count the reasoning.

Now imagine that there was a mistake at some point. The model will need to go back to fix it, and understand the cascade of things the bugfix changed. It might be possible to keep that all in the context window but that seems like it won’t scale.
by Sophira | 2025-07-13 19:18:42+00:00
I'm no lawyer, but my take on it is that by reproducing this particular value for the validation header, you are stating that you are the Chrome browser. It's likely that this has been implemented in such a way that other browsers could use it too if they so choose; the expected contents of the copyright header can then change depending on what you have in the validation header.

To me, it seems likely that the spec is for a legally defensible User-Agent header.
by dragonwriter | 2025-07-13 19:18:43+00:00
> For example, my insurance covers flu shots in my community every year because it's presumably less expensive to pay for the shots compared to the increased rate of hospitalization that the flu causes.

In the US, insurance companies are generally legally mandated to cover ACIP recommended vaccines at no cost to the insured, which includes flu vaccines for everyone six months or older without contraindications.
by hiAndrewQuinn | 2025-07-13 19:19:15+00:00
So... There's a miracle drug powerful enough to robustly lower people's all cause mortality, but since health insurance and life insurance are industries with vastly different time preferences, this is not a good thing for the life insurers because people just keep getting off the magic longevity drug and screwing up their predictions. Because, admittedly, it kind of sucks in the moment to be on.

And I'm guessing just based on my own experience paying for term life that the actual premia differences aren't actually enough in most cases for the life insurer to simply pay out of pocket themselves; the differences probably add up to a few hundred per year per customer, whereas a year's worth of a GLP-1 agonist probably costs a couple thousand (for now, in 2025, and probably dropping rapidly).

Huh. Second order implementation details aside, this is an extremely fortunate turn of events for us.
by perching_aix | 2025-07-13 19:19:19+00:00
The attention drain is sadly pretty much unmeasurable properly, as it's a subjective thing.

I'm one of those freaks who have this on and I honestly like it a lot. It gives me a feeling of certainty, grounding, and precision.

Primary driver for turning it on was their redesign of the clock flyout to be, uhh, nonexistent with Windows 11, which I'd previously use on demand for seconds information. I was also worried about this being a nonsolution and a distraction initially, but it ended up being fine.
by myaccountonhn | 2025-07-13 19:19:20+00:00
I think people like me do register on the radar, see platforms like substack, kagi, bandcamp or patreon to mention a few. Linux is more popular than ever and keeps slowly growing.

It won't happen overnight, but there are now viable businesses out there with non-ad business models. Yes they're not as large as Google, but I don't think they need to be either.
by ashdksnndck | 2025-07-13 19:19:56+00:00
If I understand the story, sounds like you got prosecuted for assault with a hate crime enhancement.

What do you think happens in the Dominican Republic if you call a cop that? It says more about you and the US that you thought you’d get away with it. I doubt there is any country in the world where personally offending a cop like that might not result in the cop abusing their power over you.
by firesteelrain | 2025-07-13 19:20:05+00:00
I was on Mounjaro for two months. I was also dieting and walking 10k steps a day. I lost 25 lb and my A1C went down to 5.0 from 5.7. All my cholesterol numbers were in range. I stopped taking it and lost 25 more. I haven’t regained the weight. People who gain it back did not learn the lesson and did not effectively change their habits. You need the discipline - and a good support system. But if you don’t have that and continue old habits then you will gain weight back. The original problem isn’t solved.
by dmortin | 2025-07-13 19:20:15+00:00
> but unless you're deeply, deeply into repetitive religious tracts of 600 years ago, most of the collection is more of a curiosity than a valuable resource to modern scholars.

It's an abbey, so they are probably into religious tracts and it has cultural and sentimental value to them. E.g. if it has a Bible from the 13th century then it's worth preserving even if it's just the usual stuff.
by joecool1029 | 2025-07-13 19:21:29+00:00
Synapse sucks to run and it doesn't minimize metadata collection. It's not a great choice unless you're running it outside the country where they can't seize the server (but then you have all the problems of not being able to access it when the country is cut off from the rest of the world). It's a pig on resources which means it has to be run on hardware that can handle it, barely runs on SBC's.

Other stuff is weird in their post and suggests they are speaking for Iranians without actually knowing any online. I know a few from the Cellmapper community and SMS is very much not expensive. 1000 SMS costs around 0.03USD worst case: https://irancell.ir/en/p/3771/tariffs-and-voice-packages-en

Finally it's not really that Starlink uses proprietary encryption that's special. They can use any sort of common encryption standard and there's not much Iran can do but locate and seize the terminal since they don't have the keys to it. I imagine at some point they were start looking for signal emissions in known Starlink bands and use that to locate terminals. Allegedly Russia has a detection system 'Kalinka' already built: https://www.space.com/space-exploration/tech/russia-and-chin...