skysight-inc/HackerNews huggingface dataset:
The reason I suggested FHE might change this was the a few of the solutions people have tried so far fall into the so-called "white box cryptography," bucket of key based obfuscators on your mobile/endpoint device. Depending on the authentication scheme or security protocol, you need a secure place to store your private key, a shared or derived secret, key encryption keys, or a certificate, etc. We have to assume that the OS of that client device is going to get rooted at some point and the security of those keys is gone - and with it, the identity assurance they provided. (again, the secure element and diversified initialization keys on apple devices is different, think of it as a little client side hsm)

Instead of using WBC, in this hypothetical case FHE becomes the scheme for performing a verification step without yielding information about the key to an attacker with root on the device. It's another handwavey blackbox, but it's a such a change in how we do security protocols that it's worth mentioning as plausibly having consequences for authN. It's a hard problem that gets addressed in areas like authenticated encryption, direct anonymous attestation, and other more use case specific protocols. Someone working in the field today would have more insight into it.
DDG launched in 2008, and according to the below, the deal between Yahoo and Microsoft didn't happen until 2009 at the earliest.

In July 2009, Microsoft and Yahoo! announced a deal in which Bing would power Yahoo! Search. All Yahoo! Search global customers and partners made the transition by early 2012. The deal was altered in 2015, meaning Yahoo! was only required to use Bing for a "majority" of searches.

Source: https://en.wikipedia.org/?curid=4325491
in the third he admits that he doesn't really use Java much anymore...

What does he uses now?
It's pretty clear that sunlight isn't the absolute best spectrum for growing plants, so we know plants haven't evolved optimally to make use of the sun's spectrum as-is. I think a local max is the right idea. this tech is shortcutting that evolution and providing a better spectrum without using electricity, like LEDs would.
A WireGuard VPN Deployed on Your Server
How much is it? I know milk sales are way down in general but maybe on the high end there's some growth.

I assume that in the days of the milkman, it was working class prices, but I wasn't around back then so I don't know.
I see in the student's words the same deference to authority that I initially see from some students, often Chinese, with whom I have worked.

It takes a long time for some students to understand and trust that I desperately want them to call me out when I'm wrong. Research is a partnership -- even if you don't know much, it is really essential that you ask probing questions and make sure that everyone in the group is standing on a solid foundation. If we are, we'll be able to answer your question immediately and you'll learn something. If we're not, then all of us are about to learn something important.

To second hocuspocus -- yes, there are always options outside of academia. As a side benefit, they'll probably pay better and will let you interact with more professionals more quickly than inside academia.
> Or maybe Lemonade is like many other "tech" companies, and is selling their product below costs in the hopes of growing into profits.

This is exactly what they're doing. Take a look at their losses from claims. Brilliant marketing though, especially for an insurance company.
I wonder what people will think of criminal and justice systems after this (probably nothing). We send people to prisons all the time for extended period without outside contact in an abusive environment between the real nasty criminals and authorities.

Is it really a good idea to send someone to prison for months for a small mistake that many might end up making and getting caught?

Is overusing imprisonment for different types of crimes okay?

A murderer will be fine in a prison since they are harmful for the society but someone stealing food because they couldn't afford any doesn't seem as harmful that they need being locked up.
Very cool! Is this yours, OP? I built a text classifier platform (https://www.taggit.io/) and I'd love to explore building something on top of this text stream to notify people of important happenings around the protests in real time.
It does seem like there's sometimes too much inside baseball in grant review/awards. I wonder if there needs to be a notion of a 'stakeholder' in research that can measure/advocate for the general market of the research outcomes
Ok Basecamp employee!
It's not true that you have to loose work life balance at the higher paying companies.

Speaking as someone who's worked at both Microsoft, Google, and Stripe your work life balance is completely up to you (Amazon is an outlier)

The average engineer at all those places has a decent work life balance, and in fact from what I saw working longer hours did NOT correlate strongly with improved career outcomes.

The only exception to this is that some of the better managers I saw tended to spend more hours working. But I think that came more from their ambition than an innate requirement of their positions: They wanted to keep going up the ladder so they kept trying to take on more and more responsibilities. Other managers I had who weren't as ambitious kept a good work/life balance and were still happy. Again, it's up to you.
A large part of compensation is probably not in base salary, that'd be asking for like a 50% compensation cut.
Because policing and social work are more like development and systems administrators.

I live in a city that requires police officers to have graduate degrees before they are permanently hired.

Most police don’t have their graduate degrees when initially hired, so they have to go back to school and earn them to get a permanent offer.

Because local universities have great social work departments and law schools (and sub par criminal justice departments), most cops get degrees in law or social work.

The local university had a program that offers both, so many cops do that.

So i can tell you from experience that police officer/lawyer/social worker hybrids are a thing. And it works out very well.
> that new team should replace another team that's no longer needed, or more likely, involve a combination of hiring some experts and retraining your existing engineers.

The gotcha there is that it rarely goes that way unless you have a very clear direction from senior management, at least at big corps. In most cases, it's just another thing that gets added to the pile, and it's incredibly difficult to migrate entirely out of whatever the old solution was, so now you end up supporting both.
I've been going to protests. Can you try that maybe? I felt lots of camaraderie. I've been wearing facemasks and a face shield which makes it a little hard to interact with people in crowd though.
I saw this in my university too. It's common in many labs (not all) for all the researchers, even masters students who might've just proofread a thesis to put their names in there.
I’m saying there is no one to learn from, no one did that strategy yet. The UK almost did.
I wonder, are there any apps that upload video in real-time?
I don't think science was unethical before Peer Review.

As I understand it, modern peer review came about as a 'crowd sourcing" solution to the hugely expanding number of articles to publish, in ever more specialized fields.

The journals couldn't keep enough relevant expertise around, so letting the scientists review each other was the simple fix.
We can debate whether struggling with k8s and CI/CD would fit in the category. These are tooling not product but all part of the use of engineering resources. See the “choose boring technology” posts/articles.
>Unlikely. Apple does not have search, and they simply need the best search available for their devices to stay true to being "premium".

Apple continue to use AMD graphics cards in all of their products, despite Nvidia having the clear and obvious edge at the high end.
I think there is also difference in the type of people. I feel people on the spectrum are able to empathize over text more than others and so can socialize somewhat more or feel less need to.
How often have you been in a pharmacy and seen the generic CVS brand on both ends of the aisle before seeing the pharma brand? There's a lot of people working on making that 100% without violating their contracts with their suppliers
I was simply trying to point out the other side of what I felt was an overly rigid line of thinking from the GP.

The shutdowns were a tactic taken with limited information and imperfect effectiveness. I don’t think it was the wrong thing to do. However, we could have and should have had a more effective, sophisticated, and timely response across the board.
"Barbara" is another great example of a strong drop.
If I play blue, no fun for you!

- Teferi
That's exactly the strategy that Washington state is following. We even have a dashboard where can see the indicators, and they are things like infection rates per day per capita over 7 days, hospitilization rates.
Milkshake with Caramelized Pineapple
They change a lot in the build system in recent years and completely confuse people
As a typography and Polish enthusiast, it bugs me that "Zloty" is not spelled "Złoty" with an 'ł'.
Do you think this is the first time in history that there are very polarized political opinions?

How do you explain it in the past? Maybe polarization comes from... polarizing circumstances?
The issue with suggesting buying Duck Duck Go is that they’re reliant on Microsoft/Bing for results. That would mean Apple coming to a deal with Microsoft for search access where Apple runA the ads business.

If you think you can make $20B on ads and Microsoft charges you $15B for search access on that scale, why not just let Google pay you $7B and make more money?

It’s possible that Microsoft would charge less or that Apple could make more, but buying DDG doesn’t get them unlimited access to Bing’s results for one low price. I’m not implying that DDG doesn’t have any technology, but they are reliant on Microsoft for the hardest parts and there’s no guarantee that Microsoft would grant Apple as favorable terms when it’s not just a niche project, but a major competitor’s new foray.
They already tried and gaatjes ( iAd )
Oh man and those are common cards!

There's the rare cards that can sell for more than 10K USD and have more of a 0.000001% chance.
It's funny to me how a sci-fi movie gets chided for being so fake, but people are so willing to oblige fantasy movies like LoTR/HarryPotter/Superman/Avengers/etc with a suspension of disbelief. And no, I'm not white knighting this waste of celluloid.
That sounds like what we are doing in Wa state. It's too early to know how it will pan out.
This advert is newer than portal listing, thus it overrides what's written there. Applicants from HN will be considered for remote. The portal is just there to intake applications.
I do not see how you came to that conclusion - nowhere in the piece does he hope or pray to maintain such ignorance.
The cheapest shipping rates for all USPS services without leaving your home
That's beautiful -- thank you for sharing the post. I don't get to think about pure math very often any more, but this was a wonderful reminder of clarity in a world that's a little more disordered than usual.

One of the little joys of math, well known, but always makes me smile: Though there are infinitely many rational numbers, they are countable.
It's expensive.

Each delivery is $9.99, and then the milk is $3.49/half gallon.

Around here (NC), at the local grocer, the store brand "regular" mile is $2.39/GALLON, and even the fancy local creamery sells milk for $5/gal.
US Military Could Lose Space Force Trademark to Netflix Series
I believe my comment about halving mortality addresses this.

They're already likely to arbitrarily die - if in 2017 I could reduce that probability by half (coronavirus roughly doubles mortality across all age groups) by having everyone stay inside or perform the various rituals like standing far apart, wearing masks etc I wouldn't do it.

If instead of decreasing life expectancy by less than a year it were something like 10 (and so we went full hazmat, disallowing things like even entering a supermarket in favour of MRE deliveries) then the calculus would be different.

The main inescapable issue, which exists lockdown or not, is visiting elderly or immunocompromised relatives, not because of the absolute risk, but because of the impact that being able to say "my visit probably killed Grandma" would have.
It's a ballpark number, between the prevalence of bipolar disorder (1-3%) and schizophrenia (0.5%).

It could be 1%, it could be 0.1%. This doesn't change the point, that you cannot predict the long-term impact to your neurochemistry until it happens to you. You won't know if you're one of the unlucky 1/1000, until you know, and then it's too late.

I've seen it happen to nine people, and most of them did not recover to a normal standard of living.
Discussed at the time: https://news.ycombinator.com/item?id=12149338
They are an email provider. And it's already exclusive. You need a Mac/iOS device to get an icloud email address.

iTunes/Apple Music is incredibly healthy and the only reason to buy Spotify is to extinguish the biggest competition they have. There is no other benefit to them and it's a bad look aside from any potential legal issues.

Things I think Apple should do:

Something that other people aren't doing.

Extensively and seriously overhaul or eliminate their traditional computing business. (They are poised to do this and may very well in the coming years with their ARM on Mac strategy). I realize that the new Mac Pro is marketed to a very specific set of people but my latest iPhone cost significantly less than the wheels they will sell you for the Mac Pro. It makes no sense.
Rebuilding ZFS array is normally faster than traditional array because it won't sync whole disk but sync only used blocks.

This PR looks like adding support for traditional sequential rebuild way like Linux MD that suitable for SMR disks.

https://github.com/openzfs/zfs/pull/10349
Often those double blind conferences contain explicit exceptions that let you post on Arxiv. Check the Call for Papers from this year's NeurIPS for example. Obviously you aren't required to put anything on Arxiv, but lots of people want to stake their territory and will post either a preprint or an incomplete version of the paper (e.g. with an example missing).

> In robotics they tend to be single blind.

I just wanted to point out that this does vary a little bit. RSS was double blind this year but ICRA was single blind last I checked.
I am referring to the likely thousands of local religions that unlike say classical Greek myths we have zero direct evidence of. Looking back to say 2000 BCE cultures survived or died out more often than not through direct military action. The deaths of most oral traditions was through conquest, enslavement of the population, and spreading the remnants across an empire.

> unless you want to argue that the existence of neo-Nazis warrants the destruction of all Germanic languages.

It’s at least a trade worth considering. Was say southern culture in the US worth preserving after the civil war? I am not suggesting an answer just framing the question. Edit: To do otherwise is to presume the answer without consideration.
> Looks more like flow typing than refinement types to me.

I'm not super familiar with the theory behind refinement types and I could be wrong :)

My familiarity with refinement types comes from things like Liquid Haskell and F*. If you look at Liquid Haskell's manual[1], their definition of refinement types seems to pretty much match what DrNim is offering here.

I've never seen the term flow typing used outside of TypeScript-style analysis, where that means narrowing types like `string | null` to `string` inside an `if (x != null)` block.

> The (static) type of 'y' changes seemingly implicitly in the body of the 'if'. It's an 'int' at assignment but needs to be an 'int {.requires ??? > 0.}' (or however the one would write that type literal in Nim), and some flow typing determines than that that cast form 'int' to 'int {.requires ??? > 0.}' is safe in the body of the 'if', and performs this cast implicitly.

I think the hard part is that the language must keep track of these implicit types (e.g. ranges of values an integer can be) inter-procedurally, i.e. throughout the whole call graph.

But yes, the type does change implicitly, and I don't think `int {.requires ? > 0.}` can be expressed as a type in Nim. But I was also under the impression that you can't express that "explicitly" in e.g. Liquid Haskell (I could be completely wrong).

> It's also not dependent typing as the constraint on 'b' can't be an arbitrary function. (I guess, please correct me if I'm wrong; but in that case this typing wouldn't be decidable, even with the help of SMT).

I think you're right. From my understanding, dependent types are more powerful than refinement types but also more cumbersome to use, refinement types can use SMT solvers and are generally more approachable IMO. There's a nice discussion here[2].

[1]; https://ucsd-progsys.github.io/liquidhaskell-tutorial/01-int... (see section 1.2)
[2]: https://www.reddit.com/r/dependent_types/comments/ay7d86/wha...
Show HN: Automated Site/IP Scanner
Hello,

I am a former pen-tester, and current software developer. Looking to get some feedback on a startup I'm working on to provide automated site scanning that is easy to use.

Please let me know what you think.
It's a nice dream, but I would settle for having more than 2 political parties. Then at least we could break out of the "are you with Us or are you with Them" dichotomy.
> Would you like to settle on "big dogs are the ones that normally manage to kill people" and include 2 or 3 more large breeds?

Sure, doesn't detract from my point at all. Nitpicking numbers is not a good use of anyone's time.

Your entire argument seems to rely solely on attacking the source. Everything I google turns up similar numbers

https://www.caninejournal.com/dog-bite-statistics/
https://www.dogsbite.org/dog-bite-statistics-studies.php

If you are going to grab your tin foil hat and claim an internet-wide conspiracy against your dog of choice, fine. I don't see any reason to participate.
For what it's worth, I know enough people who went on from MtG to make a ton of money in poker and/or finance that I'd probably perk up if someone with decent Grand Prix or Pro Tour finishes popped up during hiring. That said I am also biased and sentimental.
Did Simon Peyton-Jones work on F#?
I setup an Openvpn server on my LAN, with username/password credentials so I can access my LAN from anywhere. I have multiple vpn configurations for my cell phone/laptop to either map only 192.x through the VPN or all traffic through it. It's very very useful, and seems like a much more secure option in my opinion.
I've had a Thinkpad too, and had issues.

A lot of these issues are minor, and easily fixed, so I suspect the "parallel universe" effect is indicative of a willingness to overlook small issues. The font issue I found is hardly critical, for example, and I suspect a lot of developers would just live with it.
> Academia has become tremendously cutthroat but it still operates under the assumption that everyone acts honorably.

I think the problem goes a bit beyond that, in that the notion of what constitutes acting honorably has changed.
The democrats are not in control of the country, they are in control of a few states but there's a lot of different ideas gonig around. No one would say NY would be better off if they hadn't cut it down a lot and shut down. Washington state is another place that looked like it was going to get out of control but the shutdown moved us from worst in the us to a much smaller impact than originally feared.

Now look at Texas where their daily positive covid 19 detection has double in the past weeks from about 750 a day to 1500 a day. They are going to have a lot more people getting really sick, because that just following from daily exposure. See https://www.worldometers.info/coronavirus/usa/texas/ (go to daily new cases in texas, click on 7 day average). You can se e the same data at rt.live (find Teaxs, click on per day).
Assuming I'm reading the data correctly, your friends' votes were rejected by HN's software on that second submission. Randomness is the biggest factor on /newest, which is why we allow a small number of reposts to begin with: to give good submissions multiple cracks at the bat.
Exactly. And yet, those are precisely the kind of people who are the most attracted to the substance.

Previously it was suspected to be a mere correlation -- that there's something about underlying mental disorders that draws one to cannabis, rather than cannabis causing mental disorders. In recent years, they have established a causal relationship cannabis -> psychosis (assuming the predisposition is there, of course).
I can't, but even if it were false, the point about psychedelics showing you other perspectives about the same information is still valid.
I know that there is merit to this.

Also it sometimes feels like we're living in a Brave New World prequel.
The cost to make the TV smart is almost nothing (the software would cost a bit, but from every smart TV I've seen not as much as it should because it's always pretty crappy and janky). The additional BOM cost would be a few dollars at the quantity they make these things in for an ARM SoC and some RAM.

I really think he's massively exaggerating. His statements might be more rationalisation because people hate it, but they just want to squeeze more money out of people. But I can't believe that showing some ads and fingerprinting content would net them more than $100 over the life of an average TV. I'm sure there are plenty of people who would pay more than that for a no-ads, no network connection required version.
Could the coronavirus crisis finally finish off coal?
Unfortunately it's an unbearably buggy piece of software. Cloudflare has better and even cheaper offerings than this amateurish product.
I'd be OK with non-competes if the departing company had to pay 150% of salary during the non-compete duration if they elected to invoke the non-compete.

In contract law, this is known as "consideration". California has decided that "sign this or you won't get hired", isn't a valid form of consideration because it inhibits future earning potential, it's not (normally) mutually negotiated, nor is it negotiated on equal terms.

If companies really want it, they should pay for it.

Alternatively, if Amazon wanted to protect its market strategy, it should have made sure there was no ambiguity in this term. For example, if they had a narrow non-compete that says, you can't do cloud marketing or marketing strategy for Microsoft, IBM, or Google, it would hold much more standing because it's not overly broad.

As its written, where could he have gone and known for sure that that business wasn't a competitor? You can argue nearly every business is a competitor of Amazon. That's what makes it invalid.
I didn't downvote you, but since you have written a wall of text about this:

Generally speaking, in these kind of situations, "Analysis" type links would be more appreciated than something that could be more "Gossipy".

The twitter links feel more like "reactions", and I am not in HN for those. I saw this news in twitter, and came here to read more in-depth discussion.
Makes sense. Also at times the automated anti-plagiarism check systems may list some references by similarity of the topic or the certain degree of match, not necessarily suggesting that it's been copied. So it's helping the reviewer to suggest such references to the relevant extent.
U.S. Army Flickr Page Inadvertently Reveals New Hypersonic Weapon Concept