skysight-inc/HackerNews huggingface dataset:
Say you'd like to have an interface for things that are 'mappable'. For example, for arrays we could write:

interface Mappable<Array> {
map<A, B>(f: (a: A) => B, fa: Array<A>): Array<B>
}

Likewise, for `Promise`s we could write:

interface Mappable<Promise> {
map<A, B>(f: (a: A) => B, fa: Promise<A>): Promise<B>
}

But in order to generalize this interface to an arbitrary type constructor such that `F: * -> *`, we would need to write

interface Mappable<F> {
map<A, B>(f: (a: A) => B, fa: ?): ?
}

which is not possible in TypeScript since it does not support higher-kinded types or type parameters that take type parameters or parametrized modules.
UDP is treated fairly well by firewalls... at least compared to SCTP for example. QUIC/HTTP3 are UDP-based and even though there's usually a TCP/HTTP2 fallback they fare reasonably well.
This comment is wrong on so many levels.

Most importantly, you don't want others get the protection they deserve because it works fine for your husband.
I work at a (very) small electronics manufacturer (in a low-regulation industry), and the amount of regulatory compliance we have to do is almost crushing. Everything from having to report our company's ownership in a 30-page form, to having to fill out another 25-page mandatory 'industry survey' that has nothing to do with us, to having to answer impossible questions about conflict minerals... it just never ends, and the governments keep adding requirements that I'm sure nobody is actually reading.
Real-time, interactive website for USA Covid-19 event risk assessment
The HN front page will be insufferable for the next 48 hours.
Discord for sharing and multi-person audio/video. Content is accessible to Discord itself, of course, but not to the uninvited. Don't need an email address. Works on desktop, tablet, phones.

https://discord.com/
about: https://www.protocol.com/discord
I strongly encourage everyone who uses these apps to try delivering for them for a night or two. Just get a feel for what it's like. I do it as a hobby kind of and they're all bad for their various reasons. Uber Eats tells you what you stand to make up front but that depends on tip, which isn't guaranteed. Postmates is the only one that tells you what's in the order before you accept it (I can't carry a pizza and prefer to avoid fountain drinks). But you just don't know what it's like to deliver for the apps until you try it.
Ask HN: *-List Terminology
We all probably know by now about the concerns around whitelist and blacklist as words. But, "allowlist" doesn't exactly roll off the tongue. Is there any pushback you can anticipate with "redlist" and "greenlist" instead?
> achievement called "Lazy Bastard"

One my very first bosses noted the reason he felt I was an exceptional programmer was that I had managed to automate everything at the office from time reporting to doing performance reviews.
I remember seeing the Exatron stringy floppy at a show around 1981 and being blown away by how high tech and relatively affordable it was !
I am usually fairly relativistic on moral questions but, it's too long to really do it in a comment, but I think you can devise a good (ex vacuo) argument for - in short - the good parts of what we in the west would characterize western ideals to be.

I feel the same way when Peterson-types try to say it's impossible for atheistic ethics to "exist" logically, the argument is again just too long to do justice outside a monograph.

Civics classes are not the intellectual battlegrounds of the past or future.

Whether those ideals are destined to prevail is not really a scientific question.
This is why rich people want to leave China. They know that they may be rich now, but they can be cancelled on a moments notice with no recourse to due process. This is a problem has with China internationalizing the yuan and getting rid of currency controls. If they do, all the rich people will leave.

One solution to this is to make the whole world under China's effective control, or make the whole rest of the world much less attractive to live in than China. How do they do it? Hmm... Maybe something that happened this year which hasn't really affected China much in the last couple of months that seems to somehow be messing up the whole rest of the world perhaps?
So let's say I went onto Twitter in the runup before the election and said something like "Reminder: Donald Trump hired Russian prostitutes to pee on him."

Would/Should Twitter put a little "this claim is disputed" banner on this tweet? If not, why not?
I kind of skip apologies now and either look at changed behavior or set up some reminder to check for changed behavior.

This is legally because apologies from companies are so full of doublespeak and low value language that it’s a waste of my time to read, much less expect any understanding. Here’s an example from Pichai [0].

I do like the outage report style that some companies use [1] and think this is the way to repeat a problem and what you do to fix it. This takes the place of an apology or denial.

[0] https://www.axios.com/google-ceo-apologizes-past-sexual-hara...

[1] https://aws.amazon.com/message/41926/
Okay, those particular sidewalks would be a problem... in your shot jam-packed full of garages? Even if your particular situation is only street parking, that doesn't look like the norm. So that's fine. If most but not all places can have a charger, and not every person needs a home charger, then it just becomes one factor out of many for choosing a place to live.

> It would require a massive investment.

Compared to the cost of all the cars people buy every decade it's not terribly much.
> an out of place racial banner

Are you talking about black lives matter here? If so that is the total opposite of what they meant. That is literally anti-authoritarian, anti-police killing innocent black people.
We just stop consuming stupid DRM shows and music. There r tons of other media available and music from unknown talented composers/artists.
> Now, I am not saying that the US or the EU are exemplars of it.

Although some in the US clearly don't like it, even the most major transgressions from that principle in the west are fairly minor - the rule of law prevails.
Apple's ARM M1 Competitive Trade-Off
Software development is a field with a lot of breadth and depth, and a lot of engineers do not regularly come into contact with things that are "far away" from them.

The other day I saw a comment on a forum about a videogame saying something along the lines of "an experienced programmer would wonder why there are two different compilers at work here".

The industry has expanded enough that we can have people with a decent amount of time spent programming without ever encountering things that other people with the same amount of time consider normal.
> Which philosophers are saying this? I majored in philosophy, still read philosophy (both ancient and modern academic), and have never encountered anyone saying that classification of things is a violent act.

Foucault, Irigaray, Rorty, and Butler to name a few.

These thinkers believe that distinctions are bad, that the borders between things should be dissolved, that concepts like rational-irrational, true-false, objective-subjective, man-woman are oppressive.

Chomsky is not radical in the sense I mean. He's a liberal who believes in progress, responsibility, knowledge, and the possibility of relations between people that are not coercive. He's just pessimistic about human relations as they exist today. There's a Chomsky-Foucault debate on youtube. Chomsky sees a distinction between the responsible-irresponsible use of power and Foucault does not. You can also look up the Habermas-Rorty debates.
Jack Conte Used His “Genesis Story” to Raise $250M for Patreon
You can use this feed [0] which is automatically generated from the markup using rss-proxy [1]. Disclaimer: I the developer of rss-proxy.

[0] https://rssproxy.migor.org/api/feed?url=http%3A%2F%2Fblog.sp...

[1] https://github.com/damoeb/rss-proxy/
Deleted photos, accounts, etc are definitely deleted and purged from our systems.

We have teams at Google whose sole purpose is to ensure that data that should be deleted is deleted in a timely manner (as defined by TOS and the law).

Basically, every piece of user data that is stored at Google has to have a documented and audited retention plan that covers how it is stored, how long it is retained, how it can be used, etc. The retention plans are reviewed by legal counsel and are audited by independent teams.

From a technical standpoint, Photos doesn't deal directly with individual machines or hard drives. There are several layers of abstraction to map what we think of as a "file" and the storage system are doing something that is _effectively_ at least a defrag on a regular basis.

[I work on Google Photos and used to work on storage infrastructure]
Seriously, though, GP is correct. Small companies that can adapt and snag these contracts won't push for change because they have a "competitive" advantage, and the businesses they sell to won't change because it's too painful for them. The whole industry isn't being asked to change, small B2B software houses will just keep ticking along, navigating the maze of purchasing to live high on the hog.
Here's the COVID-19 Event Risk Assessment Planning Tool website described in the paper [1]:

[1] https://covid19risk.biosci.gatech.edu/
> for the most part over age 70.

CDC categories don't line up to "70" that well, but there are plenty of younger deaths.

51% are 74 or younger.

33% are 64 or younger.

https://data.cdc.gov/NCHS/Provisional-COVID-19-Death-Counts-...
The impeachment succeeded but the senate refused to even investigate so he wasn't convicted.
I think the point is that viral "dying oceans" memes and stories may be undermining conservation efforts.

They are too emotionally powerful and pull our collective focus away from the science.

It frames the problems we face as impossibly bad and tragic, which makes some people give up, while others want drastic experiments that can cause more harm than good.
A very irrational comment.

Software engineering isn't something everybody in the country can do at the drop of a hat.

If somebody wants to be a full time driver-employee, there are taxi firms/limousine companies/bus driving companies/courier companies.

They don't want that though.

They want the freedom that comes with picking your own hours using a low effort/common & widespread skill(driving a non-commercial vehicle).

Also, the site fiverr and similar sites already exists(as well as entire outsourcing industries) if somebody does
want to have their software developed by transient programmers.
Seattle. I agree that people are (or were) spending the money, but they’re stretched thin and I wonder how much more they can take.
I can't tell from the link what the book was. That makes it hard to judge whether Target acted appropriately or not.
I've been using the phrase "Dung-beetle programming" for that dominant mode for some time.
RMS was right...youtube-dl, now this...and apple computer apps not working fiasco...etc...was the crazy communist guy not so crazy after all?
Of course not, we're claiming we will only give over money if the animal is tortured sufficently much (and in particular ways) as to be rendered into good-tasting food. More torture is preferable, since that best counteroptimizes the apparent goals of animal rights activists, but that's a secondary concern at best.
There's only one rule for apologizing: You apologize if you actually believe that you've done wrong. NEVER apologize for something you believe was done correctly or in good faith or for "PR" or whatever else.
While I strongly dislike authoritarian regimes and wish the CCP would just disappear. You have to admit that China in the last 20 years has been an absolute growth machine. I often see it argued that it's "fake" because the party subsidizes a lot of economic ventures, but even then they are building one hell of a domestic market.

Trying not to do the apology of a terrible regime, but I can see why Xi would see himself as "leading China into an age of unprecedented glory".
Ah, my bad. I misread the comment above. Thanks for the correction.
I can't speak on the China stuff, but the initial comments about the origins of money are quoting from David Graeber's work without saying so. That's all true, though Cory is giving a bit of an oversimplified version.
China is a split society. Many are still in poverty, per capita gdp is very low. However it’s a huge country and several hundred million now have western standard of living.
This just seems like a shitshow waiting to unravel. First he took a quick but unreliable test, and when it didn't show what he wanted rather than take a more reliable test he just decided to take the less reliable test 3 more times and then spread bullshit on social media. He's currently describing cold like symptoms, at best he doesn't have covid which will probably result in more bullshit on social media about how covid is basically the common cold. At worst he tests positive, has a mild case, (which the vast majority of people get) and then decide that his N=1 experience is a peer reviewed study on coronavirus and spreads bullshit on social media about how it's no big deal.
> One donut takes like 3 hours to burn off at a good clip on a treadmill.

You're way off. A "Frosted Snowflake Donut" from Dunkin weighs in at 270 calories. [1]

A 155-pound person will burn 298 calories in 30 minutes doing 12-minute miles on a treadmill, [2] which is probably less than "a good clip".

> You should exercise for health, but unless you’re a professional athlete, your voluntary physical activity is a rounding error in terms of weight management

My personal experience just does not bear this out.

I used to ride bikes a lot. The I stopped because I didn't have as much time for it anymore. I eat noticeably less. I also gained 20 pounds.

[1]: https://www.dunkindonuts.com/content/dam/dd/pdf/nutrition.pd...

[2]: https://www.health.harvard.edu/diet-and-weight-loss/calories...
I think a better way of phrasing this would be "the cost of maintaining type signatures has been reduced well below the benefits" since I believe buf makes tools to do just that.
Would be nice if they had a setting that was like "straight lines only in spidertron." By the time I've got a spider, then I'm usually laying buses down via blueprints
Active hostage situation at Ubisoft, Montreal
That we have now set the precedent that companies can buy a proposition to regulate themselves makes me feel sick.
The main difference is that the pizza place hires the delivery person, and all the carryout folks were subsidizing it. The price for carryout and delivery is the same, except I have to tip the driver, and I know the driver keeps the whole tip.

There is no middleman sucking a bunch of money out of my community.
You reap what you sow
GTK should vendor Cairo.
According to a survey of SF drivers[0]

71% of drivers work 30 or more hours, and 50% work 40 or more.

More troubling, 53% relied on gig work for all of their income. Another 10% said gig work accounted for at least 75% of their income.

[0] https://transform.ucsc.edu/wp-content/uploads/2020/05/OnDema...
I've been using Ubuntu for over a decade because my days of fiddling with my computer to get things to work are over. In general, Ubuntu just works without much configuration on the user's end.

I've noticed a trend where people who are new to Linux will jump on Arch because they believe it'll give them more power, or that they'll learn more by using it. Or people will install Kali because they think it is what hackers use, and completely miss the fact that Kali isn't meant to be installed at all.

It's all Linux under the hood, and you get the same amount of power no matter which distro you use. And when you use a distro with sane defaults like Ubuntu, you're able to dig into the internals whenever it suits you, and not because an update broke your computer.
Oh please, all replies to you here had facts, or at worst fair, informed assumptions.
The colors red and green are associated with political parties in many places.

Why not allowlist and banlist? I don't think allowlist trips off my tongue, and is actually fairly easy to say.

Or passlist and blocklist (or banlist)? If you want to keep the number of syllables the same.
npsimons ... you are suffering from the Dunning-Kruger effect I am sorry to inform you ...
What’s not an illusion is that that site was last updated sometime in the 90s.
I worry a little that their plan is to get big enough that restaurants need them then squeeze restaurants for that shortfall.
This is definitely true, although it is worth noting that many of those in rural poverty have also seen huge improvements to their condition (number making under $2 PPP/hr has gone from 700 million to 2 million in a matter of 2 decades) and many of the cities in traditionally rural provinces are booming.
You can, if you charge the full amount and then refund via a voucher or similar.
Even among the engineering-oriented lower division math courses, material in differential equations courses is both antiquated and presented like a laundry list. This essay is more than 20 years old now, but the complaints are basically as relevant today.[1]

[1] https://web.williams.edu/Mathematics/lg5/Rota.pdf
It's pretty hard to be sure you've got the right story with the latter, though. Makes it hard to pass judgement. I think Bundy et al was fairly cut and dried, generally everybody agreed on what happened, and disagreed on whether it was OK.
GFXBench: Apple M1
Just to be clear: I'm assuming you're employed with traditional benefits, so your husband is on your insurance et. al.? Is "you have to have a spouse with a traditional job" really what you imagine "the way Uber was originally envisioned?"

That seems to be sorta missing the point. People don't want "Uber to BE a full-time job", they just want it to be possible for it to replace one.

> I still think we need a third class of employment, but that’s not what was on the table here.

Really what this is proof of is that employer benefits are a fundamentally broken idea. Employers will always, ALWAYS find ways to cheat their way around providing them when they can. Regulation will always be catching up.

Back in 2009, I thought the hippies were crazy to be staking so much on their failed quest for a public option in the ACA. Now? Sign me up as a M4A proponent. The system's just broken.
Why is there this illusion that osx just works and linux requires much maintenance??

Only today we had 2-3 _major_ osx issues on HN front page. For example

https://twitter.com/lapcatsoftware/status/132699029641299148...
Biblical societies had overt caste and class systems. Social justice tries to flatten anything resembling these. You mentioned that you think Jesus was an advocate of social justice but didn't explain why. Maybe our understanding of social justice is different from one another's.
It's only too late to repent when you're dead.
“Xi shows his power by punishing a powerful businessman” is a much better story for him than “Xi limits size of over leveraged company over fears it could wreck economy”
Ironically, the next article at the bottom of the page is "America has chosen Joe Biden to be the 46th president of the United States. The American people have disavowed four years of a thuggish presidency."

Perhaps this article should start with "California has chose the gig economy. The Californian people have disavowed the fascist overreach of AB-5"
As I understand it, ssh "unwraps" the TCP stream back into a regular byte stream, then sends that, and reconstitutes it back into TCP packets on the other end.
Yes, true pure technical REST probably does require HATEOAS. However, there's still a lot of value in a "RESTful" API that that achieves at least 'Level 2' in the so-called Richardson Maturity Model.

https://www.martinfowler.com/articles/richardsonMaturityMode...

On my teams I advocate for building Level 2 maturity "RESTfulness" into the design as it seems to strike a good balance between following the principal of least surprise for those who need to consume it and the heavier implementation effort required to get to that Level 3, which as you point out is probably not even appropriate in most cases.
Xi could be declaring war on sparrows though.

China (Russia can't even entertain the dream of it any more) doesn't have a dozen carriers, it's a totally different side of the geopolitical scales.

> Maybe Xi is a bit paranoid, but you don't become a lifelong dictator of a billion people by doubting yourself.

It's worth citing Nixon as an example of someone who while maybe not doubtful of themselves but was utterly paranoid and belligerent towards any and all dissent and opposition, but still made to the very top of the world.
The only failing of Uber(maybe the legal system) is that there's either no legal requirement to check the driver has the correct insurance before allowing them on the platform and that doesn't exist because there's no law that requires it of Uber(w.r.t OPs comment)

That's a a failing of your local/state/federal legislators not the company.
Ants lending business has doled out 1.8T on 36B of cash from Ant itself. That's 50 times the leverage they financed through ABS, Asset Backed Securities, or in this case more accurately described as Debt Backed Security. We knew all about these 'financial innovations' in 2008.

The new regulation limits the leverage cap from infinite to about 15, closer to bank's 10. This limits risk, and is considered a reasonable move.

A truly desperate move would be to allow these bubbles to go ahead and IPO. Which almost happened, everything will be fine and dandy for a while, until it's not. Whether it's due to Xi's insecurity or not, I'd say that China dodged a bullet here.
In good news, the CDC reports a 91% drop in flu infections this year[1]. Since people are sheltering in place and not going to school, there will probably be a lot less measles transmission too. One way to not get measles besides getting the vaccine is for kids to not leave the house and not have friends over, which is the norm in 2020. The 200,000 number of measles deaths referenced in the article was from 2019, before the pandemic.

[1] https://www.cdc.gov/mmwr/volumes/69/wr/mm6937a6.htm
It's programming, but stripped down to the essentials. You don't have to spend hours reading documentation to find the function you want, or googling for stack overflow answers for some build error.

In particular, its being able to build a complex distributed system with extremely high visibility to discover the bottlenecks and overflows that need to be resolved. With some Chaos Monkey thrown in as random biter attacks.
That's why the site guidelines specifically ask people not to post accusations of astroturfing or brigading without evidence:

"Please don't post insinuations about astroturfing, shilling, brigading, foreign agents and the like. It degrades discussion and is usually mistaken. If you're worried about abuse, email hn@ycombinator.com and we'll look at the data."

https://news.ycombinator.com/newsguidelines.html

Users are overwhelmingly (as in, thousands of times) too quick to assume organized malice as an explanation for material that they don't like appearing on the internet. This is a symptom of how divided society is on divisive topics. People disagree, but they don't believe that the disagreements are legitimate. For a site like HN, accusations like what you posted are much more toxic than the problem you're complaining about. There's tons of past explanation here:

https://hn.algolia.com/?sort=byDate&dateRange=all&type=comme...

Before anyone comes out with "dang says astroturfing doesn't exist"—no, the point is that there are two problems: real astroturfing, and imaginary internet accusations about it. Anyone assuming only the former is making a huge mistake. So what's the solution? Obviously we have to try to distinguish between the one and the other based on some sort of objective evidence. It's not enough to dislike someone else's view on a difficult topic like Covid and then say "brigading!"
DynamoDB Design Patterns for Single Table Design