skysight-inc/HackerNews huggingface dataset:
There's a very good passage from John Stuart Mill in his Essays on some unsettled Questions of Political Economy:

Science: causes.

Technology: effects. (Alternatively: means.)

One of the strongest reasons for drawing the line of separation clearly and broadly between science and art is the following:—That the principle of classification in science most conveniently follows the classification of causes, while arts must necessarily be classified according to the classification of the effects, the production of which is their appropriate end. Now an effect, whether in physics or morals, commonly depends upon a concurrence of causes, and it frequently happens that several of these causes belong to different sciences. Thus in the construction of engines upon the principles of the science of mechanics, it is necessary to bear in mind the chemical properties of the material, such as its liability to oxydize; its electrical and magnetic properties, and so forth. From this it follows that although the necessary foundation of all art is science, that is, the knowledge of the properties or laws of the objects upon which, and with which, the art dons its work; it is not equally true that every art corresponds to one particular science. Each art presupposes, not one science, but science in general; or, at least, many distinct sciences.

http://www.gutenberg.org/files/12004/12004-h/12004-h.htm#FNa...
Tongfei's Java Progressbar
Thank you for sharing.

Would you consider linking your source code, including make files?
Almost none of what you said is true. This is not voluntary, there are laws which give these powers, essential businesses can stay open regardless of their size, recording breaking the law while conducting non essential business won’t help you in the supreme court, the federal government is saying lots and doing very little.
OP is not joking, the original paper is available here:

https://math.berkeley.edu/~ehallman/math1B/TaisMethod.pdf

> RESEARCH DESIGN AND METHODS— In Tai's Model, the total area under a curve is computed by dividing the area under the curve between two designated values on the X-axis (abscissas) into small segments (rectangles and triangles) whose areas can be accurately calculated from their respective geometrical formulas. The total sum of these individual areas thus represents the total area under the curve
Snow white is dark ???

Disney is brainwash for children.
I don't disagree, but it's hard to point to the current mandated social distancing as empirical evidence. It's not like the people increasing their internet consumption could hang out at a cafe instead.
This is in no way relevant to my point. You brought up three countries that have nearly eliminated the virus from their land, while overlooking the single most important prerequisite in all three cases.

Edit: In other words, we can strive to reduce community transmission, but achieving the specific results found in the three you mentioned would also require a radical change in how we handle our borders.
Heat pumps are really amazing and can be used both for cooling and heating with the same hardware. If it wasn't for natural gas they would make sense for many American homes

https://medium.com/hackernoon/the-magic-of-heat-pumps-fd2721...
depends on the director and the script.
There's even been experiments with binding futures to glib or various GUI event loops!
*if it wasn't for cheap natural gas
You can routinely get a hundred or so karma from a comment thread without much difficulty, if you happen to leave a top-level comment early on a post and that happens to make it reasonably high on the front page, and then go in to reply to the inevitable responses to it (excluding an outlier comment of mine, I know it's possible to get over a hundred on a single comment as well). Not only do links earn you karma at a reduced rate, they are also nontrivial to find: for any "news" you need to beat out the dozen other people who'll submit the same thing as fast as they can, and for other content you actually need to find things that interest Hacker News and that hasn't been shared too much before. Plus, if you exclusively post links you miss the discussion, which is the best part of Hacker News IMO. Twitter or Reddit or Slashdot do link aggregation too.
The lockdown restrictions are a faith based policy, not evidence based. There is no hard evidence that they will reduce total deaths over the full span of the pandemic.
I've been using an Aoyue 968+ [1] combined hot air/soldering station for a number of years now to repair equipment (phones, monitors, laptops, whatever happens to break down). The thing costs around €170 in Europe, I got mine for $125 straight from China (through Taobao) about 3 years ago. There are plenty of other choices on the market but this is the one I have experience with.

[1] https://www.aoyue.eu/aoyue-soldering-hotair-rework-desolderi...
Is there any good resource on what addons are not open-source?
Note that is CA as a whole. LA is skewing it upward.

e.g. CA was around 1250 new cases 2nd week of April and maybe 1200 now (4% lower). With test capacity increasing, rt.live is giving 0.88, which on a 4 day serial interval implies a 33% actual reduction

Bay Area went from about 200 to about 140 now (30% lower). Factoring the reduction from testing (if same for all of CA), we're actually at a 53% reduction. That's an R of 0.81.

Santa Clara (which I admittedly originally mis-used for all Bay Area) went from 62 to 25. That's an crude R of 0.77 -- 0.7 factoring the test increases.
I remember reading these over ten years ago; probably posted on Slashdot back when that place had only started its nosedive. Still pretty funny ~15 years later.
Indeed, in the paper they're comparing MultiPaxos to Raft.

EDIT: For others, here's a very comprehensive (as of ~2018) review of Paxos-related distributed consensus algorithms with an exposition for each one: https://vadosware.io/post/paxosmon-gotta-concensus-them-all/ That's 17 in all, excluding the original Paxos paper. IMO, it should be linked anywhere Paxos is discussed. The link has been posted twice before by others on HN, but unfortunately hasn't seen any discussion, perhaps because it speaks for itself.
The US has not been harder but than Italy or Spain, or even Sweden.

Sweden has had 2,300 COVID-19 deaths for 10 million people. The USA has 25 times as many deaths, but 32 times the population. Indeed, American cities with similar population and density to Stockholm have far fewer deaths. Washington DC is a little smaller and has similar density, but has had 165 deaths, versus over 1,100 in Stockholm. (Deaths are doubling in both countries every two weeks, so they seem to be at similar points in their overall trajectories.)

Similarly, the death rate in the US outside of NYC is comparable to that of Germany. (NYC has no counterpart in Germany; it’s almost three times as dense as Berlin, and more than twice as tense as Munich.)

But that’s a political decision the Swedes have made, and maybe it will prove to be the right one. It could be that, in the fall, the virus resurges in places where people have been sheltering and have not developed anti-bodies, while Swedes manage to avoid that resurgence because they never shut down. No expert can tell you which way it will be. They can tell you a discrete fact (sheltering in place will save more lives than otherwise), but are in no position to plug that fact into a value framework and reach a decision. But politicians must make a decision one way or the other.
Since when is caffeine routinely served to children? I didn't have my first cup of coffee until I was an adult.
People should remember that the mortality rate for COVID-19 is under 3% _with_ medical care. If it isn’t available the mortality rate goes way up to around 20%.
This is such a silly position.
Well there are plenty of catergories that make little sense. Why is Dick's Sporting goods closed but Walmart is open. Why is Kohl clothing store closed but Target is open. etc.
I'm surprised we're not seeing plans for some businesses to reopen with restrictions. I think it will be a while before we allow haircuts and manicures again, but I see no reason why we can't increase the types of businesses allowed open. Limiting occupancy, requiring PPE, and enforcing social distancing appear to be reasonable requirements. I hope the politicians and government workers are busy trying to find a middle-ground and not just playing it safe to cover their asses.
First, it's not clear or obvious that the 21% daily increase rate would increase indefinitely. Infection rate slows more people get infected, and new potential victims decrease.

Second, all regions saw giant, double digit growth rates at first, and then lower growth rates. Sweden is taking a more laissez faire approach, and their growth rate has dropped from over +20% d/d to +1% d/d [1]

There isn't data to support the idea that we'd have 100% utilization in the Bay Area without shelter in place.

[1] https://en.wikipedia.org/wiki/2020_coronavirus_pandemic_in_S...
A brief analysis of the COVIDSafe app released in Australia
If you're wondering what's happening here, this is a shady tactic used by health providers to squeeze out of pocket money from patients. It happens also when your health plan clearly states that things like preventive care are covered with no-copay and outside of the deductible.

The loophole they exploit is claiming ignorance about coverage that's not under the umbrella of your deductible.

They can do this because when they check with the plan provider they don't have to, or want to do a lengthy inquiry in relation to the patient's situation and their plan. That check is usually a 2 minutes call. So they go with a blanket scenario which is:

“A patient is here for a consultation. Based on their coverage how much can I get out of their pocket?”

That's literally the only validation they are interested in doing.

Of course, you can try to fight this, but the process for this is probably so long that it's not worth your time. So they get away with it all the time. Most people don't even want to deal with this.
Going to the doctor is already stressing enough, so 75 USD less is not worth it more stress.
And they do this because nobody says anything and patients don’t understand well enough their coverage. The average person hardly understands the concept of a deductible.

If people were actually fighting back this it would be harder for healthcare providers to charge fees they are not entitled to.

Healthcare in the US is one of the most exploitative and unethical industries. They don't care about the patients, they only care about their money.
And I'm not talking about the nurses and doctors. Most of them are simply cogs of that system. They may have knowledge of these shady things but rarely can control them (except the ones that have private practices)

I'm talking about the organizations that insure patients and the organizations that provide healthcare. Patients are always in the middle of a constant tug between insurers and providers.

In a situation where someone has to lose something, you better believe it would be the patient.
I have heard AO Smiths are good units. I personally have never used one though.
I intentionally moved from reddit to HN after this same specific realization. After a few years it seemed like reddit would be a good place for hyper local info on covid, but I quickly saw the same effect— misanthropy in the face of so many people trying to do the best they could for others during hard times. It’s off topic here, but I seriously wonder what specifically caused reddit to adopt the largely toxic culture it has.
Do you have any good resources for getting started with Reason? I've tried a couple times, but it seems like there's a schism between https://reasonml.github.io/ and https://reasonml.org/
The hive mind is terrifying in general. It's bad here, too.

There are mindless zombies arguing for endless quarantine and nothing else will do.

There are mindless zombies arguing that lockdown must end immediately or their freedoms will be irrevocably harmed.

What happened to reason? What happened to recognizing that this lockdown is awful, but useful, and we need to make an intelligent decision about when it ends? There are good reasons to end it now. There are good reasons to extend it for years. The right answer is somewhere in the middle, and only reasonable humans are going to be able to find it.

Mindless hive zombies are not welcome in my world.
I’m not so sure it ignores precedent, although it definitely extends it. I think Ginsberg in her dissent says it well that the issue follows from related precedent as such: “To explain why, I proceed from common ground. All agree that headnotes and syllabi for judicial opinions—both a kind of annotation—are copyrightable when created by a reporter of decisions, Callaghan v. Myers, 128 U. S. 617, 645–650 (1888), but are not copyrightable when created by judges.” She goes on to say
“In contrast, the role of the legislature encompasses the process of ‘making laws’- not construing statutes after their enactment.” and that, “The OCGA annotations, in my appraisal, do not rank as part of the Georgia Legislature’s lawmaking process for three reasons.”

Those in the majority instead say “If judges, acting as judges, cannot be ’authors’ because of their authority to make and interpret the law, it follows that legislators, acting as legislators, cannot be either.” They say this extends to the annotations as “That of course includes final legislation, but it also includes explanatory and proce- dural materials legislators create in the discharge of their legislative duties.”

Whether the majority is correct in their decision or not, I think this is definitely a reasonable clarification of past precedent. I think Justice Thomas’s dissent is accurate when it says that this was not as clear cut a confirmation as the Majority opinion’s writing makes it out to be, but I think saying the decision is incongruous with previous precedent is also incorrect.
You can install Qt with HomeBrew, and then building (I did it) is just:

$ qmake && make

Then you'll get a GitQlient.app.
Very cool app. Being able to set the color is great in different light conditions.
Yeah me too. It was basically a suicide note.
Walmart sells food. Target sells food.
Certainly with some companies with Bot's - this would get very interesting indeed. Dear @{company} by replying to this tweet you agree.........
I have also heard some talk on building executors for embedded devices where you can't allocate memory on the heap.
Ruminants CAN eat food that humans can't, but they're not - they're fattened up on grain that could be fed to humans. Feeding that grain to humans would be more efficient.
> The lockdown has proven to be excessive. The doomsday predictions have not come to pass

Alternate interpretation: the lockdown worked.

I fully agree that continual lockdown without a concrete plan for what its achievable goals are, and how and when we'll reopen is excessive. Some kind of targeted, data-driven reopening in stages is the right way to be headed.
And? With increased revenue Amazon can probably afford to pay their workers more.
Coke?
No, I'm not expressing my emotions, I'm pointing out the lack of intellectual integrity in the statement.
Crown Flash, rare weather phenomenon of aurora-like streamers emanating a cloud
https://en.wikipedia.org/wiki/Crown_flash

In a thundercloud change of its electro-magnetic field causes ice crystals to change refraction of sunlight. But it looks like something that seems unlike a natural phenomenon.
It sounds like you're actually glad you didn't hop on the Starbucks / coffee shop consumption bandwagon.

A hot cup of coffee at home is an affordable and delightful treat.
Wish my local government thinks of this. My wife and I run a after school tutoring center franchise. We converted to online.
Our county decides to sign a contract w/ a national company that provides private tutoring strictly online.
I wouldn't have cared if they used a competitor that has a presence in the county. Or they sign up w/ several franchises with local presence. But this is taking our tax dollars to pay for jobs in other areas.

Many families have quit because they lost their jobs. All of us have converted online one way or another...and trying to survive based on who has been retained. But this was like a kick in the nuts.
Those who have control in government set the rules up as they see fit. If Apple and Google don’t support a method to do this, they will be pushed by law to do it differently. If your problem is that something will be made mandatory, either change the law or find a loophole, as anyone else would have to. The current implementation, at least for Apple, is 100% optional, even if you have an app installed allowed to read this data, you can still turn it off in settings. If the point you’re making is that PRISM existed, and therefore SV can’t be trusted, outside of abolishing the NSA, what would actually fix this? The problem is one of legislation, not technology. And it’s worth pointing out that if you’re this afraid of tracking, you should probably set your phone to voicemail and turn on airplane mode on a regular basis. Your ISP knows what devices you have, and where they are. This doesn’t change that. Besides, even without Apple and Google, governments are inventing apps. So I fail to see how tech companies proposing a less-privacy-invading-option is harmful? Would you prefer tech companies outright lied, were caught lying and then had to implement a worse solution anyway? The law is the law... tech companies don’t themselves make it, they just propose the rules for their walled garden within what the law allows.
Exactly, and this is easy to check: just pour a bit of water through the filter and then drink it.

You'll taste paper bag, I guarantee it.
There are some relevant differences between Sweden and New Zealand.

https://foreignpolicy.com/2020/04/21/sweden-coronavirus-anti...
The point is, judges make decisions based on these annotations. Therefore, if you're a private citizen, or even an attorney, and you're dealing with the court system, you must have access to the annotations or you're at a serious disadvantage. For that reason, hiding them behind a subscription or paywall is the equivalent of "secret" laws, or perhaps justice reserved for the well-to-do.
Event Store is probably not what you want.

It’s a database focused in allowing Event Sourcing application architecture and not analytics or log/monitoring.
Packaging LXD for Arch Linux
If it has worked on here I don't see why it wouldn't work there.
Actually migrating from Perl5 to Raku may be less painful than migrating from Python2 to Python3 for some codebases.

That is because you can easily use Perl5 modules in Raku.

use v6;

use Scalar::Util:from<Perl5> <looks_like_number>;

say ?looks_like_number( '5.0' ); # True

Which means that all you have to do to start migrating is make sure that the majority of your Perl codebase is in modules and not in scripts.

Then you can migrate one module at a time.

You can even subclass Perl classes using this technology.

Basically you can use the old codebase to fill in the parts of the new codebase that you haven't transferred over yet.

---

By that same token you can transition from Python to Raku in much the same way. The module that handles that for Python isn't as featurefull as the one for Perl yet.

use v6;

{
# load the interface module
use Inline::Python;

use base64:from<Python>;

my $b64 = base64::b64encode('ABCD');

say $b64;
# Buf:0x<51 55 4A 44 52 41 3D 3D>

say $b64.decode;
# QUJDRA==
}

{
# Raku wrapper around a native library
use Base64::Native;

my $b64 = base64-encode('ABCD');

say $b64;
# Buf[uint8]:0x<51 55 4A 44 52 41 3D 3D>

say $b64.decode;
# QUJDRA==
}

{
use MIME::Base64:from<Perl5>;

my $b64 = encode_base64('ABCD');

say $b64;
# QUJDRA==
}

{
use Inline::Ruby;
use base64:from<Ruby>;

# workaround for apparent missing feature in Inline::Ruby
my \Base64 = EVAL ｢Base64｣, :lang<Ruby>;

my $b64 = Base64.encode64('ABCD');

say $b64;
# «QUJDRA==
# »:rb

say ~$b64;
# QUJDRA==
}

I just used four different modules from four different languages, and for the most part it was fairly seamless. (Updates to the various `Inline` modules could make it even more seamless.)

So if I had to I could transition from any of those other languages above to Raku at my leisure.

Not like Python2 to Python3 where it has to mostly be all or nothing.
They key thing to remember is that the bulk of the voices contributing to comment sections on the Internet are those of people who spend a lot of time time posting comments on the Internet.

(Yes, I know what that implies about mine, too.)
Gas is super expensive here in Australia and I plan to try and put 10kw solar on the roof next year. Our hot water is currently gas but I would like to move to electricity. The solar will take 10 years to pay off, I expect adding this to the mix would take another 10 years.
It's not hard to shoot millions of people, but it is hard to raise the army required to do so. It is hard to do so without raising suspicions. It is hard to do so without damaging infrastructure.

I rogue state, or even a non-state actor, can leverage cheap drones(assuming, of course, a solution to the power problem) to obtain a weapon of mass destruction. Drones are fundamentally different from bullets.
When you factor in the health and productivity benefits, coffee is likely the highest ROI of all your investments.
why haircuts and manicures? Its a low population setting (1:1). If there is proper hand washing between clients, each new client gets a squirt of sanitizer, and both clients and stylists wear a mask? Require every haircut to start with a shampoo for mechanical disinfection.
Yep. I called my local hardware store to see if they can bulk deliver soil. They couldn’t. But five minutes later they called me back and recommended a place that could. On the first call she was disappointed I didn’t want to buy 240cu ft of soil in 2cu ft bags, but by the second call she realized it was good I called their shop first even if they couldn’t meet my needs.

Also their staff are way more helpful than any person at a big box hardware store.
They most certainly did not get a summer break.

My kid is absolutely still participating in school, and quarantine is pretty stressful for a kid. This hasn't been just loafing around, relaxing, and playing.
Reddit was the only place with covid info in January! And then in Feb, HN penalized coronavirus keyword as fake news.
That last can be framed in the opposite direction: America has stronger company rights.

American companies are more free to not pay a worker who is delivering no work on sick or parental leave, and to end employment of a worker they no longer want to employ. American health providers have more right to gain profits from their services. American companies are generally less burdened by things like VAT tracking and customs enforcement and silly cookie disclosures.

There's a reason that the FAANG industry dominators all came from American origins, as well as those of yesteryear like IBM and Intel, or in other industries like Ford or Disney or Visa.
They even beat natural gas on operating cost for many installs these days:

Gas Furnace: 1 Therm = 29.3kWh, Cost $1.5 (at least where I live), Furnace efficiency = 95%. Cost per kWh heat delivered = $0.053.

Heat Pump (COP=5, EER=17): 1 kWh = $0.14, COP =5, Cost per kWh heat delivered = $0.028.

Heat pumps are quite a bit more expensive to install though.
This is unbelievably cool. It is a multi segmented key prefix Key Value store. Can someone just strap paxos or raft to this and call it a day please? Pretty please?
The cereals in the supply chain today aren't going to be convertible into food for humans before the meat in the supply chain runs out. The meat supply chain is much shorter because it's much more expensive to keep meat fresh. Even if you don't care about the people who work in the meat industry and you think it's evil, surely shutting it down so abruptly (with the entailed food shortage risks) should be a last resort?