skysight-inc/HackerNews huggingface dataset:
If you want to start that competition, ok. It’s not nearly the same. For one, the Mac will actually turn off when you want to turn it off. System updates are far in between and usually just work. On windows you get driver updates every week (which still don’t automatically install for the most part), and you might have audio / graphics issues start popping up out of the blue. Or your favorite software stops working. Or it just refuses to wake up from sleep. Or one of the 17 things running in the tray (the mouse driver maybe, or fan manager, or the manufacturers “optimization” software) starts eating your CPU. Your fans start going wild every 30 seconds for no particular reason. The start menu stops responding. Some app locks the whole system up and you can’t even open the task manager because it steals focus. One day your audio volume is off and you can’t figure out why. Windows decides that the default output is something else and ignores your attempts at reverting that. Your mouse locks up randomly. The Windows key decides it doesn’t work anymore. Alt-tab stops working. Everything slows down to a crawl one day while watching YouTube, and again you can’t open the task manager…

The solution (if there is one) usually involves a fair bit of googling, uninstalling/reinstalling/updating things, maybe messing with the registry or settings.

You may think I’m exaggerating, but this is actually the list of issues I’ve had myself in a span of two years. I use the PC for browsing and gaming, nothing else. It has been very frustrating, and I’ve been working with computers for 20 years. I used to think Linux was a pain but am rethinking that.

Flash has been deprecated on the Mac for ages, and Adobe stopped supporting it completely last year.
There were also enough signs for them to identify Dan Schroeder being from Thailand despite the fact he hasn't been there or out of his country of residence for two years.
Not really.

Paul's 2016 plan would have set the Pentagon budget to $697 Billion, a significant spending increase. Honestly though +/- even 30% is largely irrelevant in terms of military budgets. Look up what it would take to drop us to even 2nd place in military spending.
Decrease in testosterone in human males after birth is not news, but I've never seen anyone suggest that the cause could be decreased sexual activity as the mother heals. It is known that decreased sexual activity lowers testosterone in human males. I just had my third child 10 days ago so I'm right smack in the middle of this. I don't feel a drop in libido, but lack of sleep and the knowledge that there won't be sex for a while doesn't help. I'd like to see a study that actually proves a causal relationship here.
For the curious, reasonably recent discussions from several TWiV episodes on Ivermectin. [3] is quite recent (Jun 9). [4] reviews a study which is mildly encouraging. I think it's fair to say that the jury is still out, and it does deserve more investigation.

Fun fact: Vincent Racaniello's wife worked on Ivermectin at Merck, and on a recent livestream (the 6/16 one) he suggested it would be reasonable to take it, especially because it's known to be safe.

[1]: https://youtu.be/4hGVeZGfEnU?t=5414

[2]: https://youtu.be/N0-H28vzOps?t=1452

[3]: https://youtu.be/teJ1wXyEf1Q?t=1905

[4]: https://youtu.be/kz1Ja5zH1n8?t=1720
I don't think it's actually about backwards compatibility, because the logical solution to that would be to provide a unified dialogue with all necessary settings, and keep the old ones for BC. Instead, they've just moved some of the features from the old dialogues into new interfaces, and left others (many of which are vital), so the entire thing is fragmented. It's completely incompetent.
> You can't get EUA for the vaccines if there's a working treatment.

Veklury (remdesivir) was approved by the FDA for the treatment of Covid-19 in hospitalized individuals on October 22, 2020. This was a full approval, not an emergency use application: https://www.fda.gov/media/137574/download

We've continued using the vaccines under the existing EUAs even after a treatment was approved.

The FDA has granted additional EUAs for other treatments, even after that date: four more, not counting a sedative agent, per https://www.fda.gov/emergency-preparedness-and-response/mcm-... .

In fact, the FDA has even granted an EUA for a vaccine after approving Veklury: the Janssen/J&J vaccine received its first EUA on February 27, 2021. https://www.fda.gov/media/146303/download

Even if ivermectin was a perfect treatment for Covid, and even if an approved treatment would pull all the vaccines off the market -- despite that not happening after the FDA approved Veklury -- by the time ivermectin made its way through the approval pipeline to be labelled for this indication, the Pfizer and Moderna vaccines would very likely have received approval as well. So there's no "billions of vaccinations" at risk should another treatment be found to be effective and approved.
This post entirely misunderstands YouTube's position in the whole situation though. YouTube removes content advertising the use of drugs outside of their (at least, at the time of posting the video) prescribed usage. YouTube is not meant to be a message board for "Does ___ work for ____ illness? Let's see!".
> I mostly think the "appendix" system works, but I think the first party should still assume limited liability for the hardware of the device after the appendix is broken, so they still have an incentive not to conspire against their users.

The seller can not absolve themselves of liability in this way. They still assume liability under their warranty and must prove changes you made are the cause of malfunction even if you modify the device.

https://en.wikipedia.org/wiki/Magnuson%E2%80%93Moss_Warranty...
> Why would a bootloader ever be considered part of the same program—they don't even ever run at the same time.

Hmm, its not so easy, I think. A bootloader is code that might be in the address space after boot and may well run even after boot. Real world examples of this are the PC-BIOS (if you agree to classify it as kind of a boot loader) and Sun OpenBoot PROM. The PC-BIOS routines are used during runtime of older Operating Systems and to bring up the newer ones. Diagnostics Mode on a Sun can be entered any time by pressing a special key combo (Stop+A) and this will run OpenBoot code.

Even for more modern systems using U-Boot it is not clear cut. At least U-Boot deemed it necessary to clarify it in its license:

"U-Boot is Free Software. It is copyrighted by Wolfgang Denk and many others who contributed code (see the actual source code and the git commit messages for details). You can redistribute U-Boot and/or modify it under the terms of version 2 of the GNU General Public License as published by the Free Software Foundation. Most of it can also be distributed, at your option, under any later version of the GNU General Public License -- see individual files for exceptions.

NOTE! This license does not cover the so-called "standalone" applications that use U-Boot services by means of the jump table provided by U-Boot exactly for this purpose - this is merely considered normal use of U-Boot, and does not fall under the heading of "derived work" -- see file Licenses/Exceptions for details. "

EDIT: Just to be clear, I agree with lights0123's main argument, I just wanted to point out that it's not trivial and that "they don't even ever run at the same time." is not the strongest supporting point.
They are paid by the station owners, so the money reduces their profits and perhaps long-term investments in new pumps or other equipment. In reality, the soda and candy inside probably all costs 10 cents more than it otherwise would.

One consequence is that our state gas tax hasn't been raised in decades. That's why our gas is cheaper than across the border in WA. They pay a much higher per gallon tax than we do. My town has gotten around this by adding a $10 a month fee for road improvements to our water bills. Other cities and towns let their roads crumble.
How about people without dedicated charging spaces, let alone parking spaces? I would want an electric car, but I can't charge it where I park it. So I wont buy one.
That depends on your definition of tax and business friendly. Note that the Northeast and Pacific Rim have produced far more success and wealth in business than other places, probably more than any places in the history of the world, without exaggeration.

Taxes are the front end transaction of investment, in education, infrastructure, courts, support for workers and families, etc. Those things are very business friendly. Low tax areas, which lack this investment, don't have a great history with businesses.
As to decidability: I suspect you mean that Lean's foundations are non-constructive. I'd rather they weren't, but with what Peter Scholze is doing, I'd be surprised if the arguments could be made constructive within just a few years from their conception. This usually takes much longer (e.g., constructive proofs of the Quillen-Suslin theorem appeared in print just a few years ago).

About incompatibility: Last time I checked (some 3 or so years ago), Coq was not backwards compatible either, and libraries had to be ported manually with each update. Sadly, as this is the one greatest anti-feature that is currently putting me off proof assistants, but probably it needs some time, and the quickest way to get there is to maximize usage. From what I know about Coq and Lean, I suspect Lean will stabilize faster than Coq does, due to it being more "declarative" (Coq is based too much on complex tactics, which are hard to make stable by design).
Average city and highway usage is estimated to be 22mpg.[0]

[0]https://www.fueleconomy.gov/feg/Find.do?action=sbs&id=42615
Yes, each port is on its own bus. https://eshop.macsales.com/blog/68484-thunderbolt-on-the-m1-...
Corporations are _groups_ of people cooperating.

That doesn't change anything about why corporations should be taxed, unless you also believe that individual people should not be taxed either. Because after all the company is only people so it should be taxed because it's people that we tax. To break it down into pieces:

1) Corporation are made up of people.

2) The money those people receive directly from the company is taxed

3) The money received by the company is also received by people because the company is, after all, only a group of people.

4) Since money held by the company is also just people's money, and people's money is taxed, the company's money should be also be taxed.

Why should money received by an individual be taxed but when it's pooled & received by a group of people it remains untaxed?

I actually know the next response in this chain: If it's taxed at the corporate level and then given to individual people who are also taxed, it has been double taxed. There's an easy solution to that: The company shouldn't hold on to the money long enough to have it taxed. Keep giving it back to people, pay higher salaries, or invest in R&D.

In that way, it's not even a tax on profits as much as it's a penalty for keeping the money stagnant. By keeping it stagnant you keep it from contributing further to the economy and from receiving enough taxes from individual taxation to pay for all of the infrastructure & other services provided by the government.
Ideally, sure.

It is just my personal opinion that anti-science does not have equal value as science and should not be found right alongside it. Given the correct context and time and place, I don't fundamentally have an issue with the books existing or people being able to read them.
There is literally only one feature that uses massive amounts of memory. Online de duplication relies on keeping an in ram table of duplicated blocks. This means that more duplication you have the larger the table is.

FreeBSD Mastery: ZFS by Michael Lucas around pg 174

Deduplication Memory Needs
==========================

"For a rough-and-dirty approximation, you can assume that 1 TB of deduplicated data uses about 5 GB of RAM. You can more closely approximate memory needs for your particular data by looking at your data pool and doing some math. We recommend always doing the math and computing how much RAM your data needs, then using the most pessimistic result. If the math gives you a number above 5 GB, use your math. If not, assume 5 GB per terabyte."

https://www.tiltedwindmillpress.com/?product=fmzfs

This is not to say you need 5GB for every 1TB of data. It doesn't even mean you need 5GB of data for every 1TB for which you have enabled dedup it means you need approximately 5GB of data for each TB of data which is both duplicated and residing on a dataset for which you have enabled dedup. Because of the high memory cost of dedup which rises exactly in proportion to its utility its only useful in cases in which you can plan ahead for its requirements. 99% of users are unlikely to use dedup however this doesn't stop some, not you obvious, from promoting the idea that ZFS requires 5GB of memory per TB or some some absurd figure.

As an aside I really liked the book I found it easy to read and understand and very informative despite being focused on FreeBSD its mostly applicable to Linux as well.
> But who is to blame for the deaths of thousands of people, who could have been saved by Ivermectin,

Entirely irrelevant when discussing YouTube, which we're doing now. YouTube is not a legitimate source for medical/drug information.
One downside -- an Audi Etron starts at about $70,000. At least its a downside if you don't have a lot of extra money laying around. Average cost of used car in the US is about $7000 -- thats what many of us drive. Until us unwashed can get a safe, reliable electric car in that range (and one that I can service myself), the electic car will just remain a rich mans status symbol.
Is there something special about it being an app? Because the contact tracing framework that the app uses was already pushed to people remotely without their consent or knowledge - as well as the contents of every update ever to Google Services Framework. And in the big scheme of shady shit that Android does without the user's consent or knowledge, that's a pretty benign, privacy-respecting one.
So's the idea that ivermectin must be the explanation for India's COVID spike abating.

Spikes abated all over the world, more than once in most countries, without ivermectin.
Ok, edit my hypothetical person to not advising their patients, but standing at the hospital entrance after their shift telling all other patients that cigarettes are good for you.
Its bamboozling that in this new age of 'deplatforming', that video and game entertainment companies have not pushed ISPs, nations, or tech companies harder to deplatform torrent sites. It would yield pretty major benefits for minor effort.

Its also strange that people are willing to spend $thousands on a gaming PC, and then risk their entire device to malware just to save a couple bucks on games.
This comment is ridiculous. You’re obviously not a scientist.
It’s become a matter of pride for Oregonians - kind of like how hazing rituals persist.

It would be amusing if Oregon required an electrician to plug in an EV at a public charger.
compare to duckduckgo results

https://duckduckgo.com/?t=ffab&q=+Ivermectin+meta-analysis&a...
On a related note, I enjoyed watching Secrets Of The Saqqara Tomb on Netflix. I don't see it mentioned in the article.

https://www.netflix.com/title/81064069
Thank you! I've fixed them.
If this drought is caused by climate change driven by humans wouldn't it mean the science is wrong?
« Originally, Python was dynamically scoped. This basically means that, to evaluate an expression, a compiler first searches the current block and then successively all the calling functions. »

Python was never dynamically scoped. Before Python 2.2 it had a three-level static scoping system, and nested functions didn't have any access to variables from their parent function's scope.
Loud speakers in the interior and exhaust, like all modern cars that go vroom. Not that modern engines make any sound anymore.
Needing to strap gas to the roof of a vehicle because of lack of infrastructure is a common issue?
for a very tech-centric definition of “engineering”, perhaps.
Isn't that regressive and unfair to everyone but consumer electronics corporations? Force consumers to pay more for consumer electronics, in order to direct more money to specific corporations (and they are uncompetitive corporations).

Perhaps we should invest more in people who will create competitive businesses, such as in education.
My prediction is that used ICE cars will appreciate in value as less ICE models get sold.
You're basically saying "let's consider reinventing the internet", which I think is not reasonable or a good idea.

I think one problem with the comments about this post is that they doesn't emphasize enough that the hit is to system call heavy workloads. This is NOT a global slowdown of all compute. The hit is to system call performance, and it's big, no question, but I don't think we need to throw out the internet's structure in order to address that.

One option is to make fewer system calls. For a program that is basically scanning a file system that might be harder to do today, but for tons of other programs it isn't, and with iouring we have a very reasonable escape hatch for optimizing syscall heavy workloads.

This might sound silly, but this sort of thing is constantly happening - programs are optimized for thinking something is fast and something else is slow. For example, if you built a program in the 2000s you'd do everything you can to avoid the disk, aggressively caching. In 2020 disks are insanely fast, and the cost of caching will be worse than just optimizing your disk usage.

I don't know about the average website, but from what I can tell most sites that aren't total shit are pretty 'clean'. With an adblocker, especially so.

> running code you can't trust

We do that already. There's literally dozens of mitigations taken based on this.
Agreed. They need to start controlling for sleep deprivation and cessation of sexual activity for the weeks after birth before these studies can start suggesting anything physiological.
With regard to smooth acceleration and quiet ride, it sounds like you’ve never actually driven an electric vehicle before, you should at least try it before offering your opinion about it
I have switched back to Windows because macOS is like a second-class citizen in Apple :-/ I am programmer with many Bash scripts in macOS. But the switch is quite smooth actually (thanks to WSL 2).

With the similar price of M1 iMac, I can buy a Windows with a much better GPU (for gaming, deep learning, mining, or whatever) and a 140+Hz monitor. With a high refresh rate monitor the UI is so silk smooth. Expect iOS level smoothness when scrolling web pages.

However there is something I still want a solution. Say the continuation of the current website (between Edge and iPhone). Password synchronization and Notes (the official iCloud web Notes is almost useless).
The Efforts to Make Text-Based AI Less Racist and Terrible
We had a manager with Theoretical Physics education from a top school who seriously suggested to ultimately solve QA by building a system to run the program through all the possible combinations of branches/etc.
> "lack of particles coming out the back" - As long as the electricity you power it with didn't come from a dirty source, like most are, sure.

The only power stations that are producing a bunch of particles similar to an ICE car are coal plants and even with Trump doing his whole "Trump digs coal" nonsense these plants didn't make any economic sense any more. They made less than a quarter of America's electricity in 2020 and that fraction has been falling for years.

Also, unlike your car exhaust, which is literally where your car is, the coal plant's exhaust is typically over 100 metres above the plant. It's still filthy, but at least it isn't, for example, right outside a primary school, or arm's length from a passing jogger.
Washington’s Dangerous New Consensus on China: Don’t Start Another Cold War
> Claims that an approved COVID-19 vaccine will alter a person’s genetic makeup

Wow, that’s insane. Time to report some talks on somatic hypermutation…
I would point that it these are speculations and gender ideologies more then science.
I think virtually every Spectrev1 POC is browser based Javascript.
Those "upcoming" fleet regulations started last year.
FWIW, I've seen these really low charge rate numbers for 120V outlets repeated over and over, but in my experience, if you let it run at max continuous speed (12 amps), the Model Y generally gets 5 miles of charge per hour on a standard 120/15 amp household plug in the 20%-80% state of charge range. Not amazing if you need to charge the entire battery, but quite adequate for day-to-day.
>” By definition, a 1200 year event is at least a little unusual”

For humans, yes. But for an ecosystem on a geologic timescale? It makes sense that native plants would be adapted to withstand events.
If true, there are many better ways to deal with this than play forum hero. Law is a regulated profession and comments like this are almost invariably complete fucking bullshit.
That coupled with the cancelation of extended un-employment benefits in some states is definitely going to cause some friction.
How so? Videogames are no less useful than Bitcoin. Like, if all videogames disappeared tomorrow, humanity would fundamentally be all right.
No discussion about EVs is complete without mentioning the batteries. They are extremely environmentally toxic, and get depleted with time. Not good.
JS is already treated like code you can’t trust. Adjustments will be needed from time to time.

A full block would not be for engineering reasons, but for ideological reasons.
I said a database that tracks people could identify me using information about my birth. Not that everyone is born in a hospital or by a doctor.

By your definition there are no natural keys. But since that definition isn't useful we instead use one that is. The natural key is the identifier by which the thing is already known.

https://en.wikipedia.org/wiki/Natural_key
60 _km_/h
In this case the “murdered” software perfectly describes most web servers.
The Coq folks tend to focus on constructivity, and Lean gets sold as a constructive system but then you get this weird axiomatised-quotients stuff that's the farthest thing from constructivity. I can see how they might find that kind of thing highly frustrating.

It might not show up as a problem if you only ever care about classical stuff, but there are arguably better ways of doing purely classical mathematics that don't arbitrarily break interoperability w/ the constructive world.
I've sometimes wondered if neural networks could be used for replicating the differences between different 6581 chips, by having a computer automatically interrogate the chip and the neural network.

Optimally the end result would be a 6581 chip model (or possibly just some parts of the chip) with 2d input indicating what kind of chip to use today, possibly another input for temperature, and then driven by those existing 6581 emulators.

It could potentially use insane amounts of compute power just to run it, if it uses the same approach as those researchers that did a speech synthesizer that produced one sample at a time from the network.. But it could also have very compelling results.
This is a very good point, and I have no idea why it would be downvoted except for idiotic HN groupthink