skysight-inc/HackerNews huggingface dataset:
It is hard to tell what exactly was tested in this study. It mentions the standards which the tested respirators met but there is no mention of any standards regarding the tested surgical masks. Were they surgical masks that met the ASTM standards for surgical masks? If so the level 1, 2 or 3 standards?

The solution Save The Face Mask proposes is designed to work with surgical masks which meet ASTM standards. Given the lack of information regarding the masks tested the quoted study is fairly useless in evaluating the proposed solution.
>The point is the underlying domain (physical space, in the donkey parable) is continuous, and it needs to be partitioned into discrete values.

I don't think that was part of Buridan's concept. The concept was simply the impossibility of choice between two same options -- the continuity of the domain didn't play any role (in fact the description focuses on the discreet binary choice alone).

>Anyway, rest assured this problem is very resistant to any "what if you just..." solutions you can come up with.

I'm sure, I don't propose a solution - just say that the problem is not about discreet/continuous.
here's my git pre-commit hook to apply rebar3 format,

#!/bin/sh

FILES=$(git diff --cached --name-only --diff-filter=ACM | sed 's| |\\ |g')

echo $FILES | xargs -n 1 rebar3 format --files

echo $FILES | xargs git add

exit 0
You can open a USD account in US with TransferWise business.
PEG.js Author on Project Maintenance and Health
Somehow storage creates the most intriguing narratives - maybe we collectively can most everyone appreciate losing or having data at risk, while otter arcana can't quite find the same empathy. Anyway...

In 05 Dell sold me a workstation and internal RAID array that suffered a drive fault requiring replacement and rebuild. Unfortunately the engineer who was handholding me through the steps just to make the changes under our support conditions of the job being theirs and otherwise we left alone, told me it was a LSI card and not a Adaptek installed. This was a very entry level card and the only such card I've experience of. (Accustomed to the luxury of the high end) So I had to take him on his assertion it really was a LSI OEM PERC controller. Erm, not exactly. I learned this when a second connector dislocated and I blithely yanked and reseated U32PSCSI ribbon neatly and promptly as I imagine anyone would. Only the PERC was Adaptek and not LSI and for reasons my recall may be protecting me from* failed the second drive in the R10 array.

I vowed to never run any hardware RAID again and I have maintained my resolution until last month, if specifying a rack of dedicated storage counts for proprietary hardware in equivalece of black box opacity.

I should have written my experiences and blogged them because I took this loss of the subsystem so badly I became obsessive about learning first how to reconstruct the borked array from raw disk, a pleasure indescribable in polite company, and carried on until I was holding forth in charge of a budget for storage space in my dreams I never imagined presiding over. Every which way I believe only in software control of stores. I'm a true disciple to the cause. This r as rack of proprietary storage hardware only got its PO after the methods of code escrow had been thrashed to death in the final thrills of fall and last winter. (Incidentally the outside legal lead wrote me privately afterwards and pondered out loud whether the escrow didn't create a backdoor kind of vendor lockup because of the potential for contaminating employees with IP during emergency contingencies operating. Thanks Buddy! I'm not sounding like it but I'm actually grateful for that consideration if only because it sounds good for avoiding any repetition of the process just endured. It's a dual licensed codebase but being on the commercial code and the open code trailing in develop... I'd love to see what eg DDN routines are like I'm absolutely sure eager audience awaits publications like that.

Surely the lock down must have awoken the industry to the needs of self sufficient repair and diagnosis.
Nice idea, but entering my website (https://drawa.live) the link doesn't get updated, and entering the URL manually gives an error.
Not really. The real world gets real fast.
This is a good idea and there are actually 2 objectives when one wants to clean its dataset:

- you might want to optimize your time and correct as many errors as you can as fast as you can. Using several models will help you ion that case, adn that's actually what we've been focusing on so far.

- you might want to find the most ambiguous cases where you really need to improve your models as those edge cases are the ones causing the problems you have in production.
Those 2 objectives are quite opposite. In the first case, you want to find the "easiest" errors, while in the other one, you want to focus on edge cases and you then probably need to look at errors with intermediate scores, where nothing is really sure..
One possible explanation is that hospitals were already operating close to capacity. So even adding a small number (percentage-wise) of the population very fast, will cause disasters.
I think in your first paragraph you're confusing intuitionistic logic and linear logic --- intuitionistic logic still lets you "clone" and "delete" propositions freely.

The second paragraph is somewhat true --- at its base, the modern use of the term "intuitionistic logic" refers merely to not accepting the law of the excluded middle. However, there are varieties of intuitionism that are very, very inconsistent with classical logic, like those adopting the idea that "every function between real numbers is continuous".
People still use hardware RAID? Windows exempted, as there's unfortunately nothing better available for Windows. (ReFS SW RAID might be ok, haven't checked its state in a while. I know Microsoft is definitely working hard to fix this.)

Hardware RAID is just data corruption waiting to happen, simply because there are more vulnerable components and interconnects along the data path.

It's much better to checksum data while it's still protected by ECC RAM and CPU ECC caches – which is something only software RAID can do. Although even that is not a total guarantee.

There's no longer reason to assume a slow SoC on a RAID adapter (even with XOR acceleration) would perform better than an Intel or AMD server CPU, as long as I/O path is not bandwidth limited.
It's a little bit easier to walk across a continent if there are already known human establishments along the way to get supplies, existing roads or paths, and maps. It also helps to know what kind of competition to expect from other wildlife or hominids who might already live there.

Let's ask a question. Is it known whether anyone walked across North or South American in the 1600s? Native or European?
I'm willing to use the app but why is it not created as part of a nonprofit that guards the data and erases all data once the W.H.O. declares the pandemic over.
Stripe only support USD accounts in USA and Canada.
I'm currently working on a small flashcards tool myself so this immediately peaked my interest! Great execution - love the design and the group aspect of it.
> PCIe lanes don't work like that, lanes are the unit of allocation, a lane is a lane regardless of the speed it runs at.

There's no need to be pedantic here. Just about nothing uses a single 3.0 lane, especially not in a system where you care about having a big count. For anything that was using 2-16 lanes, doubling the speed is basically the same as doubling the number of lanes. Except for the extra benefit that the max allocation goes up.

> I'd take 128 3.0 lanes over 80 4.0 lanes for sure

Maybe you'd take that today. In a few years when more devices support 4.0 that's not a great tradeoff. Especially when you can put switch chips in front of your 3.0 devices to keep all your lanes saturated.
You could argue that it is only the model we construct using maths that contains pi.
Show HN: Learn the Saga Pattern with AWS StepFunctions and Single Table DynamoDB
Elon Musk: Teslas Will Soon Automatically Stop at Traffic Lights
United States law enforcement doesn't have the greatest track record of not blackmailing people. Or not shooting the wrong person and their dog for good measure.

If you want to call the FBI, NSA, and CIA the "deep state" go ahead. They have real names though and aren't secretive about their desire to make (end to end) encryption illegal.
That's a fancy interface.

Connecting a portable music player to car radios tended to go

* 3.5mm cassttee input

* FM transmitter input (for cars with CD, not cassette)

* 3.5mm aux input

Power was a 12V cigarette lighter.

During all of this the output from the mp3 lpayer was a 3.5mm device.

It was only relatively recently (say in the last 7 years) that most cars started getting USB and bluetooth sockets that took audio connections. Even then there are issues - my 2016 skoda's airplay doesn't play music properly - it frequently skips, I have to use bluetooth to get skipless sound, which means not using maps.

Having USB audio input as standard was even more recently than that - I hired a newish car about 3 years ago which had nothing by a 3.5mm input and 12V jack.
Thank you! Would love to see your tool. We need to make flashcards awesome cause they are so powerful
The second one. I've done a couple things at NASA/Ames and it has been generally fun, although there have been a couple of weird episodes (Like me not being authorized to check out stuff from my own repository due to not being a US citizen, and being told that it wasn't a unique case).
Aaaa2
Telling Google to index all your URLs is a bad idea
Man, he's really bought in to that whole literate programming thing..
Very cool, but in that case definitely give Parallax a poke since they've been doing it for a while, it may save you some time and some mass.
> Governments need information to create containment strategies and know where to focus resources. At the same time, governments have a way of holding onto tools that undermine citizens’ privacy long after the moment of crisis has passed.

I wonder if it’s worth governments’ time trying to come up with automatically expiring bills for “emergency” uses such as these.
Yeah, as a developer I still use userscripts and also create them sometimes. Just some days ago I updated my Wikipedia Flag Icons e I recently created a super simple one to sort Linkedin feed chronologically by default.
Both are open source and available as extensions too:

- https://github.com/DavideViolante/Wikipedia-Flag-Icons

- https://github.com/DavideViolante/Linkedin-Feed-Sort-By-Rece...
What are your concerns about TLD "pollution"?

opening up TLDs for sale seems like a (somewhat) logical way to expand the available namespace for domains. We have zillions of hosts, why require them to conform to one of a few random categories.

Certainly, I have issues with how TLDs are allocated and controlled, but that doesn't mean that the general idea of allowing essentially arbitrary top level domains the same the way we do with second level domains is inherently a bad thing.
No, it is the name of a great primary school teacher I had. But I might mention syllogistic logic from now on ;)

Looking forward to your feedback
What can be imagined is what can be discovered.

The etymology of invent has the terms 'contrived' and 'discover' baked in.
if we take the contrived root, rather than just dead-ending to say that invent is synonymous with discover,
we find that it is rooted in the ability to 'compare' and 'imagine'.
From this we can then formulate the opening statement.
You left out the financial dealings of her husband, Richard Blum:

https://en.wikipedia.org/wiki/Richard_C._Blum#Controversy
Do you mind linking to the WHO source? Last I checked they said presymptomatic people are contagious.

It's why track and trace is so important and difficult. People are contagious after 3 days but first show symptoms clustered around 5 days. So we need to contact trace their last week or so. A lot of western governments have been unable to do this so they have decided to hope presymptomatic people are not contagious and just ask symptomatic people to self isolate.

Another factor is what is symptomatic. I had a weird tightness in my chest 2 days before my fever and a tickle in my throat 1 day before. Breathing issues started 4 days after fever. I had no clue the tightness was covid...
i don't know if there are irc networks that require nick registratin, but there for sure are channels on freenode that you can't enter without a registered nick.

but that's not the issue. the issue is that i can't maintain a global identity, and that i have to add each network into any configuration instead of just sending a message to anyone on any network without creating an identity on that network (even if it's just picking a nickname).

some of this could be worked around in the client if the client has an uptodate list of irc networks so that sending a message to embee@freenode would automatically connect your client to freenode, make you pick a nickname and send the message.

hmm, that's an interresting thought experiment.

how could this be made seamless without inviting spam.
Where exactly do you see homophobia in their comments?

See, this is the problem right here. Whenever people like you hear something they disagree with you'll start screaming "bigot" or "homophobe" or "nazi". How are we supposed to have a mature, civilised discussion about these things?
Ask HN: Best Websites to find fast-growing industries and trends?
Not sure about the parent, but my friend an I had exactly the same issue, both of us are on 16inch MBP 2020 (Civ 6 on Steam).

Incredibly annoying once your laptop suddenly slows down and dies after 5h of gameplay. How is this even acceptable? Regardless whether it's a $400 or $3k laptop, I'd expect it to work when charging. I'm two apps (photoshop, lightroom) away from switching to Linux.
Sure, but

"Life isn't fair and you should expect people to avail themselves of any tools to help themselves that are not wantonly destructive to the society at large."

You have to expect the worst, because if 99% of people are sound and generous and kind the other 1% will still screw things up and force others to compete on their level.

I didn't WANT to write a scraper to try to get an immigration appointment so I could stay in my country, but other people did (and then started selling the appointments), so I did too because otherwise I'd have to give a scalper money.

Sooner or later someone was going to write this. I suspect many others already have.
The WHO back in February. Maybe the advice has changed...
The extra contortions are to get a bound tight enough to admit only one integer.
I just mean "how easy would it be to common Elixir libraries from Gleam, especially if they're rather involved like Phoenix".

Like, quite some of the more popular Elixir libraries (eg Phoenix and Ecto) depend quite heavily on macros, which I assume sortof rules out using them from other languages. Like Elixir itself, I think Gleam will only really shine once a community builds its own libraries for non-trivial messy stuff such as DB layers and web frameworks for it.

The interop is be great for simple functional stuff though, like unicode converters, JWT libraries and AWS wrappers.
The paper 'MIP* =RE' https://arxiv.org/abs/2001.04383, where the article is referring to, has already been discussed here extensively. It is also being studied by many people, because it is a very important and surprising result. I guess that Connes conjecture is but one of the many things that is affected by the MIP* =RE result.
Italy Tests Contact-Tracing App to Speed Lockdown Exit
There are precedents. I stopped buying National Geographic magazine when the Society sold it to Fox.

From https://www.washingtonpost.com/lifestyle/style/national-geog...

> On Wednesday, the iconic ­yellow-bordered magazine, beset by financial issues, entered its own uncharted territory. In an effort to stave off further decline, the magazine was effectively sold by its nonprofit parent organization to a for-profit venture whose principal shareholder is one of Rupert Murdoch’s global media companies.
This is wrong. Credible agencies like AFP and Reuters operate in China.
Are these sort of leaks usually from intercepting email? or some other method like, from a trusted participant in the conversation leaking them, a backup being found, the machine itself being compromised?
While the deep state as a scholarly concept does not require secrecy, this bill certainly uses deception to manipulate the public, and did not originate with Representative Feinstein's local constituency as evidenced by the overwhelming opposition.

>A deep state can also take the form of entrenched career civil servants acting in a non-conspiratorial discretionary manner to further their agency mission

https://en.wikipedia.org/wiki/Deep_state

The question I wish would be asked is "should the deep state (CIA, NSA etc) be influencing the legislative process to the point of overriding the concerns of voters?"

This is pretty funny:
https://en.wikipedia.org/wiki/Deep_state#Differences_from_sc...
Unit Design System
Wow, this is wonderful. How large are they actually? The article says miniature but, surely, a vinyl record would weigh a substantial amount even at a tiny size.

The designs on these are really intricate as well, I know that vinyl lovers tend to say that the addition of pictures hurts sound quality but in this particular case, a novelty set, I feel like it's more than justified.
Patient 31 was very symptomatic and was the cause of first large outbreak
Yup. I've got last years Macbook Pro, fully specced, and when I run lots of compilations in Xcode the battery steadily drains. I ran an intense script overnight a month or two ago and when I got back in the morning my battery was down to just a few percent. Thankfully the script finished just after that so I got incredibly lucky that it didn't run out all the way and lose all the progress.
You seem to not consider a major player in the field: Python. There's probably a reason Andrew Ng switched from Matlab to Python for teaching.
LSI controllers (adapter cards really no better) for VMS Alpha used to go for a couple thousand list for a retail sub 500 dollar part lavishly upgraded with some firmware that ensured the margins remained as high as the system clock on our ES45s. Fifteen years elapsed before we got the same bandwidth inside a Xeon.... I've still got the above mentioned dual 3.GHz boxen in archive because after that failure we copied all the internal data and mothballed them in case. Furloughed a office lot of twenty thousand dollars workstations because of a shoddy poxy consumer grade aic we were probably missold in the first place has we not had the full pr moves made on us to forget that... NDA expired years ago and only said we wouldn't be beastly to Dell who have been transformed since then the better imo though I am still not buying
How is that "drive-by homophobia"? I see no evidence whatsoever that GC has a prejudice against homosexuals.
NASA Astronauts Meir, Morgan, Crewmate Skripochka Return from Space Station
I am not sure of the implications. Does it even matter if Math is invented or discovered? Maybe it's both, and it isn't a contradiction between invention and discovering?

We describe things having a certain radiation wavelength as having the color yellow. In that sense, yellow it's an invention. That doesn't mean the radiation doesn't exist.

But to complicate things a bit, some things don't exist unless we observe them. This is the case with states of particles described by quantum mechanics.

Math is more than a science, is the sciences upon which most other sciences and tech are founded. You can model anything in a computer and running on a computer using math. You can describe logic, natural language, technology, biology using math.

In that sense, being the building block of other sciences, math is more akin to a language. Two physicist use math in almost the same way two people use English to describe things and communicate ideas.

But math has building blocks, too. Set of axioms upon which any mathematical object and theory can be constructed. The most popular as of now is Zermelo set theory. There are more such fundamental theories, sometimes very different between them.

So, to see if Math is discovered or invented, the easy thing to do is to see if a set of axioms can be discovered or is invented.
The phone batteries that people handled did store a lot less energy though.
would encryption, or at least a better UX around signatures not help reduce a lot of Phishing attacks?
Show HN: Site built with Vue.js to write a story of your project or startup
I'm very confused. There are a lot of problem where you are doing nothing but integrating two services. You run a canned query but things like field names are different or one service uses GraphQL and the other uses CSV files on some network share. You are just converting between two things. Why is the extra layer of code there? Because it's very simple and less work. You just write 5 lines of queries and 10 lines doing field mapping. The alternative might be to use something like Apache Camel. It might be the right tool for the job but now everyone involved has to be an Apache Camel expert even though your team donesn't care about Apache Camel and that is a perfectly acceptable position. Instead making dogmatic decisions like avoiding "wasteful glue code" because of your ideology you just write the code and be done with the problem. The end result is the same but you get to write code in the tech stack your company has been using for years instead of trying to chase some stupid enterprise architecture fad.

Why focus on the easy problems? Why not solve the hard ones?
Many reals are constructible so they are accessible in the sense that it's a theory of phenomena I can act and build upon, and the theory discusses up to an infinite number of cases even if I won't build out that far.
Talking of chips, how come Scots can't cook chips? Awful soggy limp things.
This is a great read and also provides useful links to get up to date to the state of MT and concurrency in Ruby-world.
Life is full of situations where you have to adapt to an inferior world, it's important to avoid stressing over situations you can't control.

"I've now spent several hundred dollars on the best-reviewed, bluetooth headset for my conference calls, and it's nowhere near as good, or convenient, as my $29.99 wired headsets"

You could buy 50 3.5mm+lightning dongles for several hundred dollars, and stick them on the end of each headset, which sounds more convenient than messing around with bluetooth.

I was thinking of the terrible headsets that some collegues use -- they have USB-A plugs on the end, for laptops. Not sure what they do if they want to join a call from their phone (say out walking). My 3.5mm tip+ring+ring+sheild headphones works on laptops and phones, seems far superior to their single-use devices. But western economy is built around selling you something new every 2-4 years, so needs obsoleting.
JQuery 3.5 – Still Relevant
In a similar vein: https://code.tutsplus.com/tutorials/how-to-build-a-python-bo...
Crivens! My dad has a pile of Oor Wullie annuals, must be from the '60s when he lived in Edinburgh. I had no idea it was still going.
The time scale is from several months to over a year. It takes a while to answer questions like - does it provide immunity, is it safe, what doses provide immunity and are safe, is one innoculation enough or does it need to be repeated, how long does the immunity last and so on. When you come across headlines about institutions which have began vaccine trials (there have been a few), that means that they are in the early stages of answering these questions. Then you have questions of production and distribution which can vary a lot depending on the type of vaccine that's produced.
I would love to get a link to the full version of that music in the link. I know it's a version of Bhutan's national anthem "Druk Tsendhen" but couldn't find that exact one on YouTube.