MurphyA/hacker-news huggingface dataset:
by atoav | 2025-08-23 10:50:16+00:00
> It's not clear to me if the study is isolating the variable they're measuring properly.

> Surely there's a "control" shipping lane somewhere that was cleaner to begin with or never cleaned up.

As mentioned in the first paragraph of the article they are using the Global Lightning Detection Network, which is well, global. Then you just need a map of SO2 concentration and compare shipping lanes against non-shipping lanes. You don't need an explicit control group if your data includes the whole planet, since you can just compare shipping lanes against similar areas with less/no shipping. Since both lightning and SO2 also varies over time you can also correlate this way with enough data.
by emaro | 2025-08-23 10:50:19+00:00
Grant's work with 3blue1brown and Manim is simply amazing. The quality of the videos is so high, not the least thanks to the visualizations. Not an easy task given the abstract nature of the topic.

It's linked in the readme, but I want to highlight the demo video [0], where Grant explains how he works with Manim.

[0] https://www.youtube.com/watch?v=rbu7Zu5X1zI
by evilmonkey19 | 2025-08-23 10:50:24+00:00
I love this project and I've been reading kixelated blog from time to time. I also follow him on Github.

First of all, congrats for such nice work both kixelated and Cloudflare. I have a question regarding live-streaming. Usually live-streaming is seen but hundreds or thousands of people at the same time. Are there any idea to implement/possibility to use multicast with MoQ? The issue before was that TCP was used for HTTP/1.1 and HTTP/2, but now using UDP for HTTP/3 seems like a feasible idea. I would like to hear your thoughts on that. I know folks at Akamai and BBC were working on this.
by rf15 | 2025-08-23 10:50:28+00:00
Looking at your code, I don't think you understand any of the regular DB requirements, let alone how to implement a vector database that is actually fast. Because, let me tell you: this isn't it.

Please get more experience and use AI less. It's not a good look, and if it's vibe coded it's not your code anyway, it's just you asking somebody else to do it (at best). You don't want to be an expert in asking others to do your work.

Best of luck on your turn around.
by donalhunt | 2025-08-23 10:51:26+00:00
From personal experience strength training has been key to recovering from injuries (caused by doing stupid things, not exercise itself). So maybe the correlation between exercise and pain is incorrect? The exercise is the cure to the pain...

https://www.researchsquare.com/article/rs-5753318/v1 (pre-print) seems to provide a strong argument for strength training being beneficial. My search was not thorough so likely more studies out there.
by Ygg2 | 2025-08-23 10:51:47+00:00
> People state these things about Rust's own implementation (or one of the other gazillion safe langs) potentially not being safe all the time

Because it's technically true. The best kind of true!

Sorry, I meant to say the opposite of truth. Neither Rust nor Ada.Spark, which use LLVM as a backend, can prove via that they are correct if LLVM has bugs.

In the same way, I can't guarantee tomorrow I won't be killed by a rogue planet hitting Earth at 0.3c. So I should probably start gambling and doing coke, because we might be killed tomorrow.

> Every single project needs to "fix" the same kind of safety issues over and over again

I doubt that's the biggest problem. Each of the unsafe libraries in C/C++/Zig can be perfectly safe given invariants X and Y, respectively. What happens if you have two (or more) libraries with subtly non-compatible invariants? You get non-composable libraries. You end up with the reverse problem of the NPM world.
by nathan_compton | 2025-08-23 10:51:50+00:00
Doesn't it seem like the opposite to you? Since this is one of the most streamed songs of all time AND most kids have not "[left their] fuckin' show in a cop car" it seems that the causal power of media is small, which is pretty consistent with the literature on the subject.

The vast, vast majority of people understand the difference between media and real life. I mean I wouldn't go so far as to suggest that Post Malone is "good," either "morally" or aesthetically, but I don't think there is a strong case for lyrics, tv, or video games having a strong effect on violent behavior. But if it were the case it would be good to identify it accurately. There is plenty of violent "rock" music too, after all. The Columbine shooters weren't listening to hip hop.
by pxc | 2025-08-23 10:52:51+00:00
> Programs should ship as many of their dependencies as is technically feasible.

Shipping in a container just is "ship[ping] as many [...] dependencies as is technically feasible". It's "all of them except the kernel". The "barest minimum of libraries" is none.

Someone who's using Docker is already doing what you're describing anyway. So why are you scolding them as if they aren't?
by adwn | 2025-08-23 10:53:49+00:00
> […] Zig was still using the bootstrap compiler written in C++ that would not free memory […]

That sounds strange. Modern C++ requires very little manual memory management, at least when you're writing something high-level like a compiler. C++11 had been out for years when development on Zig started. Were they writing C++ old-school as C-with-classes and malloc() everywhere? Why not use a more appropriate language for the first prototype of a compiler for a brand new language?
by kelnos | 2025-08-23 10:54:35+00:00
> I have never understood libraries or imterfaces that want me to allocate buffers for their type.

That doesn't seem that odd to me. It's a trade off: more flexibility, but more manual work. Maybe I have a buffer that I've allocated that I'm not using anymore (say I have a buffer pool) and want to use it again. If the type allocates its own behind the scenes, I can't do that. Or maybe I'm working in an environment where I need to statically allocate all of my resources up-front, and can't allocate later.

The big downside is that if 90% of people are just going to allocate a buffer and pass it in, it sucks that 90% of people need to do more work and understand more minutiae when only 10% of the people actually need to. The holy grail is to give lots of flexibility, but make the simple/common case easy.

A simple improvement to this interface might be to allow the caller to pass a zero-length buffer (or Zig's version of null), and then the type will allocate its own buffer. Of course, there's still a documentation burden so people know they can do that. Another option could be to have second constructor function that takes no buffer arguments at all, which allocates the buffers and passes them to the fully-flexible constructor function.
by koolba | 2025-08-23 10:54:51+00:00
> We know from one study that people who played tennis a few times per week lived roughly 10 years longer than average. So we'll use that value going forward.

There has to be some incredible correlation between having the time and money to play tennis “a few times per week” and being significantly wealthier than the average person. And being wealthy is clearly the healthiest thing you can do.
Show HN: Header-only GIF decoder in pure C – no malloc, easy to use
by Forgret | 2025-08-23 10:55:14+00:00
I built a lightweight GIF decoder in pure C, ideal for embedded or performance-critical environments. It’s header-only, zero dynamic memory allocations, and fully platform-independent. Supports both static and animated GIFs, with turbo and safe decoding modes. Works great on microcontrollers, IoT devices, and anything with a framebuffer. Would love feedback or ideas where this could be useful.

GitHub: https://github.com/Ferki-git-creator/TurboStitchGIF-HeaderOn...
by ceejayoz | 2025-08-23 10:56:17+00:00
They'd have to be much, much higher (and much, much less fickle - we've already had a bunch of pauses and revisions and random changes so far) for that to really work.

10-100% tariffs on Chinese-made goods still means those Chinese-made goods are dramatically cheaper than made-in-the-USA versions in most cases.
by koevet | 2025-08-23 10:57:11+00:00
It’s funny, the very first thing you see when visiting mailbox.org is their heavy push of the "German quality" mantra, like it's 1999.

After living seven years in Germany, I can confidently say that when it comes to anything digital, “quality” is the last word I would use.

I certainly wouldn’t trust this company with my data.
by simonask | 2025-08-23 10:57:49+00:00
I mean, there's no winning here. Either the language is too complex and does too many things, or it's not complex enough and relegates fundamental things to the standard library.

I don't thing there is any substantial difference between `Option<Thing>` and `@Nullable Thing` or `Thing | null`, I don't think there's anything wrong with choosing `::` over `.` for namespace resolution (it means you can have local variables with the same name as a module), and you have to have some way to declare generic parameters.

Rust generally does not allocate behind your back, but custom allocators is a work in progress. The reason it takes time is precisely that they want to avoid the mistakes of C++. A couple of mistakes were already avoided - for example, async/await in Rust does not allocate behind your back, while C++ coroutines do.
by ho_schi | 2025-08-23 10:57:54+00:00
My X220 from 2012 also runs fine. I use now use a X13 because AMD Zen3+ is faster and provides much more battery runtime. The magnesium chassis and the crisp keyboard are awesome.

This stuff last long:

* Build quality, regarding chassis and screws. * Replacement parts are available. Hardware maintenance manual is available. A broken palm rest is something fixable. * Handle it with care.

Most people don’t care about the cheap consumer laptops. Neither the manufacturer nor the consumer. Windows degrades quickly through updates, software bloat (e.g. Electron) and anti-virus snakeoil makes everything slow and unreliable.

The biggest issue of ThinkPads is that the L-Series can be purchased (same hardware, bad chassis) and that bad panels can be ordered. Recently Lenovo removed the HiDPI panel option from the X13. Which is the worst possible idea. Another dumb idea is the ugly and useless camera bump protruding from the panel.

Apple takes always a lot money from and prevents these mistakes. But Apple loves to deliver bad keyboards. And the aluminium chassis is bad in comparison to magnesium chassis (much better feeling, never hot or cold).

Avoidable mistakes. None of these are hard challenges. As the biggest mistake “six rows keyboards”. The complete industry ruined laptop with 16:9 and after a decade we’re allowed to enjoy the much better 16:10 again. The keyboards are still small, squeezed things with awkwardly grouped keys. The X220 keyboard is a masterpiece in layout.
by s_dev | 2025-08-23 10:57:55+00:00
I would say it's a rural item. Plenty of farming households across the British and Irish isles would have them. Not all farmers are not wealthy nor come from old money.

You would throw wet laundry on top of them either and overnight they would dry. They have multiple purposes but ultimately a source of heat that is effcient for long grey wet winters presented by the Atlantic temperate climate.
by chaostheory | 2025-08-23 10:59:30+00:00
If you’re struggling with exercise and with getting it into a routine, I can’t recommend standalone, wireless VR enough. It was fun and engaging enough to keep me coming back without feeling that I was doing a boring chore, and nearly every game has you moving, with the exception of the flying and driving sims.

Imagine fighting ninjas and dodging bullets as your workout. You can literally get that and more with VR.

It was my gateway back into fitness.
by troupo | 2025-08-23 11:00:58+00:00
> You’re now presenting removing XSLT not having received due discussion as if it were the same thing. It’s not.

It is.

Large complex spec with a potentially large attack service, but which is still in use (even though small use, but not enough to justify removal according to very same browser vendors who are not Google, and according to Google's own document)?

> then you should be glad that they had lengthy discussions beforehand

I'm not glad, because Google shipped them regardless of any concerns from any of the other browser vendors.

Oh, they also shipped large currently unused specs without even providing a spec for other browsers to look at (looking at WebTransport). Imagine if that had any CVE entries https://nvd.nist.gov/vuln/detail/CVE-2024-7255 https://nvd.nist.gov/vuln/detail/CVE-2025-1931

> This makes no sense, SVG is in widespread use.

SVG was also sort of languishing in v1 with no interest to update it and make it more usable. But then SVG 2 happened.
by troupo | 2025-08-23 11:02:18+00:00
> OP is talking about XSLT support going behind a flag, you’re citing XSLT deprecation going behind a flag.

Literally from my link:

--- start quote ---

Add a feature flag to disable XSLT

This adds a feature flag that disables:

- XSLTProcessor

- XSLT Processing Instructions

--- end quote ---
by rurban | 2025-08-23 11:02:55+00:00
> The reason for this lack of handling of Unicode linguistically is simply to make the lexer smaller and faster.

No, it is actually for security reasons. Once you allow non-ASCII identifiers, identifiers will become non identifiable. Only zig recognized that. Nim allows insecure identifiers. https://github.com/rurban/libu8ident/blob/master/doc/c11.md#...
by orthoxerox | 2025-08-23 11:05:06+00:00
I remeber when my dad retired from building computers in the late nineties. We were installing a new part (I think it was a Voodoo card) (well, he was, I was in the "watch and learn" phase), he connected everything back to the PSU, turned the power on and the magic smoke escaped.

That was the moment when he hung up his hat and told me I was in charge of the home PC now.

He found the problem by the following morning, actually: he plugged the FDD molex connector back in with too much force at an angle and shorted two pins. But he would never look inside the case again.
by thisisit | 2025-08-23 11:05:37+00:00
Here I thought the point of a grant/subsidy is that it allows companies to take risk - by setting up factories, funding research without worrying about the monetary cost etc.

Government benefits through one, generating employment - direct and indirect employment, raising taxes through personal taxes (indirectly impacting tax collection) or second the country being at the forefront of the innovation etc. That is how average tax payer was supposed to benefit.

But I guess trying to nationalize companies and "benefiting" from company profits was something people were missing. How did no one see that? Ah yes, third world countries try this routinely for "national security" and it always leads to moral hazard pointed out by the person above you.
by user____name | 2025-08-23 11:06:23+00:00
I see two objections to this: The collateral damage to the surrounding economy (well ran companies might be dependent on Intel) and the loss of strategically important institutions and knowledge, especially in markets with a high barrier to entry. So I think bailing out can be justified, even if it is a clear moral hazard. The better solution I think is to prevent markets from becoming too oligopolistic and firms from becoming too big to fail. But this would require a government who isn't afraid of taking anti-trust measures to maintain market competition, but the US has been moving away from that model for decades.
by TurboSkyline | 2025-08-23 11:06:30+00:00
I would also like a proper address bar in file selection dialogs.

The closest alternative I know of is dragging the target folder from an open Finder window into the dialog. Unlike pretty much any other OS, that doesn’t move the folder, but makes the dialog navigate to it. If you don’t have the folder open in Finder, you can do it with `open .` from a terminal.
by pxc | 2025-08-23 11:08:35+00:00
> I am specifically talking about the Linuxism where systems have a global pool of shared libraries in one of several common locations (that ever so slightly differs across distros because fuck you).

> Windows and macOS don’t do this.

macOS does in fact have a /usr/lib. It's treated as not to be touched by third parties, but there's always a /usr/local/lib and similar for distributing software that's not bundled with macOS just like on any other Unix operating system. The problem you're naming is just as relevant to FreeBSD Ports as it is to Debian.

And regardless, it's not a commitment Nix shares, and its problems are not problems Nix suffers from. It's not at all inherent to package management, including on Linux. See Nix, Guix, and Spack, for significant, general-purpose, working examples that don't fundamentally rely on abstractions like containers for deployment.

I totally agree with this, though, and so does everyone who's into Nix:

> Stuffing a million libraries into /usr/lib [...] is bad.

> I don’t blame Linux for making bad decisions. It was the 80s and no one knew better. But it is indeed an extremely bad set of design decisions. We all live with historical artifacts and cruft. Not everything is a trade off.
by OgsyedIE | 2025-08-23 11:08:37+00:00
The author analyses thermodynamics in the context of life almost half as deeply as Bataille, G.C. Williams or Odum yet neglects to put the same rigor to dissecting the moral qualifiers they throw around like benevolent, joyful, horror and evil.

Who's to say that degrading exergy is strongly or weakly aligned with good or evil, or that good and evil are opposites? Is degrading exergy entirely orthogonal to good and evil, like the gnostics articulate? These are open philosophical questions that the author would do better to contextualise if this essay were to be more than an incomplete survey.
by gigatexal | 2025-08-23 11:09:15+00:00
you just made my day I am so happy with this I could kiss you!* just saved me a bunch of coin cuz I was considering trading up for a m4 or otherwise to get better brightness

amazing!

* more a turn of phrase, a hug, a handshake, a thank you thank you thank you all suffice ;-)

I insta bought the suggested app
Ask HN: Do you use Soverin MX, is it reliable?
by styanax | 2025-08-23 11:09:20+00:00
A recent post[]1 on a user moving from GMail to MailBox sparked a lot of discussion etc. There's an email service which has been around for a decade which has had all of 4 no-traction posts on HN over those same years which I've kinda thought was strange, "why don't they come up organically in HN MX-oriented conversations?":

https://soverin.com/

Has anyone actually used this for their custom domain and can share commentary on experience (admin, user, reliability, etc.) compared to the other popular choices? (Fastmail, etc. - "MX ISPs" if you will). One key feature for me is being able to have app passwords for different tasks/software allowing one to limit read/write access (they have scope, which many providers don't do but Fastmail does).

This is a backup mail provider oriented question, not leaving Fastmail but I maintain a simple secondary domain at another MX ISP for emergency purposes and archiving. I am investigating a move to a new MX ISP at the end of the year when the current contract expires and Soverin keeps "looking good" - is it in your opinion?

[1] https://news.ycombinator.com/item?id=44987380
by jajko | 2025-08-23 11:09:25+00:00
If folks are regularly sore and their goals are not some lofty races or even higher and further down the progression path, they are doing it wrong.

You should feel the exercise and specific muscles afterwards, sometimes even a day after (like hamstrings and thighs from squats, those don't get much workout during normal life), but after initial beginner phase the continuous long term goal is to get enough workout that muscles are not sore, just notch below. Properly sore muscle needs few days rest, a well used one can be again fully loaded in 48h easily.

And overall definitely less pain or more like 0 pain, ie back from weak core is pretty typical. Another one are knees, but to train knees around some already-damaged tissues is more tricky, but definitely worth it.

After starting weightlifting (on top of some sports like ski touring, climbing, hiking etc) I can handle much more, heavier and longer. Need to move your/friend stuff to another apartment? All day carrying with them feels like mild stretch, compared to them complaining for back pain for another 3 days.
by ekidd | 2025-08-23 11:09:57+00:00
Yup, I don't use models to write serious code. But if my brain is totally blocked, perhaps after half day of meetings, I do sometimes take a smaller local model, explain a simple task to it, and let it try to implement to my specs. At this point I'm usually annoyed and engaged enough to get back in the zone.

If a human is available, 30 minutes of pairing works even better. There's just something about breaking tasks down and getting even simple feedback that makes it a good jumpstart.
by LLiam | 2025-08-23 11:12:09+00:00
Thanks for taking the time to look into it and sharing your thoughts.

> Have you considered enabling more complex trend detection, such as anomaly spotting?

Great suggestion and yes we plan to add in the ability for that analysis by adding in some more tools for the agent.

> do you provide tooling to audit or review agent-generated query objects before they run

Right now, we don't show it before the query is run but we do have a audit log on platform where you can analyze the agent traces and see the AI generated conditions based on the message as well as the static conditions applied. We also have a chat playground that can be used to make sure that the agent configuration is working as expected but we don’t block live queries through the api. It is something we could do relatively easily but it could add long delays for users to get a response if it’s blocked by human verification. It is something for us to consider because boosting confidence for customers is very important.
by zozbot234 | 2025-08-23 11:14:12+00:00
> but still, tracing GCs have much better performance on server workloads

Good performance with traditional tracing GC's involves a lot of memory overhead. Golang improves on this quite a bit with its concurrent GC, and maybe Java will achieve similarly in the future with ZGC, but reference counting has very little memory overhead in most cases.

> Reference counting when an object is shared between multiple cores require atomic increments/decrements and that is very expensive

Reference counting with a language like Rust only requires atomic inc/dec when independently "owning" references (i.e. references that can keep the object around and extend its lifecycle) are added or removed, which should be a rare operation. It's not really performing an atomic op on every access.
by ndriscoll | 2025-08-23 11:14:26+00:00
More likely the people complaining are those who use it. I've been using it as the sane way to template my personal stuff for ~20 years. It works very well for "hand written" sites. I'm also not trying to be a top site or even visible to the wider world; my audience is my friends and family members. So to me it's a clear "that's not an important use case for the web now" signal.
by jug | 2025-08-23 11:14:56+00:00
It's a language that describes how to render a document.

For example, you could describe how to render your own domain specific markup language as HTML. Which is then happily viewed by the browser as a regular webpage, that can of course also be styled with CSS as usual.

Or how to render Markdown as HTML without a Markdown generator (might require rarely implemented XSLT 2.0 with XPath 2.0). See: https://stackoverflow.com/questions/3549827/converting-simpl...

Or render HTML as some other markup language.

This is only scratching the surface, really. But it does powerful transformations from one markup language to another.

This can of course be very useful as you get the browser able to present any markup without actually supporting said markup; without scripting or server side components.