skysight-inc/HackerNews huggingface dataset:
> Requiring constructive proofs does not seem to provide tangible benefits, but it does unnecessarily hinder mathematical thinking.

Not true. I recommend Five Stages of Accepting Constructive Mathematics:

https://www.ams.org/journals/bull/2017-54-03/S0273-0979-2016...
Want better password hygiene in the workplace? Encourage rude passwords!
If you think that a Chinese dictatorship (or any of the other things you listed) will wipe out the Earth and leave Mars untouched, I would recommend reading fewer comic books. (And I'm a bit surprised that a zombie outbreak wasn't one of the listed threats.)
I wonder if that process was passed by legal first. Not only does it make private (in most user's minds) information public, it also makes it legally discoverable!
Java was not considered?
Yeah, I've always said the best exercise plan I ever started was getting a dog who had severe separation anxiety and would destroy all my shit if left alone even briefly without adequate exercise (and he's a young husky mix, so we're talking 5+ brisk miles).

He's doing much better with the anxiety now, but we're still walking miles every day.
I don't understand. Please help.
I'm not sure, but I was curious as well. I have a 2011 X5 3.5d that has SCR and uses DEF fluid. I googled around a bit, wondering if pm2.5 was reduced using DEF, or whether the DEF was for other pollutants. I'm not sure how clean it is relative to gasoline engines in terms of particulate matter, but obviously it's better than without it.

Of course, much of the fleet in London will be older. It was shocking to me to see (in the article) how diesel vehicles had gone from 1.x million in the 90s to 12+million today.
In this case: China will always have more money than NBA Fans or gamers.
Goldman crowdsourcing ideas from employees to find billion-dollar startups
Good thing I can staunchly say that I am against all deplatforming, and have been since it started happening.
The irony that you have to use a computer from your main enemy for your main ideological museum.
How to build trust in the workplace and succeed
Given the frequency of online password db breaches, this seems like a really bad idea...
Not only have I read it, I have also provided financial / strategic advice on several LBOs
Next Logical Steps in a Classic Dangerous Journey?
The whole point is decoupling Dom state and Application state, React keeps the two in sync via the reconciler, and you as the developer can have a single source of truth. As application complexity grows it gets difficult to make sure your DOM and your javascript are in sync using element objects.

That said Forms are one thing where I don't understand all the libraries built to 'simplify' them. They are not complex, and trying to force the library to fit your use case usually ends up being more burdensome than just writing the extra 20-30 LoC.
I know there a business use cases usually targeting legacy software. Are there any open source projects that run mainly on Windows? I am wondering how the code bases may differ, etc.
> This is like saying that backend's gone crazy because people are loading MBs of frameworks just to print "Hello World" on the screen.

They are not equivalent at all, you can add as much bloat as you want on your backend as long as you scale it. The cost is put on you. Front-end bloat directly affects the user. We used to justify every library addition, now people just add a library for every trivial task to make it slightly "nicer" as if that matters at all.
I’m going to hijack to request some help understanding whether hooks are a good thing or.... a mediocre thing I just have to accept. Here are my questions:

1) Is it just me or so hooks really push you to commit to either “state comes from props” or “state is held internally” but you REALLY can’t mix the two?

So, if I have say, a searchable select box, I must either A) be stateless, and let some other part of the system store the user’s typing, or B) use a state hook, but NEVER react to state changes coming in from outside.

I.e. I am tempted to use useEffect to notice my props and my state being out of sync so I can sync them back up, allowing either the user or the backend to provide changes. But that also feels bonkers.

Doing the same thing through message passing also seems bonkers, React was created to replace having to pass messages around to every component that needs updates, wasn’t it?

2) Is there any point to useCallback? Is it literally the same thing as returning a function from useMemo?

3) Is it just me or is useRef kind of a horrible hack? Lots of articles tell me to do myRef.current = myState in order to hack around the fact that state changes don’t take effect until the next tick. But now we no longer have a single source of truth, and introduce lots of sync bugs. Also have to type .current everywhere.

4) Should I be using useEffect instead for solving the issue with #3?

I just have this sinking feeling that at least one of useRef, useMemo, useCallback, and useEffect shouldn’t exist, but I am only three months in to React and I can’t really see the forest through the trees.
Citation needed?

Some Polish banks definitely allow using SMS as a second-factor.

(And some even let you use a permanent cookie for that. :-O)
Is it good enough to brag about it?
Today if we refuse to
#Fight for freedom
#Stand with Hong Kong

Tomorrow China make us all
#Fright for freedom
#Strand with Uighur
I remember watching a documentary about a country in central Africa where, less than 15 years ago, blacksmiths were making screws and nuts by hand. They needed to be kept together or the manufacturing variations would mean that last week's screws might not fit this week's nuts.

These guys were fast, but nowhere remotely as fast as thread-rolling machinery of course.
Indeed. They do slightly different kinds of questionable financial engineering.
My dad's fault was to bring the printout home and leave it in a public location.
> I thought you are proud of your superior capitalism?

You're just talking to yourself, this is a complete waste of time.
There are no zero-cost abstractions
we do have emission rules and the article is very dramatic. (here's an interactive overview that gives some idea https://waqi.info/)

The air in London from my own experience is not great but it's also not much worse than in many other large cities, and it has definitely improved a lot over the last decade or two.

Other European cities at least in my experience are completely fine. I've not noticed anything that sets Berlin or Stockholm apart from American cities, definitely not to the point that'd be a reason for me to move.
There's nothing poorly specified about Nietzsche's ideas, he just wrote deliberately in a way to be incomprehensible to people casually browsing his books, or looking for quotes to bandy about someplace like this. He deliberately says in a few places (effectively) "if you can't be bothered to read my entire works then you have no right to claim to understand my thought." It's a bit pretentious and a bit arrogant, but please don't confuse a New Yorker article wondering whether the overman is a "cyborg" with the consensus of serious Nietzsche scholars. He is not so unambiguous as English-speakers who've read 1 or 2 critical essays and skimmed half of one of his books would lead you to believe. (I've read all of his books multiple times, the big ones over a dozen times, and studied him for 5+ years in college).

There are lots of legitimate criticisms of Nietzsche. But saying "overman could be a very strong man, or cyborg??? lol we don't know" is a bad faith child's argument, imo. Overman (the man who continually self-overcomes) is a notable example of a very clearly articulated idea in Nietzsche's thought, and it has nothing to do with being stronger or more powerful than other people.
This reminds me of using a solar oven in reverse.

Take a heavily insulated box with a window on one side and put a parabolic reflector in it. Point the reflector at the clear night sky, and you can create ice at the focus.

All objects are in a balance between incoming and outgoing heat, so when all the heat going out it sent into a sink - such as the clear night sky - the object will drop in temperature.

The effect isn't huge, but it's real. The system described in the submitted article here has nothing like the energy generating potential required to become a sensible source of renewable energy, but it's a nice effect, and a nice system.
One can also gain credibility by admitting to a lesser crime, then one is viewed as compliant and honest, when the lesser charge masks large wrong doing. Classic Sun Tzu.
Even if the guy was creepy, you are an asshole revealing something he thought nobody could ever know. That's the same thing like reading his personal letters or similar.
My car doesn't have AEB, but it does have the front collision warning sensors. I get plenty of false alarms, particularly with an S-turn (quick right then left turn). On the final turn, there's a guard rail which sets off the FCW about 25% of the time I drive through there.
Admittedly I know nothing of overwatch, but I would expect blizzard or whoever makes it to change the game/character to accommodate China and avoid association with HK.
Doubt it. It took 4 days for just one top of the line GPU. Any dedicated attacker will have farms to parallelize it even further. It’s not exactly linear, but with just 4 GPUs (~$4000; well within the reach of any dedicated attacker), that’s one day. Not to mention the fact that GPUs have still been roughly following Moore’s Law in terms of performance.

It’s probably safe from the casual attacker who just downloads a password list and runs a one word dictionary attack, but for a dedicated attacker, let alone a nation state, it’s not secure.

TL;DR: Just use AES. Even an ASIC isn’t powerful enough for that. Searching the entire key space would take more energy than the universe has. Compare that to DES that can have its entire key space searched in a few days.[0]

Edit: you said triple DES, not single. My point still stands. DES, even 3DES, is not secure. If I can crack a DES password in 4 days, I can crack a 3DES password in 12. AES with a strong password is virtually uncrackable.

[0]: https://en.wikipedia.org/wiki/EFF_DES_cracker
In the UK Go jobs are so prevalent it's insane. But then again we have a lot of fintech, AI and blockchain startups that are knocking about so that could be a contributing factor.
Patterns for Practical CSS Custom Properties Use
I remember Ruby, and it’s a similar story really. There is one Ruby shop in my region.
The protesters should add an Overwatch logo to the top of their Mae posters so the game's whole brand is co-opted.
It’s not the resemblance. It acted as a stand in given that censors censored the premiers name. They could have used “lightning” or whatever to act as a stand in for the target person.

It’s like if Twitter were to ban the poop emoji, so people use an alternative emoji with no connection except the understanding that it represents the poop emoji and then Twitter banned this emoji and then people come up with another alternative...
Public-inbox – Git based “archives-first” mailing lists
'merican here with normal snot; when I'm doing stuff (house fixy stuff) that turns my mucous colors, it's my sign that I need to go grab a dust mask. Is this not really a concern down there in the underground because $REASONS, or one of those "umm, never thought about it, but now that you mention it..." things?
How many people actually think they have a good boss?
Not sure if you're being sarcastic, but https://www.google.com/search?q=winnie+pooh+xi+jinping&tbm=i...
100% agree with this. Built our startup around this concept. Most managers have no idea how to be "good" and receive no training... largely stumbling through using trial and error on their direct reports.
SUSE Drops OpenStack Cloud
> Which is just hilarious that Blizzard's own IP would oppose their decision if they were real people.

That is probably the case for 99.9% of all IP worldwide, isn't it? The only exception I can think of is Scrooge McDuck, but very few IP characters are pro-corporatism.
I ran into this problem on two accounts. I tried SMS passcode on one account and got this problem. Then my secondary account I tried an Email Code and I got the same problem.

I think it's just a terrible UI. If you get that message, I think you have to submit a ticket with a government issue ID (link at the bottom of that page).
If you get firefox working, please share your definition on the nonguix[0] repo. Lack of Firefox is what is currently holding me back from installing Guix on hardware. I don't know anything about package building, but I'd be happy to help collaborate if you need it.

[0]https://gitlab.com/nonguix/nonguix
Agreed. I would hope that the first email was automated and nobody actually looked at the results of cracking the passwords. In the second week, you arguably had less expectation of privacy.
They have acceleration just like mouse has, so moving the cursor is not a problem. For quick scrolling, there is the middle button + nub (granted, this is not easily discoverable).
> that powers the internet

Not really.

> You might not like them, but show a little respect.

Thanks to Wernher Magnus Maximilian Freiherr von Braun we have rockets that one day will go to mars (he even advocated for a mission to Mars back then).

Still don't respect him for joining the nazis.
I find it interesting that you have no stronger argument in support of your own interpretation than to argue that all others, including mine, must be lies with some scurrilous ulterior motive behind them.

Again, I understand that you regard this statement of RMS's - and the many similar statements attested by others - as innocuous, and any interpretation otherwise to be false and motivated by a witch-hunting desire to tear down a great man for no better reason than because his greatness makes others feel small. You've been quite clear about that.

You haven't done a good job arguing for it, though. You reiterate the same unsupported assertions that you've already made, and in between times you sling accusations at people who disagree with you - all the while hiding behind anonymity, lest you risk having your behavior reflect poorly on you - in the hopes that those following along will be suckered into mistaking such personal attacks and unsubstantiated claims for an argument.

You're welcome to do that, of course, if it doesn't embarrass you. I'd hope that it would, but I suppose the concealment of anonymity helps with that, too.
It's a weird day when I find myself agreeing with Marco Rubio. But it's true, China is effectively attempting a global chill on free speech by gating market access. If we don't stand up now, the effects will be felt long into the future.
Video Game ‘Blasphemous’ Embraces the Catholic Gothic Tradition
> I just think games should not push real world politics, period.

Games are art.

Art is opinion.

Opinions are political.

You won't get what you want.
Which part? The way I interpreted it is that if two random people were put into a room and were asked about their position on the CCP, they'd both support it. That seems plausible for any totalitarian country.
Because we already have a preexisting standard we conform to. Saying Jeremy Lin is a Chinese export is like saying the NBA mostly consists of African exports - we generally consider the black players with some African heritage as just Americans. Jeremy Lin is an American with Chinese heritage - This also helps to differentiate from players who actually have emigrated from other countries like Hakeem Olajuwon.
You have a source for this?
I still have 0 idea what's interesting about this. How is this a chess move?
I fear someone not smart enough to think of "Libre Libra" instead, might not be smart enough to get it done
I didn't mean it in a negative way either

I always seek clarity, and quite often 'complex' science is just about that, you get to see differently, eurekas. And when there's no eureka, to me then something is wrong, and the science has been accepted at face value which is also wrong.
How does licensing work for this?
It makes character behavior and the character themselves believable.

An otherwise stoic character who shows little to no emotion is nervously shuffling feet? This either breaks the character (and immersion) or speaks volumes about what’s coming next. Of course, this could be described as “uncharacteristically nervous”, but if we don’t even know what is characteristic of a character, such a description will not work.

Language is a set of tools, and good writers wield all of them.
I don't know what to think about this. A password is supposed to be secret so I don't know what a naughty phrase in secret is a violation of? It is not very different from writing something naughty in a private diary, or even thinking a naughty thing.
Eh, he was typing that phrase at a work keyboard everyday.
The Collapse of Clinton's China Policy: Undoing the Damage of the MFN Debate
I remember a piano repairman telling my parents (when I was way too little to understand) that replacement parts had to be within a certain window of serial numbers to fit. It wasn't because of deliberate changes in manufacturing, but had to do with wear and drift in the templates (or molds or presses or whatever). He described it as a "living" process, and that it worked because it cascaded in a complementary way; a small deviation in the shape of one key was "absorbed" and compensated for by the next key. It also prioritized consistent tuning (result) over persistent shape (method).

Put another way, the manufacturing process had built-in methods for self-correcting systematic error. They just weren't guaranteed to be consistent in the long term. (I'm sure there's got to be a more technical description for this, but it's beyond my knowledge).

I know semi-modern (opto-mechanical) survey equipment is manufactured on similar principles of self-correcting deviation (although these also tend to be dependent on strict method of operation for it to work itself out).

It wouldn't be a stretch to think a firearm as old as the 1911 was manufactured in a similar fashion as some point. Especially if there was a way to keep the long term deviation centered within spec. But that's just my guess.
Still significantly larger compared to most Linux container images, and even more so than something like Alpine.
> not including detailed descriptions of every historical event from the moment the US was founded up until now when talking about Chinese censorship

Sad!
Can you elaborate on what stage0 does? I'm not sure I understand what it means by "bootstrap".
Semi-related: China completely erased all South Park mentions and media from its internet properties because of their “Band in China” episode. Which of course made me watch it. Highly recommended.
That was very well made and the spirt of democracy is a nice touch.
It is scary to see how much more China and the CCP can get away with, I'm looking forward to seeing where it will all end up. Probably not in a good place. Money talks, morals? Not so much.
I think the United States Web Design System might fit in that category. It's made by the US Digital Services, and describes itself as "A design system for the federal government. We make it easier to build accessible, mobile-friendly government websites for the American public."

It's a well thought-out framework and from what I've read, accessibility was taken into account in the very first stage of the redesign of the new V2

https://designsystem.digital.gov/

Totally free since it's paid for with US tax dollars.
Any comparison with https://www.flogo.io/ ?
As an example, Aclima offers "hyperlocal air pollution and climate emissions intelligence" (aclima.io). Looks like cool tech, but who would be their customers?
Now we knows what this feels like...

We had a lot of sanction happy presidents and the American population barely bat an eye-lid as millions died from the fallout.

Only thing lost in this case is money, so far.
>Maybe this is because the Great Firewall doesn't apply in China's special administrative regions (Hong Kong; Macau),

GP mentioned they were in simplified Chinese. Don't those regions use traditional Chinese?
The poster you initially replied to wasn't discussing anything, neither present nor future. They were simply stating their political alignment. If that's not the kind of content you like to see on Hacker News, you should have flagged the comment instead of adding fuel to the flamewar.
On the Far Right Past of Ingvar Kamprad, Founder of IKEA
To be clear, the article isn't denying that technology advances and has advanced.

The author is correcting the subtle, prevalent mindset that views technological improvement as essentially a Darwinian process of blind progress. But technology isn't like that. It's inherently teleological. Somebody (or a group of somebodies) expends enormous effort to create technology on purpose for a purpose.

TL;DR – just because I can build this doesn't mean I should.
I found this really worth watching, as much for the sociological commentary about the way modern mathematics is done as for the presentation of the program (and the latter resonates strongly for me).

One of the more interesting bits for me was in the Q&A, where Prof Buzzard was asked about alternatives to Lean. Lean is the most evolved of the dependent-typed calculus of constructions provers, but two other approaches might work. One is univalence, which is sexy, but Prof Buzzard observed that they haven't actually got much done in their system.

The other is set theory, which is more familiar and approachable to working mathematicians, but the systems out there lack automation. He didn't mention Metamath by name, but that's currently the most developed such system, and they have managed to get a lot done, either in spite of or because of the lack of type theory sexiness of the foundations.

So the question I'd love to see answered is whether automation is inherently easier in type theory, or whether it might be possible to build automation for a set theoretical approach. John Harrison gave a talk last year at AITP on the topic, but I haven't heard much more of this.
haveibeenpawnd -> pawn, as in chess pawn.
3DES is a little more secure than plain DES (but still worse than AES)
No way, man. You've started with the conclusion and now you're satisfying yourself. That's fine but it's not even close to the right conclusion.

Gives me chills, all the remarkable breakthroughs. Crispr is serious stuff. Mapping the human genome. A permanent human space settlement. You can be as cynical as you want but that's more a personal failing than humanity failing.

Edit: And hahaha, I just checked the news and guess who won the Nobel for Chemistry? "Better batteries" as you so flippantly put it.
Linking to a monetary basked is another idea borrowed from economics that is based on the less than accurate understanding there of how monetary systems actually work.

I suspect the reason other financial companies are withdrawing is that they´ve looked at the practical implications.
Multilateral efforts to address tax challenges from digitalisation of economy