MurphyA/hacker-news huggingface dataset:
by mcintyre1994 | 2025-11-23 09:52:37+00:00
Satisfies is very useful as a library author for testing your types. You can write `typetest` files that don't become part of the bundle but are compiled.

One example is that we have a TS library for a JSON-RPC server that is horribly complex on the server side, returning different shapes of output based on input params. I don't think it can be typed with OpenAPI etc, but it can be with Typescript method overloads.

But then instead of writing unit tests that either coerce or mock the server into returning each shape, we can write typetests like this to make sure our type juggling provides the exact right types to developers:

const rpc = null as unknown as Rpc<SomeApi> const result = await rpc.someApi(input).send() result satisfies { value: { nestedFieldForThisInput: number } }

```

The tradeoff is slightly longer compile times for the library since all this is checked at build time, but it provides a lot of flexibility for testing overloads and utility types in isolation.
Tell HN: MS's integration of OneDrive into Windows is a total mess
by retube | 2025-11-23 09:54:41+00:00
These are the issues I am experiencing:

- Multiple different paths that actually point to the same location

- Files visible in an application explorer (e.g. Excel), but NOT windows explorer

- Stuff randomly stored only in the cloud, and not local + cloud

- System folders (e.g. Documents) that point to DIFFERENT locations

In short, I have no idea where anything is.

</rant>
by isodev | 2025-11-23 09:55:06+00:00
I love this post. While I don't mind markdown for quick notes which require basic formatting (headlines, bold, maybe a link), time and time again, I've found myself having to build parsing libraries and scripts for specific use cases just so the content can be interpreted correctly.

Take for example my blog, which I've had since 2016. It has been rebuilt into various systems over time and every time I had to migrate, there was a manual step of going over all posts and making sure they're displayed and interpreted correctly. In my last and current iteration, I've designed the system so that content is also stored with some hierarchical information (from html) like <section>, <article>, <address> etc, only applying styling to it when rendered.

I don't think we should stop using Markdown, but when something requires more than 200 lines of introductory text, more semantically enabled source feels necessary.
by nandomrumber | 2025-11-23 09:55:43+00:00
1. There is no mountain of nuclear waste.

Literally almost all the waste that’s ever been generated is stored on site at the nuclear power plants where it was created. That’s how little of it there is.

Talking about “thousands of tonnes” of nuclear waste is comically misleading when you realise how tiny the volume is.

2. There is no high level waste that is both very dangerous right now, and will remain so for tens of thousands of years. It’s either highly radioactive for not very long, or not very radioactive for very long, but never both.

How do these myths persist in otherwise educated people.
by b112 | 2025-11-23 09:57:10+00:00
No no, you've still got it wrong!

It's made from a flower, a rare but now successfully domesticated flower. The Tu-Tue flower does require extensive processing, sort of like how corn has to be soaked in something, like ashes, to release its nutrients.

Tu-tue requires a similar process, but just as with natives in the new world and corn, ancient Romans simply knew that washing the flowers in a hot-spring near Getti made the final product palitable, without knowing why.

Spa being of course, latin for 'hot wash', thus spa-getti.

Hope this helps.
by sokoloff | 2025-11-23 09:57:10+00:00
> “but when you’re on a budget, it’s difficult“

Life is indeed difficult if you’re on a tight budget yet still buying large coffees for $5.20 and somehow concluding you’re making frugal choices because “But it’s a cheaper option.”

If you’re in an airport or highway rest area, you might not have other/better choices, but if you’re on your home turf, I guarantee you can find a way cheaper option.

I can believe McDs offered to charge around $20 for 3 drinks. What I find harder to believe is the common case of people who accept that offer and then sip them while complaining about their budget.
by mjburgess | 2025-11-23 09:58:01+00:00
A transaction is an exchange between two parties of something they judge to be of equivalent value (and mostly, in ratio to a common medium of exchange).

You can program AI with "market values" that arise from people; but absent that, how do these values arise naturally? Ie., why is it that I value anything at all, in order to exchange it?

Well if I live forever, can labour forever, and so on -- then the value to me of anything is if not always zero, almost always zero. I dont need anything from you: I can make everything myself. I dont need to exchange.

We engage in exchange because we are primarily time limited. We do not have the time, quite literally, to do for ourselves everything we need. We, today, cannot farm (etc.) on our own behalf.

Now there are a few caveats, and so on to add; and there's an argument to say that we are limited in other ways that can give rise to the need to exchange.

But why things have an exchange value at all -- why there are economic transactions -- that is mostly due to the need to exchange time with each other because we dont have enough of it.
by wkat4242 | 2025-11-23 09:58:44+00:00
Last time I flew from Spain they only checked at the gate (which I didn't expect).

Also, most of these countries demand that you have an ID with you at all times outside. Yeah I don't do it either, because where I live is full of pickpockets and a new ID card means travelling for hours to the capital and paying 180€. I'm from Holland and they don't support their citizens abroad well. They even closed all the consulates to save money, as if they're a piss poor country :) Even most poor countries have money for consulates. But if you're a business owner they still have a contact in every city. Stupid neoliberals.
by nikolay | 2025-11-23 09:59:08+00:00
Devs is an American science fiction thriller television miniseries created, written, and directed by Alex Garland. It premiered on March 5, 2020, on FX on Hulu.

The series explores themes related to free will and determinism, as well as Silicon Valley. It received generally positive reviews, with critics praising its imagination, cinematography, acting, and soundtrack.
by nickdothutton | 2025-11-23 09:59:33+00:00
When I was at university a lifetime ago, the country had a number of university research reactors. Some of their work could be.. and was.. replaced by computer simulations, but not all. Today there are zero. My impression is that not only is the UK public ignorant and fearful of nuclear, but of "labs" in general. Their view is informed largely by newspaper headlines and Hollywood movies.
by locknitpicker | 2025-11-23 10:00:55+00:00
> It is not features but structure and undetstanding that is missing.

I don't think this belief is valid. The whole purpose of markdown is to serve as a easy to read format that is publishable as plaintext and has minimalist standardized formatting and styling. It's something for humans to read and write without requiring specialized tooling.

For this purpose, "structure" is neither a requirement nor a valid concern.

> E.g. you may decide architecture diagrams are in Mermaid but that is by no means a stanfard and my org uses embeded svg.

That's a trait of your organization, not Markdown. Mermaid is ubiquitous, and used extensively in virtually everywhere in the internet. If you chose not use it that's a personal call you're making, and not related to Markdown at all.
by sunscream89 | 2025-11-23 10:01:14+00:00
I’m not convicted.

This isn’t something I read on a blog somewhere, I am actively involved in this drama.

I was “adopted” by the moralist side of a dark conspiracy against our natural destinies. People die over this stuff, our humanity is being mutilated by corrupt interests who thrive in the shadow of incredulity.

That means the less believable something is, the easier it becomes to hide in plain sight.

Did you read my comment on how the whole time travel thing works? One of the few that wasn’t flagged. Read that and tell me about convictions.

I did not make this stuff up, I’m one of the few people in the world who has the audacity and insight to talk about it.

It’s a real shame my most insightful stuff on “thought control” has been flagged (and half a dozen former accounts reduced to negative karma.) Hypocrites.
by tzury | 2025-11-23 10:02:25+00:00
The OP argues that fingerprinting is a "privacy nightmare," but we need to look at why it exists.

From a pragmatic perspective, we are forcing two very different networks to run on the same protocols:

The Business Internet: Banking, SaaS, and VC-funded content (Meta/Google).

The Fun Internet: Hobby blogs, Lego fan sites, and the "GeoCities" spirit.

You cannot have a functioning "Business Internet" without identity verification. If you try to perform a transaction (or even just use a subsidized "free" tool like Gmail) while hiding behind a generic, non-unique fingerprint, you look indistinguishable from a bot or a fraudster.

Fingerprinting is often just the immune system of the commercial web trying to verify you are human.

The friction arises because we expect the "Fun Internet" to play by different rules. A Lego fan site shouldn't need to know who I am. But because we access both the Lego site and our Bank using the same browser, the same IP, and the same free tools (Chrome/Search), the "Fun Internet" becomes collateral damage of the "Business Internet's" need for security and monetization.

We can't have it both ways. We accepted the SLA for the "Business Internet" in exchange for free, billion-dollar tools. If you want 100% anonymity, you are effectively asking to use the commercial web's infrastructure without providing the identity signal it runs on.

As the OP notes, mitigation is hard. But that’s not just because advertisers are "evil"—it's because on the modern web, anonymity looks exactly like a security threat.
by inglor_cz | 2025-11-23 10:02:57+00:00
"I feel like the people arguing that cooking is a giant obstacle can't be doing it in good faith. "

I am one of those people and I am arguing in good faith. I have seen it with my own eyes.

It is not "just" skills or "just" kitchen or "just" utensils or "just" unfamiliarity with the basics or "just" being tired after getting home late (poor people often work bad schedules). It is a bit of everything, and the resulting complex is hard to disentangle.

On a similar note, have you never seen, e.g., obese people who never exercise? It is again a bit of everything. They are not used to it, they feel bad when starting, they can easily overdo it, they feel ashamed going into a gym etc. All this summed together results in avoidant behavior, even though no single reason dominates it.

Yes, all those obstacles can be overcome, but we shouldn't expect everyone to just simply leap over them. All humans aren't built this way. If they were, humanity as a whole would look a lot different than it does.

My point was that if a person learns to cook early in life, they will consider it more natural and most of those obstacles will be easier to overcome for them. They will have all the circuits wired in, so to say.

I have a similar experience when exercising. I was never obese, but my mother never exercised. Simply never. (Ironically, at 74, she is in perfect health.) And thus, I didn't understand how exercise even makes sense as a kid. I had to learn it for years. It is hard to describe how challenging is it to adjust your mindset and rhythm of life to something that was completely alien to you in your first 20 years of life, especially if that activity is optional and there is no external pressure. You can do it, but various relapses and "falling off the wagon" are way more frequent than if that activity is second nature to you.

If we want to fix things on societal level, we must be realistic. Recipes like "just do X", where X is something nontrivial, feel good and easy (especially to doers of X), but they don't have a good track record in actually achieving society-wide changes. They work for some individuals, but they have a scaling problem.
by wkat4242 | 2025-11-23 10:03:16+00:00
Because without the comma it looks like they used the nuclear weapons on the drones. Which I'm sure will work very well but I'm glad they didn't.

When you speak you can solve this with intonation, you don't need a pause. But in written language that aspect is lost so you do need it.

Different wording could also have been used. Like "near base storing US nuclear weapons"
by Genbox | 2025-11-23 10:03:40+00:00
The security of the Apple ecosystem is miles ahead of others. Every time I reverse engineer some component of their OS, it is very different from what I've seen before. I always find myself surprised by their thoughtfulness and engineering craft.

Recently I've taken on their code signing component. The concepts they've created, such as identifying applications by their "designated requirements" is a stroke of genius. It makes the system completely stateless and capable of almost anything without auxiliary data structure or additional code.

I've seen other engineering teams try and fail at building something similar, and never with such powerful simplicity.
by frm88 | 2025-11-23 10:05:09+00:00
Thank you for that link. This documentary was interesting for 3 reasons: A) clarifying that the seeds of all produce we eat comes from 5 international companies, 4 of which also have pesticides as a main product; B) child labour enables prices per kilo seeds of 400k (!) C) journalism that really confronts CEOs with uncomfortable questions is possible. And it introduced me to kokopelli which is where my future seeds will come from.
by Moldoteck | 2025-11-23 10:05:09+00:00
Baseload is about supplying demand. It'll not go. And to supply it reliably you need firm power. The 500gw statement contains both overlapping bids and just intentions to "think" about deployment. Still, germany would need at bare minimum 3TWh of storage to ditch fossils firming per last winter and deploy even more renewables to charge it. It remains a question how govt will protect investors from cannibalized generation- offshore is already facing problems
by graemep | 2025-11-23 10:05:12+00:00
Its the same in many areas. You have just escaped Gell-Mann amnesia: https://en.wikipedia.org/wiki/Gell-Mann_amnesia_effect

Inaccuracy is a common complaint about science reporting.

If you look at how a country is reported in another country, it is often highly inaccurate. In my case its mostly been how Sri Lanka is reported in the UK, but I have also seen lots of inaccurate reporting of the UK in American media (and not restricted to any type of media or political side.)

I have seen quite a bit of inaccurate reporting of business and finance.

Lots of bad reports of survey data, especially related to things like religious and political attitudes. Often the result of badly (or dishonestly) crafted questions.
by Pannoniae | 2025-11-23 10:05:15+00:00
I mean, git is useful even without "human-readable" commit messages.... 99% of my commit messages are complete garbage ("fixes" "farming, music and shit" "update" ".", etc.)

but in practice it's not a huge problem, IDE shows you the commit history of a specific file so bisecting changes is easy, there's only a few entries with the roughly correct date modifying the file you're looking for :D

"low quality code/commit messages" hasn't really slowed me down so far and probably won't in the future either
by IshKebab | 2025-11-23 10:05:40+00:00
> why you would object to having more metadata attached to your commits

It gets in the way because it takes pride position at the start of the commit message. If you want to put it at the end that might be less annoying but I've never seen anyone do that.

I think the main point is that I almost never arrive at a commit by exhaustively reading through a list of commit messages. It's almost always through some other kind of link like git blame or a GitHub issue/PR.

It's also just really low value information. Imagine if every commit message started with how many lines of code it changed. That would be pretty annoying right?
Show HN: Whistle – Offline, private voice transcription using whisper
by blazingbanana | 2025-11-23 10:06:10+00:00
I was trying to find a simple app to use for offline transcription and translation on my phone, however the Play Store is absolutely chock full of ad filled ones, paid versions, in-app purchases and stuff that's just way too complicated for what I wanted.

Whistle is simple, free, no-ads, no tracking, no network permissions required application that allows your to transcribe and share the output to wherever you want. That's it, nothing else.

Big shout out to https://github.com/mybigday/whisper.rn and https://huggingface.co/ggerganov/whisper.cpp/tree/main for making this even possible.

Any suggestions are welcome.
by zinekeller | 2025-11-23 10:06:22+00:00
> on Windows you need to download support from the Microsoft store.

To be really fair, on Windows:

- H.264 is the only guaranteed (modern-ish) video codec (HEVC, VP9, AV1 is not built-in unless the device manufacturer bothered to do it)

- JPEG, GIF, and PNG are the only guaranteed (widely-used) image codecs (HEIF, AVIF, and JXL is also not built-in)

- MP3 and AAC are the only guaranteed (modern-ish) audio codecs (Opus is another module)

... and all of them are widely used when Windows 7 was released (before the modern codecs) so probably modules are now the modern Windows Method™ for codecs.

Note on pre-8 HEVC support: the codec (when not on VLC or other software bundling their own codecs) is often on that CyberLink Bluray player, not a built-in one.
by troupo | 2025-11-23 10:07:22+00:00
> Hamas, after years of being supressed, is a group of militants with handguns.

I can't believe people still peddle this bullshit. Hamas are a well organised and a well-funded terrorist organisation that is also the governing body in Gaza.

So anything from "back alley" support from Iran to fingers in hundreds of millions in yearly humanitarian aid. I wouldn't be surprised if Hamas had total funding near the same level as IDF.

You don't get a separate "rocket attacks on Israel" Wikipedia entry with "just guns": https://en.wikipedia.org/wiki/Palestinian_rocket_attacks_on_... You don't get to fire Russian- and Iranian-built Grad, Katyusha, or Fajr-5 and pretend "it's just a group of militants with guns"
by mjburgess | 2025-11-23 10:07:46+00:00
Granting your premise, i'd be forced to argue that economic value (as such) doesn't arise from their activity either -- which i think is a reasonable position.

Ie., The reason a cookie is 1 USD is never because some "merely legal entity" had a fictional (/merely legal) desire for cookies for some reason.

Instead, from this pov, it's that the workers each have their desire for something; the customers; the owners; and so on. That it all bottoms out in people doing things for other people -- that legal fictions are just dispensble ways of talking about arragnemnts of people.

Incidentally, I think this is an open question. Maybe groups of people have unique desires, unique kinds of lives, a unique time limitation etc. that means a group of people really can give rise to different kinds of economic transactions and different economic values.

Consider a state: it issues debt. But why does that have value? Because we expect the population of a state to be stable or grow, and so this debt, in the future has people who can honour it. Their time is being promised today. Could a state issue debt if this wasnt true? I dont think so. I think in the end, some people have to be around to exchange their time for this debt; if none are, or none want to, the debt has no value
by gattr | 2025-11-23 10:09:02+00:00
From the report:

> To conduct the CT scans, the large mass was evaluated by a third-party laboratory under NTSB supervision. This facility had a range of scanners with different power and energy levels and could scan large masses using a rotating table, avoiding the need to rotate the mass itself. Ultimately, the third-party laboratory attempted to image the large mass at a power as high as 320 kilovolts (kV). The scans conducted at 320 kV were not powerful enough to penetrate the object, and as a result, no internal structures or voids were visible, and no memory devices could be identified. The NTSB evaluated using another laboratory with higher power and energy CT scan devices, however, there was concern that increased CT scan energy could damage data stored on any surviving NVM chips. Consequently, higher-energy scans were not pursued.

I'm no expert, but remember reading about neutron imaging ([1]). I'm curious if that was deemed unfeasible, too expensive, or having little chance of success? From Wikipedia:

> X-rays are attenuated based on a material's density. Denser materials will stop more X-rays. With neutrons, a material's likelihood of attenuation of neutrons is not related to its density. Some light materials such as boron will absorb neutrons while hydrogen will generally scatter neutrons, and many commonly used metals allow most neutrons to pass through them.

[1] https://en.wikipedia.org/wiki/Neutron_imaging#Neutron_radiog...
by decimalenough | 2025-11-23 10:09:25+00:00
No, she means literally being in transit from point A to point B. On a tour bus, in an airline lounge, on a plane, in a cab, in some random hotel, backstage waiting to go on stage.

I did 100% business travel for a couple of a years, and it was pretty grueling despite mostly being stationed with the same customer for a couple of months. At the Charli XCX level, you may be doing 4 gigs in 4 different cities in 3 days:

https://toursetlist.com/charli-xcx-tour-setlist/
by lxgr | 2025-11-23 10:11:06+00:00
> "Cookie Banners?" That's a browser, not website issue.

It was neither, it was a legal issue. As I understand it, EU law (or its most common interpretation) did not actually allow websites to just defer to a browser preference. Fortunately, the EU is about to fix this:

> The amendments will reduce the number of times cookie banners pop up and allow users to [...] save their cookie preferences [...] in browsers and operating system. (https://ec.europa.eu/commission/presscorner/detail/en/ip_25_...)