skysight-inc/HackerNews huggingface dataset:
I read your other comment. It looks like you're talking about iCloud Storage there. Books downloaded from the Apple Books Store do not go into iCloud Storage. Books you've uploaded are stored in iCloud.

I just checked my phone, I have 169 books downloaded. This includes many books I haven't looked at for years and years. This includes many books that I bought 3, 4, 5 iPhones ago and are still present, copied from device to device, because Books does not remove store downloads unless asked to.
>not entirely convinced

But you're somewhat convinced? Interesting .. (if I didn't miss the sarcasm) would like to hear your arguments for (arab-style?) neofeudalism.. are they along the lines of de Maistre/Yarvin?
I read that AdWords is built on Dart’s JS transpiler so I wouldn’t expect for them to just get rid of it. I really wish they would have pushed it over Go tbh. I’d love to use it for back end services.
I had a music theory teacher who suggested that to acquire absolute pitch, you listen to a tuning fork at A = 440 for 10 minutes a day. Everyone in the class could do all the intervals by ear, so with a strong memory of an A reference, you can fake it.

However, my sister does have absolute pitch (I don't), and the difference between "studying a known reference and knowing the intervals" and true absolute pitch is crazy. She can tell you what pitch the fluorescent lights are vibrating at, she can tell you what pitch your speaking voice is at, and all sorts of other things. My understanding of the psychology is that this is more like synesthesia than like something that you can study.

There are some people who suggest that kids who hear a lot of "atonal" music (modern jazz, modern classical, etc. - things whose pitch is hard to predict) at a young age are more likely to develop absolute pitch, which makes sense to me but also seems like it might be pseudoscience.
Raw foods are most likely to get you. Even those pre washed or treated bags. You don’t know what other handling happened after the cleaning. So might be contaminated again.
> After briefly skimming through their talk they mention they're a third party consultancy company making recommendations on safety for NVIDIA, so "Nvidia Security Team" take it how you will.

This is a marketing case study by the major Ada tools and training vendor, on years of engineering work done by their customer, Nvidia. It includes quotes from Nvidia employees and their blog references a Defcon video by the head of the Nvidia Offensive Security team, https://www.adacore.com/uploads/techPapers/222559-adacore-nv...

Principal Software Engineer
Manager, GPU Firmware Security
Senior Manager, GPU Software Security
VP, Software Security

At the conclusion of their initial POC at the end of 2018, NVIDIA had five developers trained in SPARK. By the second quarter of 2022, that number had grown to over fifty.. Several NVIDIA teams are now using SPARK for a wide range of applications that include image authentication and integrity checks for the overall GPU firmware image, BootROM and secure monitor firmware, and formally verified components of an isolation kernel for an embedded operating system.
> even iceberg lettuce

Even? Isn't it best lettuce?
These have direct access to the dma channel of your storage device, and POC have proven mmu/CPU bypass is feasible.

My point was the current architecture is a kludge built on a kludge... =3
> It became politically acceptable to be political. [1]

Miles Taylor was a political appointee, not a nonpartisan career federal employee.
Arm recruits from customers as it plans to sell its own chips
But not the right to distribute with an intact trademark. No open source license provides that right.

If the Blender Foundation one day decided that only the Windows and Mac App Stores can distribute Blender, yes, Linux distributions would be forced to use a different name.
I hear you. But the world is full of such statistically-nearly-impossible things.

Don't swim in warm fresh water.

Don't breathe in a dry building that might have mice.

And if you really want to worry about million-times more likely concern: do not cross the street.

Hawaii is lovely, and well worth a visit. I just wish it wasn't so strategically important and in such relative proximity to sketchy dictators on the other side of the ocean. :)
CDC Study Finds Silent Bird Flu Infections in Dairy Veterinarians
https://archive.ph/Vj5YX
Can you really argue that this use is a "misinterpretation" and not just the usual evolution of written symbols?
The concern isn't about Fedora packaging and distributing an RPM, but they they also package their own flatpack that overrides the official OBS one.
> perhaps you are the exception that proves the rule

As someone who worked directly with OP, I can confirm they are highly exceptional. Don't be too surprised when you encounter talented people on HN. I challenge you to be more inquisitive, rather than dismissive.
Moral of the story: Don't use flatpack...
Pretty huge promotional opportunity for AdaCore. You can tell because this was written by AdaCore.

Still, I am a bit convinced. The NVIDIA name is increase the chance that I will evaluate SPARK sometime soon. I have to admit, other than knowing it exists, I am not super familiar with it. What I have seen before now has felt like them using the popularity of Rust as a platform for promotion. This, at least, appears to be a use case where they came in on their own merits.
Big Parasite, Neuralink and Tesla Optimus robots.

I think Trump is cooking up something.
The distro package in question here is a Fedora-specific Flatpak, not the Fedora-specific RPM distro package version. From my understanding, it is missing things like patented codecs which then causes bug reports to be filed with upstream, OBS, instead of the ones responsible for the package, Fedora.

Fedora has its own Flatpak repo as the default instead of Flathub (which has the official OBS package from the upstream developers).
From the linked comment:

> This is a formal request to remove all of our branding, including but not limited to, our name, our logo, any additional IP belonging to the OBS Project

Honestly it sounds very reasonable, if you want to fork it's fine, but don't have people report bugs upstream if you're introducing them.
I wasted my time browsing through the drama.

The idea behind it is really for corporate uses of Fedora/GNOME. Sysadmins, through Fedora Flatpack, can re-package certain software from Flathub in accordance with their draconian corporate policies.

As a person that has had to endure stupid corporate policies and since Fedora is _mostly_ used in corporate workstation. I can understand this.

What I don't understand why it's the _default_ to prefer Fedora Flatpack software over Flathub. For people that are just getting into linux, I can see why that's painful and the UX to be terrible.

"I installed Z software. It installed some junk re-package. I only realized it installed junk re-package after a week of investigation. Installing it from different source and now it works. Thanks, Fedora! I wasted a week of my time!"
I'm not experiencing that issue on my M4 Pro (Mini), fwiw
There you go, ask an adult to explain the following image to you:

https://x.com/dejavucoder/status/1890097935632994711
I still use it from time to time.
Its great.
Is there legal precedent for that claim?
> Flagged the article because the title is super misleading

From the case study, the question was posed by Nvidia employees, before finding Ada/SPARK and Adacore, https://news.ycombinator.com/item?id=43043381

NVIDIA began to ask themselves, “Can we change our fundamental approach? And if so, which of these tools can we actually use?” They put these questions to their software security team. In reply, the security team came back with what Daniel Rohrer characterized as “a fairly heretical” proposition: “What if we just stopped using C?” This led to other questions, like, “What alternative languages and tools are available to support the use of formal methods?” In trying to answer those questions, NVIDIA discovered SPARK.
You're confusing FEMA's $20 billion disaster relief appropriation and the completely separate $650 funding for the Customs & Border Patrol's Shelter and Services Program.
From the OpenEar readme re perfect pitch training; https://github.com/ShacharHarshuv/open-ear :

> Currently includes the following built in exercises:

> [...]

> 7. Interval recognition - the very popular exercise almost all app has. Although I do not recommend using it as I find it inaffective in confusing, since the intervals are out-of-context.
He should have at least called it eejss-sort
The case of the missing metrics: a Rust closure mystery
Oh I see. You appear to be unfamiliar with how to evaluate failure rates.

You appear to be under the mistaken assumption that your sample size needs to be in proportion to the failure rate you hope to achieve to draw any conclusions. That is untrue. Your sample size only needs to be in proportion to the actual failure rate to draw conclusions.

If your self-driving car drives one mile with zero crashes, that provides almost no evidence to support a claim that your self-driving car has a crash rate of 1 per billion miles. However, if your self-driving car drives one mile and crashes 10 times, that provides tremendous amounts of evidence against the claim that your self-driving car has a crash rate of 1 per billion miles. This is despite the fact that both instances only have a sample of a single mile.

Proving, failure to prove, and disproving are not symmetrical at all. But do not worry, that is a common mistake made by people with no training in scientific or statistical analysis; just take this as a learning experience.
I'm not surprised it's above Rust and Perl, but it's below Dart?! Ouch.
Hindsight is 20/20. It wasn’t perceived that way back then. Every C++ feature had a well-reasoned rationale of solving an important problem. (I found the book “The Design and Evolution of C++” worth reading, although that was some time ago.) The only handicap requiring compromises was backwards compatibility with C, but that was also a major reason why it became so successful.

I’m sure that Rust will continue to become more complex, and in 20–30 years another systems language will likely come along that is at least as safe while being easier to work with again.
Last time I checked, Flathub was rife with unofficial packages posing as official ones (using the URL of upstream, with no verification, when the upstream dev has no association to the package).

That's the main reason I never took Flatpak seriously.
It's a drinking hazard,

And, https://www.livescience.com/65925-metal-straw-death.html :

> He added that in this case, the metal straw may have been particularly hazardous because it was used with a lid that prevented the straw from moving. "It seems to me these metal straws should not be used with any form of lid that holds them in place,"
I mean, I think the right fix is just for Fedora to stop packaging their own version. But I think that's about being good people; I don't think there's a strong legal argument here for forcing Fedora to do that.
From what I've read the Fedora project has an interest in providing solely open source and non patent encumbered software like codecs. Which sounds like something OBS may infringe on
This is very nice, thank you for making it.
Where to begin? I'll just mention a number of foreign policy failures since, not being an American, those failures of the 'Biden regime' (between quotes because it is highly unlikely that it was actually Biden who called the shots and way more likely for someone like Blinken to have been the ringleader here) are the ones which have caused most problems for non-Americans.

- the disastrous withdrawal from Afghanistan. Biden pulled out troops before getting out civilians, green card holders and allies. Not everyone was evacuated and billions of dollars worth of equipment was left behind for the Taliban to take over

- the way the Biden regime botched the burgeoning Abraham accords by turning their backs to the Saudis while opening up to the Iranians - why? All this achieved was the intensification of smouldering conflicts which begot the world the rise of the Houthi's, the 6th of Octoboer incursion by Hamas and the resulting carnage and more

- the way the Biden regime botched the situation around Ukraine with him hinting at a 'minor incursion' not being taken seriously. With the disastrous Afghanistan withdrawal and this weak-kneed response from the USA Putin deemed the time ripe for invasion

On the domestic side I can mention the 'border crisis' caused by the intentional import of millions of illegal immigrants, the failed energy policies, the mis-named 'inflation reduction act' and similar financial boondoggles which caused rampant inflation, the weaponisation of the justice department and the FBI which has led to trust in the judiciary sinking to a record low level, the similar weaponisation of the IRS, the authoritarian push around the SARS2 unpleasantness with the whole web of lies around both the origin of the antigen as well as the efficacy of the only allowed treatment regimes, the mishandling of the military which has seen record low recruitment levels since the regime has tried to push the military towards 'progressive' political goals, the endless parade of lies around just about any subject which cropped up from the 'laptop from hell' through the 'summer of love', the clear examples of corruption where Biden pardoned his family for their influence peddling, etcetera. There is far more to mention but this is enough for starters.

If you want evidence I'd invite you to do a cursory search on the 'net, you'll find tons of it. Be aware of the political bias of whatever source you refer to but even the most biased sources will be unable to hide the last regime's failures since they are so blatant and visible.
Trichinosis, huh. That's a different parasitic nematode, and it grows in your muscles instead of in your brain. Preferable I suppose, depending which is more useful, hard to decide.
Makes me want to take ivermectin every once in a while.
Absolutely.

1. Just read the license. Never is a trademark granted. Source code can and is granted completely independently of trademarks (otherwise, as one example, how does Apple license iOS SDKs without permission to use the name “Apple”? It’s just a more stringent license than a FOSS one.)

2. It’s already happened, Debian wanted to change Firefox, Mozilla said no, lo and behold we had “Iceweasel” for a decade.

https://en.m.wikipedia.org/wiki/Debian%E2%80%93Mozilla_trade...

3. Trademarks never expire, unlike patents, trade secrets, etc. Unlike source code, the trademark owner has near-absolute leeway in how they are used.
Not really and I wasted my time browsing a massive thread of non-sense where people were arguing for and against "Fedora Flatpack is better than Flathub" software and vice-versa.
Yes, I don't disagree that RoC having nukes (or Korea or Japan) would be bad for the world, and is likely to have bad consequences for nuclear proliferation generally. I think that decent leadership from the USA (and the countries involved) has been what has kept this from happening so far, and I am extremely doubtful that the current leadership of the USA is either interested or capable of maintaining that.

ROC not having nukes is obviously also a policy choice by their leaders, not just a decision made in Washington DC, but if what is happening in Washington DC is different, I suspect that it will change the calculations in Taipei, Seoul, and Tokyo by a lot as well.

I think that a lot of baseline assumptions about how the world works are going to be proved invalid over the next four years, and I think the world will be worse off for it, but we're where we are now.

As for past President's statements, no one openly wants nuclear weapons until they have them. If you don't have any, then your public statements are that they are horrible, brutal devices of no value or use and you don't need them. Once you have them, they are vital to your national security. Citation: Every nation after the first one to get nuclear weapons(1).

1: Except South Africa, which never acknowledged them, and destroyed their weapons and the entire program rather than hand them over to Nelson Mandela. But that's a special case.
Thanks for your insight, I internally confused Fact with Evidence.
I don't get it.

I was neither a nepo baby or aspiring monk. What I was, was a kid from a non academic family who wanted more than my small town education could provide. I wanted to push myself to learn at a deeper level and prove it by becoming one of a different crowd of technologists. Maybe these are misguided motivations but they were undeniable and not at all about asceticism or idle riches. It was absolutely worth it.
[I work at Kagi]

The extension is open-source [1], including the Rust code that produces the WASM [2]. You should be able to produce a bit-compatible binary from these repos, and if not, please file a bug!

[1] https://github.com/kagisearch/privacypass-extension

[2] https://github.com/kagisearch/privacypass-lib/
Passing the Torch on Asahi Linux
> Debian forked Firefox and changed the code

Debian didn't actually change the code, but they consider the right to change the code important, and don't accept Debian-specific exceptions.
First Lady Michelle Obama famously promoted both good exercise and good diet from an early age onwards.

No one is against improving the USofA diet, it's globally infamous for sugary toxicity.

RFK Jr's idea of a good diet, however, includes parasite ridden roadkill. Then there's all his other weird little fringe beliefs.
In this context I would also add, that there is still a reminisense of the ⟨u⟩ representing the /v/ ord /w/ sounds in many modern European languages, where it is generally used in <qu> to represent the sound /kv/ or /kw/. However, there are exception, for example in Swedish, where <kv> is common. My favorite example is the word "kvinna" for woman.
Python's default is gallop sort however radixsort is much faster and performs in O(n).
OSCR, I’m building the pitch deck as we speak.

AI generated SaaS app launching in Q2 and we’ll IPO later this year.
There's also the Framework option now.

It took them a while to, but they finally offer boards based on AMD chips.

I don't need an upgrade now, but I feel a RISC-V framework is feasible once I do.
Technopoly: Cybershow S05E04
What are the implications for national cybersecurity of hostile mega
tech monopolies? Did Neil Postman predict Musk's ploy?
That's "changing the code."

The main issue that I see, is that OBS doesn't want to be held responsible for the Fedora version, which is different from the "officially-supported" OBS version. They didn't modify anything other than the build, to exclude certain dependencies.

But modifying the build, is modifying the code. They are allowed to do that, but they probably aren't allowed to slap the OBS name on the result.
Can they use pyspark?
Corporate influence on open source has served to narrow down the tools that are able to gain adoption, irrespective of their utility, often going against what users want.

For example, many developers despise React.js; I once interviewed for a dev role for Facebook years ago and they asked me if "I had any qualms about using React" (paraphrasing) and the interviewer acknowledged that many candidates did not like using React... Yet React has a near-monopoly on frontend frameworks.

The whole media landscape around open source dev tools has been a nightmare. We're being pushed in specific directions, towards a small number of silver bullet solutions which do not suit most use cases.

It feels like all the authors of popular tools form a corporate insider clique and no tools outside of that social network is allowed to get any traction at all.
Doctor Droid (YC W23) Is Hiring a Back End Engineer
I don't think it was always that way. There were lots of overnight millionaires when tech unicorns were going IPO like gangbusters. But we haven't had a true unicorn in years, so right now, getting paid in equity is choosing to work for nothing.
Sorry, I didn't state that very well. Permit me to retry.

For a lot of people (I'm not actually one of them; I don't even have a car, but I know many of them), the energy efficiency of their vehicle isn't one of the top concerns — or even a concern at all.

Gasoline is available everywhere; they make enough money that the cost of gas doesn't matter to them. They care more about things like: How comfortable is the car to ride around in? How fast can it go from 0 to 100kph? What is the top speed? Does it look cool? Is it bulletproof? Can it connect to my phone without me fiddling with it? Does it have a premium sound system? And so on.

Their response to your comment would be something like, "Whatever, hippie."

It's literally something that a lot of people don't think about even once. This forum doesn't skew that way, I reckon, but I'm pretty sure sure that the vast majority of people who care about fuel efficiency of vehicles care because their financial situation means they have to think about the cost of gasoline (and that is a lot of people, perhaps most). Then there are some people who care about it because that's just their nature, or because they've thought through the consequences and external effects of these inefficient vehicles (a small sliver of people, although energetic about expressing their opinions).

Do you consider the electrical power usage of your computer's GPU? Given your comment, I suspect you might. There is likewise a sliver of GPU users and enthusiasts who compare the efficiency of GPUs, and think about that when building, say, a gaming PC. But most gaming PC builders do not think about that much, and certainly not enough to sway their purchase (let alone feeling "ashamed"). They just care about how many frames per second they can get in their game, and if the drivers are going to be reliable and games will run well.

That's just how it is. Most people don't care about power efficiency until they have to care, because of the money.

Having said all that, now that I have been forced to think about it, yes, a brand-new vehicle that gets only 10MPG is, in fact, atrocious. Absurd, even.

If I did have one, "ashamed" might be overstating it, but I would at least be a little embarrassed — if I ever thought about it. But most people don't, and I think that is the answer to your question.
How to download YouTube Videos quickly
You'd think someone would notice how this process is suboptimal and either come up with a way to make the process better, or at least a way to have a single point of contact with knowledge and experience (and reputation) to deal with this for you, i.e. on a more local governmental level.

As a random citizen, you'd perhaps get away with an online self-service form, as a small company or startup you might need a form and an interview, but the entire "talk to 4 different agencies at different levels of abstraction" seems like a waste of time for everyone when it can be done in one go (provided the thing you wanted to do is common enough that it doesn't require some extreme documentation and safeguards etc).

If 100000 people were to want to try out a potato canon, it should be sufficient to do something at a local level where you select "I wanna play with a potato canon for a bit" in some drop-down, and it might ask you if you intend to shoot at people or not, and if you have enough room to experiment with this without hurting anyone (including yourself). If yes, problem solved, no need to fill out a form, if unsure or no, fill out a form since you probably are doing something novel, or something you might not want to do. If this then means some other agency at some other level needs to get notified, sure, automate that, who cares. If it turns out you filled out your form and specified radio active potatoes, perhaps one of those other agencies might want to have a chat first to see if everything is okay.

But the default of "talk to an arbitrary number of agencies in every case" is not great.