skysight-inc/HackerNews huggingface dataset:
Zelle has issues but it seems like they wouldn't affect your use case. There are various alternatives but if you're not willing to use Zelle then you probably won't accept any of them either. https://transferwise.com/us/blog/how-to-transfer-to-another-...
A few links (the chat is mentionned multiple times during the chat)

Lean: https://leanprover.github.io/

Repo: https://github.com/leanprover/lean/

Chat: https://leanprover.zulipchat.com/

The maths course (in French) that can be seen during the presentation: https://www.math.u-psud.fr/~pmassot/enseignement/math114/

License: Apache 2.0

I was afraid there would be a CLA, as is customary with Microsoft's projects (and the main reason I didn't contribute to any), but I couldn't find one. Good call.

> Lean 4

> We are currently developing Lean 4 in a new (private) repository. The source code will be moved here when Lean 4 is ready. Users should not expect Lean 4 will be backward compatible with Lean 3. [Committed one year ago]

Really, really not a fan of this. This basically prevents anyone from attempting to add new features or fixes, as they might be obsolete by the time the new version comes out (incompatible or already fixed).
True. But the topic here is "One-China" policy.
> Are you to give in to such a person so that he can get what he wants?

That depends. Is it the right thing to do? From a moral perspective, are they correct, regardless of their other motivations?

The only thing that matters, is if the moral condemnation is actually a correct moral condemnation.
I doubt drug cartels are walking in with a few hundred that they want to launder. That might take awhile to launder the millions a day they're making.
Getting image and video orientation correct, which should be trivial, is decidedly not. In writing PhotoStructure [1], I discovered

1) Firefox respects the Orientation tag using a standard [2] CSS tag, but Chrome doesn't [3]

2) That videos sometimes use "Rotation", not "Orientation" (and Rotation is encoded in degrees, not the crazy EXIF rotation enum). Oh, and some manufacturers use "CameraOrientation" instead, just for the LOLs [4]

3) That the embedded images in JPEGs, RAW, and videos sometimes are rotated correctly, and sometimes they are not, depending on the Make and Model of the camera that produced the file. If Orientation or Rotation say anything other than "not rotated," you can't trust what's in that bag of bits.

[1] https://blog.photostructure.com/introducing-photostructure/

[2] https://www.w3.org/TR/css-images-4/#image-notation

[3] https://bugs.chromium.org/p/chromium/issues/detail?id=158753

[4] https://exiftool-vendored.js.org/interfaces/makernotestags.h... (caution, large page!)
Besides the fact that American portion sizes are generally larger, with the related implications to health and food waste, a half gallon of ice cream is usually for many people, like at a party.

When I was a kid, we'd buy whole gallons of ice cream, and that would last us at least a week!
They are more than animals in that they're one of the only animals that would be considered a family member. Really makes you consider whether "love" is a noun or a verb.
To me, this is why:

https://www.apple.com/customer-letter/

Tim Cook defied the US goverment over the exact same issue, and even said:

"Compromising the security of our personal information can ultimately put our personal safety at risk. That is why encryption has become so important to all of us."

So to me, seeing him allow Chinese authorities access to that same data in China in the name of sales is incredibly hypocritical.
In the UK I don't think even the largest ice cream comes in more than 1 litre. Most is around 0.5 litres. And even that for a family seems like a hell of a lot of ice cream. One litre is a crazy party volume of ice cream. A half-gallon sounds absolutely bonkers.

https://www.waitrose.com/ecom/shop/browse/groceries/frozen/i...
Holy Christ, I'm like a Junior Dev and once got into an argument with the CEO of the conglomerate I work for after a town hall meeting about how agile was basically only gonna accelerate how poorly we research "the problem space" as I called it.

She replied that we weren't gonna do waterfall and that the data supported agile as the company wide prerogative.

I replied that what I was asking for wasn't necessarily waterfall, but I also had no other term to describe it, and so she shut down the conversation completely by going, "I'm sorry, but the data supports agile. This conversation is over."

It struck me at first as "What the fuck, seriously!?" but then I considered she probably wasn't the one who made that decision or pushed it, but also that I wasn't maybe being clear.

So it's helpful to hear that this a bigger issue throughout the industry from a vet Ave not just local to the company I started my career at and so have no other frame of reference
Where are things like the rotary club, the elks lodge, the masons?

Freemason here. These groups are right where they always have been and, speaking for the Masons at least, are always interested in new members. Find a lodge in your area by googling "<your state/country> grand lodge" and drop them an email. You just might find what you're looking for.
I wish more voters cared about that sort of thing. Both 3rd-party candidates were anti-war, and they got 3.25% and 1%.

Anyway, it's curious how much this "online chicanery is what got Trump elected" meme appears, despite its obvious falsehood. I wonder whose interests are served by that?
Huh, is this a quote from somewhere?
I think the fundamental nature of a pyramid scheme is that the people below finance the people at the top. In the example you used, the people at the bottom are not injured by the people who invited them. It would be different if they had to pay a fee to sign up once invited that went directly to the person who invited them. That's the scenario that sets up the people at the base of the pyramid for fraud. In your example, people aren't injured if they can't find people to recruit.
Coherent was my entrance to the wonderful world of Unix back in 1991. Thanks to Coherent's introduction I never ever had to endure Windows as my everyday personal desktop environment.
There would be valid safety reasons to prohibit all flight.
No, everything is possible through a browser and checks and wires don't even require that.
The juicy parts from the Legal Agreement for folks in China using iCloud:

> E. Access to Your Account and Content
> We reserve the right to take steps we believe are reasonably necessary or appropriate to enforce and/or verify compliance with any part of this Agreement. You acknowledge and agree that we may, without liability to you, access, use, preserve and/or disclose your Account information and Content to law enforcement authorities, government officials, and/or a third party, as we believe is reasonably necessary or appropriate, if legally required to do so or if we have a good faith belief that such access, use, disclosure, or preservation is reasonably necessary to: (a) comply with legal process or request; (b) enforce this Agreement, including investigation of any potential violation thereof; (c) detect, prevent or otherwise address security, fraud or technical issues; or (d) protect the rights, property or safety of GCBD, its users, Apple, a third party, or the public as required or permitted by applicable law. You understand and agree that Apple and GCBD will have access to all data that you store on this service, including the right to share, exchange and disclose all user data, including Content, to and between each other under applicable law.

The next step is to understand Rule of Law and Rule by Law. Guess which one China is.

I dont see which part of this is FUD.
>True. It is just hard to rewrite nation borders once it is set and done for a country of China's size

Can you expand on that? In particular, how that justifies governing those people against their will.
After some more thought, I’ve realized that should you want to allow but never force a user to manage appearance separately, you could give the toggle three options, ‘System setting’ (default), ‘Light’, ‘Dark’.
there's nothing wrong about OP: he/she is just sharing a statement released by Apple.

it's only "wrong" or misleading in light of current events, but i don't think it is sufficient reason to delete it.
So your alternative is... do nothing?
Our high school network ran on Novell NetWare, but I wasn't anywhere near smart enough to crack anything so I just wrote a little program in QBASIC that looked like the NetWare login prompt which rejected all login attempts but dumped what was entered into a text file, and left it running on one of the PCs in the computer room. It wasn't even a compiled program, it was just running inside QBASIC's IDE.

Yet it was running for three days before the admin got around to checking the machine, and all he did was try to log in, failed, and rebooted the machine — bringing it back to the real NetWare login screen. I got his password and pretty much everybody else's too, and to this day, more than 20 years later, I still use bits of his admin password from time to time when I'm creating temporary accounts.
Only if words don't mean things, though you can see how the least charitable (which is not to say least accurate; who knows) reading of Chinese policy would lead you there. In particular, I think there's a trap where if you cherry pick from Maoist China and modern China, you can assembly a Frankenchina that meets some of the definitions.

There are some pretty obvious elements of most common academic definitions of fascism that China flunks, no matter how you read them; for instance, Chinese society has not been mass-mobilized and militarized by any reasonable definition of those terms. Modern China not only doesn't reject modernism, it wholeheartedly embraces it. If there's a secular civic religion, with ceremony and liturgy, it isn't powerful enough to crowd out other faiths; there is a national patriotic spirit, but it isn't articulated through quasi-mystical symbols and rituals. Violence isn't employed for its own cathartic sake, and is largely "professionalized".

People want to use fascism as a shorthand for "authoritarian nationalism", but it isn't; there are plenty of examples of authoritarian nationalist states that are demonstrably not fascist --- in fact, there are plenty of right-wing authoritarian nationalist states that aren't.

Maybe a good acid test for this: if you were living in a fascist state, you'd know it, in much the same you'd know if you were living in an actual according-to-Hoyle theocracy. China is a huge country and millions of people there live with a relationship between themselves and the state that we would recognize in the west.

I want also to acknowledge that it is kind of squicky to debate whether China is "fascist", in that it's an extremely loaded term that carries implications for ordinary Chinese people living their lives (that's part of the point of fascism). But a discussion about what fascism is or isn't is at least more in the spirit of HN than a lot of the other comments on these threads.
People like helping people.

Also, GNU screen: https://stackoverflow.com/questions/16111548/how-to-copy-the...
As much as I'd like execs to do that, I think it is actually hard. The board, made up of investors and other stakeholders, have a lot of power too. Execs can tell shareholders that they want to stand up for human rights, but shareholders can also tell execs to stand up for human rights somewhere else (ie. they get fired; execs can be fired too).
Which is something I try my best to avoid, yes.
It doesn't matter what they say in court, what matters is how the iMessage protocol works.

As far as I can tell, the way iMessage works according to Apple's documentation, is that endpoints generate 1280-bit RSA encryption keys, hold the private keys on the device, but publish the public keys to a centralized IDS Directory Server. Note that their published security documents curiously don't say anything about man-in-the-middle mitigation, and indeed, MITM attacks against iMessage on IOS9 were publicly documented.

Now, what do you know about where the IDS servers are located in China, and who controls them? Because if Apple doesn't control them, and control them in a way that makes them impossible to spoof, then it is easy for the Chinese government to attack iMessage.

Thus, Tim Cook could say "We haven't put any backdoors into iMessage for the Chinese government and it is end to end encrypted" and it would be a true statement, but also Apple engineers could know full well the IDS in China could be subject to a MITM.

A plausible way this could happen, after Apple moved the iCloud keys to China, is that the Chinese government could request to intercept communications from a particular user, and the public keys of every recipient that user communicates with could be replaced with a MITM key so they can rely the messages and see the unencrypted content.

We don't know, but what we do know is that iMessage has been attacked with MITM before, and we know the PRC isn't going to let unbreakable encryption be sold to Uighurs in Xinjiang. It defies logic.

I'll note that the GreatFireWall is very sophisticated, not only can it block, do deep packet inspection, and DNS redirection/spoofing/poisoning, but it can also do deep injection attacks, like it did to GitHub by inserting Javascript on-the-fly into Web requests.

Can the GreatFireWall MITM the key-exchange in China? Can iCloud China's servers just outright have a facility for doing it? We don't know, but this is completely orthogonal to claims of end-to-end encryption.

End-to-end is only as strong as your key exchange.
There were even magazines like Computer Shopper that consisted entirely of ads, and people would pay money to subscribe.
It's like a weird Chinese version of the White Man's Burden. They were "uncivilized" once upon a time, so now they deserve occupation.
Doesn't matter. The amazing thing about trade is actually how much of a great tool it is in bringing countries and societies closer despite all other differences.

Said in other ways, China and the US may not like each other, but they will never go to war with each other as long as they trade with each other.
The first $250-500k of capital gains on houses is tax-free when you sell your house. I would argue that the IRS should treat cryptocurrency like other foreign currencies where the first $200 of capital gains is not taxed: https://www.irs.gov/publications/p525#en_US_2018_publink1000...

That would just put cryptocurrency on similar footing as any other currency.
Most jobs are positive pyramid schemes, IMO.
Hah, just wrote almost word for word the same response.
Another issue is guaranteeing returns. This is basically usury/interest, and is the main reason the financial system today is messed up beyond repair, unless someone is willing to step up and ban interest altogether.
> ...the desire of the Chinese people to remain as a united group.

You must be talking about the Han people, certainly not the Tibetans or the Uighurs. Those clearly have separatist ambitions, but they don't have the power and the support to make it happen.

As for Taiwan, Hong Kong or Macau - none of these want to be united politically with the PRC either, even though they are mostly Han.

A soviet-style political breakdown could be the best thing to happen to the people of the PRC, considering that those smaller Chinese countries are very successful.
This is required to operate under Chinese law.

For instance, here is Microsoft's description of their own compliance.

>Keep your data within datacenters located in China with an Azure China account and stay compliant with international and industry-specific compliance standards. Access to your customer data is controlled by an independent company in China, 21Vianet. Not even Microsoft can access your data without approval and oversight by 21Vianet.

https://azure.microsoft.com/en-us/global-infrastructure/chin...
The "split into 7s" thing is from LM, which goes back to the OS/2 days... and it uses DES, which operates with 56-bit keys: 7 8-bit characters. Old DES-based crypt() has a similar limit: 8 7-bit characters.

NT hashes use MD4, which wasn't invented until 1990.
On a technical level, there are still some apps that can get CoreWindows, respond to PLM events, receive callbacks from contracts involving CoreWindow UI like Share target, as well as go into certain UI modes involving shell participation like modern fullscreen and CompactOverlay, and some that can't (without stapling them together with one that can via Desktop Bridge) ... aren't there? Maybe that will change in the future but it hasn't yet.

And then there are some OS editions where some apps can't run or can only run in a container environment.
Coherent's misfortune was that it was released at the same time that Linux was.

All through the 90s as I progressed from Coherent to AT&T Unix to Novell's Unixware to Sun's Solaris, I used to to look at Linux every six months or so. I was always gobsmacked at how quickly Linux (actually Gnu/Linux) was moving ahead in leaps and bounds.

By the time that 2001 rolled around, it was time for me to put away my Solaris and switch to Linux fulltime.
Sounds like something ansible would be perfect for
I remember the magazine ads for it:
http://2.bp.blogspot.com/-vfzVzVxKynE/To2Hu97jlLI/AAAAAAAAAD...
You’ll also probably need to disable iMessage on your Mac.
FEMA Bought 44,000 Flood-Prone Homes. They May Have to Buy Millions More
could you stack these or arrange them some way along the third dimension to capture more energy per meter^3?
Yes, I can imagine a scenario where bad actors gradually built up a database of login/password info, and suddenly launched an attack to delete all of them. It would make sense to have some mechanism in place to throttle them. Hopefully the outrage will outlive that process.
I urge you guys to checkout some of the decentralized alternatives that are built on Ethereum or Lightning network. Here are some decentralized apps from Blockstack's App Mining program that have been gaining a lot of traction lately:

- Dmail (Gmail alternative): https://www.dmail.online/

- Recall (Google Photos alternative): https://app.recall.photos/

- Arcane Office (Google Docs/Office alternative): https://docs.arcaneoffice.com/

- Forms.id (Google Forms alternative): https://forms.id/

- Arcane Maps (Google Maps alternative): https://arcanemaps.com/
Strange that UFC has the same exact reward model.
Why even bother with an authenticator if they're not going to recognize it for something like this? Why should I have to send them an ID? I tried deleting my account multiple times and it still hasn't worked.
Magnetohydrodynamic Drive
Supporting Custom Authentication Backends in Django
I experienced the loss of that "spark and magic" in games twice in my lifetime.

The first time with Japanese console games, sometime during the PlayStation/2 era. There was something of a golden age on the way to mastery of 2D in the 1990's. I'm talking about the craftsmanship, the attention to minute details, the cognitive approach in designing difficulty and progression and outright "fun" games playing on our senses etc. The ingenuosity of some RPG systems, etc.

All that gradually took a back-seat as 3D was emphasizing visuals and "shiny" replaced "smart", "realistic" replaced "immersive".

The second time was with Blizzard, in very comparable ways — when you go back to the basics, how characters move and behave, how actually fun it is to press a button over and over, etc. Things that make some games absolutely stellar and others garbage and you just can't know until you try your hands on it for some time.

Needless to say I don't bother with most AAA today. (not that I game a lot if at all)
Well, there's that (former?) Debian project, an Arch variant as well, and I think there is a GUIX variant as well[1]. But they still share the same limitations: 32 bits, no USB, etc.

Hurd itself has interesting concepts, like translators. And it might be useful in some specific cases where robustness is needed. But you might as well try MINIX 3.

Hurd is on my list of things to try, just like Plan 9.

[1] (edit): https://en.wikipedia.org/wiki/GNU_Hurd#GNU_distributions_run...
You can have iCloud enabled for Messages, but if you have iCloud Backup on then the keys are stored in the backup.

>Messages in iCloud also uses end-to-end encryption. If you have iCloud Backup turned on, your backup includes a copy of the key protecting your Messages. This ensures you can recover your Messages if you lose access to iCloud Keychain and your trusted devices. When you turn off iCloud Backup, a new key is generated on your device to protect future messages and isn't stored by Apple.
When you start with the premise that 99% of crypto is either an outright scam or what will eventually turn into a scam it is fairly safe to call this project a scam too.
I think there's information asymmetry here. Do you think that many Chinese people know that in nearly all developed countries there's a lot of dissatisfaction and (public) vocal opposition to their own government? It's reasonable to assume that's the fact that China wants to hide from its citizens, because they certainly don't want their citizens to think that they have an ability to do that. Assume all the governments are corrupt and shady and all that, but that's still a stark difference between China and other reasonably developed nations.
Keyloggers aren’t very useful when authentication uses TOTPs from a hardware token.
Right. As an end user how can I actually verify that instead of just taking Google's word.
Never be surprised at the capacity for these offshoring shops to write bad code. They excel at this art, for any language.

Jokes aside, there are structural reasons for this phenomena, but the most obvious and pithy one is simply: you get what you paid for.
Airline Seatback Screens May Be an Endangered Species
That's not really true. Pretty much any laptop these days will use less power -- much less if the display is off and it's not doing anything particularly demanding.
The yellow man's burden is alive and well in Africa...
Stripe CLI – A command-line tool for Stripe
I'd give old blizzard the benefit of the doubt, but there's obviously been a ton of churn, management and culture changes over the years and its taken its toll.
> nefarious motives assumed by default.

HN isn't harvesting your email addresses and associated old comments for money or trying to pump up some user account growth number. Plus technically they could still easily keep your email/comments if you deleted your account in some archive.

I'm not sure what other value they could possibly draw from this where it could be some sort of tactic.

Let's just be happy YC is hosting this stuff for free and doing an excellent job.
The tech behind the scenes of an autonomous robotics competition
Part of Kite's web development series for Python by Dane Hillard. (kite.com/blog/python)
The "One-China" policy is way beyond just geographical. It has very strong cultural ambitions too. You cannot talk of the geographical policies in isolation.
Alibaba to Stop Sales of E-Cigarettes to U.S. Buyers
Oops - I have it the wrong way around. 2.9BSD came out after 3BSD.
This is a quirk of Sparkle when it has already downloaded but not yet installed the older update.
FWIW, most McKinsey employees won’t be doing anything immoral. In fact it’s perfectly cool to turn down assignments for personal ethics. E.g. not wanting to work for a gas company, even if the specific task doesn’t have any moral implications.
Tangential, but interesting: while it's impossible with a compass and ruler, one CAN trisect an angle with origami.

https://plus.maths.org/content/trisecting-angle-origami
Get Attention From Google Faster: Buy a Blog (vs. Building One)
A good deal of money :)
So sounds like we'll get level 4 autonomy in 2020. Once that happens the discussion around the nature of the approach to level 5 (which is probably asymptotic) will be a welcome change vs today where people are questioning if we'll ever have a consumer successfully use an autonomous vehicle.