MurphyA/hacker-news huggingface dataset:
by rekabis | 2025-11-10 23:48:35+00:00
> Ideally, you’d probably want more than 20TB of traffic per month.

That little? Hell, my BitTorrent traffic on a SOHO symmetrical 1Gbe connection usually does about 2-3Tb per day. And I haven’t pulled anything particularly popular (to be enthusiastically re-seeded) in months. My monthly usage is likely in the 100Tb range across everything, at minimum. Back when I was running DD-WRT, its built-in monthly monitor was usually recording in the 200-300Tb/mo range, especially when new releases dropped. I really need to find a similar aggregate counter for OpenWRT…
by terinjokes | 2025-11-10 23:49:19+00:00
I've been thinking about this recently too, mostly to figure out how to preserve indexes in tracks of "Murmurs of Earth"[0]. I think the FLAC embedded cuesheets could be used for this. While intended for CD-ready cuesheets embedded into one big FLAC, there's no reason they couldn't be used in individual files, with index 00 for pregaps.

I'm not sure it's well supported anywhere however. Maybe foobar2000?

Edit: I pulled up the RFC[1] for FLAC, and it seems like this is a use case they had in mind for the embedded cuesheet:

> A cuesheet metadata block can be used either [...] or to provide a mechanism to store locations of interest within a FLAC file.

[0]: https://www.discogs.com/release/6057232

[1]: https://www.rfc-editor.org/rfc/rfc9639.html#name-cuesheet
by ktaraszk | 2025-11-10 23:49:53+00:00
A couple of questions I expect here (based on similar discussions in other channels):

1) What about memory - is it shared too? CPU is shared dynamically. Memory is still hard allocated as a guaranteed limit per workload. This was intentional because, unlike CPUs, memory oversubscription risk is significantly harder to mitigate safely at PaaS scale without introducing latency unpredictability and OOM risk. So: CPU = elastic, RAM = guaranteed / stable.

2) Is isolation compromised by this approach? No - apps don’t run on the same container host. Every app runs on its own Kubernetes node (physical or VM). The Fair Scheduler coordinates CPU fairness across nodes under a single user resource plan. This eliminates noisy neighbors and preserves app-level blast radius reduction.
by Quekid5 | 2025-11-10 23:50:07+00:00
The size of the stdlib has a huge impact on backwards compatibility and how much pain is caused by maintaining said compatibility for the authors of the stdlib. I mean... it's hard enough for just any regular library to do that sensibly. So much so that semver (misguided as it is) was invented.

IIRC Ocaml always compiles everything from source which has its advantages, but even that is a can of worms. (And sometimes binary compatibility can actually be easier, see e.g. Scala.)
by naijaboiler | 2025-11-10 23:50:50+00:00
No sir, everybody does not break laws. Only people who routinely do like Trump thinks everyone else is doing it. That’s why he’s so sure he can find cases against his perceived political enemies only to find out the in thing he can find is the woman bough a second home, which she indicated is a second home, and let her neice stay there.

Only criminals think everyone else is a criminal
by pizlonator | 2025-11-10 23:51:15+00:00
> and they tend to have an objective of saying that there's only one mainstream language that provides memory safety.

Yeah!

I agree it's hard to do it without some kind of axioms or circularity, but it's also important to get the definition right, because at some point, we'll need to be able to objectively say whether some piece of critical software is memory safe, or not.

So we have to keep trying to find a good definition. I think that means rejecting the bad definitions.
by pron | 2025-11-10 23:51:32+00:00
> Not like it's way down the list

I'm not saying it's not important, but we do have to consider whether it's worth the cost.

> And most of the things the things above it (other than out of bounds writes/reads which you addressed in another comment) are not something I would consider a programming language can directly affect (e.g. SQL injection, CSRF)

It actually can.
by percentcer | 2025-11-10 23:51:50+00:00
This was the original goal of the Cornell box (https://en.wikipedia.org/wiki/Cornell_box, i.e. carefully measure the radiosity of a simple, real-world scene and then see how closely you can come to simulating it).

For realtime rendering a common thing to do is to benchmark against a known-good offline renderer (e.g. Arnold, Octane)
by mrguyorama | 2025-11-10 23:51:57+00:00
> America could at least try to engage Russia with submarine warfare and long range missiles, but what could Canada do themselves, muster a few hundred native locals armed with century old rifles?

Canada is already a substantial component of NATO anti-submarine warfare. Canada is involved in patrolling and has sea and air resources to do just that, and is in the process to acquire more ships for that role.

Canada has about 18 maritime patrol aircraft, while USA has about 60, mostly in the coast guard, and that depends on tasking (some are listed as search and rescue which isn't the same) and the capability to drastically increase that amount by refitting/sacrificing our huge fleet of transport aircraft.

You may have consumed some propaganda. Canada's military forces are well respected everywhere they have ever been deployed. In WW2 they were considered horrifically brutal to german soldiers and treated as a serious threat. In the GWOT, their technical competence and marksmanship was admired. They have a formidable air force, that would be effective at blunting Russian aerial incursions. Canada has spent more effort and resources building up Arctic capability than the US has.

Canada's biggest military difficulties have been weirdly inefficient procurement. They waffle back and forth on stuff that needs commitments.

> If Russia announces they are going to be drilling oil in arctic waters that are nominally Canada's, and declares their annexation of this territory a fiat accompli, what is Canada's move?

Russia does not have the power projection necessary to accomplish this. Canada alone could prevent this. How do they protect their drilling infrastructure on Canada's border when they cannot protect their infrastructure all over their country? How do they protect their oil in shipment from Canadian raids? Russia is so low on some capabilities that they cannot defend against air attack. Russia barely had power projection to do those things when it was the USSR and was actively managing and manning a real fleet. Their blue water navy is in shambles. Their flagship on the black sea was killed by (supposedly) two anti-ship missiles despite having a multilayered Anti-missile defense system that should have been perfectly effective against such a threat. Such systems were always considered worthy in the cold war. That means either those systems don't work as advertised, those systems have a serious and known vulnerability that makes them useless, or the flagship of a Russian fleet was in an active war zone with most of it's systems degraded or nonfunctional. That's pretty horrifying.

The biggest lesson people should take from the Russia Ukraine thing is that things don't have to make sense. Sometimes hundreds of thousands die because a few people in a few places were utter morons and did irrational things and everyone just awkwardly stood by and let it happen.
by kpw94 | 2025-11-10 23:52:17+00:00
> one can absolutely check the text to remove all occurrences of Indiana Jones

How do you handle this kind of prompt:

“Generate an image of a daring, whip-wielding archaeologist and adventurer, wearing a fedora hat and leather jacket. Here's some back-story about him: With a sharp wit and a knack for languages, he travels the globe in search of ancient artifacts, often racing against rival treasure hunters and battling supernatural forces. His adventures are filled with narrow escapes, booby traps, and encounters with historical and mythical relics. He’s equally at home in a university lecture hall as he is in a jungle temple or a desert ruin, blending academic expertise with fearless action. His journey is as much about uncovering history’s secrets as it is about confronting his own fears and personal demons.”

Try copy-pasting it in any image generation model. It looks awfully like Indiana Jones for all my attempts, yet I've not referenced Indiana Jones even once!
by RickJWagner | 2025-11-10 23:52:22+00:00
In that laundry list, I see one similar issue, the Biden video edit.

It looks like Fox edited a video to make it seem as if Biden made a racially insensitive statement. Fox says they made the edit for time constraints.

Seems weak compared to forging documents ( Dan Rather ), telling outright lies ( Stephanopoulos ), and failing to report a salient election issue ( Biden laptop ). I will grant that it seems similar to what the BBC did today, though.

The rest seem like slimy news tricks, but are not attacks of the same nature.
by bityard | 2025-11-10 23:53:30+00:00
Social media is the online content equivalent of sugary breakfast cereal. It's engaging, but toxic for you in just about every possible way, no matter which end of the political spectrum you have chosen. People who are addicted to social media end up with a biased and extreme view of the world, fucked up hormones (dopamine, cortisol, adrenaline, etc), and most egregiously, waste enormous amounts of time that would be better spent curating a hobby or bonding with their friends and family in real life.

I would LOVE to join a social media network that very heavily discourages political content and negative news. Just cool people who like to bond over shared interests and maybe meet up to chat once in awhile. Unfortunately that isn't what sells ads.
by ajoseps | 2025-11-10 23:53:33+00:00
I wouldn’t be surprised if this gets built for visual media but I think we’re past the point for the book/novel market. I think the people who are reading novels are now a niche market and would be highly antagonistic to something like this.

Also this just seems so depressingly bleak. At least in the states we do have libraries where people can read books for free.
by arevno | 2025-11-10 23:53:46+00:00
> it's something they'd never ever know how to do

There are hundreds of millions of people who have memorized megabytes of baseball statistics, pop song lyrics, celebrity relationship trivia, vehicle model data, sitcom character biographies, comic book plots, makeup shades, travel routes, mixed drink recipes, MtG card modifiers, etc.

At a certain point, one has to realize that pulling the "normie card" is not a viable excuse, given the wide array of knowledge that humans routinely pack into their brains.
by afc | 2025-11-10 23:54:12+00:00
Wonder if you've tried spec driven development (as opposed to just prompting)?

I used to create requirement-oriented prompts and I felt something similar to what you describe. However, I've switched to generating parts of my source code from my specs in a semi-automated way and it made the process much more pleasant (and efficient, I think).

I wrote a bit about my current state here: https://alejo.ch/3hi - for my Duende project I generate 8821 lines of code (2940 of implementation, 5881 of tests) from 1553 lines in specifications.
by lcnPylGDnU4H9OF | 2025-11-10 23:54:35+00:00
Have you tried Mullvad?

https://mullvad.net/en/help/dns-over-https-and-dns-over-tls

TL;DR

dns.mullvad.net - 194.242.2.2 (no blocking)

adblock.dns.mullvad.net - 194.242.2.3 (ad and tracker blocking)

base.dns.mullvad.net - 194.242.2.4 (ad, tracker, malware blocking)

And others but I primarily use the last two. They offer it as a public service, similar to quad9.
by igregoryca | 2025-11-10 23:54:41+00:00
1) Null pointer derefs can sometimes lead to privilege escalation (look up "mapping the zero page", for instance). 2) As I understand it (could be off base), if you're already doing static checking for other memory bugs, eliminating null derefs comes "cheap". In other words, it follows pretty naturally from the systems that provide other memory safety guarantees (such as the famous "borrow checker" employed by Rust).
by mbesto | 2025-11-10 23:54:48+00:00
> Good (perhaps artisanal) code is useful and better for everyone.

How so? We actually don't have any specific characteristics on what makes code "good", nor do we have any quantifiable metrics that say "said good code is better"?

I may think your chair is more comfortable or that it lasts longer under load, but that doesn't always mean is "better". A cheaper chair could be considered better because its cheaper to acquire, even if its not as comfortable or doesn't last as long.
by tialaramex | 2025-11-10 23:55:32+00:00
Nope. You don't need to "solve the halting problem" and I guess I'll explain why here.

Firstly lets attack the direct claim. The reason you'd reduce to the halting problem is via Rice's theorem. But, Rice only matters if we want to allow exactly all the programs with the desired semantics. In practice what you do is either allow some incorrect programs too (like C++ does, that's what IFNDR is about, now some programs have no defined behaviour at all, but oh well, at least they compiled) or you reject some correct programs too (as Rust does). Now what we're doing is merely difficult rather than provably impossible, and people do difficult things all the time.

This is an important choice (and indeed there's a third option but it's silly, you could do both, rejecting some correct programs while allowing some incorrect ones, the worst of both worlds) but in neither case do we need to solve an impossible problem.

Now, a brief aside on what Rust is actually doing here, because it'll be useful in a moment. Rust's compiler does not need to perform a static bounds check on array index, what Rust's compiler needs to statically check is only that somebody wrote the runtime check. This satisfies the requirement.

But now back to laughing at you. While in Rust it's common to have fallible bounds checks at runtime (only their presence being tested at compile time) in WUFFS it's common for all the checks to be at compile time and so to have your code rejected if the tools can't see why your indexing is always in bounds.

When WUFFS sees you've written arr[k] it considers this as a claim that you've proved 0 <= k < arr.len() if it can't see how you've proved that then your code is wrong, you get an error. The result is that you're going to write a bunch of math when you write software, but the good news is that instead of going unread because nobody reviewing the code bothered reading the maths the machine read your math and it runs a proof checker, so if you were wrong it won't compile.

Edited: Fix off-by-one error
by matu3ba | 2025-11-10 23:55:37+00:00
I would expect more of the opposite for languages offering easy to enable bound checks. Only observing the general trend for when bound checks are available (and used) would be helpful information. Temporal ones will remain tricky to debug until at least static + dynamic analysis via scheduling in kernel, hypervisor/simulation and/or run-time will become common-place. Probably even longer, because analysis is cumbersome for bigger programs without Seperation Logic (like Rust has).
by toast0 | 2025-11-10 23:55:44+00:00
One week a year might add up after a while. At least you might be able to reduce the time spent in training should an urgent (but not immediate) need arise. Maybe a few years of this and you can manage basic training in six weeks instead of the usual nine. It should help build training capacity. It would likely help a bit with human resource management should the need arise: having notes on who can handle a rifle, who can handle a truck, and who can handle a drone, etc might help match people with training for what's needed.
by abhaynayar | 2025-11-10 23:56:01+00:00
> Well written by GPT?

My first thought while reading the article was relief that I'm finally reading something not written by ChatGPT. As someone who is super tired of reading AI slop these days, this was not it. (IMHO). And even if it was, it was definitely not annoying to me like the default setting of ChatGPT i.e. the "It's just not X. It's XXX!" format. I liked the cadence, the only thing I did not like was the verbosity. Ultimately there is going to be a pattern or a so called "voice" even in human writing. So as long as it's got good taste, whatever.
by jjk166 | 2025-11-10 23:57:42+00:00
> You’d take up arms against the U.S. because it invaded Canada?

In a heartbeat. I oppose violence in general, but if forced to choose between fighting an innocent Canadian and fighting someone who has betrayed America's ideals and turned the nation I love into a mockery of itself, it's a very easy choice. Anyone willing to brush such an unjustified invasion away as another atrocity is an enemy of the US.

> Of course it is. Troops would just be moved to “temporarily” occupy shit we want. (Or move to liberate Alberta.) Hell, you could probably do it with ICE agents.

That's not a realistic possibility.

> It’s people you have to shoot through. Hong Kong versus Ukraine. Raises the costs from a low-effort political gambit to a real military campaign.

Canada has a real military of nearly 100,000. They are highly skilled and well equipped with modern weaponry. If you don't consider fighting them to be a real military campaign, shooting through 300,000 desk clerks who don't even have uniforms isn't going to make it one.

> This comment reminds of one on HN from Kharkiv on the eve of the invasion. If you assume something can’t happen or cannot be opposed, that’s indistinguishable from an invitation for an autocrat.

I am not saying it can't happen, indeed I gave a long explanation of how it could; I am saying it won't happen. I'm not saying it can't be opposed, I'm saying this is a bad way to oppose it, and gave my recommendation for how it ought to be opposed.
by tptacek | 2025-11-10 23:58:44+00:00
If you're talking about the impact of replacing a subcomponent in a larger C/C++ codebase with a memory safe language and saying you'd expect that to make less of an impact on the temporal memory safety issues latent in the remaining C/C++ code, I guess I get that.

If you're saying that you think memory safe languages are less successful at dealing with their own temporal memory safety concerns than spatial memory safety concerns, that doesn't make sense to me and I would push back on it.
by akreal | 2025-11-10 23:58:57+00:00
As far as I understand, the MMS TTS models are trained from scratch (section 7.1 of [1]), they do not employ any SSL models. So the OmniASR SSL models are not useful here.

What might be interesting is the newly released OmniASR data, because the MMS data, which was used for the MMS TTS, was never released.

Also, the OmniASR can be used to transcribe some untranscribed speech to train a TTS on it.

[1] MMS paper: https://arxiv.org/pdf/2305.13516
by csallen | 2025-11-10 23:58:58+00:00
I'm not sure. I think it's asymmetric: high upside potential, but low downside.

Because when the AI isn't cutting it, you always have the option to pull the plug and just do it manually. So the downside is bounded. In that way it's similar the Mitch Hedberg joke: "I like an escalator, because an escalator can never break. It can only become stairs."

The absolute worse-case scenario is situations where you think the AI is going to figure it out, so keep prompting it, far past the time when you should've changed your approach or gfiven up and done it manually.
by vacuity | 2025-11-10 23:59:17+00:00
I think I've got the gist now. Although I think Gernot Heiser doesn't consider the following to be ideal, I think it's fair to say that true claims have undergone some sensationalization. I don't think people generally lie when they say their product has achieved some impressive performance, but those results exist in the context they are taken under. In the embedded roles LionsOS is being targeted for, I have no doubt that they represent a real improvement over existing Linux systems, and probably any Linux system short of a magical one. However, in a general-purpose OS (which is what I focus on), which is the same as saying that many distinct user bases are simultaneously involved, the kernel is far from being the only load-bearing component. Also note that the functionality compared is not 1:1, nor is Linux the final contender of monolithic systems.

Something I want to explore, and which has some viability in the LionsOS model too, is that a general-purpose system may still liberally cut out unused functionality if highly modular and easily configurable. Like Legos.

In conclusion, props to the people at Trustworthy Systems as always, but it's safe to say that the OS field is still far from settled. My best compliment to seL4 is that it has raised the bar and simultaneously paved the way for future generations of advances. It's a seminal work that was desperately needed.
by dragonwriter | 2025-11-10 23:59:25+00:00
> The use of the colon in Python is pretty good as it mirrors the usage in ordinary text. Though it still follows the pattern "if (A): B else: C" with parentheses around A.

Python doesn't require parens for the condition in an if-statement, and the default settings of black or Ruff formatters will remove them if present where not needed. (They can be needed if, e.g., you are breaking a condition across multiple physical lines.)

> Unfortunately Python also follows the herd in using "=" for assignment and "==" for equality. It should arguably be "<-" or ":=" for assignment and "=" for equality.

Note that Python uses ":=" for the assignment expression operator as well as "=" for the simple assignment statement operator.
by tracker1 | 2025-11-10 23:59:53+00:00
I think having a handful of trusted moderators to have a higher level access to nuke posts, or see notices for posts with a high downvote:upvote ratio so they can nuke as an option...

Aside from that, the voting system X uses for community notes is pretty neat and something similar could work as well.

I've spent a bit of time on this as well... wanting to spin up a modern BBS and thinking maybe just a TUI over SSH might be enough to get something interesting without opening up to the heavy spam bots.
by dh2022 | 2025-11-11 00:00:54+00:00
From the book Guns of August, page 106, chapter 10, negotiations re: Turkey’ neutrality in Aug 1914. I will just leave this here:

“On August 13 Foreign Minister Sazonov proposed to France to offer Turkey a solemn guarantee of her territorial integrity and a promise of “great financial advantages at the expense of Germany” in return for her neutrality. He was actually willing to include a promise that Russia would abide by the guarantee “even if we are victorious.”
by TexanFeller | 2025-11-11 00:01:27+00:00
Unfortunately the user friendly non-Apple alternatives like Google devices and services are dramatically worse than Apple’s when it comes to privacy.

Years ago when I was still giving Android a chance I found that things like banking apps refused to work if I loaded a custom ROM or IIRC even if I enabled superuser access on the stock ROM. Those things are probably even more tightly controlled now, so de-Googled Android doesn’t seem worth trying again.

Too bad other truly OSS mobile options are in their infancy, heck I couldn’t even get all the drivers configured stably on a work provided laptop with Linux support supposedly validated by the manufacturer. It could be years before we get good OSS phone and tablet software, if it ever comes at all.
by tptacek | 2025-11-11 00:01:27+00:00
I've said this before but I want to say it again: I think PGS projects that screen for intelligence/EA are genius products. They promise a margin-of-error level improvement on performance that can be fully evaluated only at the time the grown child applies for college, and the products are going to be purchased only by parents who were already going to fold space like a Guild Navigator to ensure their kids get into selective universities, so the vendors win "either way".