skysight-inc/HackerNews huggingface dataset:
You know; here's a real simple way to adjudge which technological innovations are important. I should really have thought of this before, but as they say, "stone sharpens steel." Certainly a lot of stones around here.

A categorically "important technological innovation" is the kind that, the possession of which would provide an overwhelming and obvious advantage for the society which possesses it, versus the society which doesn't, in the event of a war. Airplanes. Jets. Spacecraft. Atom Bombs. Radar. Antibiotics. Since 1969, no society on the planet has developed such a technology, or if they have, they ain't talking about it. The end.
Pivot to Asia, TPP, quietly placing many restrictions on Chinese tech acquisitions to curtail China2025 ambitions well before Trump took office. Trump is playing up grievance politics to look like he's the only one standing up to China but undermining any real chance to successfully contain China by neglecting allies while reintroducing McCarthyism domestically and boosting Chinese nationalism and entrenching CPC support. People are eating the bait because they think China is bilateral problem. China is exploiting this, there's no united front against OBOR abroad and domestically the CPC can push through painful reforms that would have undermined their credibility by blaming the tradewar. That's reality TV foreign policy for you.
Yes. I think the financialization of the economy means you can't compare numbers over time.
The Complete Guide to CAA Records
The focusing effect will help, because you're focusing the infrared radiation from the object away.

If you have an insulated box with tall sides, radiation from the object will reflect from the sides of the box back to it, keeping it warm (or less cold).
the compare and contrast of this with the nfl and colin kaepernick is interesting.

here, a general manager of a team (not a player) showed support for free speech (the protests) and democratic values over tyranny, and the league rallied (measured) support for him. many americans then criticized the nba for not going far enough, because greed.

with the nfl, a player protests minority persecution by the police (an expression of governmental power). the league bans the respectfully protesting player (because greed) and fans cheer the oppression in the name of patriotism.

the subtext is not so flattering for us americans.
Interesting, the MLS (Major League Soccer), a US professional soccer league, recently faced this issue because a flag associated with an antifa/anti-nazi affiliated group was being displayed by fans at some matches.

At first they banned it, then after some consideration they temporarily unbanned it. (Temporarily, because the league said they will reconsider its flag rules in the off-season.)

https://www.seattletimes.com/sports/sounders/mls-lifts-ban-o...
All this is reminding me of the fall of the Iron Curtain for some reason. That too started in unexpected ways and was over quicker then anyone imagined.

"They have 200000 soviet soldiers watching...silos full of nuclear missiles and he wants to topple them with leaflets" - https://youtu.be/F_kVbLubBxM
He got a lot of things right in that video despite being just 2 years involved with mechanised theorem proving. I thought it was a fantastic and inspiring talk.

For example, when he said at the end, that it is obvious to him that this will change how mathematics is done in the future. Yeah, thought the same when I encountered this technology, but I was just a 2nd year math student back then, and Isabelle was developed in the same building. Still, obvious.

When he said that math is more about structure, not so much about induction; yeah, said the same at some ITP more than a decade ago. Got a dismissive question from Andrew Appel when I said that. Tobias Nipkow seemed to agree with the dismissal, I never understood the question though. Didn't get a reply when trying to investigate further on stage :-)

Of course set theory can be automated. I would argue, it can be automated even better than dependent types. Just embed the set theory including Grothendiek universes in simple type theory. The problem here is how to keep the notation sane, as for example + could be defined only once.

Tactic style theorem proving is sooooo old. It is how interactive theorem proving was done from the very beginning. Tactic style proofs are not readable at all except maybe via experiencing them by stepping through them. Declarative proofs are much more readable. Writing declarative proofs with the machine bridging the intermediate steps is the obvious future.

I was always astonished how people can learn stuff. When taking Latin classes, I thought, sure, I can kind of learn to read it, but speak it in real time? No way! But of course, at some point in time people have. Without understanding how.

AlphaGo Zero kind of explains how people can do something really difficult, even strategy based, without exactly knowing what they are doing. This is not much different from how mathematics is done. I think we will have a deep mathematician solving at least one of the remaining millennium problems within the next 20 years. The path starts exactly with how Buzzard and Hales envision it: Bring enough mathematics into one system, so that the millenium problems can actually be stated in the system. Machine learn that stuff. Give feedback to users, they will find it easier to use the system interactively. Create more mathematics. Machine learn that stuff. Rinse repeat.

This can be done. Certainly with 100 million dollars in funding.
A Stupid Person’s Guide on How Not to Be Stupid [with Pictures]
I'll go along with saying it's not "just as bad"; it's far, far worse, especially when training. Disappearing things are incredibly disorienting to non-expert users.
Agreed. Their follow through behaviour now is simply posturing.
Oh certainly. That’s what I meant by mutually assured damage. It wouldn’t be painless for either side. But I’d make the argument that it’s far more harmful to China.

The US was in a much better position when they ceased to be the industrial center of the world. Then again, we’ve never seen a nation like China.
what??? Mine dumped all my windows and gave me back just one blank terminal window. I got robbed!
I think the author is also talking about the difficulty of executing innovation in medium or large corporations as well as within the entrepreneurial context.
The point is that if you think US is at war with China for human rights you are really naive or you have some interest/bias. Any clear mind can see this is all for economic reasons and bringing human rights topic in this discussion makes it so US appears hypocritical and it's spine made from dollar bills.
The only legit use-case I've ever seen is "lift-and-shift" out of a self-hosted IIS environment to a container that can be hosted publicly. Now your business has a "SasS Offering"!

We had MS in our office a few weeks ago and even they were steering people away from windows containers unless you really had no other choice...
Time Management I Wish I Knew in College
I wonder how long it was between this password crypt approach and the first practical cracker for them
Crazy how all this started from a service (Twitter) that is banned in China. Not only censoring apps that do business there but outrage over a comment on an app the Chinese people aren't even supposed to see.
Hi there - I'm the lead author of this paper. Not a big fan of this particular write-up.. it's not a solar panel at all! But happy to answer questions.

The NYT actually had a detailed write-up that I thought was quite accurate: https://www.nytimes.com/2019/09/12/science/solar-energy-powe...
Not much is going on in terms of the 2nd law, because this device is not a closed system (heat is coming in and then later going out) so the 2nd law doesn't apply.
I think these niche but loved language are great ways to attract talent. I’m a senior C#/java dev but I dabble with F#,Rust and Elm on the side. I have mentioned to lots of recruiters that I’m interested in new opportunities only if they mean I can switch to one of these languages.
I know lots of people in my situation (from meetups etc).

There are few experienced Elm and Rust devs to recruit from, but there are tons of very experienced developers who would take a pay cut just to work with these languages.

What people know and what people want to work with are in my experience very loosely related.
Then the protesters could just switch to the next character, or even better: simply appropriate the Overwatch logo itself as a sign of their movement. Imagine trying to sell a brand in China that's completely associated as a symbol of the HK protests.

Blizzard can't just change that logo either, as it's not only buried everywhere in the game but also used in countless places on the internet, not to mention merchandise, comics, official advertisements etc.
While the NBA's Chinese statement denounces what was said, it also affirms their commitment to freedom of speech. The NBA stance and the Blizzard stance are very different. Blizzard seems to show zero backbone and zero support for free speech.
How to avoid Java code in JSP files?
Might even be profitable!

https://money.cnn.com/2010/03/02/pf/taxes/rat_out_tax_cheat/
Right, I get that was your question. But you also said that you initially ignored those raising awareness about the dangers because "there was no way we would reach there with current technologies". I'm addressing that inference in isolation.

But to address your analogy, the situation with AI is more like we already know the ultimate destination is California, and you've left your house in the direction of California, so we can extrapolate that you are likely traveling to California.

It should be a given that the intended goal is general intelligence. The wealth and power that will be bestowed onto the first group to develop this is unparalleled in human history. But any advance in ML can be seen as taking a step towards general AGI (the direction analogy breaks down here).

I also think Carmack is wrong that current technology will get us to AGI. I follow Carmack pretty closely and he is far from knowledgable in AI. He tweeted about his first foray into developing a DNN around a year ago, for example.

But to require a roadmap to know how you will get to "California" to start planning for what you will do when you get there is a serious mistake.
That's begging the question in an important sense though; what is under discussion is precisely a history of ignoring "values" for our other interests in China, the result that has created which did not match the stated goal of the previous policy, and the question of whether we should continue with that previous policy.

It would be a particularly perverse deployment of "whataboutism" if one argues that honoring our values over profit is not something we should do now, because whatabout the fact up until quite recently we weren't?
A good question is what is a retail accessible way to short all this credit that PE firms put on corporate balance sheets. So far the best I could come up with was LEAPS puts on BKLN and maybe LQD, if indeed the credit ratings have weakened and many BBBs are going to get rekd too.
Adobe changed their stance on refunds, I think. Unfortunately, it seems that the link on their site[0], which I read on Monday in English, has apparently been replaced with a Spanish version. Machine translation of relevant quote:

>If you purchased your products directly with Adobe, you will receive a refund before the end of the month for any license period paid and not received. We are working for our distributors to act in the same way.

[0] https://helpx.adobe.com/la/x-productkb/policy-pricing/execut...
I've heard that the stripes make it difficult to track an individual zebra against the backdrop of the whole herd. I.e., a lion might start chasing zebra A, but become disoriented and move onto zebra B who hasn't been worn down from direct pursuit. Researchers have supposedly observed that individual zebras marked with red paint smears tend to get eaten sooner.
It's very difficult for me to square "these are libelous hit pieces" with not disbelieving people when said libelous hit pieces reference firsthand accounts.

Said handwavey statements are also not libelous, at all. Libel is a high bar.
I was just going to mention Ausubel. He gave a great talk for the Long Now a few years back. Video here: http://longnow.org/seminars/02015/jan/13/nature-rebounding-l...
> Anyone know if a shit storm is also on the chinese side?

I don't trust any of these reports about Chinese social media being outraged about these actions by Westerners or Western companies -- it's controlled too tightly by the Chinese government. I could see any of the following being true about any of these recent controversies:

1. The outrage is fully manufactured by the government-paid 50-cent party posters (see https://en.wikipedia.org/wiki/50_Cent_Party).

2. Normal Chinese social media users are genuinely outraged, but only because the 50-cent party got the ball rolling.

3. The outrage is genuine, widespread, and organic.

4. The outrage is genuine and organic, but not widespread. It's just basement dwellers and the like, and most regular Chinese people don't care or don't care much.

5. The outrage is genuine and organic, but not widespread, but is also getting amplified and promoted by the authorities through algorithmic ranking.

6. etc.

Honestly, IMHO only #3 deserves any response from Western companies and coverage in Western media as popular opinion. The rest should be either ignored or reported on as a propaganda campaign.
True, but the U.S. has hardly any official values.
>There hasn’t been a single death in Hong Kong.

What about many people who got "disappeared" during the protests? We have no way of knowing how many of them are dead, and I bet at least a few of them might be, with the rest just being tortured and imprisoned per usual.
The AGPL was really driven by the increasing prevalence of software being delivered in the form of a service. I don't recall much discussion of business models at the time but there was at least a school of thought that the GPL's protections of software freedom were being eroded because of service providers exploiting this "ASP loophole."
That's not unreasonable, but as you said the point is to be private - it's definitely not what people expect. If they were going to try crack my passwords and look at them when they're cracked, I'd want a memo, to say the least.
How many hours of video content have you watched of Yang speaking? Genuinely curious. And what specifically you have watched making you think he's not a great speaker?

Toward the end of Yang being on Eric Weinstein's The Portal podcast they briefly talk about a solution regarding China. Yang definitely is aware, and he certainly understand the foundational principles of economics better than the other candidates based on what I have heard him speak of.
Most Americans will see this message as intentionally trolling the US and Hong Kong. Politicians are already angry about this regardless of political party. Honestly it is one of the worst responses possible. It has to be a mistake.
>> Farmers haven't just been adding a bit more fertilizer and water every year,

Nice to believe and it is certainly what growers should be doing, but the evidence clearly indicates that they really aren't.

Nitrate levels in the Mississippi are directly correlated to nitrogen use in agriculture and in the upper Mississippi River and Missouri River, flow-normalized nitrate concentration and flux have increased steadily during 1980–2000 and is most measuring sites accelerated since 2000.[0]

At the two most downstream sites on the Mississippi River, increasing trends in flow-normalized nitrate concentration are a relatively new development and at least partly reflect increases occurring in the Missouri River and the upper Mississippi River.

Many believe this increase in nitrate concentration is directly responsible for the Gulf of Mexico dead zone – an area of low to no oxygen that can kill fish and other marine life – which for 2019 NOAA scientists are forecasting to be approximately 7,829 square miles or roughly the size of the land mass of Massachusetts.[1]

I don't see how Ausubel's conclusion on decreased fertilizer use squares with the measured reality on the ground (or the water) in this case.

[0]: https://pubs.usgs.gov/sir/2013/5169/pdf/sir20135169.pdf

[1]: https://www.noaa.gov/media-release/noaa-forecasts-very-large...
The Chinese government's reaction to this seems extraordinarily strong to me.

The NBA is hugely popular there, don't they risk annoying huge chunks of their own population by taking it off the air?

Morey is not even an especially notable NBA figure, Twitter doesn't even work in China, it would have been easy to block news of this in China. It seems like the reaction would cause a Streisand effect there.

Isn't a backlash among the US population over this plainly foreseeable? That doesn't seem like its in their interests.

Working off the assumption that the Chinese government is rational, why is its reaction here so strong?

What other things are about to happen, that make this reaction make sense?
This is a common misconception but is absolutely not true. If the scope of privacy policies were limited to natural persons then any website collecting data from a corporation would have no legal basis for doing so.

But regardless, ICE was looking to renew a contract so there was an agreement already in place and I can virtually guarantee the terms include some flavor of mutual non-disclosure.
PayPal Writes Down $228M on Investments After Uber
IMO - the EU is a bit more calculated in their political/trade maneuvers, and does not start international confrontations with the same propensity the US does because multiple nations' economies are at stake in a union.

Also, the US political/trade situation is not entirely certain given elections in 1 year. The EU doesn't know how this is going to play out yet. It's an international poker game.
i hope the ceo can be sued, when fornite players are banned for opposing the u.s. government as opposed to china.

this whole thing is political bullshit. dumbass idiot consumers (citizen is a dirty word didn't you know?) in the west being used as pawns. so long as they have no brains and don't look inwards, they won't be punished.
On windows you can go into the properties window, and there's an option to clear the metadata of the image.
In fact, he seems to have changed his mind about that as early as 2016:

https://en.wikipedia.org/w/index.php?title=Wikipedia:Biograp...

(Credit for finding this goes to
dependenttypes: https://news.ycombinator.com/item?id=21092184)
A private diary that is the official property of your employer, and that they have the legal access to read at any time.

The system being managed here is a professional one. Keep your professional passwords professional.

It's no different than using your work email for naughty discussions.
This has already caused irreparable damage to China. Companies are not going to depend on their services in the future and definitely be moving out. The impact will manifest over time.
Again, is that worse than doing the wrong thing both times? Naming an action does not affect its outcome.
What game company isn't requiring brutal workloads and hours? It's pretty par for the course for game developers. They're also underpaid compared to developers that aren't working in games.
cloudinary level is too far at the moment.Also cdn handling will happen at later stage, where we can generate a copy of the image transformation on all the required regions. And on request to lambda, we can check for the requested region, and reply with correct region image url. Something like that may be.
But that's not a requirement as of now. Currently I'm considering to region specific implementation only. something like an ecommerce website that runs and scopes to a specific region only.
Isn't it rather that you have taxable capital gains once you choose to transact those assets?
> Doing a tiny good deed for manipulative reasons can be a net negative.

In this case, how?
Consider a small body at the focal point of a parabolic reflector, and that reflector pointed at empty sky at night.

You effectively have the body radiatively thermally connected to space, and space is cold. So heat radiated from the object goes out to space, and nothing comes back, and thus the object gets colder.

If doesn't work if there are clouds, because clouds are quite warm.
Ubuntu 19.10 Makes It So Easy to Have Your Desktop Running Off a ZFS File-System
http://www.industryventures.com/wp-content/uploads/2017/02/P...

If you add the averages of each category(75x for the last category) in this source, you'll end up with an annualized return of 9.4% over the 10 years mentioned in the image.

That is not far of the average return of the SP500.
The article's line of reasoning is silly. Sure, technology does not personally hold meetings or lobby Congress, just like evolution doesn't personally have sex or eat other creatures; they just effectively kill everything that doesn't, so what's the difference?

I find it insane that people really think they can directly control the direction of our species. Congratulations on, for example, having a great discussion about how surveillance and automated weaponry is bad and wrong and Americans, for example, should stop making it. Applause all around. Do you think China is having the same discussion? Do you think this discussion will somehow prevent China from using its surveillance and AI weaponry to usurp American dominance, spread and develop its technology unfettered, and render your neat little discussion completely worthless?

Just like evolution, technology relies on the basic fact that there's always someone to pick up its mantle. There's actually no practical way to forever stop everyone from making market-efficient or gene-efficient choices, because those efficient choices inherently grant the power to surpass people like you who seek to stop it.

I think the sooner people realize this, the more influence they gain over their destiny. Technology isn't completely untameable, but don't delude yourself into thinking you can directly control it or stop it. Feel free to focus your efforts on ethical and "good" technology, but remember that the only thing that actually matters in this cold universe is power and the technology that creates it. Ethical technology is worthless if it creates no power or efficiency. Decentralized tech is a perfect example of this. A lot of moral talk and hype - like discussion about what direction we want to take as a species - but most decentralized tech made so far is simply worse and tries to appeal to people's morality to adopt it. Is it any surprise that it has mostly failed?

A "more considered discussion" is not the answer. Instead, make something that's more or equally efficient while also being better for society. Don't bring rhetorical or regulatory weapons to a tech fight. You won't win.
How to end a lost decade of productivity growth
I think private companies doing that based on commercial pressure is fine. I don’t trust, however, that it will stay that way. Many of the same people who approve of those efforts also see government intervention is a key tool to achieve social policy. (Which is also something I don’t necessarily oppose.) I just worried about what could happen when those two lines of thinking collide.
Deplatforming hate speech based on commercial pressure is a temporary alliance between progressives and liberalitarians. It wouldn’t be the first time, however, where such alliances have broken down as progressives pushed harder.
What part of spending $100 to get $10 being a bad idea is not obvious?
They might be getting exactly what they're voting for. But they might not be voting for what they need or want.

It's not that hard to spin things in a way that people unknowingly vote for the opposite of what they actually want or need.