skysight-inc/HackerNews huggingface dataset:
I visit Sardinia almost every year since I was a teenager, and I've eaten casu martzu many times. Once you get past the maggots (which I hate) it's actually a very good pecorino cheese (my favourite is Roman pecorino cheese, but being from Rome I am biased)

It's illegal because it is considered potentially dangerous, but its dangerousness has never been proved, of course it's safer to simply prohibit it, it's quite popular in Sardinia, but not many even on the island eat it and in Sardinia people keep making it anyway, so I think it was the right decision.

Someone feeling sick after eating it in France would be very bad PR for such a small, local, traditional food.

I know of people that went to Sardinia only to taste it, exporting it doesn't make much sense both economically and beaurocracy wise.
Discussions about ivermectin must be banned from youtube.
It smells of Trump too much.
Any scientific dissent, even justified, should not be tolerated.
Satya Nadella elevated as Microsoft chairman
Most likely people go where the money (code used in production) and or the better supported and complete libraries are and the technical details of the language are more or less irrelevant. C++ is not dead yet.
This subthread is about the technical issue. The root comment asks "the real question is what mechanism allows them to push a random app to some phones?".
Indeed, charging a percent fee on every transaction is inflation proof. I could see the flat rate going up due to inflation but to increase both looks like PayPal is just being greedy.
Aside from the obvious drone tech, none of that is prescient, it's just a common problem in societies.
Given your experience, which ones would you recommend as alternative?
I get that it's an opinion piece, but IMO the title is a bit of clickbait.

Does Python have its issues? Yes. Is it suitable for everything (the article mentions mobile development)? No. Does that mean it's going to be superseded? No. Those things don't necessarily even mean it should be superseded, and that's a much weaker claim.
About 75% of students who were polled were against banning books pretty much across the board.

Does that fit within the ideological narrative you've constructed here for yourself though?
Having worked in the industry (thankfully not anymore), surprisingly that's how it works in the real world as well. Engineers are given a tape-out date that they have to meet, but managers have some hidden extra slack just in case.
> You can't get EUA for the vaccines if there's a working treatment.

Per the FDA: ""Under section 564 of the Federal Food, Drug, and Cosmetic Act (FD&C Act), when the Secretary of HHS declares that an emergency use authorization is appropriate, FDA may authorize unapproved medical products or unapproved uses of approved medical products to be used in an emergency to diagnose, treat, or prevent serious or life-threatening diseases or conditions caused by CBRN threat agents when certain criteria are met, including there are no adequate, approved, and available alternatives.""

And that falls apart under some scrutiny... it says "adequate, approved, and available alternatives." "adequate" being efficacious which is debatable without testing. "approved" which that drug is absolutely not approved for covid use. "available" being enough supply which is debatable if it turns out to be effective and widely used. I see no reason why the EUA for the vaccines would be threatened by this drug also being used in an EUA fashion. if they are going for actual approval for that drug it would take as long as the vaccine to get.

> When you look at the amount of money these companies stand to make from producing billions of vaccinations, you should not be surprised.

I think that when you look at everything through the conspiratorial lens... all you see are conspiracies.
I swear part of the problem is with C there is a cargo cult prohibition against passing small structs by value.
Aren’t some companies like Microsoft already experimenting in specific countries having 4-day workweeks with good results?

The problem is that we spend more time on meetings and talking about things than actually doing them.
If 4-Day workweeks would become the norm society would adapt to it - perhaps there would be less meetings, less breaks and productivity levels would increase.
People are paid to create value. If they work at a company that reaches a billion people, then writing some software that adds $0.1 revenue per user per year is worth a lot.
> For China, it’s an emotional issue. No amount of losses would be to steep once it starts.

That's a negotiating position portrayed by China, the same simplistic one used by lots of people: 'I'm so emotional that you'll just have to back down.'

The risk is that having lit the fire of nationalism among their population (as many people are doing), the resulting forest fire can be hard to contain.
The creative legacy of Kid Pix
If two statements have the same characters in the same order, how are they not the same statement? And why would that make Gödel’s statement invalid in Principia Mathematica?
Many people pushing Ivermectin have a vested interest in proving the vaccines are unnecessary.

It may work, but that's why you get recommendations for "vaccine made me magnetic" and other garbage like that whenever you search for videos.

It's the same group that was pushing hydroxychloroquine as a miracle drug
Answering my own Question #1: Looks like it sets values for FeatureSettingsOverride and FeatureSettingsOverrideMask under the "HKEY_LOCAL_MACHINE\SYSTEM\CurrentControlSet\Control\Session Manager\Memory Management" registry key.

FeatureSettingsOverride is a bit field where bit 0 controls the mitigation for CVE-2017-5715 (Spectre) and bit 1 controls it for CVE-2017-5754 (Meltdown). If the bit value is 0 the corresponding mitigation is enabled, if 1 it's disabled. FeatureSettingsOverrideMask is simply a mask to control which bits of FeatureSettingsOverride to apply. So, for example, FeatureSettingsOverride = 2 and FeatureSettingsOverrideMask = 3 would enable the Spectre mitigation (if available) and disable the Meltdown one.

More info here:

https://support.microsoft.com/en-us/topic/windows-server-gui...

https://gist.github.com/daBONDi/6f86210e54c68e84e85372fc4d1f...

Haven't checked if the program emits different behavior for other CPU's or OS versions.
Even in the 80's and we could go as far back as the 70's, climate activism was robustly supported by many sectors of society, media and popular culture. Not as much as it is today but far ahead of a doctor being literally destroyed and later killed through negligent detention for his views.

I've never heard of paper activism as an actual cause. Interesting, and definitely less known than the others it seems.
Merck sells Ivrmectin and recently had their vaccine candidate fail, they might be behind this push for IVR, with all the behind the scenes PR for it and the questionable speciality anonymous websites in this thread.
The argument isn't that the system is perfect. It likely just needs to be good enough. A false positive in attempting to comply with the law really isn't a reason to not try at all.
It's not even accurate to a first order approximation. Ignoring all else, higher temperatures lead to higher vapor density and lower relative humidity. That is, more evaporation and less precipitation.
You're not YouTube's parent, to tell them what they can and cannot do with their own website.
If the problem is that Asian governments subsidize the fabs, the answer is not to match their subsidies. The answer is to tax imports to even the score.
Quote notation – representation for rational numbers on computers (1979)
This is missing the point. Modern mathematics textbooks, especially undergratuate ones, are written with set theoretic foundations. It requires a lot of effort to reformulate all of mathematics into equivalent formulations. That makes it harder to get buy-in from many working mathematicians, and it also makes the subject less approachable for, say, undergraduates.
My understanding is the events that sparked the investigation were outside of the subject’s workplace/employment. Hence “retired.”

The preponderance of precedent favors the board’s concerns and right to investigate.

Being slightly familiar with North Carolina professional regulations, I suspect this holds true at the state level in particular.

The legal argument is inconsistent. It claims that the regulations don’t apply because the regulations apply via the industrial exemption in the regulations…never mind the retired.
No. Io_uring is a message passing system where you tell the kernel to do something and let you know when it's done.

Syscall chaining refers to having the kernel execute consecutive systemcalls without switching the context back to userspace.

An example of this might be closing a multitude of file descriptors or registering signals or writing the same data to multiple fds etc, which becomes prohibitely expensive if you need to do it multiple times quickly, and actually doing it even once is really expensive if your sets are large.
The Big Tuna Sandwich Mystery
You can disable SmartScreen with O&O ShutUp10 [1] on the home version.

[1] - https://www.oo-software.com/en/shutup10
Your stomach will contain some nitrogen/oxygen swallowed while eating and some carbon dioxide from carbonated drinks (both of which is what will make you burp if the pressure gets too high). Same (to a lesser degree) for your intestines. However, the nitrogen/oxygen atmosphere will be gradually mixed with methane and traces of other stuff when traveling further down the digestive system, and loose oxygen. Some insect larvae are also capable of breathing from a bubble of air clinging to their behind if they are immersed in fluid. But I think the risk of any larvae surviving for long in your stomach will be low.

What you can do to make sure they die: Schnaps will cause more stomach acid to be released. And as always, chew properly.
> There’s obviously no data going back 1200 years

Historical period. Rome, Egypt, Mayans wrote everything related with taxes and management, including every bad year for agriculture or origin of raw matters. Several 2000 to 4000 Yo documents are available.

12300 years back register: https://en.wikipedia.org/wiki/Dendrochronology

45000 years back fauna catalogue: https://en.wikipedia.org/wiki/Cave_painting

800000 years back register: https://en.wikipedia.org/wiki/Ice_core

And to look backwards further there is the fossil register, including some species so similar than extant ones that we can have a good clues about the climate where they grow, because they are still among us.
Interesting article on the topic of Thailand's culinary diplomacy:

https://www.vice.com/en/article/paxadz/the-surprising-reason...
> Did you read the article? Yes, selective admissions filter out “bad” students including the type of students who don’t care about school who hold back students who do care

What do we do about these 10 year olds? We assume they are not "high school" material and we put them in the school for dumb kids? Do these 10 year old not care about school because there is something intrinsically wrong about them and so the school system can't do anything about it?

> The failure of schooling starts much earlier than the admissions test, and it is wrong to infer from disparities in test results that the test itself is racist (as the ringleaders of the SF Board of Education assumed).

The admission test is not racist per se, but if it results in, say, blacks not being admitted to an institution, it exist in a framework that materially enables racism. We are talking about a high-school, which enrols 12 year olds to teach them basic trigonometry and some basic notions of history and literature (in the best case scenario) and not about Hydra hiring PhD candidates to build a death ray. When properly motivated, everybody with a 80+ IQ can succeed in high school, one may argue that you could pick them at random.
Mustard watches: An integrated approach to time and food
If I were you, asking for this test would be the first thing I would say at the doctor's, explaining why I want it would be the second.

Obviously most people wouldn't know they need it but IMHO this has to change. Everyone should be taught basic physiology and diagnostics at school. Every device comes with a basic manual - so every body should. I actually wonder why isn't this already the case in the USA where many people can't afford a doctor. Living some years without insurance taught me I really need to have some basic medical knowledge myself and it actually is easily available nowadays.
True, but GC gives those benefits automatically, compared to a naive program doing e.g. RC-based memory management.

And there is of course the question of safety; should you release an arena too early, you may have introduced a bug. Worse: it might not crash immediately.

There is actually some work for doing arena management automatically, called region inference: http://www.mlton.org/Regions

But the way I see it, it's just a way to make memory management even more efficient; it's not about precise release of resources, and indeed not all programs can be expressed so that releases can happen only in batches of an arena (assuming those arenas themselves aren't dynamically managed, which certainly is a valid strategy as well, but manual).
They reset that account setting literally every week because they don't want people to use it.
Even if a site made significant effort to have "non-malicious ads" I don't think brave would not block them with and put in their own.

I.e Brave is bootstrapping on manipulation of the intent of the publisher.

A cleaner aproch may be to approach publishers offer them a "better way" and decuple it from the browser marketing privacy / reduced ad load.

Likewise standards bodies, NGOs and Gov agencies need to protect users in the web and app ecosystems making it a more level in respecting user privacy / reduced harm. To control publisher / advertising / user relationship in a fair way.

But we live in a time of fast pace asymmetrical software mediated warfair and a few eggs are going to be cracked along the way in to trying to build something better.
Io_uring doesn't even address fanout if you mean writing the same data to multiple fds.

Io_uring is just a way to have "do this and tell me when it's done" io.
I use a PP merchant account, here's why. I have a side business that makes a little electronic gadget for an obscure hobby. For the most part, my customers are not techies.

PP is the only [0] payment processing system that does not require me to maintain my own custom web server, either physically or in the cloud. All of the other services work like this: "Just put this code on your server, to accept payments through our service." But much as I love programming, I don't trust myself to make my own server work with 100% uptime, no surprise fees, or gaping security holes.

With PP, I can use a totally static web page for my business, with a "button" that calls PP's server. Or somebody can even just send the money to me with a note about what they're ordering. Some customers get really confused and I can kind of hand hold them through the purchasing process.

Perhaps a second benefit is the whole buyer/seller protection racket. I have had zero problems with buyers, but I think the buyer-friendly approach lets people be a little bit more confident about sending their money to some unknown person on the web. The fee is X percent, so I know that I need to sell Y more units to make up for it, but I think the reputation of PP on the buyer side probably generates those sales for me.

Of course I've read some of the horror stories on the seller side, but they seem to be mostly related to selling digital or intangible goods (for lack of a better term). Also, I figure that someone who's already selling a digital service has got the whole web server thing figured out.

[0] I occasionally go out there and look for an alternative, and if my claim is outdated, I'd love to know.
It’s a bit of a brutalization of the concept of ideal to reduce it to mere happiness. The junkie on his way to a fentanyl overdose may very well be happy, but nobody who is honest and not evil would hold it up as an ideal life.

It’s pretty obvious that an ideal has to account for externalities to be much of one.
Exercising NSOs generates taxable income on the difference between the exercise price and the Fair Market Value (FMV) as determined by the current 409A valuation.

Exercising ISOs does not generate taxable income nor immediate capital gains when the option is exercised, but you will generate capital gains in the future on the difference between the sold price and the strike price when you sell your exercised options. If you are higher income, which is common if you work for a startup on the product and engineering teams, the difference between the strike price and the FMV when exercising the option counts towards AMT calculations.

It's common to pay AMT when exercising ISOs but you do generate AMT credits that can be used in future tax years when your taxable income and capital gains are below the threshold for triggering AMT.

Carta has a great article on ISOs vs NSOs that goes into more detail: https://carta.com/blog/equity-101-exercising-and-taxes/
These content-free, persistent, aggresive dismissals of Zizek make me curious to read his writing and see what freaks you out so much that it pushes you to post multiple sets of paragraphs to scare people off it.
Where does Lean get sold as a constructive system? Certainly mathlib (the main maths library in Lean) is very upfront about being classical.
Yes, but it's changing rapidly. Our other family car was about $10000 when we got it, I'm not keen to spend too much more. But I'm holding on to when it needs replacing that a second hand electric will closer to this cost than the E-tron.
At the time I visited in 2015, the residents told me that boring out a family home cost in the realm of $150,000 AUD which seemed like a bargain compared to the (still?) red hot Sydney real estate market.
It's also regressive to cut taxes on some new privately owned businesses.

The right way to do this stuff is raze wages in Taiwan and Korea. Supply side subsidy race to the bottom when we have an aggregate demand issue is stupid.
From https://news.ycombinator.com/item?id=27500423

https://osf.io/u7ewz/

Lowe mentions: "Objections have been raised to that trial’s use of an oral suspension formulation, I should note.". But by reading the linked article we can see that there is much more to note:

"In the statistical analysis subsection of the article, the authors acknowledged 2 RCT issues: i) they modified the primary end point to time from randomization to complete resolution of symptoms within the 21-day follow-up period and ii) a labeling error occurred between September 29 and October 15, 2020, resulting in an unblinded protocol during this time frame."

Protocol violations in López-Medina et al.: 38 switched ivermectin (IVM) and placebo doses, failure of blinding, widespread IVM sales OTC in Cali, and nearly identical AEs for the IVM and control groups

https://alethonews.com/2021/06/09/is-there-a-problem-with-th...

>Dr. López-Medina reported receiving grants from Sanofi Pasteur, GlaxoSmithKline, and Janssen as well as personal fees from Sanofi Pasteur during the conduct of the study. Dr. Oñate reported receiving grants from Janssen and personal fees from Merck Sharp & Dohme and Gilead outside the submitted work. Dr. Torres reported receiving nonfinancial support from Tecnoquímicas unrelated to this project during the conduct of the study. No other disclosures were reported.
The answer at the very bottom does include a browser-based link to do this: https://dot-to-ascii.ggerganov.com/

Seems to work well..!
I don't see how that follows. Many forests in California are fossil remnants of a wetter, cooler climate. They cannot spread nor establish themselves in this climate, so when they get damaged by drought, disease, or fire they don't return. The native plants are not adapted to it.
> Sounds like there is less protein rich ways of eating the cheese as well.

You know cheese is mostly protein, right? If you took out the protein, it would be butter, not cheese.
> Why not just lower the tax rate for corporations altogether

You're assuming it's true that manufacturing has moved overseas because of tax rates. Remember that it used to be blamed on labor costs.

All those arguments suit the arguers, who don't want to pay taxes or wages. There are many reasons, including that Americans can have better paying jobs than what they did 50 years ago.

Another issue is that Americans have to pay for things, and if the corporate tax rates are lowered (they are already pretty low), then other people have to pay a greater share. Who?
Ok, but the "wake up sheeple" approach is guaranteed to (a) not persuade, and (b) take the thread into a predictable rut. So please find a different approach to make your substantive points with.

https://news.ycombinator.com/newsguidelines.html
I highly recommend Dr. John Campbell video's on the Ivermectin topic:

https://www.youtube.com/watch?v=R0-90kvoQac

https://www.youtube.com/watch?v=BLWQtT7dHGE

https://www.youtube.com/watch?v=D2ju5v4TAaQ
The fact that it need not be nuclear, complicates their possible response because

>“Russia will perceive any ballistic missile launched at its territory as a nuclear attack

and based on recent historical data in ukraine, it's not beyond the states course of action to not do anything of consequential note, and instead opting for token gestures.
> Eat less meat, Adjust your thermostat, Change your tires, Buy an electric car, Buy better bulbs, Plant trees with friends.

Those are all good things, and we should do that, but the vast majority of emissions come from commerce and industry and not consumers. The single most important thing for people to do is to use whatever influence they have to compel governments, and institutions to eliminate carbon emissions.

> Campaign for nuclear power.

It takes a decade to build a plant. For this to work, we need to speed this up. Scrutinizing regulations and bringing down capital investment needed to build plants could help. But wind and solar can be deployed now, and can be built quickly and I think that, in combination with storage, is our best hope.
Modern math textbooks are based on naïve set theory, which can be quite feasibly modeled, even by structural foundations. It might require some effort at the lowest layer of formalization, but even then only as a one-time thing that's not going to impact the project as a whole.
I had a raging case of COVID19, and deep into a 39C fever I began burning offerings and meat and honey to the moon. It was late at night, and I figured maybe the Moon God would be awake. There was no effect on the fever.

Once the dawn came, I gyrated wildly in the direction of the sun while burning incense. Within hours, my fever broke and was down to a lukewarm 38C! Now I see that COVID19 is the domain of the Sun God. I was a fool for praying to the moon the whole time.

My relatives had COVID19 too. Two were completely asymptomatic and two had moderate disease in a family of 4. Since half of COVID19 cases are asymptomatic, many people think because they're taking foo, it had effect bar against the disease and that is why they aren't sick. But it turned out they're just one of the lucky 1 in 2.
Yes, and the way you do that is by increasing their chances of being able to integrate productively into the rest of the economy. How do you think a person who knows how to send emails and open Google Docs stacks up against a person who doesn't?