skysight-inc/HackerNews huggingface dataset:
pretty much every mass murder in states is worse than the previous.

how many are people needed to be killed at once to stop this madness with gun ownership?

(edited formatting)
Wonder how many people will use this as an opportunity to either create a linkedin profile or to delete the one they already have. Change-of-control risks on a deal like this are substantial.

This is also an excellent reminder that you never know where the profiles you create will end up.
I'm genuinely curious as to what makes LinkedIn worth that much. On the surface it just looks like Microsoft is trying to commit suicide.

As as aside, how many startups in Silicon Valley are rushing to up their spam game in the wake of this? :)
> I’ve explored many techniques to help with distributed systems design,

> including formal specification, model checking, formal and informal

> proofs, simulation, and visualization. I’ve found all of these things

> valuable to learn about, and I think some of them are entirely practical

> to use. However, standard practice in industry is to use none of them.

This is what surprised me most when I started learning about formal specifications. I had been developing distributed systems for years armed with nothing but algorithms, papers, and my own sloppy thinking. I had worked alongside some very smart, senior people who never brought out any kind of formal specification.

It wasn't until I met a researcher developing his own specification method that I heard about such tools.

And I'm super-glad I jumped in.

I'm happy to see more tools entering the space. My feeling is that they are becoming sophisticated enough that we will be able to see people adopting them in the wider industry, even in open-source software. I believe they should be the state of the art. I also think that any distributed system should be published with a formal specification, if not proof, before being accepted into wider adoption by industry.

update formatting
Genuine question... what do MS stand to gain from this?
Show HN: A default .htaccess that improves every site
Prediction:
LinkedIn will integrate with office 365, and you will be forced into a LinkedIn for Business account when you use Office 365. You can choose to make your information public, private or a combination of both (hopefully).

This will be marketed as a single place to keep up-to-date resumes, towards both job seekers and corporate HR people who want better insight into their own workforce.
* You haven't changed jobs in 3 years, sending out 40 applications for you. You are welcome. - Same team that did Windows 10 autoupdate
Thanks. A lot of the important questions not addressed in the slides are answered starting at https://youtu.be/6eIoYMB_0Xc?t=3041.
The only explanation I can come up with is an aquihire of dark ui-pattern experts from LinkdIn to better trick users into installing Windows 10.
Pretty sure so.cl was a demo for some kind of MS tech, rather than an actual destination site.
But most companies main objectives are the opposite. They invest X$ upfront so they can save $y/yr.

Here's an example with an HVAC system but it's basically the same analysis.

http://www.csemag.com/single-article/economic-analysis-in-in...
I'm surprised by the amount of negativity about the deal here on HN. It seems like an excellent match. I could see LinkedIn as an asset for Microsoft anywhere in the realms of work collaboration and HR. No other social network besides LinkedIn comes close to complimenting MicroSoft's wheelhouse of enterprise utility.
Being spammy -and- having its user database liberated at frequent intervals.
It seems that Party was a popular target back in the day ;) I was too ashamed to put code on github.
I think it being the butt of jokes could be isolated to the tech crowd. You're not going to find much value and definitely be more critical of it if you aren't hurting for employment opportunities.
Satya's steps in the last two years have been very well thought out, so I don't think it happened like this. They seem to be betting on cloud first and foremost, and on businesses (vs. personal computing) after that. LinkedIn is really in the same set of products as O365 (in my head, at least).
New headline... "Bloated, behind the times corporate buys bloated, barely functioning social network."
Twitter is the cheapest of the big networks. LinkedIn is entrenched in its market, unlike most of the others (including Instagram, Snapchat, etc.) Twitter I think would be a good buy somewhere, but Jack and his team seem inept and they probably want a massive premium.

When I first heard the news it made no sense; but after pondering, I think I know what they are trying to do, and it does makes sense. Also, LinkedIn was relatively cheap compared to its counterparts, I've already seen some shareholders raising some ire because they were trading a LOT higher not long ago.

Microsoft doesn't have a good track record with big acquisitions, but this is Satya's first and we have seen other deals turned down by him for being too rich. Salesforce being the prime example.

They paid with all cash (which was yielding nothing,) so now they get the benefit of a company that has pretty good revenues, is really close to profit, and they get a massive tax write off. It also integrates well with their core businesses and like I said, it's fairly cheap.

Let's not forget Satya has had some smart aquisitions lately. Minecraft & Xamarin. So, maybe it's worth having confidence in this one.
U.K. Commons Passes Controversial ‘Snooper’s Charter’ Bill
Like the forced Win10 updates, spyware, ads directly in the OS which you paid for, ...?
There isn't evidence in either of those articles that Thiel influenced the nature of the claims to prevent insurance from triggering. Just speculation around that.

Be careful, you probably shouldn't just make shit up about someone and then pretend it is true.
I think their ability to write-off most of the $26b in a couple years must be a defining feature of the whole transaction. I.e. "Oh well, at least the Fed is paying for half of it!"
Well this is a content free comment... nice snark, though.

Edit: My apologies. Judging by the discussion here, I guess we expect high quality comments here at Redd... uhh Hacker News unless it's about Microsoft. My bad. Guess I didn't read that fine print...
In addition to what others have said (what does it get Microsoft, etc.), how would this even be allowed? It would mean most recruiters going through Microsoft to get to candidates. I can just imagine how well that would go over at other tech companies: how can they be sure Microsoft isn’t getting “first crack” at people, etc. and does Microsoft then know which companies are about to lose employees?
I am actually surprised there are no anti-trust kind of law that are kicking in. I guess this is just a case no one thought that would be an issue at some point (or is it really?).
As a prior equities trader, these were our year-makers if it happened during trading hours.
Worked well for Google +...
Something something Hamilton!
Well, regular users don't mind the spam as much and might not even know or realize the true impact of those account leaks.

Plus Microsoft is quite likely to take care of both problems. At least on the security front, since 2005 or so, I haven't heard of any leaks on their part.
Huh. I find it much easier to be verbose. I've sometimes shared a laugh with colleagues when explaining,
"Sorry, I didn't have time to write a short message".

Condensing / distilling something complex into its most-concise essence is a valuable skill most of us would do well to acquire.

"Brevity is the soul of wit."
In my circles (software dev in europe) everyone is on LinkedIn and a LOT of recruiting goes through it. I don't like it at all, but it is the status quo for recruiting in many countries.
Animal drawing with circles
You not liking it doesn't make it a poor business strategy.
Microsoft Just Bought LinkedIn for $26B
Buying Canonical would be very unwise. I'm pretty sure user rates would drop like hell on the day of the announcement. I know I would change my distro.
That's why I added the last half-sentence.
Rage was gorgeous. The game was terrible, but it was incredibly pretty, mostly because of megatextures. Some pundit (TotalBiscuit?) referred to it looking like a moving painting, and in places it really was that breathtaking.

Again, the game was unfortunately a few fun sections interspersed with really un fun things, but that has nothing to do with the tech.

(FWIW I ran it on AMD and it had major problems, and then a year or so later it was perfect. AFAICT they patched most of the issues away on PC)
I had been thinking recently about deleting my LinkedIn account. The question has just been settled.
This can only be my impression, however, given the amount of "LinkedIn trainers" people and given the amount of people that are willing to pay a LinkedIn trainer to enhance their profiles, I would not be that sure that there's nothing indispensable in LinkedIn.
For something like a Cisco certification, Cisco might provide assistance.

Good luck.
Unsure if you're being serious... don't need to look much further than Windows 10 auto update to see how much Microsoft care...
Just because one team on Windows 10 made a huge mistake doesn't mean the entirety of Microsoft is full of people looking to fill the world with dark patterns. They employ about 50,000 engineers last time I checked...
Although uber's doing it with cars so if you had some kind of marketplace.

If ebay or amazon had some kind of centralized manufacturing facility with tele-presence robots you might see a model like that. Probably wouldn't benefit US workers.
Pull Request: “I'd like to pull this repo”
Thank you, I will have a look at their site and see what they have available.
If clippy makes a return, I for one back this move.
I feel that over-focus on the interplay undermines core product. Power Point, RDP, Office. Outlook has significantly dropped in usability with introduction of 365. Overforced Win10 with Metro sandboxing undermines usability in many regards, dur to inability to link an action directly, but rather having to open a classic window. Microsoft forgets just how many their core products are used just because of RDP
I agree, plus Slideshare can be a massive boost to Powerpoint.
Twilio S-1 Amendment
Right, but 26 Billion! Something doesn't add up.
Skype is one of the more regrettable acquisitions. Linux support has been deplorable ever since.
I used to do a lot of this in real life. Not to say these aren't bots, but I seem to have discovered unconventional strategies in Chess and Poker due to never having had formal training - and I want to describe the rationale. They would work as effectively in real life as these bots did online:

When I had, say, suited connectors, I'd often reraise preflop (in late position). Why? So people would put me on a high hand. Since I was in late position, they'd be afraid to bet the flop, letting me see more cards cheaper than if I had not reraised preflop (the preflop betting usually isn't super large). By the time the turn arrives, I'd know if I had a pretty good chance to make a flush or straight on the river (or may have already done so).

Meanwhile, they still had me on high cards from the preflop raise so I represented it as such. If high cards came out on the flop and everyone was timid I could steal the pot by making a large bet bluffing that I had made a set with high cards and slowplayed the flop (that's how "confident" I was of my hand on the flop). If a high card came out on the turn I could also steal the pot by the even more believable story of preflop reraise followed by checking the flop and then "hitting" the right high cards on the turn.

But the biggest payoff would be when low cards came out and I would check, checkraise. Since I was late position, and representing high cards that didn't hit, I had people betting medium amounts on the flop to push me out. Often I'd be one card away from a flush or straight and just call them, "as if" waiting for a high card. If the turn completed my draw then I was all set for a call on the turn followed by a checkraise on the river.

In early position, I would definitely avoid raising with suited connectors because I wanted the maximum number of people in the hand, many with high cards, to suck out a large pot. Calling passively and checkraising the river. This last strategy netted me the most money. Also made people think I'm a lucky fish for giving them such a "bad beat"... but it was all in the stats involved in having a lot of people in the hand.
Why It's Important to Remain Single in Your Relationship
I've always thought that music recommendation systems should look at the actual music, and not as much at the surrounding meta-data.

What kind of instruments are used?
What key is it in?
What structure is the song in? i.e does it have a standard format, is it prog, is it a symphony etc
What language is it in?
What Rhythms are used?

That information, used properly, should be able to actually recommend music that the listener enjoys, not just guesswork that is usually rubbish. The Spotify algorithm for example...
Symantec acquires Blue Coat for $4.65B
By that standard, Ballmer doubling down on the shitty enterprise software that still makes gobs of money was a good strategy.
They also updated Sharepoint to support Yammer integration and made it part of the default Office365 offering.
PyDev of the Week: Georg Brandl
It looks like you're writing a resume! Would you like to set your LinkedIn status to "Looking for work?"
Android+Arsenal+-+Android+Networking
I'm curious - what do people use now to find jobs? I'm still relying pretty heavily on LinkedIn for recruiters to contact me.
I recently upgraded from a 1.5MB L2 cached athlon 2 to a 6MB L3 core i5, and surprisingly, game loadings are still as slow. I guess that copying assets files onto RAM doesn't result in a speed up ?

So if I understand the problem right, it's because copying data to the GPU is made through the PCI express bus, and done "piece by piece", instead of larger batches ? A little like grouping draw calls ? That's funny how that problem can be seen everywhere in hardware, where multiplying queries will make latencies snowball.
It seems like a good fit. I getting these .NET developer recruiters with their "perfect match messages" even though I don't have .NET in my skillset...
Man, if you think Microsoft are behind the times then you've not been keeping up with them. In the software development world Microsoft are about as with the teams as a company of their size could reasonably be.
But large numbers of people not liking it does make it a poor business strategy - not immediately, but it's the sort of thing people will remember.
Microsoft to buy LinkedIn for $26.2B
iOS is the same, I see "update to 9.something" everyday! Same goes for iTunes when you plug in your phone.
Are the guys in the picture at the top photoshopped on another pic?
The idea that stock exchanges provide disincentives for long term strategic planning at public companies is not just an economic problem, but a political problem.

As an entrepreneur, I'm proud of Reese for trying to tackle a big political problem with a startup, rather than through the political process. I can't help but think a lot of big problems that interested parties try to solve with lobbying, campaigning, and legislation could instead be solved with a market-based solution that doesn't necessitate government coercion.
Revenue isn't really relevant when you're losing money as fast as Linkedin. They have no real competitors, and they still aren't able to turn a profit.

Even $3 billion is to much.
Yahoo were borderline negligent with that purchase. I suspect the shareholders and board at Microsoft have a much better idea of what they're planning to do to monetise Linked In.
This is the first comment I read when seeing this and I agree with you, which makes me have an awesome feature to add. (I went back to see if it exists but the site isn't loading now) Sign up, select which companies you want to be notified of when they start hiring, and email you.
Absolutely right, and it absolutely is immensely valuable. It's perfectly possible to do the same thing in a higher-level language though - if you only expose with-file then you have the same safety guarantees as RAII. If you only expose composable commands and a way to execute them (i.e. a free monad approach - doobie is a good example) then you can get even better guarantees than are practical with RAII (there's no way to do the equivalent of "&myFile").
I take it you don't work in enterprise ? It's terribly popular and I would imagine if you're over 40 then you may well be spending more time on it than Facebook, Twitter, Instagram and Snapchat combined.

Given Microsoft is trying to double down on the corporate space it is a pretty smart buy. Being about to push Azure/Office 365 through it could be invaluable.
I don't mind the downvotes, please explain first how parent's 8 examples are different, and how people being trained in enemy military camps and coming back doesn't raise the POW legislation.
Direct link to the jsdom repository: https://github.com/andrei-cacio/jsdom-tdd
I connect with colleagues, even my manager when I was at my previous job, even though I found my current role on there.
But, think about it from the current plays - they have the work connections (organic "company graph"), the user's skills, your current job details (think about both of those as being an HR play), a learning platform (Lynda, but think of that as internal training/cloud qualifications), industry/enterprise trend information (can dive into the data of all of the roles and build products based on predicting market requirements). Slap on Pulse and SlideShare as publishing and an established (and probably growing) revenue hose from Recruiter and it makes some sense.
The unknown wireless network going to Wall Street
Gangnam style became a hit because of the silly dance, not because of the music.
That would attract truly unprecedented levels of hostility and a declaration of war by segments of the Linux community.
In several jobs all using Agile, with experienced Scrum masters and lots of training, I've never heard of or witnessed a stand-up actually lasting the allotted 5 minutes (they always run way over and never contain info that I actually need to be present to hear about) -- not even when it was a team of just four people. It's simply unrealistically averse to human nature.
Large numbers of people in the tech community. Most people aren't us.
Show HN: User Testing V/s Usability Testing
Speaking of Yammer, Knowledge Architecture has made their own platform on top of Yammer for an internal social network for companies.
Ouch, I knew it took a big hit after dismal earnings and guidance last time (or two) but thought it had recovered a bit. Congrats on breaking even then I guess to anyone holding since Feb.
What does this mean for the startup/VC market in the shirt term?

Confidence trending upwards again?
After living in remote parts of North America for 10 years, I recently visited my home country of Australia.

In the middle of a town of 30,000 people, near Melbourne, the stars were jaw-droppingly good. So much so I setup my DSLR and took a bunch of photos.
If the main article is the submarine, this follow up article is the torpedo. Wow, talk about a hand shake deal and free advertising from a reporter - slimy: http://www.nytimes.com/2016/06/13/technology/a-computer-secu...
> Python is not very good as an embedded language (globals and locks).

Rather than embedding Python in the C++, write the top-level loop in Python and call into the C++ from there.
Ask HN: Why LinkedIN's UI looks like its still 2010?
Not convinced.

Think neurons, and then think of the Four Color Theorem[0].

How are you going to feed the center cells all while trying to get a feedback loop?

https://en.wikipedia.org/wiki/Four_color_theorem
The fact is, Microsoft needed a content ecosystem. Buying LinkedIn gives it a lot of content AND a huge stake in the recruitment game which is a huge and growing market. The deal makes sense.
"Bill Gates is awaiting your reply."
Imagine you're one of the biggest companies in the world.

On from that imagine you could afford to buy one of the most comprehensive CRMs in the world and all the lovely data it holds. In addition to the fringe benefits, if Microsoft use this purchase intelligently they'll reap serious rewards from it.

(I fucking hate Linked In, but I think it's a legit purchase for Microsoft)
Also just B2B sales in general. Anything that makes getting in touch with decision makers easier is basically a money faucet.
Totally aside and ranty: facebook has started (recently?) greeting/forcing outsiders with a login dialog that covers the whole page. You can click "not now", but that just permanently lowers the login dialog box to about the bottom 1/3 of the page.

If you want to publicly make your content available in a free and seamless way stop using facebook. Please.
I think he meant Bing gives poor search results, which is why they bought LinkedIn instead.
I've lived on the US East Coast my whole life. I like to camp, so I thought I had seen the Milky Way before. Then, I took a canoeing trip in northern Minnesota and camped a night on an island in the middle of a lake. It was a crystal clear night and there was zero light pollution. Gorgeous! Here I was a decently well educated adult and I had no idea the sky could look like that.
They periodically post job positions for companies in YCombinator but that's about it.
What your describing happened in the used car market c4c caused a panic that put the price floor of the bottom of the used car market in a place it couldn't have naturally got itself to. This put upward pressure on the entire market. It became much more profitable to have a bunch of higher end used (CPO, certified pre owned) cars lying around to sell. To churn those out better leases became more available. At the same time it became harder to write a housing loan that would obviously flop. Banks started writing more bad new car loans. The incentive to do so being that if it defaults soon enough the car will get repo'd, auctioned and bought by a dealer to be sold as certified pre owned and the loan is in the black at the end of it all. Go look at the average prices for various new/used vehicle categories and you'll see an upward trend everywhere.

Allowing any part of the market to go upward in price puts upward pressure on the rest of the market because there's now more competition for whatever hasn't become out of reach.

Housing, transportation, education and a few others are necessities that pretty much everyone needs the same amount of. Until you saturate the entire market in an area with high end stuff to the point where the price of the high end stuff decreases dramatically the price of low end stuff will rise. It's really hard to saturate the housing market with expensive and new because no developer will build more nice expensive stuff when there's a larger profit margin building cheaper low end stuff that's been driven up in price by all the high end stuff.
I get my youngest up at 6:30 while the rest of the house is asleep. We watch some cartoons for 15 minutes then she helps make my coffee (Nespresso; purple, her choice). We watch a few more minutes of cartoons. I take her up to Mom, get changed and ready. Then, it's making my eldest daughter's lunch and out the door to catch the bus to work at 7:10.
I don't think it was a "mistake" by an isolated team. I don't think the Windows team would change that fundamentally Microsoft's core product without the management's OK.
I didn't even catch it. That's how much googling has become a part of the language. It's been Kleenexed.
LinkedIn is basically Facebook for white collar people.

It has a news feed, friends, events etc. But also has a jobs section. Given how ubiquitous it is every recruiter and sales guy is on there trying to push stuff.
Call for WPA3 – what's wrong with WPA2 security and how to fix it
Is Jeff Weiner photoshopped onto the pic?