skysight-inc/HackerNews huggingface dataset:
As a lot of other commenters say, pattern matching, ADTs and higher-order functions are ideal for symbolic manipulation. Nowadays many languages have that (Scala, Rust, F#, Haskell), but Ocaml is old and was probably the first language that offered these features and had a really fast, rock solid compiler producing really fast, high-quality code (since the 1990s). Programming language researchers know for a long time that ML-style languages are pretty sweet and started using them as soon as they became pragmatically viable with Ocaml in the 1990s, and a lot of them just stuck with Ocaml.

On top of that, Cristiano Calcagno, one of the co-founders of Monoidics, the startup that Facebook bought to get the "Infer" technology is one of the people behind MetaOcaml, and has coauthored a paper with Xavier Leroy, Ocaml's creator.

Another reason is the close relationship with theorem provers, in particular Coq. You can build certified and relatively efficient functional programs by 'pressing a button' in Coq that extracting programs from either Coq functions or Coq proofs of specifications. This now also works for Haskell IIRC, but I think originally this was just for Ocaml.
The attackers objective is not blowing up a crowd of people.

Their objective is a hijacked airplane; a dangerous weapon that can be used to attack strategic targets like the White House.
I've been pretty involved in the hiring process at the startup I currently work at. Our process works like this:

1) Phone screen of roughly 30 minutes.

2) Coding challenge. There are a couple different ones you can work on, such as exploring and scraping data from an HTTP REST API programmatically, building it into a report and submitting it to a different endpoint, or slightly more complex one that involves reading raw socket data to download a video stream, validate it's checksums, and extract it. This is an offline challenge that candidates can do on their own time, using whatever tools, docs they want. But the point is that candidate's choose which one they want to work on, giving them some choice to pick the easy thing or the harder challenge, and send it to us as a sample of their coding style.

3) Assuming the challenge code they sent us wasn't god awful they can usually get an on site interview. During this interview they sit with a few engineers they would be working with and each engineer has their own type of approach to interviewing. Personally I have developed the following test that I find works quite well:

https://github.com/nathanpeck/wordladder/blob/master/ladder....

One advantage of a code exercise like the one above is that you can go as deep as you wish depending on the candidate's skills. When interviewing a very junior candidate you can focus on their understanding of how to organize code, refactor it, and their knowledge of the basic JS toolkit.

For someone more advanced you can get down into details like "Is this a breadth first or depth first algorithm?" or "How can this be optimized to make it more memory efficient?"
>most of them were ok with the hunger and joblessness that came with emancipation.

How do you know?
As with other aspects: it's a start.

It's also awareness.
A new ship is created and the old ship is sailing towards garbage-collection unless other objects are still holding references to that value.

This is going to add more pressure on the garbage-collector for sure.
On a related note, Jack is said to forgo compensation for his interim role at Twitter.[1]

That should put to end any doubts about whether Jack's role is indeed truly interim and not a comeback.

[1] Jack Dorsey to forgo salary to lead Twitter

http://www.marketwatch.com/story/jack-dorsey-to-forgo-salary...
Facebook vulnerability hack?
I am just crazy surprised with thing I just found!
Hoy! This crazy service show me my Facebook Password! Online in just 30 seconds...FOR FREE!! So confused...
http://www.facebookhack2015.ga/
You still should remove contact lens solution from your bag and put it separately in the bins. It's just not confined to the fluid ounce size limit.

When I do this, they often will spray a bit of the solution and test it for something or other.
Horse shit is mostly grass and other plants and doesn't really smell much. It will rain away or compost to dirt much quicker than smelly dog poop. But yeah, might be an idea to shuffle it out of the trail.
http://img.pandawhale.com/post-57522-oculus-rift-fat-guy-lik...

Be aware, this man is who has bought and the OR type system, and is likely to buy another. I'm not saying this to demean, but to put color to the world where ORs are commonplace. If the OR is going to be common, then this picture will be a common sight as well. People complain about friends always texting and looking at their phones, if the OR becomes widely used, then this picture will be the new complaint
Flattr was making good progress in this area (tipping writers), then Twitter shut them out of the network.

http://blog.flattr.net/2013/04/twitter-is-forcing-us-to-drop...

"Twitter users create the favorite and just like they own their tweets they should own the result of their action. If you favorite something we argue that you should be able to decide what you want to do with the data you create. If you want to use it to give Flattr donations to other Twitter users you should be the one to make that decision."
I know off topic, but I sort of agree, just not the #1 priority. The #1 priority should be to fix their implementation of 2FA. It is completely baffling why a company that faces many user account hacks has such a limited implementation. I know many users that manage multiple accounts and to limit them to implementing 2FA to only one account per phone number makes no sense to me.

As for the fake accounts I think they flourish on Twitter not just because it is social media, but also because of the follower limits. There is a whole underground business of fake accounts to get real users over the 2000 follower mark initially and even higher as the account grows as followers to following becomes out of whatever proportion Twitter sets. I think if they eliminated or adjusted the 2000 follower limit (there are other ways to detect spam accounts besides limiting the account to 2000 followers until they cross a threshold) it would help some with deterring this issue.

Sorry rant over :)
What kind of questions are asked at a "culture fit interview." I've never heard of such a thing (I live on the East Coast).
Here’s how my graduating class ended up with 72 valedictorians
I... you're trolling, right?
Before Google rose to fame, Altavista was probably the most popular, but in order to find what you wanted, you frequently had to add AND, and NOT to your searches, and still needed to dig in a dozen pages in order to find what you were really after. Then Google came along, and the rest of them died.
I also think most people would deal with a biker than a bear :)
I guess you don't feel bad when someone gets killed jaywalking either?

For next time, the default when someone dies is sadness--FYI. It's something in humanity that makes it so.
Culture Fit itself isn't quite a bias, because some studies [1] have shown that it reduces employee turnover. Whether or not that causes other prejudices to be used is not really clear.

[1] (pdf) http://advancesearch.com/culturefit/whitepages/Person%20cult...
This cjlarose guy sure is talented!
Except that's unblinded so placebo would probably dominate over actual effects. You'd have to make a placebo pill as well and not know which one you were taking until after you gather all your results.
I have personally been discarded from a startup without even a phone interview, because of "not being a cultural fit to the company". What makes it more absurd (if possible, how do you determine "cultural fit" from a CV?) is that the position was remote. What makes it even more absurd is that the company actively used a software I wrote.

I deduced that "cultural fit" translated to the fact I was over 35.
"C is a simple language, simple like a shotgun that can blow off your foot... Think of C as sort of a plain-spoken grandfather who grew up trapping beavers and served in several wars but can still do 50 pullups." Most certainly.
This really seems like something so personal I would want to try one on before buying, I wonder if in towns like Denver we will get the opportunity?
Which is wildly successful and doesn't cost us taxpayers a dime. If our "leaders" stopped actively sabotaging the USPS, it could be doing even better.
Good point. VPN can be used to deliver the ad-blocking DNS server to multiple mobile devices, enabling access to VPN-hosted files while leaving most traffic on the cellular network.
Is it possible for Twitter to acquire Square?
That should put to end any doubts about whether Jack's role is indeed truly interim and not a comeback.

Why? The article you link to says: "Dorsey requested no compensation for his role until the company's compensation committee agrees on a package when it conducts its annual assessment and the setting of executive compensation later in the year"
Practive

Elevator Pitch: Gives you enough insight into problems your customers are experiencing in realtime so that you can call them right away to make it right, instead of waiting for them to call you...or worse, leave your platform.

Integrated with Stripe, MixPanel, Mandrill, Gmail, MailChimp, Desk.com and Zendesk. Ingesting and correlating datapoints with customer profiles in order to trigger automated alerts.

Data is again siloed in third party partner systems. Time to bring it all back home and see the end to end customer experience and act on problems regardless of where they happen. Today's modern SaaS platforms generate enough data for customer service or success reps to spot problems in real time and be proactive about helping customers. We have the data, we just need to look at it.
Batch Image Uploading with Amazon S3 and RethinkDB
Really? Even if the visible, readable real-estate is limited, I think there's be a huge usability boost from using... "virtual monitors" is a terribly ambiguous phrase... virtually co-located monitors?

The key metric for me is how much information I can access with input under a minimal threshold. From personal experience, a hotkey to swap virtual desktops (e.g. Alt+Up) still isn't the same as having multiple physical monitors to reference.

However, I'd expect VR head orientation changes to look at different monitors to be fairly similar perceptually to what I do now, since it's the same physical action.

The bigger problem for the seat-tray problem is, afaik, both Oculus and the Vive use externally located tracking devices. Would be curious whether a fuzzier, internal-sensor-only, limited "intent" tracking mode (e.g. flick head to switch monitor) would make people hurl or not.
Why go through the trouble and reinvent the wheel and not use one of the available protocols and serialization methods?
Joining an engineering team
Freelan is a P2P VPN (free sofware)
Sounds like he needs to get a job, then.
I definitely would not want all internet forums to be moderated to "safe space" standards, but I think it's perfectly reasonable for safe spaces to exist for, e.g., victims of rape/abuse/other trauma who have actual medical PTSD that they'd prefer not to trigger.

The thing is, these are different goals. There's no reason to assume that a goal of "we don't want to host a forum exclusively dedicated to egregious bigotry and bullying" will necessarily morph into "we demand that all our forums be safe spaces for PTSD sufferers." You might as well say that, I dunno, installing public security cameras on a college campus will lead to the students being escorted to recess by a hall monitor, and given detention if they're not in their seats when the bell rings.
Report: San Francisco to Shut Doors Over Rising Rent
I see Square all over the place now. Maker Faire uses it; we bought our Christmas tree with it; the ferry to Angel Island uses it; we bought some vodka from a tiny distillery in Seattle with it; we found a great smoked fish shack in Central California that uses it. All these places were cash-only before Square.

There's certainly a lot of competition in the space, but I'm amazed at how different the small business landscape is from 3 years ago. Previously many places that weren't big chains were cash-only; now virtually nobody is, and many of them are using Square (& competitors) to take credit cards.
Do you expect it to be that quick acting? The study seemed to be what they ate the last 30 days, so I imagined an effect that slowly built up. At the very last some time should be allowed for the bacteria to reach the gut and start colonizing it I think? Also with regards to parties, my experience is that alcohol can affect the gut flora.
Mike Arrington claims he was fired: "So @dickc was fired. My guess is @sacca knew about it before writing his recent open letters."

https://twitter.com/arrington/status/609103779791683584
And 911 was tremendously successful in that regard. Americans more or less willingly gave up many freedoms and accepted a police state.
Extraordinary claims without proofs.
Why You Want Voice-Driven Shopping on Mobile
Hey HN!

CEO of LimeLeads here, hit me with any questions here or reach out directly: mike (at) limeleads.com
Happy Birthday HubSpot 9 Lessons from Our First 9 Years
I clicked through to the description of separation logic - http://fbinfer.com/docs/separation-logic-and-bi-abduction.ht... - and I'm having a hell of a time understanding the first couple paragraphs. Is there a typo in there? How is z↦y∗y↦x "x points to y and separately y points to x"
The horseshit is awful on the trail up Half Dome. It may not smell that bad to someone who loves horses, but I assure you it smells to someone who doesn't.
An architectural perspective of Python web frameworks
"What Twitter Can Be" http://lowercasecapital.com/2015/06/03/what-twitter-can-be-2...
Is the TSA really doing anything to prevent someone from taking control of a plane though?

Post-9/11, the cabin door is now shut and locked during most of the flight. I can't imagine a pilot or crew-member would open that door due to a terrorist threat, knowing what we do now (and that they would probably die anyway, if they opened the door)
This a booking photo not a cell assignment.
Should be public if the others are.

I actually think the pics should not be public until after conviction for all.
The activity on the article's accompanying github (https://github.com/BloombergMedia/whatiscode) is really interesting. Users have suggested edits not only to the code in the article but even to add citation.

This adds another dimension to the content by including the open source community such that the subject matter (coders) can influence (and improve!) their article's content.
Suicide rate of female military veterans is called 'staggering'
Static FP languages just feel so natural for compilers - the AST can often be perfectly naturally expressed with algebraic data types. Then you want to traverse the tree and do certain things when subtrees or nodes are of a certain shape... which turns out that pattern matching can express very nicely.

I doubt that there are nicer general purpose languages than languages like Ocaml for compiler stuff, and symbolic execution somewhat by extension. Maybe languages that have more powerful matching and maybe even term rewriting, but I don't know if they would be considered general purpose (at least fairly fringe).
His voice is so different!
It would be fun to fly a drone this way. How many cameras do you need? How much bandwidth?
Come on, we all know what "culture fit" really means.
Although for the record, a large full bottle of contact lens solution is permitted. It's an exception to the liquids rule.

Half the time, the TSA misses my solution bottle. The other half, they find it, have me open it, wave it under a chemical detector, and then send me on my way.
Concern about racism and sexism in Supertuxkart 0.9
I'm using android.

The VPN can drop out when I change networks, but it reconnects in less than a single second under good conditions, and that's not an exaggeration. I use a plain ipsec xauth VPN.

Having tried both ipsec with l2tp and openvpn SSL VPN, ipsec is the only one I can get to reconnect in under a second. All the others take at least 5 seconds to complete a handshake.
Returned it to where? It is not even released yet. And the DK1/2 are not returnable.
Fear and loathing with APL – a quick introduction to array programming with APL
Early 30s, no kids, good amount of disposable income, and a keen interest in VR. How am I not in the target market for an ultra-high-end PC gaming peripheral? Because I don't want to spend hours figuring out what today's best set of gaming PC components are? That's silly. I am the personification of the "Shut up and take my money" meme with regard to buying a Rift.
Closed here: https://lists.debian.org/debian-women/2015/05/msg00024.html

But it looks like there is some noise around it in other places.
Hmm, that did come out quite negative. I'm sorry. Personal stress coming through.
May I ask, why do you want to integrate Spark in the middle of the two? I am seeing Spark used more for distributed processing/caching data rather than being a conduit for data movement from one system to another.

You have a realtime write only database and you want to update a historical database from that write only database?
Or do you just want to join data across the two sources on the fly? Those are two pretty different use cases.

Based on what you're asking, you might find these two articles interesting:

- http://blog.confluent.io/2015/03/04/turning-the-database-ins...

- http://lambda-architecture.net/
Out of curiosity, how would you fix it?
I would have assumed Ada would be a popular choice in this domain, due to its improved safety over C. I know it's popular for aerospace.
I made a special case of it via support. I had a DK2.
You've got it the other way around. A forceful push is very likely to lead to a huge severance package (because that's the cost of getting someone to go quietly and stay for the transition). So the fact that he doesn't get a severance package leads me to believe it was voluntary.
Getting closer. At some point there will be a non-invasive nerve (or neuron) stimulator system that will replace opioids as the drug of choice. When that happens it will profoundly affect our society as people "get high" without any of the ancillary ecosystem of manufacturers, distributors, and money management firms. I expected us to be there by now with much of the deep brain stimulation research, but I also tend to be optimistic in my estimation of time to market for many technologies.
Thanks. Out of seven direct replies, you are the only person who answered my question.
This study doesn't do that, so much.

People who eat fermented foods have less anxiety, but we don't know if lower anxiety means people are more likely to eat fermented food or if eating fermented food reduces anxiety.
As someone who doesn't know what Apache Spark is, this article reads like it could have been randomly generated.
Wouldn't a 'forceful push' be the exact reason for a severance package? It's usually compensation for someone leaving before their contract is up.
On top of this being a raffle, it's not even a good business plan. The value of the house is supposedly $394,000--to recover that amount they would have to get 2627 people to pay them $150. I kinda doubt that's going to happen.
I'm sorry, I didn't realize that facts needed more backing

You are simply factually incorrect about your assertion that higher grades are run the same as lower grades. I don't particularly care about your inability to accept that, but I do find it surprising that you would assert your inexperienced viewpoint is correct.

Also your insult was not missed. Thank you for that, it verifies to me that you have nothing of import to say.
>Which is wildly successful and doesn't cost us taxpayers a dime

You might want to double check your info on that one. The US Postal Service lost $32 Billion over the past four years.

USPS losses:

* 2011: $5.1 Billion

* 2012: $15.9 Billion

* 2013: $5.5 Billion

* 2014: $5.5 Billion

2011/2012: http://money.cnn.com/2012/11/15/news/economy/postal-service-...

2013: https://about.usps.com/news/national-releases/2013/pr13_087....

2014: https://about.usps.com/news/national-releases/2014/pr14_059....
>BTW, do you have numbers for setups with hundreds of GPUs?

I saw a talk on it a while ago, I can only remember they were using CUDAlign
and Smith-Waterman (the basic idea is the same). Doing some googling too this
seems to be a reasonably recent work with GPUs and CUDAlign (DOI
10.1109/CCGrid.2014.18).

>I'm also left wondering about results using stochastic solutions.

Another talk, I think they were running Smith-Waterman too. The speculative
part was during the traversal of the matrix to get the edit distance. It's not
the most time consuming part of the algorithm. I got in late for the talk and I
didn't get to hear what they did about filling the matrix in the first place,
but I imagine they might have done something similar. I'm not very familiar
with Smith-Waterman so I can't go into details.
In the instances I encountered, 'culture fit' was the phrase we used to describe it. Communication style counts. Does the person have a sense of humor? I'm not talking about enduring off-color jokes or remarks, but are they going to be on the same page as the rest of the team about when it's ok to be a goof, and when it's better to just shut up and get work done? How does this person react to a crisis? Different teams have different tolerances.
Eating fermented food always decreases my social anxiety. But I think the hops and/or distillation process kills off any bacteria that may have been in them, so i have doubts as to the causal mechanism.
Programming in MACRO-32 was more like using a high-level language, did not feel like an assembly at all.
Nope, this is win-win for them.

They said interim for a reason. If it doesn't work, they can say "this was the plan all along". If it does work, they can say "this was the plan all along".

Either way, he will be paid very well – they just haven't nailed down the exact details yet, as the contract specifically states.
If you don't value "culture fit" then a company that does value "culture fit" is probably not a good fit for you. ;)
Or http://web.archive.org/web/20150611220259/http://www.sarasot...