MurphyA/hacker-news huggingface dataset:
by Diggsey | 2025-11-02 15:37:16+00:00
IMO, safety and "idiomatic-ness" of Rust code are two separate concerns, with the former being easier to automate.

In most C code I've read, the lifetimes of pointers are not that complicated. They can't be that complicated, because complex lifetimes are too error prone without automated checking. That means those lifetimes can be easily expressed.

In that sense, a fairly direct C to Rust translation that doesn't try to generate idomatic Rust, but does accurately encode the lifetimes into the type system (ie. replacing pointers with references and Box) is already a huge safety win, since you gain automatic checking of the rules you were already implicitly following.

Here's an example of the kind of unidiomatic-but-safe Rust code I mean: https://play.rust-lang.org/?version=stable&mode=debug&editio...

If that can be automated (which seems increasingly plausible) then the need to do such a translation incrementally also goes away.

Making it idiomatic would be a case of recognising higher level patterns that couldn't be abstracted away in C, but can be turned into abstractions in Rust, and creating those abstractions. That is a more creative process that would require something like an LLM to drive, but that can be done incrementally, and provides a different kind of value from the basic safety checks.
by ZeroGravitas | 2025-11-02 15:37:19+00:00
These voluntary carbon offset things are only ever going to be a step in roughly the right direction.

It feels wrong somehow to be trying to turn them into a perfect way for committed individuals to opt into paying the full price for their individual contribution to only one aspect of the problem.

Instead we should perhaps take a step back and try to assign the costs of the whole system to everyone, regardless of whether they want to volunteer to pay more to make things happen faster.

It interacts poorly with EV or heat pump adoption where volunteering to pay for the last 5% of green electricity could tip the balance against those purchases. But buying them would lower your carbon footprint at even much lower percentage of clean electricity.

Are green conscious consumers ready for the complexity of paying for 95% clean energy?
by IAmGraydon | 2025-11-02 15:37:44+00:00
Except fentanyl is not what’s being shipped through Venezuela (or any opioids). It’s cocaine. Fentanyl in the US almost entirely originates from Mexico. China is involved in a more indirect way because they ship precursor chemicals to Mexican labs.

With all due respect, how did you come to the conclusion you did without even 1 minute of research to verify that your beliefs were actually correct?
by jstimpfle | 2025-11-02 15:38:01+00:00
I find it surprising hearing statements like this from a developer of a tool for, well, C programmers mostly I guess? "Skill is all that is needed to prevent bugs and produce bug-free software" is a phrase I've never heard from an actual C programmer, but have heard plenty of times from detractors.

The C programmers I know are certainly not deluded or overconfident. They don't even think "their" language is a perfect one, or even a very good one. They just avoid black-and-white thinking. They take a practical approach about memory issues, seeing them more like any other kind of bug. It's a different aesthetics than you would maybe see from many Rust folks. They want to be productive and want to be in control and want to understand what their code does. In turn, they accept that in some cases, bugs (possibly memory bugs) creep in, some of which could go unnoticed for some time. They tend to not see that as a huge issue, at least in general, because an issue that has gone unnoticed (or didn't manifest) is often less of a problem than one that is immediately obvious. (In case of data corruption, it _can_ be a huge issue, and you have to add safeguards to prevent it, and have to be accepting some residual risk).

They understand that everything is a trade off and that with experience and practice, good architecture, good tooling etc. you can prevent many bugs early, and detect them early. They have tried many approaches to prevent bugs, including fancy languages and constructs, and have concluded that in many cases, perfect safety is not possible, in particular it's not possible without seriously hurting other requirements, such as productivity.

As to valgrind, I can say that it was a bit of a mixed bag for me. It did help me finding bugs a number of times, but I also had to configure it a bit because it was producing a lot of noise for some external libraries (such as libc). I don't really understand the underlying issues.
by embedding-shape | 2025-11-02 15:38:55+00:00
> Traditional banking already does this very well in most countries, through centralized systems with multiple redundant tracking and audit methods

So how does traditional banking solve the very problem the submission article is about? Companies seem to say this is an issue today, some seeing 15% fraudulent receipts, if traditional banking did these things well, why are these companies still seeing these issue?

Again, I'm not arguing that things will be better with cryptocurrencies, just that if we suddenly see companies and governments urging people to adopt cryptocurrencies, I'd totally understand why, although I'd push against it as much as I could.
by bravetraveler | 2025-11-02 15:39:24+00:00
I wouldn't say it's much different, also unwanted in certain contexts. Perhaps not know, infer/make a judgement call. It's just as fair to consider it 'unreasonable' as it is 'assumed'; many things can be true.

The first world solution to their problem is Do-not-Disturb mode :P To keep the networking aspect: it's QoS! Helps me, can only blame myself for looking.
by grayhatter | 2025-11-02 15:39:35+00:00
> AGI is fantasy at this point and your assumption that AGI would give OpenAI unprecented powers is the Musk/Yudkowsky/Hinton argument that AI will dominate and enslave us.

Yeah, like I said, room for improvement. I find the argument that AGI or sAGI should be feared, or is likely to turn "evil" absurd in the best case. So your arguing against a strawman I already find stupid.

Telephones, increased the speed of information transfer, it couldn't produce on it's own. Electricity allowed transmission of energy from one place to another, and doesn't produce inherent value in isolation, vaccines are in an entirely different class of advancement, (so I have to idea how you mean to apply it to the expected benefits of AGI? I assume you believe AGI will have something to do with reducing disability), railroads again, like energy or telephones, involved moving something of value from one place to another.

AGI is supposed to produce a potentially limitless amount of inherent value on its own, right? It will do more than just move around components of value, but more like a diamond mine, it will output something valuable as a commodity. Something that can easily be controlled... oh but it's also not concrete, you can never have your own, it's only available for rental, and you have to agree to the ToS. That sounds just like all previous inventions, right?

You're welcome to cite any historical facts you like, but when you're unwilling or unable to draw concrete parallels, or form convincing conclusions yourself, and hand wave, well most impressivive inventions in the past were good so I feel AGI will be cool too!

Also, the critical difference (ignoring the environmental differences between then and now) between the inventions you cited, and AGI, is the difficulty in replicating any technology. Other than "it happened before to most technologies" is there reason I should believe that AGI would be easy to replicate for any company that wants to compete against the people actively working to increase the size of their moat? copper wire, and train tracks are easy to install. Do you expect AGI will be easy for everyone to train?
by thwarted | 2025-11-02 15:39:46+00:00
Money (or access to money) is often a proxy for a certain kind of stability and access to leisure, two things that many people strive for.

But the joke wasn't about long term, successful relationships. The guy was interested in looking attractive. That could have any kind of relationship goal, from one night stands to marriage, or even meeting someone who could introduce them to even more people.
by game_the0ry | 2025-11-02 15:40:03+00:00
Holding the snark aside for second, I think there is some harsh truth here.

Url query params are not popular in the front end developer world for some reason, probably bc the fundamentals of web dev are often skipped in favor of learning leetcode and all the react hooks. Same could be sade for SQL and CSS.

I also don't think its a good look that the author is a CTO and is just discovering how useful url query params are. that being said, its a pretty good and well-written blog post.
by clanky | 2025-11-02 15:42:55+00:00
Looking forward to when Valhalla and generics specialization obviates these concerns -- but, every time I watch a presentation by Remi Forax he makes a joke or remark about what a hard problem it is and how long it will take. (Hope this doesn't get him in trouble!) https://youtu.be/JI09cs2yUgY?si=WBiXRpnir9HhNNfK
by ahmadalfy | 2025-11-02 15:43:40+00:00
Hello, I am the author of the article and I can explain a few things.

First of all thank you for your words about the content.

I get why you might feel that way. English isn’t my first language, so I sometimes use GPT to help me polish phrasing or find a smoother rhythm for certain lines.

But the ideas, structure, and all the writing direction are mine. I don’t ask it to write articles for me. It just help me express things more clearly. I treat it more like an editor than a writer.
by jmyeet | 2025-11-02 15:43:42+00:00
Way to miss the point and claim things I never said at the same time.

Earnest religious belief means nothing without material support. You can hate someone all you want for whatever religious reasons you want but it doesn't matter unless somebody gives you guns, bombs, tanks and planes. And why would someone do that? Because of material interests.

Why did the Crusades happens (multiple times)? Because of material interests. How did those who materially benefit get ordinary people to fight? By fomenting religious fervor and hatred. Why did they do that? To further their material interests.

You mention Ukraine. Perfect example. Russia took Crimea to get a port on the Black Sea in 2014 and also to control resources in that area. Why did Russia invade in 2021? Because maintaining what is essentially an oblast (like Kaliningrad) became too expensive. Ukraine had cut off the water. So Russia ideally wanted to despose the government and install another Lukachenko puppet government (like they have in Belarus) but, failing that, they wanted to secure a land bridge to Crimea. Just look at a map.

One could say the exact same thing you do about "African agency" about the Russian-speaking people of eastern Ukraine but that's just an excuse. Putin doesn't care about that. He cares about the land they live on. And we've seen this exact playbook many times over. For example, Hitler used to annex Austria and the Sudetenland to ostensibly re-unite German-speaking people but again, that wasn't the point.

Now you might say in any of these places the people are motivated to kill for ethnic and/or religios interests. They may genuinely believe in this (but again, ask yourself why) but there are also a ton of opportunists. An absolute perfect example of this is Maria Corina Machado, the 2025 Nobel Peace Prize winner, who opposed Maduro in Venezuela and her two biggest goals are to privatize Venezuelan industries (previously nationalized) and to further support Israel. She may as well put out a press release saying she's open to the backing her in a coup. Privatizing national industries for Western companies to profit? Sounds a whole lot like material interests to me.

Go back in history and ask yourself why the borders of Sudan are what they are, just like we could for Rwanda and a host of other civil wars. Why exactly are these different ethnic groups in the same country? Well, that's a colonizer special, perfected by the British Empire, to sow division in the locals so the colonizer can profit. Once again, material interests.
by embedding-shape | 2025-11-02 15:43:49+00:00
Because any time you mention cryptocurrencies and/or blockchain, you end up with a ton of replies that either argues completely different points, or misunderstand how things work, especially on HN.

Your reply is a good example. I said "I'm not arguing that things will be better with cryptocurrencies" and you say "because you are promoting cryptocurrency". I'm sure some people like this way of conversing, but for me it's exhausting, like what's the point?
by linsomniac | 2025-11-02 15:44:16+00:00
Thanks for pointing that out, I'm planning on switching to helix this week and seeing how it goes, and once I do I'll dig deeper into a cheat sheet. There's another comment on this thread that has a cheatsheet that is probably a better place to start, but I had never run across it before: https://github.com/stevenhoy/helix-cheat-sheet
by tim333 | 2025-11-02 15:44:35+00:00
I'll give you algorithmic breakthroughs have been quite slow to come about - I think backpropagation in 1986 and then transformers in 2017. Still the fact that LLMs can do well in things like the maths olympiad have me thinking there must be some way to tweak this to be more brain like. I recently read how LLMs work and was surprised how text focused it is, making word vectors and not physical understanding.
by xpe | 2025-11-02 15:44:42+00:00
Yes. No need to be apologetic or timid about it — it’s not a nit to push back against a flawed conceptual framing.

I respect Karpathy’s contributions to the field, but often I find his writing and speaking to be more than imprecise — it is sloppy in the sense that it overreaches and butchers key distinctions. This may sound harsh, but at his level, one is held to a higher standard.
by refurb | 2025-11-02 15:45:13+00:00
This is a video titled “America’s Gulag”. That alone makes me think it’s not going to provide a fact based balanced view of the issue.

But regardless it’s a 30 min video, so is there something you feel is important because I don’t have the time. Maybe an article from a more reputable source?

I mean it starts with “ICE agents breaking car windows”. If you’re asked to exit your vehicle by a federal law officer and you just roll up the window that will happen. The US (and in fact no country) has rules where a law enforcement officer with probable cause is supposed to give up when a suspect refuses to follow orders.

The five minutes I listened to seemed suspect since it’s a women just saying “they do this” with no sources. Am I just supposed to take her at her word?
by ryukoposting | 2025-11-02 15:45:39+00:00
I doubt Pomelli would get ranked higher. Google biases ads to their highest spenders. The more you spend, the better your ads perform. Nobody using something like Pomelli is giving Google enough money to rank highly. They could outrank the very lowest spenders, namely scammers and dropshippers whose ads are already AI slop anyway. But, really, who cares?
by tripplyons | 2025-11-02 15:46:21+00:00
Right now, I'm using Grok Code Fast 1 for coding tasks. I've found it to be many times faster and cheaper than Claude 4.5 or GPT 5 Codex while still being quite capable.

The "code-supernova-1-million" stealth model was more capable, but it is unfortunately no longer available through any of providers. Hopefully it gets publicly released soon. My guess is that it is an updated code model from XAI/Grok.

Having to switch models every few weeks isn't the most fun, but I can't turn down the productivity that comes with it. I wish I could just go back to Neovim, but I can't justify the lower productivity.
by zahlman | 2025-11-02 15:46:40+00:00
You, too: please do not spread FUD.

> Okay so to create a five line script... For my five line script.

I can guarantee that your "five line script" simply does not have the mess of dependencies you imagine it to have. I've had projects run thousands of lines using nothing but the standard library before.

> Then I have to activate and deactivate it whenever using it.

No, you do not. Activation scripts exist as an optional convenience because the original author of the third-party `virtualenv` liked that design. They just manipulate some environment variables, and normally the only relevant one is PATH. Which is to say, "activation" works by putting the environment's path to binaries at the front of the list. You can equally well just give the path to them explicitly. Or symlink them from somewhere more convenient for you (like pipx already does for you automatically).

> And I have to remember to update the dependenceis regularly.

No, you do not in general. No more so than for any other software.

Programs do not stop working because of the time elapsed since they were written. They stop working because the world around them changes. For many projects this is not a real concern. (Did you know there is tons of software out there that doesn't require an Internet connection to run? So it is automatically invulnerable to web sites changing their APIs, for example.) You don't have to remember to keep on top of that; when it stops working, you check if an update resolves the problem.

If your concern is with getting security updates (for free, applying to libraries you also got for free, all purely on the basis of the good will of others) for your dependencies, that is ultimately a consequence of your choice to have those dependencies. That's the same in every language that offers a "package ecosystem".

This also, er, has nothing to do with virtual environments.

> Seems to me the companies managing mloc-codebases pushed their tradeoffs on everyone else.

Not at all. They are the ones running into the biggest problems. They are the ones who have created, or leveraged, massive automation systems for containers, virtualization etc. — and probably some of it is grossly unnecessary, but they aren't putting in the time to think about the problem clearly.

And now we have a world where pip gets downloaded from PyPI literally billions of times a year.
by gkbrk | 2025-11-02 15:47:38+00:00
Nope, as it turns out this was actually a thing until 2025-01-24, where a commit removed this "pretend to be Windows even on Linux platforms" behavior.

https://github.com/mozilla-firefox/firefox/commit/eb2f90f870...

This OS spoofing behavior was added in 2019-01-09 with this commit:

https://github.com/mozilla-firefox/firefox/commit/264fe08c09...

So Firefox has spoofed the User-Agent as a Windows machine on Linux for around 6 years, and only stopped doing it early this year. Would love to see whatever gaslit you into forgetting this easy to test and validate behavior.
by cosmicgadget | 2025-11-02 15:48:09+00:00
> You can easily find stories for yourself

Which one mentions missile strikes that you previously claimed? Missile strikes. On Moscow. Not light planes. Not "on Russia". The statement you made above.

> I've never heard this but it's irrelevant to whether or not the US should risk nuclear war over this.

Putin has made numerous statements claiming the illegitimacy of Ukrainian statehood and culture. It's not relevant to the risk of nuclear war but it is relevant to the point I was replying to about functionaries echoing the bigotry.

> It is a fact that Ukraine does not know how to operate these systems, and they require data from US satellites. It takes quite a bit of training to get up to speed.

Haha and now you are backpedaling from "US soldiers are physically operating the equipment" to "well... nobody knows how to use a Patriot without training". What is your deal? Are you just used to talking to ill-informed people? Okay good you've stuck with it...

> Russia would flatten these systems with missiles rather than roll up to them and capture the operators.

And now you're an expert on military doctrine. Okay general, so every Patriot battery has been struck from the air. Then the Ukrainian soldiers hastily removed the bodies to prevent the Russians from discovering and publicizing the presence of American ground units after taking the territory. Then paid off the families of the US troops to not mention their death. And of course there is no satellite or fpv footage of these US troops. Or leak from the Ukrainian rank and file about US military on the front line.

Honestly do you think for a minute before claiming something?

> Certain Americans like yourself don't recognize that our media is also full of state-backed propaganda.

Zzz.

> He will never withdraw. That is a suicidal fever dream.

Haha so who is to blame for nuclear tensions? The country not kinetically involved in the war (except with your ghost soldiers) or the madman who threatens nuclear escalation every five minutes? The person who you say wouldn't even withdraw from an offensive war if it meant nuclear holocaust?

> Are you a Ukrainian who drank the Kool-Aid that Zelinskyy is putting out? Or are you a propaganda agent?

Zzzzzzzz.
by Redoubts | 2025-11-02 15:48:27+00:00
“”” Unfortunately, it doesn't seem as though you can get great stock picks just by going to ChatGPT and asking it to recommend some investments. And yet financial firms of all sorts — including trading firms — say they're increasingly using AI. But are the tools actually being deployed? And how do these tools differ from traditional machine learning or algorithmic approaches to trading, the likes of which have been used by quant firms for decades now. On this episode of the podcast, we speak with Iain Dunning, the head of AI research at Hudson River Trading, a major US market maker. We discuss the firm's attempts to use AI not just for more efficient trading, but also to make short-term predictions about price, which further gives its traders an edge. Dunning walks us through his work, his views on the main constraints facing the space (labor, power, chips, etc.) and how his work is both different and similar to what's happening at the major cutting edge research labs like ChatGPT. “””
by gem-vic | 2025-11-02 15:48:44+00:00
Discover how Smart_Store, a high-performance item management framework built in Modern C++, revolutionizes data persistence and runtime type safety. This article dives into its powerful export/import APIs—covering JSON, XML, and Binary formats—and explains how Smart_Store ensures type-safe deserialization, thread safety, and seamless integration for complex object graphs. Whether you're building inventory systems, asset trackers, or dynamic editors, Smart_Store offers a scalable, elegant solution for modern C++ developers.
by unlikelytomato | 2025-11-02 15:49:15+00:00
Alternatively, companies will just go back to corporate cards with very strict vendor rules. When vendor rules are not enough, they will go back to extremely tight per diem and simply not care of the expense was strictly real or not. I can't see any advantage to using a whole new currency and exchange that every vendor in the world is now going to have to support for this to be useful vs these simple measures.
by chaboud | 2025-11-02 15:49:41+00:00
If the URL is your state container, it also becomes a leakage mechanism of internals that, at the very least, turns into a versioning requirement (so an old bookmark won’t break things). That also means that there’s some degree of implicit assumption with browsers and multi-browser passing. At some point, things might not hold up (Authentication workflows, for example).

That said, I agree with the point and expose as much as possible in the URL, in the same way that I expose as much as possible as command line arguments in command line utilities.

But there are costs and trade offs with that sort of accommodation. I understand that folks can make different design decisions intentionally, rather than from ignorance/inexperience.