skysight-inc/HackerNews huggingface dataset:
This is just what SML has been missing since the 90s! Awesome project. It seems to work pretty well already.
Vichy justices. The reference is to Vichy France, the French occupation government that collaborated with the Germans during World War II. He’s saying the five right-leaning justices on the Supreme Court are collaborators with Trumpism, in the same way the French leaders of the Vichy government were collaborators with Nazism.
They say 95% of statistics people quote are made up (including mine here).

So to quote a source, that is not my brain: from 2017 to 2018 upload speeds went up 22%

https://www.vox.com/2018/12/12/18134899/internet-broafband-f...
Made in Turkey Tours
I personally use cert-manager to run the CA, then create a cert for each app and have k8s inject it. It is more manual than a service mesh, but many applications support this strategy out of the box. (I will say that creating a certificate resource is a lot easier than the old days of some directory of shell scripts acting as your CA, though. And the same code manages my letsencrypt certs.)

For example, I have Grafana backed by Postgres, and they both understand this authentication scheme out of the box. Postgres is happy to be provided with a cert to present to connecting applications, and is happy to check the cert that applications present against the CA cert.

The main problem with my setup is that I use a ClusterIssuer CA, so really anyone in the cluster can get a valid certificate. This is not amazingly secure and things like Istio do a bit more provenance checking of the application before issuing a cert, which I like. But this is simple, and does protect against the attack this article covers -- as long as you don't go out of your way to present the application's cert when proxying a connection. (Which is probably an easy mistake to make, so be careful.)
It's been like this for 1.5 months. It's been commonly brought up at universities when some professors require webcams for exams but some students don't already have them.

I imagine professional headsets are under similar price constraints because on the BBC I've seen at-home reporters using gaming headsets with RGB LEDs.
Adding Mainline Arm Frame Buffer Compression Support for Rockchip
But if not be aware that users will turn their back on you if you add obstacles between them and your service.

You have to balance that against how many users you'd lose if the site was down/vandalized/compromised by an attacker if the captcha protection wasn't there to keep it out.

It's often worthwhile moving the captcha away from the initial login or signup form and only putting it on the second or third attempt to login, or on features that put significant load on the server.
Audit trail... see also companies like Jornaya that specialize in making any form interaction auditable for consent to receive marketing.
Staples refuses to pay landlords for April rents
Are you using Blink? When you copy/paste, does that only work within the SSH session or can you copy to the system pasteboard?
The willingness or need to enforce seems to correlate with the measures a company requires you to take on signing.

* TOS - a simple checkbox - or even just a "continue button"
* Moderately large purchase - type your name
* Larger purchase - draw your name
* Major contract - use this widely recognized signature flow
Chinese researchers on findings of a less deadly strain, preprint March 10:

https://www.medrxiv.org/content/10.1101/2020.03.10.20033944v...

We found, in our 788 confirmed COVID-19 patients, the decreased rate of severe/critical type, increased liver/kidney damage and prolonged period of nuclear acid positivity during virus dissemination, when compared with Wuhan. To investigate the underlining mechanism, we isolated one strain of SARS- CoV-2 (ZJ01) in mild COVID-19 patient and found the existence of 35 specific gene mutation by gene alignment. Further phylogenetic analysis and RSCU heat map results suggested that ZJ01 may be a potential evolutionary branch of SARS-CoV-2. We classified 54 strains of viruses worldwide (C/T type) based on the base (C or T) at positions 8824 and 28247. ZJ01 were both T at these two sites, becoming the only TT type currently identified in the world. The prediction of Furin cleavage site (FCS) and the sequence alignment of virus family indicated that FCS may be an important site of coronavirus evolution. ZJ01 had mutations near FCS (F1-2), which caused changes in the structure and the electrostatic distribution of the S protein surface, further affecting the binding capacity of Furin. Single cell sequencing and ACE2-Furin co-expression results confirmed that Furin level was higher in the whole body, especially in glands, liver, kidney and colon while FCS may help SARS-CoV-2 infect these organs. The evolutionary pattern of SARS-CoV-2 towards FCS formation may result in its clinical symptom becoming closer to HKU-1 and OC43 (the source of FCS sequence-PRRA) caused influenza, further showing potential in differentiating into mild COVID-19 subtypes.
I've experienced reCaptcha simply looping forever. After solving 5 or so screens, I give up and hope that reloading the page works. If not I usually switch to Chromium, which doesn't even get a single puzzle, just verified.

That is my repeatable experience as the end user.
Yes if do not you want to distribute your data with random people over the internet, you need a Merkle tree. Not a stupid blockchain with all the downsides a blockchain have.
That's my microsoft ergo too. The giant spacebar is an echo chamber on its own.
So in hipster terms: it's a paper blockchain that isn't immutable and has no real identity ;-)
Big Tech's summer internships go digital
yeah i finally got on the bidet (attachment) wagon and the ones I wanted on Amazon were sold out (the were the top sellers). I ended up ordering from a company that did not sell on Amazon and was cheaper than a Tushy. (Tushy has since lowered their price but it's still slightly more expensive)

https://myomigo.com/products/element

Has not arrived yet so I can not say if I recommend it yet or not but from the research I did it seemed like people who tested the different range of attachments pretty much liked all of them regardless of price so I probably overpaid. The one criteria we had was that my girlfriend wanted a front spray as well which the Omigo has.
Robot Vehicles Make Contactless Deliveries Amid Quarantine
Even more absurd: if every person was legally required to wear a mask in public, the shutdown could be far less strict and many businesses could open again.
Not sure where you're living but that's not true. Home broadband has gotten a lot better over the last 10 years here in the UK. I don't know anyone (admittedly I don't know many in the countryside) who can't stream at 1080p. Even 4K Netflix is often fine.
A few friends switch to bidets a while ago and wont look back. Personally I just jump in the shower if it's that bad.
Today we have "ag gag" laws that work to stifle speech that alerts citizens to issues related to the provenance of their food. To my eye, such laws are blatantly unconstitutional--but many blatantly unconstitutional things are routinely allowed in the service of Capital these days.
To be clear I was speaking specifically about the Internet/Web and not the world in general. I would say that there was a lot of optimism for the web back then, and it was definitely simpler.
He said himself I believe "I was aiming for their hearts, but missed at hot their stomach"
I think it's basically impossible to write a popular article on the Langlands program, but I really struggled with what they were trying to say. For example, when they were talking about "complex numbers", did they literally mean non-real fields, or did they mean elliptic curves with complex multiplication? I think the author meant the latter, but I'm not really sure.
Ask HN: Is Firebase Down?
I am not able to connect to firebase services. All my applications running on firebase seem to be down. Anyone else facing this problem?
"No True Scotsman" is about moving the goalposts regarding to the quality or suitability of something. We wouldn't reasonably say that a Dane isn't a True Scotsman, right?

A piece of crap unsuitable for production use could be a Lisp. Lisp 1.5 is Lisp; I wouldn't use it today. Lisp or not is not about quality, but semantics. Clojure lacks or changes numerous semantics which define Lisp. That's not statement about quality, just otherness.

Clojure doesn't call itself a Lisp; though the main website claims it is a Lisp dialect. Dialects are defined by mutual intelligibility. An Osaka man speaks a dialect which is understood in Tokyo. The mutual intelligibility between Lisp dialects and Clojure does not extend very far beyond (+ 2 2).
Some messages got reordered but other than that it works! Thank you
For USB cables there is a host side (type A plug) and a device side (type B plug). These come in standard, mini and micro. You probably havent seen anything but a standard type A (this bit you recognise as the side that plugs into a computer), but are probably familiar with each of the type-b connectors.

Type C is bi-directional, so can replace either or both plugs.
> (apparently it was a "privacy" issue for the government to have a record of citizens?)

That's because there's a 95% chance they'll sell it to the likes of Equifax and Experian - what minister could resist the temptation to 'make the system pay for itself' while 'reducing fraud' and 'working with the private sector' - and a 100% chance one of them will then lose it in a breach.
Just for what it's worth, a big part of the backlash against the national ID is that firstly we have a couple of decent proxies, for example driving licence and passport, and secondly we were being asked to pay for the privilege.
Very cool! Didn't know about Lean (but I have some experience with Coq). Can't wait to dig in more. https://leanprover.github.io/about/
Start Small Tracking
New Facebook – The New Facebook Features – How to Switch to the New Facebook
Exploring Pre-Trained Model Use Cases with GPT-2 and T5 – Toptal
gender.lower().startswith('m')... done! :)
One of my best memories in college was going through wedge product, differential forms and connections, and its application in the derivation of Maxwell's equations. When going through it, I always assumed someone came in and wrote those generalized forms (for students of differential forms: no pun intended ;) of his equations 50-100 years later. It's crazy to think that's how he approached E&M from a preliminary perspective.
Vitamin D
You don’t understand anything, twit.
Outbreak Strains Microsoft’s Cloud, but Issues Began Earlier for Customers
> They have been solving these problems operationally for years now.

Emergency medical supplies (the twitter mentions "Lifesaving deliveries by drone") is quite different than delivering packages. That you can get something up and running for lifesaving stuff is one thing. Doing the same for my 0.50 EUR AliExpress package is different though, I'm not going to be home. If it's lifesaving I'd imagine you need it asap and someone will ensure that they'll be waiting for the package.
> You're forgetting the main benefit for google, which is getting humans to train all their vision models for free.

Is this still true? I keep seeing the same type of images for years and there might be 7 or 8 different categories but that's it. To me reCaptcha looks like a service well in its maintenance phase. If it was actually in use for training purposes you might expect images to match a wider range of tasks.
Because we will always drive cars, and in 5 years there will be no coronavirus. Would it have been better to spend our resources on more complex airbag systems that would last as long as humans drive or a lockdown to save our oldest population for 3 years?

I think this math problem is easier than we would like, but politically it's unpopular.
Awesome!
A pseudo code of the algorithm would make it easier for someone to understand it better I guess.
Gopro 3 (black edition). I said the battery was old :) (it is the original one).
He's referring to upload, not download, since that is the relevant metric when talking about using a webcam.
and how would we know that the harmless-virus infection protects against the dangerous strain?

are there already databases of sequenced strains?

and how would the regulatory aspect work? if the harmless individual is no longer infectious, how would people be infected
Zoom sued for overstating, not disclosing privacy, security flaws
I imagne that is a large part of the issue, but the article begins with someone who noticed a difference in his own experiences, following a candidate triggering event (an unspecified minor surgical procedure.) This is not proof of anything, but it suggests that in some cases, there is something to the idea beyond just mis-communication.

In this case, there is also the physical evidence from brain scanning. I would guess that some proportion of those self-reporting as aphantasic would be indistinguishable from the general population by such measures.
Yes, twitter is flooded with reports of it at the moment. Google Cloud has confirmed they are having a "service disruption" but have not updated their status page yet: https://twitter.com/googlecloud/status/1247894272629551104

All of our Firebase projects are missing from their console, deploys fail, auth fails, getting 404s for their libraries.

Seems intermittent at the moment. But spreading.
My heavily adblocked FF has a lot of trouble with recaptcha, while the Chrome instance that I only use for logged-in Google and LinkedIn doesn't. It seems like there are enough moving parts that it would be hard to figure out why our anecdotes are so different.
Partly because webcams are so incredibly terrible. (And laptop cameras even on decent laptops often are worse than tablet or phone front-facing cameras.)

This is a thing that definitely could and should be improved.
Faxes are considered secure.
What kind of tone-deaf person made the original suggestion to colocate sales and engineering?!?! I prefer cubicles myself (or individual offices, but let's be realistic). But I can survive in an open floorplan provided it's reasonably quiet.
We're 'leaving it to the experts' and letting industry inspect itself.

These are not good ideas.

Example: How's that 737 Max fleet?
Killing royalty always deserves our thanks.
I'm lucky here. Nearly 1000mbps each way on my FIOS; and it's very consistent. I realize this is the 1% of internet in the US. But I would enjoy being able to send 4k video over Zoom.
Ask HN: Anyone use Git for ML code version control?
Pros or cons? Have you experimented with ML-specific version control systems like DVC?
Ask HN: How Are You Feeling?
I wasn't used to working from home 5 days a week, and not being able to see my friends or go out, I thought my mental health would suffer. But despite all this, I honestly feel like a new person. I am waking up with more energy, have a better outlook on work, and am generally happier.

After work I also have time to do more because of the lack of a commute. Like cooking a nice meal rather than something quick, working on a side project or contributing to open source, working out, etc.

Because of the long lines at grocery stores, it has also taught me to better plan meals. Rather than going to the store every 2 days for some household items and 2-3 meals, I buy for the entire week.

My productivity has changed. Instead of a steady stream of average productivity throughout the day, it comes in waves of high productivity with lulls of messing around with personal projects, video games or watching YouTube videos.

If given the option, I'm not sure I would want to continue working from home 5 days a week. I think I need the social aspect of an office. But I'm considering asking for 2 days at home, in the hopes of keeping this boost of happiness and energy.

So, HN, how are you feeling?
This. Only about half of current developers in the market have a 4 year degree in computer science.
Self driving cars are a much more difficult proposition and we can already do that pretty well. Flying where there is significantly less traffic and less obstacles and a third dimension to use? That makes things very easy.

Piloting the drones isn't the problem- the problem is logistics, noise, regulation, costs, etc.
It does as a fallback. But you’re missing the main point of v3, which is that it shifts the legal onus of blocking from Google to the integrating site. No longer can Google be sued for accessibility violations, if it’s the site that’s stopping the user from entering purely on a suggestion from Google.
I don't understand it either; as others pointed out as well, I can't do a consistent signature even if I tried to (I've always had trouble with writing, and I barely do anything outside of shopping lists and a paper calendar nowadays).

I've always thought that as long as you can recognize your own signature and declare in a court of law, under oath, that the signature is or is not yours then it's fine.

It's still not foolproof though. An ex of my GF forged her signature and took out a loan in her name. They're still on her ass about that one, despite her claims that the signature isn't hers. They're not taking it to court though, they probably don't have a case. Doesn't stop them from harassing though.
There are JavaScript implementations of Conway's Game of Life in just 140 characters, here are some of them: https://www.dwitter.net/h/gameoflife
Some have changed the rules to produce other population dynamics.
No matter how easy it is, if it takes 30 sec of cranking to switch heights I’d do it way less often.

This also goes for those irritating slow electric versions where you need to hold a button down for 30 sec.
It's hard to have this conversation without having a specific way to talk about the inner workings of the mind.

For example, a biologist could (possibly) say that a person who couldn't visualize things had a mind that was almost identical a person who could.

A psychologist might say that nonetheless this represents a large difference in function.

Both would be right in their own way, but you'd need to define the internal thought process in a specific and uniform way before you could qualify it was a "different" or "similar."
They already are, actually: European researchers retrofit snorkel masks for coronavirus fight - https://www.reuters.com/article/us-health-coronavirus-czech-...
ESET Smart Security 13.1.16.0 Key 2020 and Offline Installer
First let me point out that you can jump to any level at any time, so you lose your progress, but only in a weak sense, if you lose your browser tab. You do lose your proofs though.

The natural number game was made by passing a repository which contains essentially nothing but Lean code, through this generic tool https://github.com/mpedramfar/Lean-game-maker which makes the html pages from the Lean code. If there is anyone out there who understands the Lean game maker code (I don't, it was written by my co-author) and is interested in implementing some kind of client side storage then feel free to ping me either at my Imperial email address or at the Lean Zulip chat https://leanprover.zulipchat.com .
The Meeting Owl Pro appears to be an exception to the innovation complacency.

https://www.owllabs.com/meeting-owl
Yeah, my projects are also missing from the console and not working.
You never know.
Allowing the price to move up with market demand will encourage increases in production. It just takes some time, especially in a pandemic, for the production to catch up.
I take it as diversity thing. Everything is so alien to Windows-GNU-Linux mental model. Not sure if there’s any immediate value to it but fossils of dinosaurs tells us what we did right or wrong.
Note that the levels are "fake", so if you lost your progress that's sad, but you can just skip ahead to where you left. (We're looking into adding localStorage or something like that... but we aren't really coders. PRs are welcome!)
And VR headsets, which have been sold out for a while (especially Oculus Rift S and Quest) and every time they're brought back in stock, they sell out within minutes or seconds. I managed to grab a Quest... with delivery date like May 1st or something.

(Granted, there were some 'rona-caused supply chain problems with the headsets and also Half Life: Alyx just was released, but still.)
Origami Assays
Perhaps the privacy problem for you is then one of the following:

- Ad blocking extension not installed or rules too lax
- Script blocking not enabled
- no VPN used
- stores tracking Cookies

If all of those do not apply to you, I would feel discriminated against by Google, even more so, than usual.
Yeah I just cancelled prime. There is no value proposition anymore- competitors have faster shipping, competitive pricing, and don't require membership
I'm the creator of Origami Assays and am happy to answer any questions.

Screening for COVID19 is an urgent problem, but the infrastructure for running these assays is limited. While there are important efforts underway to make more tests available, one simple and low cost way to help is to use the assay infrastructure we already have more efficiently.

The idea is that rather than run 1 assay on 1 patient sample, we intelligently pool patients samples and run our limited assays on these pooled samples. It is analogous to data compression, but for assays instead of files.

Nonadaptive pooling designs are well studied branch of applied mathematics and engineering, and are well suited for COVID19 population screening for the following reasons:

(1) Binary assay
(2) Low positive rate
(3) Large number of samples

These three features mean that the data stream coming from COVID19 assays is nicely compressible.

I've put together a series of examples of nonadaptive pooling designs for COVID19 that I'm calling "Origami Assays". These designs provide a few things:

* Concrete examples, with performance metrics for a range of sizes of designs.
* Software infrastructure for decoding designs with error estimates.
* A low cost, DIY paper template system for constructing complex pooling design mixtures by hand.

Advantages:

* Yields up to an 11.9x improvement in patient testing throughput (for the XL3 assay design).
* Can be rolled out immediately, on any existing assay platform (RT-PCR, antibody, LAMP, or qSANGER)
* Pool design can be done by hand without extensive training.

Disadvantages:

* Pooled designs can call false positives if too many positives are present in the population.
* Pooling can dilute samples
* Constructing pooling designs is a mind numbing task for humans.

I'm trying to roll out Origami Assays to all who may benefit from them. Any questions, thoughts, or ideas are welcome!
Google Apps Script has a scheduler built in: https://developers.google.com/apps-script/reference/script/c...

I use this to automate a lot of tasks. E.g. automatically clip supermarket coupons every week, check for tax loss harvesting opportunities in my portfolio, etc.

It's really powerful
We will def fix that in the next deploy. The intention was it is a flexible schedule and after 40 hours you go home, no time beyond that. So you come in when you want and you end when you want and you don't put in more than 8 hours a day.
Yes, that's the proof of concept I have tried. It builds from source relatively straightforwardly (takes a short while), and indeed the instructions are very good.
Yeah all my projects are down.

Really irritating that they never update the status pages automatically, or even in a timely manor. As if customers won't notice.
Builder.ai launches pre-packaged apps for small businesses hit by COVID-19
Note that https://leanprover.github.io is all about the frozen version of Lean 3, while the devs are working on Lean 4.
In the mean time, the community is maintaining a fork of Lean 3 with some nice features + lots of docs and other material. See https://leanprover-community.github.io/
Idaho Is Wasting Taxpayer Money Killing Wolves
yes. and they are not reflecting this on their status page.