skysight-inc/HackerNews huggingface dataset:
Lectures in Algorithmic Lower Bounds: Fun with Hardness Proofs [video]
Right, that's an antifeature that destroys performance for no real gain (packages are the only instance where the file name is abstracted from the importer).
You're misunderstanding what GP is saying.

A performer on a military base is constitutionally protected from punishment for kneeling during the national anthem, because that base is public and they're acting as a citizen. A member of the military may have other requirements, I'm not really sure.

A professional (as opposed to high school or college, where this argument doesn't work) football player is playing on private property in the employ of a private citizen. That citizen could (and does) have the right to fine their employee for kneeling during the anthem. This isn't true for HS or college players who, by and large, are not acting under a private citizen owner, but are normally playing under the purview of a publicly funded school.

To put it succinctly:

>And they are taking these actions on private property.

Yes, and that private property is someone else's (in this case regulated by the NFL) who can set rules as they see fit.
> If you feel that way, you have every right to set up your own platform and allow those people access to it. But if you're giving access to literal Nazis, I also have the right to shun you, which I will. If you want to willingly associate with that type of scum, then I'm going to assume that you're cut from the same cloth.

Who gets to decide what a "nazi" is? You?
What if I say you're a nazi? Your denials just make you more guilty. That's exactly what a nazi would say, nazi.
The point is to target the spoofing process directly. The incentives should cause VoIP solutions that generate spoofed calls to get kicked out of the phone system.

Yes, this would cause false positives. However it is my belief that the general harm from false positives would be less than from current negatives, and that, given incentives, the phone companies should be able to figure it out.
The problem is that Al Queda and Osama bin Laden are the fruits of American military funding as well. The "chickens coming home to roost" as Obama's former pastor put it.

The US desired to overthrow Afghanistan's secular government in the 1970s and 1980s so it funded and armed Osama bin Laden and various jihadists to launch a terrorist campaign against the Saur government. Bin Laden had the same principles in the 1970s as he did to the end - when the Pakistani high command handed him over to the Americans (read Seymour Hersh or the Urdu Pakistani press on the handover, the US press printed fictious news on his death ).

What angered the Arabs who flew a plane into the Pentagon was imperial acts such as the US military occupation of Arabia. Propping up the Saud dictatorship which is currently supporting massacres in Yemen and slicing up Washington Post journalists in their embassies.

Bin Laden is a creation of US military funding, he does not make a good Boogeyman for more US military funding.
Noah: Bash on Ubuntu on macOS
What annoys me with the headphone jack isn't so much that you need an adapter. I have one pair of headphones and I wouldn't have a problem gluing an adapter to it.

Instead, what really annoys me is the lack of a secondary port in a convenient location. If they replaced the headphone jack with some other accessory connector, I doubt anyone would complain.
It is to my understanding that China was a relative latecomer to the World Bank and has never been a particularly heavy lender from the bank or the IMF, not to the extent that African states were subjected to. And furthermore while China did follow certain strains of the orthodoxy, it retained heavy state control and influence over many sectors and industries, something very few African states were able to retain following the Washington Consensus.

African states on the other hand, about 40 states in the 1980s underwent what we would call Structural Adjustment programs. State owned enterprises were sold, huge slashing cuts were made to education and healthcare(This in part decimated Nigeria's regional class university system), and various legal reforms for the benefit of Western investors. The results of those experiments were generally failed and led to a disastrous late 1980s and 1990s on the continent.

In terms of a country that implemented many of those reforms and failed to get that far. I would say both Ghana and Tanzania are pertinent examples. Ghana has implemented about three to four rounds of IMF engagement since the 1980s and is hailed regionally for its rule of law and stable political and investment climate, it still only has a GDP per capita of $1,641. Then you have Tanzania which since the 1980s has largely abandoned state socialism and embraced a mixed market economy, its GDP per capita? a whopping $936.
But even if you passively watch TV while doing something else - like cooking for instance - you at least show the intent to do that. Your TV doesn't turn itself off and play in the background even if you actively don't want it like web auto-play videos attached to unrelated content (your social feed) do.
It would make a nice home file server.
Reflecting on Fourteen Years of Web Development
The important difference is that an attempt to speak at unwilling subjects via the mail would constitute harassment with common carriers. They're not broadcast mediums since they are point to point.
Both old "script"-style JS and the new module kind have the same MIME anyway
The parent mentioned it would be a good server for build operations that require an ARM cpu. Perhaps you meant cross compiling on an old CPU would still be faster, but there may be demand for native ARM build machines.
I believe he teaches it every other fall. He last taught it fall 2017, so fall 2019 would be the next.
I worry you're missing my point!

It's not "spending money on the fix"... it's "killing our largest revenue stream"!
...ugly bridging code in Objective-C.
I have had a similar issue getting the Unity team at work to use native plugins but they’re inability to be comfortable with C++ is not an issue with the platform but with the programmer. Moreover, the ugliness of the code is definitely a quality of the programmer!
A53 cores can use as little as tens of milliwatts... these aren't going to compete with Xeon or whatever high performance CPU's are being run in today's clouds... but for a static website at Wix (or whatever), you don't really need that performance majority of the time for majority of their customers.

Same goes with most long-running VPS'... bursts of activity here and there or once a day or whatever.

Being able to run those workloads on cheaper cores that consume far less power would be a huge win. Not all workloads would be a good fit, but those which are, this can be big.
Again, I don't think that making it illegal to transact in crypto will have the effect of "stop[ping] the on/off ramps" - I think the opposite is far more likely.
If you can go downwind 3x faster than the wind, can you turn and go perpendicular to the wind using this mechanism? Can you turn again and go directly upwind?

At a multiplier of 3x windspeed, it seems like the fact that there's wind at all is irrelevant other than to get off the starting line. You're generating your own wind power by pushing the propeller through the air. Is this correct?

Because if this works other than directly downwind, you have a perpetual motion machine - scale up, drive in a circle, and hook a dynamo to a wheel. Which makes me think I've neglected something somewhere...

Edit - from the Wired article:

"Skeptics think that the wind is turning the prop, and the car is turning the wheels, and that's what makes the car go," Cavallaro said. "That's not the case. The wheels are turning the prop. What happens is the prop thrust pushes the vehicle."

OK, now I'm really confused. I thought the prop rotation was screwing through the air slower than the relative airspeed and driving the wheels - now you're telling me that the wheels are spinning the prop to produce forward thrust?

If he can go from sitting still: wind speed -10, ground speed 0, to W0/G10, and accelerate up to W20/G30, what happens if the wind drops to 0 mid-run? Can he keep going at W20/G20, isn't that easier than W20/G30?
It is obvious that much of this speech was sarcastic. To the point that I would say that it requires willful ignorance to say otherwise. Take for instance:

> And I see, like, 'kikes are ruining everything'. [laughs] Good—good—good job... You're making your movement look like you're not full of Nazis! Great! Bravo!"

Is it your genuine belief that the statement "You're making your movement look like you're not full of Nazis" was meant non-sarcastically? Do you genuinely believe that Benjamin stated that statements like "kikes are ruining everything" among the Alt-Right makes the group not look like Nazis?

Again, to say "yes" to these questions requires willful ignorance in my opinion.
In what way is it brute force? Obviously it's physically infeasible to store the best move for every position. AlphaZero statistically learns a way to recognize the gist of positions in ways that were previously not possible; I see this as a great achievement.
I think it can't be a SC2A11, because the SC2A11 maxes out at 16GiB of memory, AFAIK.

I wonder what the TDP is on the SoC, the SC2A11 is only 5W (though they get a lot out of that!). I'd like to see what they could accomplish with a higher TDP target.
You are conflating greed with innovation.

We did not rally optimism and childlike curiosoty from the general public for HTTP or TCP/IP.

You are shilling based on the popular Bitcoin playbook of Quotes and Comments.

If it's really about the technology then people shouldn't care about the USD value of this crapshitcoins era... But no you folks not only took on the technologically inclined people but dragged the unaware general public into the mud took their money and fueled your drug-induced, darkweb fantasies of lambos and Porsches.

Just stop with this bs already .. I really hope SEC comes after everyone of you greedy technobabble mumbo jumbo Signal pump-dump idiots.
You think Russia or China would launch a ground invasion of a nuclear capable country in a different continent, for no other reason that it looked a bit weak?

I wonder why the Russians are not launching invasions of several resource rich African countries as we speak.

I agree that currently the US protects strategic sea routes that benefit the US, and as a byproduct other countries. That's fine, and the seas have always needed policing, but it's just a small part of military expenditure, and doesn't counter anything I said.
We have recent history to demonstrate: WW2 followed by the cold war. Is there a Nazi Germany today? No. Could there be something similar again? Of course.

Hell, there's even a show on Amazon (based on a book) centered around the idea of an alternate history where the Allied forces lost WW2 and the US is occupied territory.
Listeners are perfectly free to go elsewhere to hear racist speech — Gab exists, 4chan exists, and there are plenty of smaller sites dedicated to this as well. Insofar as they want to support someone monetarily, no one can prevent them from using Bitcoin.
If one can make a board with enough cheap high performance CPUs, it may be good for neural nets. The main reason we use NVIDIA hardware is because it's cheaper per FLOP.
It can be both. Many do consider it insulting.

Personally insulting, or are these people who feel insulted for other people?

The reason I ask is that the women I know who use this convention are not shrinking violets. This is not being imposed upon them by some male-dominated relationship. They are all strong-willed individuals. One is a C-level at a global company.
Because $200k in SF is $100k or so in Austin, $150k or so in Seattle or NYC.

I don't get why companies do SF. To me, it looks like hiring in Austin or Seattle, for entry level engineers, is a smarter financial move.
They're A53 cores at 1Ghz assuming the article is right about it using the SC2A11. Multithread performance will probably be in the ballpark of a high end Android phone or a dual core laptop.
So much down votes... Why people in HN don't have any sense of humor?
64.3% of it. 14.3% is a wordplay, and 21.4% is explaining the joke, if you count this post fifty-fifty.
I personally have no issue with someone wanting "apolitical currency" but it seems silly to chastise (not saying you're doing that here, seems closer to dancing close to that line but not going over) people for preferring the status quo. Why? If someone robs the bank that holds my money, it is insured and it is recovered. If a Mt. Gox happens with crypto, anything I have in it is gone. Also, there's some comfort in a stable currency (perhaps in the long run this would be achievable by a crypto-based currency but in its current iteration, I don't feel that to be true).

So grand scheme of things, yeah, there's pros and cons to both. Personally, I'd prefer the vast majority of my currency to be state-backed vs the alternative.

Regardless, I think the whole mining thing is consuming resources for consumption's sake so if the various coins that must be mined falter to the point that that behavior goes away, I'd be fine with this.
> (see NOTES)

If you skip over this huge red flag, sure. "See notes", "see below" &c. are almost invariably a bad sign: they indicate that there's complexity here that's too long to explain in-line.

Reacting to that with "Hell yeah! We've found what we want." is beyond salvation.
Call Screening is done locally on the phone, the call audio and transcripts are not sent to Google.
Ask HN: What was your favourite discovery of the year?
Heya,

Given all this extra time during the holidays, I've been reading a heap more news stories and I've realised that a recommendation from a few HNers (https://outline.com) has been one of my favourite new discoveries of the year.

Surely you've all discovered some really cool things so I thought it'd be neat to get a discovery sharing thread going.

It doesn't necessarily have to be a website or piece of software of course, it could be an interesting fact or a cool new hobby even.

Happy holidays!
People have been writing shared codebase apps for decades even before the Javascript craze.

What do you think the cross-platform browsers you're packaging in Elecron are written in?!
As a full-time C++ developer, my only gripe with features like these is that they require nontrivial compiler optimizations in order to produce the equivalent "old-style" high-performance code. That leads to two issues for me:

1. Longer compilation times

2. Your program may be too slow in debug mode for you to meaningfully debug it

We're kind of at a crossing point where I would love it if I could have a compiler that "de-sugars" these expressions into optimized C code, i.e. removes the lambdas, adds local variables, etc. and then compiles with no or minimal optimizations for debug mode. I really love gcc's -Og mode, which should do something very close to that, but I still have to read the assembly code to get a full picture of what's happening. I feel like we could do a little bit better.

Edit: And if you're wondering why I care that much about performance, it's because there is really no reason to use C++ today other than to write high-performance software. There are other languages that can get bare-metal performance and I don't want to insult anyone using Fortran, Ada, etc. plus I'm keeping a close eye on Rust, but the combined tooling that exists for C++ still makes it a better, more productive alternative as far as I can judge. The other reason to use C++ would be to interface with a C++ system, in which case it might be easier to just write everything in C++ and skip the translation layer pain, but you might not care that much about performance in that case.
Nobody Wants to Host the Olympics Anymore
Nah. Ada is the new Ada. C++ is a different beast altogether.
Alan Turing and the mathematics of pattern formation in nature
metadata is
Freedom Markets™ (laissez faire) means we all define intolerance however we want.

Unless you believe corporations have any sort of obligation to the society they function within.
I believe so. I think that's why the "inverted pyramid" is so highly regarded, and yet so rarely used in practice. It's because if you go with it, you quickly shed readers who found all the info they wanted partway, and go out to do other things. Which is great if you care about delivering value to readers - and that is not what most ad-driven publications really care about.
ATOM series cpu will be good enough for home file server as it has lower power consumption too plus excellent kernel support.
> Freedom of Speech is not the right to be heard.

People keep saying this and repeating it, but as far as I can tell this meme is destructive and wrong. Freedom of speech isn't just a legal assurance that congress shall make no law abridging it. It is also a set of cultural norms rooted deeply in a long lineage of hard won ideas. It is Evelyn Hall's principle "I disapprove of what you say, but I will defend to the death your right to say it". It is Friedrich Nietzsche's dictum that only insecure societies are threatened by quirky characters with weird ideas. It is our own Daniel Gackle's observation that tolerance is the experience of suffering through unpleasant ideas. We endure that suffering because the world is dramatically better on balance when we do.

Popper and the paradox of tolerance have nothing to do with it because we aren't talking about fascists angling to march on Washington DC to burn down the Library of Congress. We're talking about people who may have made a careless remark, or have quirky ideas, or disagree with the overall bent of the arc of history.

By banning these people platforms like Twitter and Patreon are eroding free speech not in the legal sense, but in the cultural norms sense. If these norms continue getting eroded, god help us all -- it may set humanity and the western civilization back by hundreds of years.
> The main reason we use NVIDIA hardware is because it's cheaper per FLOP

... well... and largely because most neural network software only supports CUDA and/or has rudimentary OpenCL support.

Nvidia hardware isn't really cheaper per FLOP in all cases, AMD and Nvidia still leapfrog each other back and forth.
But the US military could be 25% the size and still be “strong”.

So discussions of size reduction do not mean advocating a weak military. There obviously must be some point at which additional military spending weakens the US by crippling our ability to grow. And many have reasonably argued we are well past that point. We spend 10x the next closest competitor at 750B a year. We could cut spending by hundreds of billions and leave that money in the pockets of Americans to better choose how to spend it. That could leave us much stronger. One may take a look at China’s incredible ability to build infrastructure as one alternative way to spend our money. We build bombs to protect oil interests while China builds solar panel factories and bullet trains.
> Businesses don't refuse particular customers out of a sense of social justice - they do it because continuing to service their customers harms their reputation, and thus their business

And yet this case shows the exact opposite, and they are hemorrhaging users and money for it.

> I'm saying that it's not good to require business to provide a platform for their hate.

The Overton window really has shifted too far if you consider the things Sargon of Akkad says as hate speech.
Rust 2019 and beyond: limits to some growth
Ask HN: New grads (or soon-to-be) of HN, what's next in your career?
Things where a little bit different back then, don't you think? Do you believe nothing that's happened in the last 70 years (most notably nuclear weapons) changes this scenario at all?

There are also many fictional shows on Amazon, should we use them to guide us?
A board with many CPUs would be nice, but communication between many CPUs is slower than communication within one chip (GPU).
Basically a scam then?
Honestly, I don't understand how the coroutine version is easier to read, or what was confusing about the original example.

Either you grok yield or you don't.
> nation-states trying to tax your money are fundamentally corrupt/socialist

That is a true statement; taxation is theft.
Last few weeks my schedule has been sleeping 3 hours after my 9-5, then staying up until 3am, and sleeping the other 5 hours then.

Breaking up the days like that makes it easier for me to reset at night which means I go to the 24-hr coworking space more often than usual (4 or 5 times a week lately). This year I'm focusing more on smaller, niche, SaaS type projects to build a business, rather than some big startup idea that has no real plan for monetization.
Excellent, I'll add this to the article. No idea why my post went from #1 on HN to the third page in under 30 minutes, I thought we were having a fruitful discussion here
Yep, I'm not actually sure if there are any examples of common carriers that aren't point to point. Radio isn't a common carrier, you have to be federally licensed and its highly regulated (and for example all of these youtube videos that we're talking about would result in the makers being banned and fined).
One of the big benefits of using these APIs is often that you implicitly accept a greater range of user formats than you anticipated.
It doesn't feel like the NYT is trying to communicate something to their reader. Or if they are I can't figure out what the message is.

Apart from the whizzbang combined with tiny paragraphs (making it hard to read or comprehend), not all the text is available to Safari's reader mode.
Then what I can conclude is that you claim that you've read the articles but that you still ignored their content, in case you've read them before writing here, otherwise you would not instead present here the false interpretation of what the Knuth's specific task in these specific articles explicitly was.
GPU will generally have more cores. Its why a GPU was made to do is bunch of math: Matrix multiples, dot products, etc.
Bitcoin is failing and if that’s the best option for free speech, it proves that the mainstream actually doesn’t support it.
Microservices at Spotify (2015)
Write code that is easy to delete, not easy to extend (2016)
Might be good enough... but for a fair comparison, ARM has excellent kernel support, and can sip a few milliwatts per core instead of Atom's best of 2 watts per core.

Might not make a difference if you attach them to spinning disks or something, but you can really turn the thing into a wall-plug sort of thing and never worry about it again.
Javadoc uses yyyy for year since at least 1.5

https://docs.oracle.com/javase/1.5.0/docs/api/java/text/Simp...

I've never seen YYYY used in Java.
Most NN tasks are embarrassingly parallel.
I'm interested if ARM can make a value-based case. I can see flop/kW and initial purchase cost being driving factors in the server market. If the Win10onARM ever makes it off the Snapdragons, I could see a very interesting market for low-cost laptops.
Except that they aren’t necessarily highly unpopular. They are just outside of the political norms that happen to be popular within a small class in control of the platforms.
Actually talking of potential shilling, are you really hyping your own products and claiming childlike curiosity ??? Wow.
But there's a difference between a story for the purpose of entertainment vs an expository story. The former are quite rare on HN.
can a script using es6 modules start with something besides a import statement ? then it would be easy to know if to use es5 or es6 module syntax. why was the es6 module system made to break the es5 module system ? why not just use es5 modules ? why is es5 modules so slow? are es6 modules faster ?
At racism. Easy call for me.