skysight-inc/HackerNews huggingface dataset:
That was a scary time, the first ever large scale network attack. I found myself a couple days later flying down to DC with some other folks from MIT and Harvard to brief a bunch of senior DoD and agency types on what happened, but the thing I remember most vividly was getting home late at night after spending the day repeatedly trying to disinfect and protect our machines, only to log in via a 4800 baud modem and see our machines were somehow infected yet again, with the realization we’d changed root passwords so many times I had no idea how to get in and fix it, nor any way to reach our sysadmin who was even more exhausted than I was.

So I called a friend, who is now a physics professor at MIT, and said “Our machines are infected, could you please break in, go root, clean the infection, and send an email to our sysadmin explaining to him you did this at my request?” All he said was “Ok, get some sleep” and yes even though we’d just spent almost 24 hours locking down every possible attack vector into our machines and network we woke up to clean machines with a polite email in the sysadmin’s inbox. I never have figured out whether that was more a measure of the state of network security in the late 1980’s or of the kind of mad skills it takes to become tenure track at a place like MIT.

There is a good telling of the worm story in the final chapters of Cliff Stoll’s amazing book on discovering a case of internet-hacking meets East-German-spies meets 2400-baud-modems and three-letter-agencies back in the mid 1980’s (which spent 42 weeks on the NYTimes bestseller list and is a ton of fun to read)[0]

[0]https://www.amazon.com/Cuckoos-Egg-Tracking-Computer-Espiona...
Yeah, but wouldn’t have made the history books or affected an army. A total eclipse on the other hand would have been a show stopper ... especially in ancient battle.
I don't think OP is specifically criticising the size of the US army, but rather the culture that surrounds the presence the military has in the country.

I'm from the UK, and I too have found the cultural US norms around military service creepy and weird.
> Even in wilder society, every third person you meet is either currently serving, served at one stage, or worked for one of the large companies with government contracts to supply the military.

First of all, that third one is sort of weird to lump in with the previous two. Secondly, but most importantly, less than 1% of the US is currently serving and less than 10% of the US has ever served. So "every third person," even as hyperbole, is just wrong.
Showing the phone itself and its features does not seem like a fireable offense, but it sounds like some internal naming, documentation and links were visible, which is surely a major violation of company policy, if allowing your family to have access to your internal account were not (which it also certainly is).
It's important to know that the Department of Defense pays for this activity. Here is one example article of it (I couldn't find a general overview article in my brief searching):

http://www.post-gazette.com/news/nation/2015/11/06/Departmen...

Apparently, it falls under the "recruiting" category in their budget.
Good point. I generally share the same view. On one hand, there were so many corporate consolidations in the past few years. On the other hand, people's discontent probably also led to the rise of Blockchain tech.
Bram, how many emails did you collect to do this?
Introducing Vectorized UDFs for PySpark: How to Run Native Python Code Faster
?? why is this lib on front of HN ? i mean, it's a nice wrapper around a dictionnary, but NSAttributedString isn't really a hard part of the api, nor is it really awkard to use (especially since all the keys have been properly named in the latest releases)...
> defense force

,:/
>A limited number of episodes of a television show may be called a miniseries or a serial or limited series. Television series are without a fixed length and are usually divided into seasons (U.S. and Canada) or series (UK), yearly or semiannual sets of new episodes. While there is no defined length, U.S. industry practice has traditionally favored longer television seasons than those of other countries.

https://en.wikipedia.org/wiki/Television_program
Shouldn't New Zealand have more military personal per capita, if it's a smaller country?
I'm not sure what "enable amp experience with the html6 web" means, but surely you like non-amp pages too, particularly the ones well designed and lightweight code.

I'm just hearing about amp tonight and trying to understand what it is. Why are people saying it ruins the URL? Does it change the website address to a google URL? Why are people criticising it saying "hosted not cached"?

I gather the caching works similar to Akamai, with a configurable TTL on file types for the origin server?
AOL making a comeback!
But hey, now we can choose between 3 options.
And yet... consider what products Jobs was associated with without Wozniak, Atkinson, or Hertzfeld (to name only 3 of the deservedly famous techies who worked with him) involved. Then consider what products these three were associated with without Jobs involved.

At some point, "luck" ceases to be a particularly viable hypothesis.
How is it confusing?

I hate page bloat because it's slow.

I hate AMP as it's an obvious, extremely damaging, land grab.
> Apparently turning on "Do Not Track" has long been known as a way to single you out on the web. You'll help them narrow you down by about three orders of magnitude. It was a silly idea to begin with.

Wouldn't that be solved if FF turned DNT on by default?
Square Register: Our New POS Solution
Also, how much traffic did you get with 11k upvotes from PH?
> Most will use it to try to push you harder "before your battery runs out"

An example of this would be an app like Uber charging you more if your battery level is low. They already know that people with low battery are willing to pay more: https://www.forbes.com/sites/amitchowdhry/2016/05/25/uber-lo...
I can't assess what this article is saying without knowing the definition of "traffic" that is being used. Is "traffic" the amount of data transferred (i.e., megabytes, gigabytes, whatever)? Is it the number of requests? Something else?
From the official HN guidelines[0]:

> Please don't comment about the voting on comments. It never does any good, and it makes boring reading.

[0]https://news.ycombinator.com/newsguidelines.html
7 Steps to Mastering Deep Learning with Keras
They don't control everything, they never have, and they never will.
"Faster and with less risk!"
A positive feedback loop through methane was always the nightmare scenario, and now it seems to be happening.

It's probably too late to stop catastrophic warming simply by cutting emissions. We still need to do so, because it can always get worse, but it's time to look seriously at terraforming as well.
It seems like the specific details of tax evasion are new.
I tend to think it is passive aggressiveness[0]. Especially in articles like this.

[0] "Look! these are the large organizations ruining everything!"
>> Well, some of those privacy and security nerds happen to work for companies like Google and even have influence over those companies' hardware purchases.

>> So now AMD has just lost a big chuck of potential Google business...

> Devil's advocate: if large customers care, AMD can easily give them a "special" microcode image with it disabled...

> However, these fixes are generally not offered to the public even when they already exist (again, see: Intel HAP)...

Google could take the "don't be evil" motto one step further: they could require CPU vendor give them publicly available microcode that disables these "features." Basically, they could use their market clout to put the PC market in the right direction.
My life is made considerably more dangerous by the US's constant aggression.
hmmm good comment. I don't plan on using their code so do we really need an IP agreement ? (don't like paperwork)
How B2B Brands Can Utilize GIF's in Their Social Media Strategy
What else are people going to use, really?
> The "depth-three" model in this paper is a bit strange in that their second layer has only one output, so the third linear layer doesn't have any effect. I would have called this "depth two"; but it is internally consistent with their definition of depth.

No, it does have an effect: It takes a linear combination of the outputs of the previous layer, and then applies a non-linearity $\sigma'$. If $\sigma'$ is the logistic function, then the output of the last layer is a probability.
No one runs big systems on such a platform until is has been used and tests by many parties. But it has to start somewhere!

I remember having many discussions about exact this kind of platform 20 years ago. Still waiting for it....

My question for you is how do you bill for usage? This would seems like just the kind of platform that could use an ICO.
"in chats". This is a blog post, a forum, not an SMS conversation with 1998's prices. Acronyms look-up on Google gets old really fast. I had to look for YANBU yesterday and it was not fun to get back to the orignal text after that.
> These paradigms get thought up by people who don't run big systems

This is explicitly for people that don't run big systems – "the 99%".

> The best model for random devs who just want to scale up their jobs is to model what the dev is using for dev.

That doesn't seem like it will work if "random devs" aren't writing their code to even be capable of running on multiple nodes. You're also ignoring points made in the post:

> Many more casual users of data processing platforms (the 99% from the paper title) don’t want to spend hours understanding a complex stack of e.g. Spark, Scala, HDFS, Yarn and the JVM. Even the choice of instance types (70 on AWS at the time the paper was written), cluster sizes, regions and so on can be bewildering.

AFAIK, there's nothing that will automatically pick a stack, instance type, etc. based on a random dev's laptop (or desktop).
Intelligence-driven marketing: A shift from data-driven marketing
Holding Effective Data Meetings with Product Teams
None of these companies have a monopoly, and even if they did monopolies should only be regulated when they sell things we must have to live. Monopolies for luxury things are not a problem. Access to google and facebook are not essential things you need.
But isn't Caffe Macs considered a public area (guests and family visiting for meals, etc)?
Goal Gradient Effect: Our efforts increase as we move closer to a goal
Indeed, what a needless, senseless waste of a human life, and what a loathsome human being. It's scary to think he may have been walking around with this motivation inside of him for years. Fingers crossed they lock him up and throw away the key. I'm all for rehabilitation but with this case I think retribution and public safety must come first.
So as long as I build the next Twitch on my own you guys will just charge me $50 per month? That’s freaking awesome! It’ll save me $5300 per month in hosting already!

[heads over now]
That is a brilliant article.
Persistent reservations against the premedical and medical curriculum
> We have a store on Amazon and counterfeits have been able to attach themselves to our page, violating all of our intellectual property.”

How is attaching themselves to the page even possible? I don't believe Amazon has any kind of ad system which allow people to buy spaces.
My problem with the term "feudalism" is that it utterly fails as an analogy. People use websites, and draw value from them, and give data to them (and random partner sites and ad networks, which is a bigger problem). They don't swear fealty to them. It's an intentionally provocative term with little bearing on concrete details, and I have about as much interest in arguing about whether it applies as I do in arguing whether data is blue, yellow, or green.

As for natural and artificial, my point is that regardless of the nature of the relationship, it's artificial to hand someone a pile of data but then arbitrarily restrict what they can do with that data. That's true whether you're talking about copyright, DRM, or personal data.
First, just to clarify, I wrote "Isabelle/HOL", and I'm not claiming anything about any of the many many other systems that have "HOL" in their name. I don't know those.

That said, I think the thing that annoyed me most were the different language levels: "assume P show Q" and "P ==> Q" are both implications, but somehow different. I never quite understood why and how, but there seem to be cases where only one can be proved but not the other. Similarly for different kinds of universal quantification. Your interpretation of "bizarre" may very well vary, but I found these unintuitive and not explained well in the documentation that I found.

(Don't ask for anything much more concrete than this. It's been a while, and I've forgotten the details.)
No, they earn wealth off the societal infrastructure they have built.

> I gotta say this breathless free-market purse clutching is getting a bit tiresome.

Less tiresome than this communist bullshit you're spouting. You do not have a right to their services, period.
Does anyone here use marketing automation software?
We're crazy how? We are WAY down on the list at 0.69% per capita who serve:

https://en.wikipedia.org/wiki/List_of_countries_by_number_of...
You are comparing apples and oranges.

> Why oppose a Russian millionaire buying an LA townhouse, but not a Texan millionaire buying the same townhouse?

A Texan resident is subject to the same federal financial rules and regulations when earning an income in the US as a LA resident. The Russian millionaire can earn millions in a different country under unknown rules.

> Why oppose a Russian millionaire buying an LA townhouse, but not a Russian millionaire buying a Degas painting?

Buying a Degas painting is a luxury, having a home for your family to live in is a necessity.

> Why oppose a Russian millionaire buying an LA townhouse, but not a Russian tourist buying a ticket to Disneyland?

Again buying a ticket to Disneyland is a luxury, not a necessity.
Why didn't you write a nice python wrapper for AWS Batch? You'd get all the benefits of fully managed code, but none of the limits of Lambda functions. I don't see how any of your workloads are super latency sensitive -- a trivial AWS Batch job completes in ~2 minutes on a cold start.
I'm really concerned with this current crop of "have to please Google" that is become so prevalent by SEO. The current trend is one of reactionary fear. "We have a great website... it would be a shame for its ranking to slip". I can't say that Google is actively, passively, or even part and parcel to promoting that fear. Unfortunately, the biggest reason I see AMP being adopted by many, has nothing to do with it being faster or a better experience. It has everything to do with pressure by Google. (and a belief that it'll improve search ranking)
As we approach the third decade of the 21st Century, how is most electricity on the planet generated?

Coal.
I lived on Refshaleøen for 6 months, quite close to his workshop and I am friends with a bunch of people that he frequently lent electricity for outdoor events in the area. Apparently he was a very nice man, though a little bit eccentric.

My impression is that premeditated murders rarely occur in Denmark (outside of gang violence), and this case is garnering an enourmous amount of publicity. The rights for the movie have already been secured.
Authentication by physical objects
>The US has an outsize military because, for most of the past century, it has taken on the role of being the primary defense force not just for itself, but for countries all around the world.

That's one way to phrase it. Viewed from a different angle, the US loved competing in proxy wars against the USSR, continues fighting proxy wars against Russia (currently in Syria) and destabilizes the middle east to keep contracts for it's defense industry coming
Is it hard to believe?

The article mentions that the phone had been announced and the press already had access to it. A teenager is unlikely to think much about the ship date and unlikely to think about the press having restricted access at all.

The ball really falls into the father's court. Not only is he the one covered by the NDA, he also has more life experience and more experience with Apple to realize that he should not have shown his daughter the phone (nevermind let her film it).
Its not just you, the SJW overuse of the term makes me cringe when I come across it.
It's possible to hide curvature in singularities like that, but that's not the classical "grid with wrap-around on the top and bottom" you see in video games. In particular, there's nothing "special" about the corners - you can still go up/down/left/right at them. In essence, you could recenter the grid around any point without changing anything so the corners only look special but aren't.

The torus actually needs total curvature 0 (the beautiful Gauss-Bonnet theorem says this and is true even for a torus that cannot fit in 3 dimensional space), which means you'd need some "singularities" with negative curvature and some with positive curvature to cancel out. But clearly all the corners in the torus are the same! So there's no way to hide the right curvature in them.
I would never have guessed what ATVI was. So audience is important, which means for a public post, stock symbols probably aren't a great idea.
What's most problematic with America is the need for everything to be a black and white issue. Can it be that both sides have a point in this?

Military worship is pretty ridiculous and the mega advertising budgets for an "all volunteer" military turn public events into spectacles of propaganda.

But when multiple generations of post-WWII western civilians have lived extremely cushioned lives, when compared to the other 2/3 of the world, a lack of understanding of the sheer sacrifice of wartime military service is inevitable. There's a reason that the vast majority of active-duty and veterans lean right wing, and it's not because of "lack of education" as the more snooty people on the left would have us believe.
I think the argument would be that being proactive is a sort of defense, and a good one because it is cheaper and saves more lives than waiting until things are really bad. Of course, not waiting for things to get really bad means that we can't know if the intervention is too heavy-handed or even exploitative.
Went nostalgic. I remember SilverStream. I had made a proposal for a movie theatre booking project around 2000 and had proposed using this. Though the client didn't care, I was very much in to the java hype raging then. (this is India)
Not enough where any hosting provider should fall over for a mostly static page.
Somebody wrote a blog article about this: https://thehftguy.com/2017/09/26/hitting-hacker-news-front-p...
That helps, thanks.

Can you explain the naming? What sort of variance is the second case contra?
I think they can just say they sell the same product and then they are shown as another seller on the same product page. Reviews get mixed, the counterfeiter might be shown as the cheapest option, ...
Access to information is not a luxury.

Google and Facebook appropriated the natural course of the evolution of information exchange between humans and should be regulated.
On the other hand, with enough power privacy is replaced by immunity. The importance of privacy is heavily distorted by one's level of vulnerability to state or social coercion.

As an example - it's not clear whether J. Edgar Hoover was gay, but it's quite clear that he threatened and even blackmailed people who raised the question too publicly. Meanwhile, employees lower in the national security apparat were surveilled and dismissed based on even rumors of homosexuality. Privacy remains desirable, but becomes less essential with that sort of rising power.
...at whose expense?
Credit card information is not tied to the products that are purchased. It is an aggregate purchase amount tied to a store location, that is it. Whatever is going on here needs to be investigated and brought to light.
A not-so-subtle way of pointing out that these are all profit-seeking companies? A lot like how people used to write Micro$oft, back when Bill Gates was the nerds' devil. We're all sophisticated financially-aware grown ups now, so we've moved on to ticker symbols, as a way of signalling our enlightenment.
How to Start a Winning Local Marketplace Business: Growth Hacking Guide
what trouble ?
http://www.eff-lang.org/
> I don't think OP is specifically criticising the size of the US army, but rather the culture that surrounds the presence the military has in the country. I'm from the UK, and I too have found the cultural US norms around military service creepy and weird.

The culture surrounding the military in the US is intrinsically linked to both its size and its importance on a global scale (which are two distinct factors). There is no military power in NATO or MNNA more powerful than the US military. So it would be surprising - and honestly dangerous - for it not to have a culture of visibility in its own country.

> I'm from the UK, and I too have found the cultural US norms around military service creepy and weird.

Personally, I find nothing creepier and weirder than the relationship the UK has with its own military actions. In the US, we may not always like or approve of our military engagements or decisions, but we're certainly aware of their prevalence and significance. Having a visible military culture makes it rather difficult to forget that - both the good and the bad.

The UK outsources much of its defense interests to NATO (read: the US), and of the rest, does a bang-up job of keeping them out of the public eye. Not in secret, mind you - just quietly enough that Brits forget about their own country's responsibility in ongoing armed conflicts to this day, let alone historical ones.
At first glance, I read this as 'uninformed men': taking it as a reference to the classic stereotyping of 'real men' being all blue-collar style male machismo, brutish willful ignorance, and general lack of intellect and culture (the latter being seen as feminine and weak). I'm a bit disappointed that's not what the article is about:)
Might be the "have one to sell?" link on each page.
Show HN: PJON v9.0 is out
Why is this post even here? Isn't hn about technology? How is the news of a murder even remotely tech related? Quality of posts on hn is falling these days.
Yep, it's the reason why buying any Apple accessory can be a mine field.
My project introduction book contains a description of the future programming language, you can see.
https://github.com/ShionAt/Keys
twitter: @ShionKeys
Why isn’t that a good measure of technical leadership?
will check it out!
Our shop evaluated PVS-Studio and Coverity. We really liked them. But we didn't buy them because neither company would tell us what the cost was. So we use PC-Lint (old $239 copy with updates) and Cpp-check (free).
AND on Apple property, too!
Microsoft Research is also behind Dafny and Lean and a whole bunch of more specialized tools: https://rise4fun.com/

They are very wisely not claiming that any of these is the verified programming language to rule them all. There is still a lot to learn.
You don't need access to Google and Facebook to access information, there is an entire giant network out there for sharing information beyond Google and Facebook; there is zero valid reason to regulate these companies.
Awesome work. Skulpt says it currently handles Python 2, and not the full 2.7. How long until that is fixed?
Apple trailing Amazon and Google as America's favorite tech company
Problem: We (Software Developers) Attack the Work and Energy of Others
There's another issue where middlemen like Amazon are mixing counterfeit product into the flow of real products.

This discussion came up during the 2017 Solar Eclipse where Amazon was selling counterfeit viewing glasses and then recalling legitimate product from real vendors in the confusion:

https://news.ycombinator.com/item?id=15008338
You think Jobs would've been cool with this? What are you smoking?