skysight-inc/HackerNews huggingface dataset:
> then it's good practice to spend a bit of time getting the representation of the data right before trying to operate on it - that's usually more efficient than starting operating on it now and then changing the representation later.

I don't really understand this. The tools work better on C code right now, because some/most of them just don't support Rust at all. It's not a theoretical problem, but a real problem: C has better verification tools than Rust at this time; running many of them is far less costly than a rewrite; ergo -- we should run those tools before we rewrite to guide us as to what, if anything, is worth rewriting.

> I think we're never going to be able to (affordably) prove (general) C code correct.

We are likely to never be able to affordably prove code in any language correct. The math is stacked strongly against us. The verification community works to make some specific properties of some kinds of programs affordable to verify; that's pretty much the best we hope for (and I think that's plenty).

> Yes. I think translation should be the first resort, because it obviates all the other approaches... and because better code makes subsequent analysis easier.

And what if it costs 10-100x as much? Because that is very likely to be the case. But we won't know until we run the tools...
Not total newbie, I've played with System Verilog and Chisel. Done some fiddling in simulators. But never synthesized to FPGA, though I have a board here I'll find the time to play with someday. I'm a software guy dabbling in hardware.
Microsoft to acquire LinkedIn for $26.2B
Holy fuck that is a lot of money. How on earth is LinkedIn worth anywhere near that?!
Another nokia.....
Here's looking forward to my Hotmail account email address being accidentally 'shared' with LinkedIn and the never-ending LinkedIn spam returning.
I hope this will usher in an era of less unethical behaviour from the company under new leadership. Congratulations to shareholders.

Anyone know why they'd negotiate an all cash settlement?
I hope they do a rewrite/redesign of the frontend.
It'll be interesting to see how they integrate LinkedIn with Yammer (if they do at all). Particularly with the launch of Facebook at Work recently too.
What is Microsoft hoping to gain from this?
What if the GPU had its own private SSD with textures installed to it when you install the game? A 100GB SSD is about 20% of the price of a high end video card.
Titles are 80 characters, I believe.
If I could start a service, and trust a skip to indicate "no, you got it wrong, try something closer to the last track I didn't skip", it could often narrow in fairly quickly. Perhaps offer a few more alternatives for skipping that'd indicate reason. E.g. "want something more up-tempo/downtempo/more cheerful/sadder".
Oh, I can just imagine how the process went at MS:

* Exec A: Social things are Good (coming to the conclusion about 10 years too late)

* Exec B: Shall we create our own Google+?

* Exec C: No, that didn't turn out that well for Google. Let's buy something existing.

* Exec B: Ok, I've Googled a list of top 10 social networking sites for sale, and ordered them by list price, but really we'll need to come up with a strategy first to make a good choice...

* Exec A: Booooring. Let's just buy the cheapest one and be done with it. What's the worst which could happen? Gimme a bonus.

To be honest, they're probably buying the users, not the product.
Why would Microsoft release a major M&A announcement at 8:35 AM EST / 5:35 AM PST? It's not even the professional workday yet!
PIF Reid Hoffman (Paid in FULL) ;-)
Does anyone have a reference to even some wild speculation as to what Microsoft gets out of for their own business? Or is this just somewhere to park some cash? I am honestly confused.
This looks pretty useful.
Accounting is actually very different today than it was ten years ago. The rise of spreadsheets has made things possible that wouldn't have been when manual calculation was necessary. What is unfortunate are that estimates are required in many cases, but it is just the way it is. For example, how can you know for certain what the present value of the cost of decommissioning a nuclear power plant in fifty years? These estimates are already included in the notes of the financial statements, which in many ways are more important than the actual financial statements.

But as to your Coca-Cola example, internally generated brands are not included on the balance sheet as assets. "Coca-Cola" isn't considered an asset to the company because of how difficult it is to value it.
One word: Clippy
Took the words out of my mouth.
Do many people use Yammer? The company that I'm with tried it a few years back and it just wasn't useful for us. I wonder if they will end up merging Yammer, or at least some Yammer features, into LinkedIn at some point.
Loads fine and is completely readable on Firefox + NoScript.
This is huge for the technology ecosystem.

More and more, we're seeing the consolidation of ever growing organizations and slow death of smaller companies.
Congrats to anyone who was holding LinkedIn stock. Microsoft's bid of $196 per share has LNKD up $63 bucks a share or 48% in premarket.

Edit: Also a cautionary tale for anyone shorting a stock that fundamentally sucks but could be a buyout target. Use options instead!
PCFGs are about the first thing that I learned about in my Stastical Machine Translation course. It's like a regular context-free grammar (see Wikipedia if you're not familiar with these), but each production is assigned a probability, such that all productions from the same non-terminal sum up to probability 1. Then you can assign a probability to a parse tree by multiplying the probabilities of all productions that were used (the model assumes that all productions are mutually statistically independent).

After a proper training run, you have your ambiguous grammar which, given an input sentence, will produce a set of parse trees, and assign a probability to each of them. You will typically choose the most probable one.

The Wikipedia article on PCFG is surprisingly biased on RNA/protein analysis and does not go into much detail on how to train these PCFGs. But it's basically just an EM algorithm using inside-outside weights. See for example https://link.springer.com/chapter/10.1007/978-3-540-78291-9_...
Is Microsoft becoming the official "bad bank" for tech investments?
At least Microsoft will be able to tout the inability to delete a LinkedIn profile as a feature and not a bug.
Well, there goes that neighbourhood.
The internet is becomming more and more like real world businesses.

We're going to be left with four or so big companies. Facebook, Google, Microsoft.

Yahoo Twitter e.t.c will be swallowed up next.
ALL CASH. Holy fuck.
I would like to second this thought! Even with ad money HOW?!?@?#? But on the other hand this does feel right, Linkedin does feel like the Microsoft of Social Networking.
196/share is roughly what LNKD was trading at before their very bad earnings report in February. FWIW.
I think the parent is saying less that you don't need valgrind, more that you get it for free. I can take a program I'm writing in Rust and run it through valgrind, or other debugging / profiling tools written and designed for c / c++ because the rust binary ends up with the same debugging symbols that a gcc compiled binary could have
More like:

* Exec B: Ok, I've *Binged a list of top 10 social networking sites for sale, and ordered them by price, but really we'll need to come up with a strategy first to make a good choice...
You could probably architect your app in a way where you can swap out wit for something else later on, if the need be, without breaking the clients
Unlike Snapchat or Instagram, which could very likely turn into MySpace 2.0 or 3.0, Linkedin is actually very entrenched in its market.
> Ok, I've Googled a list of top 10 social networking sites

Well played!
Well they did do $3 billion in revenue last year. http://finance.yahoo.com/q/is?s=LNKD+Income+Statement&annual
9 Alternatives to IDA Pro Disassembler
No need to copy data from CPU to GPU and back
I'm assuming you know of the search box at the bottom of every HN page - what more do you think is being used? Why do you think something more is needed?

As an aside, I went to look at some of your old posts and got this:

Secure Connection Failed

The connection to the server was reset
while the page was loading.

The page you are trying to view cannot
be shown because the authenticity of
the received data could not be verified.
Please contact the web site owners to
inform them of this problem.
Somewhat more info in the press release:

http://news.microsoft.com/2016/06/13/microsoft-to-acquire-li...
Add that one to the list: https://en.wikipedia.org/wiki/List_of_mergers_and_acquisitio...

Looking trough the list this is probably the biggest acquisition for Microsoft (in monetary value). All-cash transaction nonetheless.
For reference, IPO in May 2011 was for $45/share, and they closed at $94.25 on the first day for a total market cap of $9bn, according to this [1] source.

[1] http://money.cnn.com/2011/05/19/technology/linkedin_IPO/
The missing "ff", "fi", etc. are almost certainly badly processed ligatures - they seem to crop up throughout the text. Pretty frustrating to read!
Yeah I hear you on the "short term thinking" mindset of management

I think there is something intangibly great about making something that is built to last, and that some people don't recognize the value of such a thing

Best of luck finding an environment that suits you. You will!
Blogging Tips from Adam Connell: How to Blog as a Brand
From Scala to .Net?
Coming from a company that uses Yammer if it does get Yammer I am totally out and I mean it this time linkedin!
Fallout 4 and Doom would probably be OK.
If it was Doom 3 I would need diapers, I've tried Alien Isolation on my HTC Vive using VorpX and an FOV hack and I suffered from for lack of a better term "mini PTSD" for 2-3 days after....
The market opens at 9 and traders are usually up earlier to get ready for the high opening volume..
It's essentially unchanged since they bought it. I think all they really did was put Yammer notifications in Outlook. I wouldn't be surprised if LinkedIn turns out the same way.

They had to write off the Nokia deal (over 7 billion I believe), this might be the next one of those.
Ask HN: Co-founder? Seeking co-founder?
Please lead with either CO-FOUNDER or SEEKING CO-FOUNDER, your location, skills and high level pitch.
More connections to enterprise, potential for some cloud HR play, a ready-established pseudo social network to compete with Facebook for Work (maybe as part of a Yammer, Office365, Skype for Business play), st-tonne of user data, SlideShare...
I'm not so hopeful. Given that Microsoft pulled out every dark pattern in the book for Windows 10, I can only think things will get worse.
I'm not sure any comparison would ever really be fair simply because SF is much more hospitable in the winter as compared to Toronto. That has an effect on homeless populations as well. Compare Vancouver and Toronto and you'll see a similar difference.
They "may be"? As far as I heard, Google is pretty clear about using spoken language input for their voice recognition API for precisely this purpose.
Ask HN: I don't enjoy being a CTO.  Now what?
I recently joined a startup as their CTO and I'm hating it. They've been around a few years and have product market fit and now need technical leadership to grow the team and product.

It's my first senior management position, having been heavily code focused the last 12 years, with some small management as a senior/lead.

For my entire career I feel as though I've been working towards being the CTO and now I'm here I find it's not at all what I expected. It seems to be mostly about dealing with everyone's crap, trying to fight fires and constantly battling with the other managers and tech team to get things done. I haven't even written a line of code in months.

Over the past few years I've had a few gaps in my career where I have started my own business and been fully in charge of things. Those times were amazing although I never reached any level of sustainability. I thought perhaps being CTO in a startup would give me some of that same ownership, control and enjoyment but it just feels like another job. I actually feel a bit depressed by the whole thing which is a new sensation for me and my personality.

Am I expecting too much? Is it simply another job? What can I do to fix this or should I leave and get back to a coding job?

I'd love to hear from people with similar experiences!

PS. Sorry for the throwaway account but my main account has too much personal info for this topic!
Because trading opens at 9:30.

They probably finished the deal over the weekend.

E: And it could well be the case that they had planned to announce it yesterday but chose not to because of the Orlando shootings.
So people can cash the fk out, baby! (If I could negotiate $26B in cash, I would.)
LinkedIn owns Lynda, but Microsoft (MSDN) partnered with Pluralsight, interesting how that will play out.
The problem with multi-functional, stowaway etc furniture is it tends to fall apart pretty quick with daily use. In couple of years you'll have issues with engaging that table's feet in unfolded position, that neat wardrobe hanger will fall out on you when you open doors and so on. And it's not really a huge choice with this kind of furniture to replace.
As someone else pointed out, their revenue is pretty decent. But their biggest asset is likely key staff as well as, as social networks go, that it has the cleanest/most useful database of users.
Here's hoping Microsoft keeps up it's recent good guy persona, and starts actively identifying and removing dark patterns from LinkedIn.
It is a pity that the only image in the article provides such a limited view of the actual handle.
That valuation should be for more like $3B in profit!
What market is exactly that? I still have no idea what Linkedin is all about.

Edit: Yes, keep downvoting me, asking questions about LinkedIn clearly doesn't add to the discussion. sigh
If I use Skype acquisition as a guide we can expect advertisements all over the site very soon.
Perhaps congrats on the loss and write down if you bought above $196. Looks like LNKD traded north of $200 for a good portion of the last 2 years.
Discussion: https://news.ycombinator.com/item?id=11893153
inside a git repository I would recommend using `git grep`
Recruiting. It's huge.
Technical practicality is probably less of a concern. If you build your business on the availability of cheap (or free) APIs, and then these APIs cease to exist and you are left with very expensive alternatives (or worse, no alternatives at all), your business plan may break down pretty quickly.
"Your career doesn't seem to respond anymore. Do you want to restart it now?"
I'm not sure what Microsoft is getting with LinkedIn for $26bn.

I know it is a little crazy, but I think they would have been better off buying Redhat for $15bn or Canonical (Ubuntu linux) for even cheaper.
I'm still confused.

If someone is shopping for a job on LinkedIn, do they want their employer to know that? Isn't there some risk of trust violation? Why would I want to take my online resume and hand it out around work?

I just don't get the synergy plays here. They all feel like a very expensive moonshot.
Ahh. Then no, I don't feel it's limiting.
Oh wow. This purchase does not make any sense. What benefit does LinkedIn bring to Microsoft?

Wouldn't surprise me another competitor will emerge and replace LinkedIn. It's time anyway with their annoying spamming of late.
CoverGirl LashBlast Length Water Resistant Black
Perhaps LinkedIn will use fewer evil antipatterns now that its ownership has something resembling a reputation to uphold.
" Will continue to operate independently ".

Why do they even say that. Microsoft didn't pay 20billion for a passive investment.

Such a silly thing to say.
Why is this a big deal?

The mobile home and RV industries solved the problem of maximizing available space decades ago. The space spend on propane tanks, water heaters, and other utilities that are no needed at an apartment level can be repurposed having larger hardware in the kitchen and bathroom.

I know it's bad marketing to say "we modify off the shelf manufactured home floor plans to better fit an apartment use case" but that's exactly what micro-apartments are. The same tricks just get applied in a different context.

Living in a trailer isn't noteworthy but living in a 3 dimensional trailer park is? Well at least some writer made a buck off of writing about it.
6 tips to step out of your self limiting beliefs
I think googling was part of the joke
AMA with COO of Stack Exchange (Free to Register)
Show HN: A visualization of problematic language in U.S. police contracts
Their net income is 0.6% of their valuation.
Based on the Yahoo link it looks like they lost money this year and last.
Right on, that's important: 1-2 were terrible actually. 3-4 are up to par.
A huge database which can be utilized for sales. Who to talk to with what profile, which kind of approach is likely to work, and so forth. A great opportunity for some data mining folks!
Between Windows constantly pestering and even trying to trick me to upgrade to Windows 10 and getting LinkedIn requests from people I've only ever met once this is truly a match made in hell.
I thought "Scheiße" was commonly used as an expletive in Germany and wasn't considered at all shocking.
LinkedIn closed public trading on Friday at ~131 per share. This deal represents a $196 per share price - so anyone that purchased on Friday is looking at ~50% ROI.

Is this the best non-Facebook ROI for a social network that's been available to the public markets?
Ah, the armchair critic. I'm by no means a Microsoft fanboy, but things have been much better under Satya Nadella.
They loss money, right?
It seems like LinkedIn is more the butt of jokes now than in its heyday when everyone was advised to get on it. Heyday being 2011-ish? Or is there a large number of C-level type people who went to elite colleges and are SV VCs who use it a lot, who are just out of my social league?
Satya Nadella has made a bold final attempt to stop LinkedIn from spamming him
Wow that's a lot of money.
As others have stated, this is about prepping the debt markets. They have to sell the deal to potential bond investors.
just my own prediction.. msft will attempt to replatform the entire stack onto Azure, making heavy use of their Azure platform services as a way to show how scalable they are (sort of the same play they made with hotmail decades ago).
React Boilerplate Based on Imply/Pivot (TS, ES6)
Dupe of https://news.ycombinator.com/item?id=11893153, could a mod combine?
To get the news out without disrupting the markets - it's fairer to allow people to see news like this while the instrument is not trading.
Summons dang
Great advise, thank you.

In this context - I highly recommend to anyone interested checking out "Becoming a Technical Leader" by Gerald Weinberg.
I guess that even if the DNA breaks down into smaller strands, you can still computationally assemble the DNA back into its original form (just search for overlaps in the sequences, and stick these together).

(Remember that if you have multiple cells, you have lots of strands of the same DNA, all broken in different places.)

But I'm not an expert.
> I hope this will usher in an era of less unethical behaviour from the company under new leadership.

/s ?
Don't forget Amazon
This just isn't true. There's nothing about LinkedIn that makes it any more indispensable than those sites or Monster.com or any other site popular with recruiters in the past.

This is going to go down in history as one of the most overpriced, worst acquisitions of all time. LinkedIn has already become more associated with being spammy than with any positive connotations.
Well you just wrote about it and even offered a different take on the story didn't you?
High traffic due to HN, probably.
[The GPU doesn't have DMA to the disk or RAM it has to go through the CPU to access it which causes quite a delay.]

How come? If it's on the PCI bus it should be able to bus master its way into the system RAM, no?

Or was this capability disabled to prevent bad graphics code from being able to exploit the system or something?
The last gasp. Just like Yahoo with tumblr. When a corporate behemoth has a dream of transformation, they rather just buy that dream than to actually undergo transformation themselves.
Microsoft actually created their own social network: http://www.so.cl/ https://en.wikipedia.org/wiki/So.cl

And Microsoft bought Yammer - an "enterprise social network for businesses".
Letters of marque aren't an alternative to war for non-state enemies (no such alternative is needed; war precedes the concept of the nation-state).

Letters of marque are a means of authorizing private vessels to act as naval auxiliaries (such that they are portrayed by and subject to the laws of war, rather than legally pirates.)
Does this mean clippy is going to start offering me jobs?
They still could. They do have a bit of cash.
I was already very upset with the direction Windows 10 was taking in term of privacy. Now Microsoft wants to be big in social network. I hate to say that but it is really time to ditch Windows.
LinkedIn is Monster+Facebook on steroids.
"The Microsoft of Social Networking"
Love it.
I don't agree that the point is living very close to the heart of the city since there are larger places in Manhattan for less money.

I moved into the ues from bk 2 years ago and pay $1800 for a one bedroom (700sq feet).

Commute, door to door, from midtown is 25 minutes (86/lex -> 42nd) and with the 2nd avenue subway (hopefully) opening in December should reduce that by 5-10 minutes.
I imagine it was more like:

- Microsoft has the money

- LinkedIn is the biggest thing in recruiting (I don't especially like it either, but it is). I wouldn't personally hire someone via recruiters or LinkedIn, but I would hire someone via a recomendation from a contact I maintain on LinkedIn.

- Microsoft makes business tools

- There's a bunch of interesting opportunities for intrgating Dynamics, Yammer, and other MS tools with LinkedIn.

Actually looking forward to MS's UX folk cleaning up LinkedIn.

Edit: Nadella said re: how MS looks at acquisitions (http://www.theverge.com/2016/6/13/11920306/microsoft-ceo-sat...) "Is this asset riding secular usage and technology trends?" - anyone know what that means?
LinkedIn is doing well man.
Why Microsoft did this is another question.
Another account which will be forcibly connected with ms credentials. Opportunity to collect another sensitive information in an effort to create "better UX".
No I'm talking about the user interface and user experience.
Sounds like Microsoft is going the Yahoo route.
"Loading... The website doesn't respond. Do you want to restart?"
Depends what you mean by taking over. Certainly C++ developers are a much smaller proportion of developers now than they were in 1990, and much of the difference is made up by Java. Are those Java developers writing the same style of code with the same interfaces that those C++ developers were doing? No. Are business problems that used to be solved in C++ now solved in Java? Yes, often.

I don't think we'll ever see a mass exodus of C++ developers to other languages - but in truth we never saw one from Pascal, Delphi, VB, Perl or Python either. What we will see is the niche where C++ is appropriate gradually shrinking, the borderlines between what's appropriate for C++ and what's appropriate for Java etc. changing, until one day we notice that there's hardly anyone writing C++ anymore. E.g. 20 years ago people would have said there was no way you could write a game except in C++ (or assembly). 10 years ago people would have said ok, you can write some games but not an FPS. Nowadays people say ok, maybe you can write a high-performance game without writing any C++ yourself but the engine you use will still be written in C++...
They're already doing the Ubuntu on Windows thing with Canonical, no need to buy them yet. Wait at least for the Extend phase.