MurphyA/hacker-news huggingface dataset:
by 9rx | 2025-10-10 15:27:33+00:00
> Fields happily reuse symbols from other fields with slightly or even completely different meanings.

Symbol reuse doesn't imply a break in backwards compatibility. As you suggest with "other fields", context allows determining how the symbols are used. It is quite common in all types of languages to reuse symbols for different purposes, relying on context to identify what purpose is in force.

Backwards incompatibility tells that something from the past can no longer be used with modern methods. Mathematical notation from long ago doesn't much look like what we're familiar with today, but we can still make use of it. It wasn't rendered inoperable by modern notation.
by ratelimitsteve | 2025-10-10 15:27:50+00:00
I found another really interesting one when my wife needed $30k in dental surgery. We hurried up and got the American marriage so that they could use my dental insurance only to find out that my plan has a LIFETIME LIMIT OF $1200. But what came to our rescue was good old collective bargaining! They call it a discount plan and basically the way it works is that for a small fee an insurance company will essentially draw you up a plan that counts you as a member but where the insurance company is explicitly not liable to pay for anything at all under any circumstances. The practical upshot is that you as a new Crap-Tier member of this insurance plan get the same negotiated rates as everyone else on this insurance plan, including the ones who pay through the nose. You still have to pay everything out of pocket, but to use this as an example "everything" went from $30k to $18k with the stroke of a pen and $50 in signup fees. This is one of the few things that an insurance company is doing that I think is actually great. The rates are exceedingly reasonable, the upside is amazing and because it's not technically insurance there's no pesky BS about open enrollment or you have to be married or you can only use it if your costs are above x once you've paid y and only if you've spent more than z this year but less than alpha your entire lifetime etc. Purely and simply walking into the office and going "Hey, there's ten thousand of us. Give us a fair rate and gain ten thousand customers or don't and don't."
by thewebguyd | 2025-10-10 15:27:51+00:00
> all you lose out on is the ability to interact with external services that demand attestation.

That's the problem "lose out on the ability to function on modern society unless you use an approved device or an approved OS." Not looking forward to a world where I have to have two phones, one "approved government and bank services phone" and one that's a device I actually own and control.

> This is a much more pro-consumer way of implementing DRM than actually locking down computers

No such thing as pro-consumer DRM, it's an oxymoron.

And Google IS locking down computers, requiring identity verification and Google to sign any app to run on Android, which conveniently they could pull at any time.

What happens when online services stop even doing business via their website and forces the use of a mobile app? Suddenly now all Linux (and Mac and Windows) computers are locked out of interacting with most of the commercial web and you are forced to have a tracking device to simply exist.

Maybe it's a "lesser evil" but it's still evil, and not something we should just settle on and accept.
by SeriousM | 2025-10-10 15:27:58+00:00
It seems to me, as not so 3d savy, that 3d objects and shaders have a similar connection as html structure and css. Nowadays you need a structure of objects yet the layout, color and behavor comes from css.

In this regard, 3d scenes offer the elements but shaders can design them much more efficient than a engine ever could.

Is that accurate?

Btw, can objects modified by shaders signal collisions?
by haberman | 2025-10-10 15:28:14+00:00
Good to know! Thanks for confirming. Yes, I would guess that the tail call interpreter explains part of the difference between 3.13 and 3.14. Previously the overall improvement to the interpreter has been measured at 1-5%, or even 10-15% depending on the compiler version you are using: https://blog.nelhage.com/post/cpython-tail-call/

If your benchmark setup is easy to re-run, it would be awesome to see numbers that compare the tail call interpreter to the build where it is disabled, to isolate how much improvement is due to that.
by rasz | 2025-10-10 15:28:20+00:00
All 3 cars I mentioned hit 185mph in 14 seconds at fraction of the price. I find arguing about the last 15mph by Evija silly in light of Rimac Nevera doing 200mph in 10 seconds. Makes Evija look overpriced for what it delivers from one end, and slow and outdated from the other. https://carbuzz.com/lotus-evija-slower-than-rimac-nevera-r/

EV is a great equalizer and that frightens supercar makers. Porsche is outright terrified and seems to be in panic mode together with all other German car makers under political pressure to go electric. Loud smelly combustion engine cars seem to be their last stand.
by mjr00 | 2025-10-10 15:28:57+00:00
Yeah, I just flew WestJet from Canada to Honolulu and was amazed; full 1080p YouTube with no hiccups and I was able to play some (non-latency sensitive) online games, all over the Pacific. This was fully intentional; there wasn't any back-of-the-seat iPad for watching movies or anything, they straight up tell you to use your own device and watch Netflix. I did some research after and found a lot of airlines in NA are going to be rolling out satellite internet in the next year or two.

For some reason, being fully connected at 50mbps+ on a plane seems more futuristic sci-fi to me than everything AI.
by roryirvine | 2025-10-10 15:29:05+00:00
It's not actually true, of course - unless by "thousands" you mean "one or two", and by "for their tweets" you mean "for actively inciting serious violence in the middle of a riot".

But it's a fairly common far right talking point, and similar claims come up a lot in certain types of anti-Western propaganda. Perhaps Durov could have been influenced by that?
by guywithahat | 2025-10-10 15:29:22+00:00
> The Florida-based company responded by extending a 2,000-foot long, 24-foot tall soundproofing wall last year and replacing most cooling fans with an immersion cooling system. According to MARA, it has replaced 67% of fans with the liquid-based system.

That's actually nice of them, although I'm somewhat surprised it didn't do more to dampen the noise. I suppose the original peaceful quiet they had before is probably just impossible now
by NoNameHaveI | 2025-10-10 15:29:26+00:00
"The product of the railways is the successful arrival of passengers at their chosen destination." Clearly, this was not written in the USA. With a few exceptions (NE corridor, Wolverine route), Amtrak is forced to share rails with host freight (goods) railroads who could give a hoot about the expedient delivery of passengers. The Big 4 (BNSF, UP, CSX, NS) would rather just let their freight have priority and pay a minimal fine. Sadly, this will continue to be the case where Amtrak does not have their own right of way (NE Corridor, Wolverine).
by m-schuetz | 2025-10-10 15:29:33+00:00
I am sadly aware, but I won't switch until the complexity is fixed. Although I did kind of switch, but to CUDA because the overengineered complexity of Vulkan drove me away. I'm neither smart nor patient enough for that. What should be a malloc is a PhD thesis in Vulkan, what should be a memcpy is another thesis, and what should be a simple kernel launch is insanity.
by tim333 | 2025-10-10 15:29:46+00:00
>The UK is imprisoning thousands for their tweets.

Except they are not. Googling I came across about five, mostly calling for asylum seekers accommodation to be burned down. Arson was actually disapproved of even before twitter.

Durov's home country is murdering thousands in Ukraine though in the hope they they'll bend the knee to the invaders. I think that sort of stuff is more a threat to freedom.
by psunavy03 | 2025-10-10 15:31:18+00:00
> Considering my interests and those of my country I would like to believe, but reality do not provide much support for such hopes.

Having served in the US military for 20+ years active and reserve, the level of synchronization and coordination NATO can bring to the fight dwarfs what Russia and Ukraine have been able to achieve. The situation has degenerated into what it is because neither side could effectively coordinate action at scale, or integrate air, land, and naval power tightly. The West can. I've seen it.

> It is true, but they improved immensely during 3 years of intense conflict (the same for Ukraine). On the other hand NATO has most experience in bombing people in Africa and Middle-East.

You don't seem to understand the scenarios the US trains to. First off, there is so, so much more to counterinsurgency than just "bombing people" that it's a whole nother post. And frankly if someone describes military action as just "bombing people," it's a tell they're not speaking from a position of expertise on the issue. The US has maintained the ability to fight a major theater war since 2003; it just hasn't had to exercise it. There is a reason that in conventional combat, the US and allied militaries stomped the Iraqi military flat twice in 15 years. The failures afterward were largely at the political and strategic level from lack of clear direction or unrealistic objectives from the civilian leadership.

There is one military that could credibly challenge the US and NATO allies today, and it's not Russia, it's China.
by xdfgh1112 | 2025-10-10 15:31:31+00:00
I'm sorry people didn't immediately take to this financing model as well as you did. The average person is not as invested as you and most people are going to immediately switch off if they hear part of the functionality costs money and this isn't mentioned anywhere on the front page. Doesn't matter how "unnecessary" these features are, it's a bad look.

Plenty of other open source projects make money without attracting this kind of negative feedback. It's curious to me that you suggest everyone is intentionally being negative or malicious here, instead of looking at why the project caused such a response.
by TinkersW | 2025-10-10 15:31:42+00:00
Somewhat interesting read, if rather long..

My experience is that multi-threading has quite abit of overhead, not necessary from the scheduling, but from the cache misses because now everything is unlikely to be in cache, so a naive parallel for can easily end up consuming a ton of CPU resources, it may indeed finish quicker, but use 5x the overall CPU time to do so.

Then there is the other issue that parallel_for suffers from, the "starter" thread has to finish the loop, and if may end up with nothing to do for some time(like when one of the helper threads get suspended..), or it might end up going off to process some other work, causing the entire loop to take much longer to finish. So parallel_for kinda sucks, and I prefer using dependency graphs when I can.
by marcosdumay | 2025-10-10 15:32:32+00:00
> what you're asking for is type definitions

It's the API specification. It's not just the functions and their parameters, it's also an explanation of what they do.

> I'm much less interested in the specific arguments, and I'm very interested in "Capabilities"

And that's exactly what an API specification provides you, and that examples do not. Examples only tell you how to use the API on the same way that the author is using it.
by runjake | 2025-10-10 15:32:33+00:00
This is one reason why I avoid Next.js. Don't design your future projects around specific platforms. Things happen. Make sure you can pick up your code and go somewhere else.

Edit: Strange I would get so many downvotes for this. Care to explain? I think the effective Next.js lock-in is well documented. Yeah you can technically run it on arbitrary platforms with substantial work and continued maintenance, but you're working against the tide.
by Cornbilly | 2025-10-10 15:33:09+00:00
Baraka Obama won the prize for not being George W Bush and for being the first black President of a country with a terrible history of enslaving and mistreating black people.

Side note: Democracy will not work in Egypt until the Muslim Brotherhood loses popularity and/or Islam in the region becomes more moderate. Until then, you're just going to end up with the same situation as Ethiopia and Tigray with a Brotherhood-dominated government and the Copts.
by soared | 2025-10-10 15:34:40+00:00
The old saying rings ever more true with this article. If I owe the bank $50, it’s my problem. If I owe the bank (or private debt lender who did not do enough due diligence) $50B it’s potentially the first domino in a global economic collapse impacting most people on the planet.

Dam cheap auto parts, didn’t have they on my bingo card for the next recession.
by flohofwoe | 2025-10-10 15:35:16+00:00
A simple vkCreateSystemDefaultDevice() function like on Metal instead of requiring hundreds of lines of boilerplate would go a long way to make Vulkan more ergonomic without having to give up a more verbose fallback path for the handful Vulkan applications that need to pick a very specific device (and then probably pick the wrong one on exotic hardware configs).

And the rest of the API is full of similar examples of wasting developer time for the common code path.

Metal is a great example of providing both: a convenient 'beaten path' for 90% of use cases but still offering more verbose fallbacks when flexibility is needed.

Arguably, the original idea to provide a low-level explicit API also didn't quite work. Since GPU architectures are still vastly different (especially across desktop and mobile GPUs), a slightly more abstract API would be able to provide more wiggle room for drivers to implement an API feature more efficiently under the hood, and without requiring users to write different code paths for each GPU vendor.
by ModernMech | 2025-10-10 15:35:20+00:00
> Are there any serious technical reasons not to do it?

Forget technical reasons, how would you ever do it? It feels like the equivalent of cultural reprogramming "You must stop using your preferred interpreter and halt all your efforts contrary to the one true interpreter". Nah, not going to happen in a free and open source language. Who would have the authority and control to make such a directive?

Yes, there may be technical reasons, but the reason it doesn't happen more than any other is that programming languages are languages spoken by people, and therefore they evolve organically at no one's direction. Even in languages like Python with a strong bent for cultural sameness and a BDFL type direction, they still couldn't control it. Often times, dialects happen for technical reasons, but it's hard to get rid of them on technical grounds.
by theideaofcoffee | 2025-10-10 15:35:35+00:00
> - Browse the web.

> - Check and post to social media

> In practice I think they just whitelist a few messenger apps. Everything else was unusable

That was probably intentional, because to the vast majority of the users of these services, 'the web' is just a handful of the same social sites. As long as they can post a few things about their trip, that's the extent of the web access that they need or care to want. Sucks when you're expecting the whole kit and kaboodle, but the airlines seem to know their customers.
How can newbies make proper use of AI and still be good developers?
by Doublentender | 2025-10-10 15:35:58+00:00
Right now in many communities there are mixed messages regarding beginners and use of AI, some say that you should stay away from it and others suggest getting jumping right in, so as not to stay behind. So I feel that there are many people like me who are confused and kind of unsure on how to proceed. If you use AI heavily in your work or personal projects, I would love to hear your suggestions.
by m-schuetz | 2025-10-10 15:36:24+00:00
So I've been told so I'm trying to take another look at it. At least the examples at https://github.com/SaschaWillems/Vulkan, which are probably not 1.3/1.4 yet except for the trianglevulkan13 example, are pure insanity. Coming from CUDA, I can't fathom why what should be simple things like malloc, memcpy and kernel launches, end up needing 300x as many lines.
by yencabulator | 2025-10-10 15:36:44+00:00
Still fits "It feels to me more like OSes ought to be more secure."

New USB-HID keyboard? Ask it to input a sequence shown on screen to gain trust.

Though USB could be better too; having unique gadget serial numbers would help a lot. Matching by vendor:product at least means the duplicate-gadget attack would need to be targeted.
by reaperducer | 2025-10-10 15:36:59+00:00
Isn't that pretty easy to get around with better wording? eg. "2 for $x, min 2"

Not if the same law doesn't permit minimums in order to get a discount. People on HN like to pretend that the people who write laws are completely clueless, but they've been doing it longer than we've been alive and know exactly what they're doing.

It helps to read the infinitesimally small print on the sale tag on the shelf. As I've moved from state to state and city to city you can tell where this sort of thing is regulated or not.

I shamelessly pull the tags off the shelves to read them. If the stores don't want me damaging the tags, they can simply make them in a size that's readable.
Show HN: Gitcasso – Syntax Highlighting and Draft Recovery for GitHub Comments
by etwigg | 2025-10-10 15:37:27+00:00
I built a browser extension called Gitcasso which:

- Adds markdown syntax highlighting to GitHub textareas

- Lists every open PR/issue tab and any drafts

- (Optional, unimplemented) autosaves your comment drafts so you don’t lose work

I made it because I was impressed by https://overtype.dev/ (a markdown textarea syntax highlighter) which went big on here on HN a few weeks ago, and it seemed like a perfect fit for a GitHub browser extension. Keeping up with changes on upstream GitHub would normally be a pain, but with with Playwright and Claude Code it seemed possible for it to be nearly automatic, which has turned out to be mostly true!

This was the first time where I built a tool, gave the tool to AI, and then AI used the tool to make the thing I hoped it would be able to make. I'm pretty sold on the general technique...

GitHub repo (Apache2-licensed, open source): https://github.com/diffplug/gitcasso

Video walkthrough (2 mins of the tool, 12 mins of its development tooling): https://www.youtube.com/watch?v=wm7fVg4DWqk

And a text writeup with timestamps to the video walkthrough https://nedshed.dev/p/meet-gitcasso
by marmarama | 2025-10-10 15:38:01+00:00
Which is as-designed. Vulkan (and DX12, and Metal) is a much more low-level API, precisely because that's what professional 3D engine developers asked for.

Closer to the hardware, more control, fewer workarounds because the driver is doing something "clever" hidden behind the scenes. The tradeoff is greater complexity.

Mere mortals are supposed to use a game engine, or a scene graph library (e.g. VulkanSceneGraph), or stick with OpenGL for now.

The long-term future for OpenGL is to be implemented on top of Vulkan (specifically the Mesa Zink driver that the blog post author is the main developer of).
by nonameiguess | 2025-10-10 15:38:36+00:00
One of my earlier jobs a decade ago involved doing pipeline development and Jenkins administration for the on-site developer lab on one of the NRO projects, and I inserted a random build failure code snippet to test that pipelines could recover from builds that failed for unpredictable reasons, like a network error rather than anything actually wrong with the build. I had to do this on the real system because we didn't have funds for a staging environment for the dev environment, and naturally I forgot to get rid of it when I was done. So builds randomly failed for years after that before I remembered and fixed it.
by creyes54 | 2025-10-10 15:39:02+00:00
Looking for a Head of Engineering to own the stack and ship fast:

Lead design of AI agent systems (RAG, ReAct, CoT)

Build pipelines that handle millions of docs without melting

Collaborate directly with domain experts (yes, real litigators)

Shape technical culture from zero→one

Stack: Python, LangGraph, PydanticAI, Postgres/PGVector, FastAPI, GCP.
by bell-cot | 2025-10-10 15:39:26+00:00
> The pilots had been taking passengers from Pisa in Italy to Prestwick in Scotland on Friday evening, but wind speeds of up to 100mph meant they were unable to land.

> After three failed attempts to touch down, the pilots of Ryanair flight FR3418 issued a mayday emergency call and raced to Manchester, where the weather was calmer.

#1 - if Prestwick had wind speeds up to 100mph, then why the h*ll was the airport not closed down?

#2 - if the pilots had experienced conditions that dire during their first two landing attempts at Prestwick, then why the h*ll did they stick around for a third attempt?

EDIT: The article's a big vague, but it seems to have been 2 attempts at Prestwick, then 1 at Edinburgh, then the last-minute "oops, do I really want to die today?" decision to run to Manchester.
by collingreen | 2025-10-10 15:39:40+00:00
Slightly older here although I don't see how that matters.

No, it doesn't mean people in 2025 can't complain. Hype based noise that gets in the way of people doing good work should be decried even if someone else somewhere (or somewhen) has it bad too.

This isn't a competition of badness.

Gates open. Come on in!
by moomoo11 | 2025-10-10 15:40:42+00:00
Do it yourself. Most sales guys if they’re also wanting to be co-founder will try to grab CEO role from you because ultimately every human is selfish and some are greedy mfs. Especially if you don’t know them.

Sales isn’t hard.

Hire a salesperson, but you should own your sales until you feel that someone who molds with your vision is there and you can promote them then.

Don’t be so charitable with equity brah.
by reaperducer | 2025-10-10 15:40:47+00:00
I was surprised to see that. I wonder how long it'll stay up.

Why would you be surprised? Something similar is written in every single Washington Post article that touches an Amazon or Amazon-related property.

It's called "disclosure" and is Journalism 101m and not disclosing is a firing offense. It's one of the major differences between legitimate journalism and internet randos cosplaying journalists.
by moomoo11 | 2025-10-10 15:40:51+00:00
Do it yourself. Most sales guys if they’re also wanting to be co-founder will try to grab CEO role from you because ultimately every human is selfish and some are greedy mfs. Especially if you don’t know them.

Sales isn’t hard.

Hire a salesperson, but you should own your sales until you feel that someone who molds with your vision is there and you can promote them then.

Don’t be so charitable with equity brah it’s your most valuable asset.
by RajT88 | 2025-10-10 15:41:12+00:00
Craigslist an older 1080p TV. People are getting rid of old "dumb" TV's, and sometimes you can get them free. I see seemingly undamaged LCD TV's out by garbage bins all the time. I sourced one such a TV for my wife for $100 a few years ago to use as a monitor - works great. No apps or anything - dumb as they come.