skysight-inc/HackerNews huggingface dataset:
I just saw on the cryptography mailing list that some researchers have succeeded in using both SEM and FIB to see the stealthy dopants:

https://eprint.iacr.org/2014/508

So maybe the dopants have to get even stealthier if they're to avoid expert semiconductor reverse engineers. :-)
It's generic positive spin. Honestly, what would you expect to see?

In other news, the guy who speaks to you on the way out of the superstore probably doesn't care whether you have a nice day or not. Also, when the CEO of that big company steps down, he may not actually be planning to spend more time with his family.
no. Sex workers are losing business instead. myredbook was the place for them to advertise. they built client network mostly through redbook. If there are negative sides for workers, it'd be them being reviewed as a slacker and losing clients.

i think independent workers are in worse situation to bring clients and have to be dependent on pimps
There's likely to be a certain element of race-to-the-courthouse here. If Szabadi is about to move to California, then Google could file a lawsuit in a state court there, seeking a declaratory judgment that under California law his non-compete is unenforceable. A California court likely would rule in Google's favor --- and if that were the first-filed lawsuit, then it might take priority over any later-filed lawsuit Amazon might bring in Seattle. Something akin to that happened in Application Group, Inc. v. Hunter Group, Inc., 61 Cal. App. 4th 881 (1998) [1] [2].

[1] http://scholar.google.com/scholar_case?case=1290227502038697...

[2] http://www.whitecase.com/files/Publication/dcf3d85c-1c1b-4bf...
Prostitution, despite being the oldest profession, seems to not have had a negative impact on the development of western civilization. Western civilization seems to be doing just fine.
Dart is faster because it lacks features that JavaScript has, such as dynamic loading or eval or adding fields to objects/classes, and has some special case hacks for SIMD.

One could easily tweak JavaScript to have the same lack of features and same performance gains (many could be done in asm.js style) so I do not see how Dart is relevant except as a way to not participate in the evolution of JavaScript.

Personally I feel that getting even a 50% boost on a scripting language that's never going to be as fast as C# or Java anyway, by making an additional incompatible VM, is totally foolish. Both VMs will be needed for many years, and this collateral bloat is just not worth the benefit. When you look at performance over JavaScript + asm.js the gains are seen largely where performance does not matter much anyway.
So contrary to the discussion YC companies don't get any preferential treatment on HN?
Haskell is not really dependently typed. You can mimic it a bit, but you owe it to yourself to try reading through something in Coq or Agda (and maybe eventually Idris).
I think you miss the thrust of the original argument. No one, especially not the author of the blog, argued that there was a legal requirement. The point here is that the founders arguably got to their position because people entrusted them with services. To defend the blatant disregard for users is to attack the very thing that enabled the exit in the first place.
I find Hidden Services useful, too.
It's a simple way to experiment without an IP address, etc.

I use it in a container, works great.
https://registry.hub.docker.com/u/hsaito/torbox-hidden/
The research seems to be from here...
http://oxford-biochron.com/

And it's linked to google, facebook, and "others" ...

Since I don't use google, facebook, or "others", I don't think it would work for me.

EDIT: I guess I was looking at the wrong product. However, my guess is the system measures mouse movement within the window or click rate or some variation of these. It said somewhere that an HTML5 browser is necessary, so I imagine the product would not work with a text browser. In any case, it seems dubious. If Bayesian email filters can be fooled, so too can an otherwise untested human noise detector in the "real" world of the cloud...
High level corporate sales is basically buying a suave guy who has a rolodex of people who can make purchasing decisions.

It is a huge problem if that guy can then turn around and use the contacts he gained through Amazon to compete with Amazon. He is basically turning Amazon's network of contacts into his own and then selling that access to a competitor. It is basically the sales/bizdev equivalent of taking Amazon code and handing it over to Google for a price. Amazon shouldn't have to pay money to negate that risk.

Technically, even in California, if he did something like that it would hold under any reasonable non-solicitation agreement I believe. It is the exact reason these agreements exist.

I'm not 100% sure that is what happened but it sounds like it.
Why Computers Won’t Be Replacing You Just Yet
Pascal, and Pascal-derived languages such as Modula and Turbo Pascal, have this:

type Age = 1..199;

A value of type Age can only have the values 1 <= x <= 199, and can't be assigned to non-Age variables. Enums belong to this category of ordinal types.

In Ada:

type Age is Range 1 .. 199;
type Temperature is new Integer Range 32 .. 212;

a: Age; t: Temperature
a := t -- this fails at compile time

Ada 2012 adds the support for specifying Eiffel-style contracts, but on types:

subtype Even is Integer
with Dynamic_Predicate => Even mod 2 = 0;

You can't assign an odd number to a variable of type Even.
Maybe offtopic, but just a quick question about "You can use a wired Xbox controller (recommended)". Why not wireless? I thought they were the same from Windows point of view.
Oh, don't get me wrong: It's fascinating technology, though it seemed to be a bit flawed in my limited experience. I don't have a problem with the tech, I have a problem with them doing it without my knowledge or permission.

For example, on my Windows Phone, it asks me if I want to back up my photos and videos to SkyDrive, and tells me how to turn it on. If I dismiss the notification, it doesn't start uploading anything; it simply waits for me to turn it on.

With Android, the very first picture I take is already uploaded by the time I get the notification, and I have to not only turn off the feature that I never turned on, I have to then go onto my G+ account to delete the picture if I don't want it stored there.

Again, the technology itself (auto backup of all pics/vids) is amazing and a good thing. But turning it on for me, without even asking permission first, is flat out wrong.
The Anti-Dashboard Manifesto
Either tends to be used for error conditions that arise from the outside—after all, you are (a) explicitly denoting them and (b) presumably handling them. Programmer errors tend to arise in invariant violations. Sometimes these are marked with `error "cannot occur"` or silly things like that. Dropping into a debugger here would be tremendous.
you're out of touch with reality.
If you don't want your clients to switch just because one of your employees switches, don't design your systems to be so reliant on the actions of an individual employee, and don't make your offerings so weak compared to the competition that your clients are willing to switch.

Win by providing better products. Anything else shouldn't be encouraged by the legal system.
This reminds me of a kind of intelligence scale ive seen before:

First there are stupid people, and then there are stupid people who know they are stupid, then there are smart people who think they are smart, and finally there are smart people who know they are actually not that smart.

Self awareness is the differentiating factor at every level.

Intelligence comes in many forms; practical, creative, mathematical, logical, social, emotional, etc. As members of society we are more or less forced to specialise and must accept that being really good at something usually means we are terrible at something else. So if you are half as smart as you think you are, you will learn to recognise all the areas where you really are not, which vastly outnumber the ways in which you are.

Which is a bit like saying: "I dont know half of you half as well as I should like; and I like less than half of you half as well as you deserve."

I for one am not that smart, im just a lot less stupid than most ;)
New Weapon in Fight Against 'Superbugs'
Jacking off
Eiffel can promise that it will halt at runtime if a contract is violated. DT languages can promise that no contracts could ever be violated by any possible runtime evaluation pathway.

The latter is much stronger, but weird sounding. What it typically means is that you are required to not cut corners. The type system will detect your failure to handle edge cases and refuse to compile until you either handle or explicitly ignore them.
Communities vs. Networks: to which do you belong?
How to Deal With Other People's Rude Behavior
If you register for a site where the connection is safe, then go to a dangerous place, this method has an advantage over a password even during MITM attack.

The attacker can't imitate you because the site has your public key already.
I think my red book safer. I personally behaved myself more because I didn't want to get robbed, or shamed in public.

Regarding the decline of western civilization, people have always been horny, and some people need to pay for lovin' in order to address their horniness. I'm not convinced that paying for sex is related to moral decay. Morality itself is kind of a tricky subject.
WRT Executives interests not necessarily aligning with their parent - absolutely true. And yeah, I probably should have been less abrasive.

Can you double-check your link? I tried following it but it just links to this thread.
Apparently working at Amazon is damaging to your career.
There are different ethnicities within Africa and Liberia is hardly devoid of ethnic differences that correspond to economic prosperity, like everywhere else.
Ask HN: How can I keep track of academic papers?
If they were an text based webpage I could use instapaper or paper or readability. But when it comes to keeping track of pdfs it becomes an all out mess.

So far the best solution I have found is the kindle cloud software which seems to handle stuff decently well. But it's not the best and could be better.

How do you keep track of your acedemic papers?
As usual in decentralized authentication posts, I'd like to mention Mozilla Persona[1] which is a decentralized third party authentication service over the open source BrowserID protocol.

I don't mean to diminish the author's work in any way; but if you're interested in these things and don't know about Persona, please look into it!

[1]: https://www.mozilla.org/en-US/persona/
yep, have leader mapped to space ;-)
These underage sex slaves were pimped on myredbook:

http://www.huffingtonpost.com/2013/02/21/south-san-francisco...
Have you looked into Zotero? https://www.zotero.org/
> there are no sex slaves, underage girls in myredbook.

That does not appear to be accurate. Here are some news stories from 2009 to this year about arrests and convictions related to underage prostitution -- often with additional elements of slavery -- all linked to myredbook.com

http://www.lasvegassun.com/news/2014/apr/30/california-man-s...

http://www.huffingtonpost.com/2013/02/21/south-san-francisco...

http://sacramento.cbslocal.com/2014/05/26/man-accused-of-pim...

http://southsanfrancisco.patch.com/groups/police-and-fire/p/...

http://www.wired.com/2009/02/pimping
I just don't think there was malice in the mistake. It _is_ misleading, though.
Be careful here. Despite announcing 42 price reductions over the 7 years of AWS existence, the M1 tier was only reduced for the first time in 3 years after Google/Azure dropped their pricing. They push through a huge number of price drops, but sometimes (actually often) their headline drop is one very small, unique charge, leaving everything else unaffected.
San Francisco - SoMA - 1st and Folsom

Bigcommerce opened our first office in SF 4 months ago and have hired 50 people for our product and engineering team. We are an Australian/American company so have a unique work style that you will find very refreshing.

We work to live not live to work.

We still have a number of roles open so if you are interested in any of the following email me on adam@bigcommerce.com

http://www.bigcommerce.com/careers/?filter=san-francisco&tea...

VP, User Experience (UX)

Backend Software Engineer - Core Services

Big-Data (Analytics) Engineer

Data Systems Engineer

Database Architect/Engineer (PostgreSQL)

Database Engineer (Linux, Puppet, MySQL, Postgres, Spark)

Director of Engineering

IT Team Lead

Marketing Campaign Manager

Product Manager

Product Marketing Manager

Program Manager - San Francisco

QA Engineer (PHP, MySQL, Linux)

Quality Engineer

Security Engineer

Senior Data Scientist

Senior Product Manager

Senior Product Manager - Catalog & Inventory Management

Senior Product Manager - Merchant Tools & Control Panel

Senior Product Manager - Mobile Products

Senior Product Manager - Payments, Billing and Tax

Senior Product Manager - Themes Platform

Senior Product Marketing Manager, Apps and Themes

Senior UX/UI Designer

Site Reliability Engineer

Software Engineer (PHP or Ruby)

Technical Product Manager - Platform & API

Technical Recruiter
Currying Explained Simply
There's no function to do "currying", which means writing a function in "the curried form"
I don't think that's what the author meant in that passage. They're not bemoaning error reporting, they're complaining about the fact that you have to run the code to find out if there was a problem, rather than finding out at compile time. Having to track down the source of the runtime error is a minor injury in comparison.
Competition isn't magic fairy dust that makes everything better.

e.g. "Progress comes from monopoly, not competition" — Peter Thiel

That said, lack of non-compete enforcement is often credited as one of the contributing factors to California's excellent startup environment.
The Value of Connections in Turbulent Times: Evidence from the United States
Silly question: how do controls work? I.e. I assume you can't tap the screen with it attached to your face. Maybe lean-to-turn?
so happy for elias and his team. this is a huge win for the queens tech community!
You missed my point. I'm not talking about reading CPU temperature from the program - that is easily represented as you say. I'm talking about the generation of heat from the very act of running the program. I don't think there is any reasonable thing to label that but a "side effect". It's an unavoidable effect of running the program, it is not in any sense why you run the program, it doesn't show up anywhere in the types, the language gives you no guarantees about it, &c, &c.
It'd be more like

decideValidity : (p : A -> Type) -> (a : A) -> Either (p a) (Not (p a))

and for some classes of propositions this is a really useful type, e.g. the notion of decidable equality[0]. For general propositions you're talking about unbounded proof search, however. Undecidable propositions will fail to terminate (thus causing problems in a total language). Decidable propositions may still be exponentially slow to decide. Some classes of propositions may be known to be decidable, but knowing generally whether or not a proposition is undecidable is undecidable (Halting).

[0] https://github.com/agda/agda-stdlib/blob/master/src/Relation...
I like the idea of it, given how expendable servers are.

I'd love to hear any instances where you have SSH'ed in, or what kind of bugs would prompt you to want to.

Maybe because you didn't have some monitoring on a specific aspect of the server, or an application bug where you needed to use strace - something like that?
I see much of the argument here is about "facilitating prostitution," that such facilitation would trump free speech protections, both constitutionally and in other laws. But the opposite is true, as highlighted by the EFF, third parties, who are not involved in the illegal activity have a right to discuss that activity and do not take responsibility for the actions or postings of others. With respect to the Internet, there is a federal law, section 230 of the Communications Decency Act of 1996, which states that Web service providers cannot be "treated as the publisher or speaker of any information provided by another information content provider".
SEEKING WORK - Dublin, Ireland or Remote

Experienced developer managing small teams (up to 10 persons) with experience in C++ (embedded & backend), Python (Django, Flask, numpy, scipy), R, Ruby on Rails, Javascript, Jenkins etc.

I am a Debian Developer and contributed to a bunch of different opensource projects and am interested in networks, linux (see http://unix.stackexchange.com/users/8979/ulrich-dangel ), virtualisation and devops.

With my broad experience from middleware systems to webapplications I can help you get started with a wide variety of projects or provide help and expertise how to scale or help you get your software into Debian.

For more information, CV etc. just send me an email at ulrich@dangel.im
How about: no side effects within the defined semantics of the language.

I doubt that CPU temperatures are part of many language specs.
AnyPerk (YC W12) is hiring a Data Analyst, Designer, and Engineer
Way to win the battle and lose the war! Never hire anyone that goes to work at Amazon at the senior exec level from this point forward because they're clearly clueless.
I suppose you could try one. To be honest, I just don't know how to connect the wireless controller to a PC / Mac.
Can you prove that? Was RedBook, for example, asking for proof of identity and age from those offering their services? How do you know that, say, some of those from overseas were not having to pay back large "fees" to their pimps for being brought into the country?

Say I buy some cocaine from a man on the street. The guy I'm buying it from might be the nicest guy in the world, but that doesn't necessarily negate the fact that the process of getting the cocaine to him may have required some exploitation, slavery, and even murder.

My point is not to argue against sex work: on the contrary, I think it should be legalized. My point is you, as a Redbook user, are convinced "no foul plays" were going on, but how do you know that? Right now you have nothing to back up what you're saying apart from good faith.
users have always been alerted if there is any foul plays regarding how these workers are treayed and reported any foul plays(robbery, violence, theft, etc.)

i havent seen any ads exploiting them at all. most of times, workers are at least 5-6 years older if not 10+ years than advertisement.
For comparison, the high-end escort service that Eliot Spitzer was involved with cost US$31,000 per day []

[]http://www.huffingtonpost.com/2008/03/10/emperors-club-all-a...?
I always ask "Do you enjoy working here?" Their instant response is usually telling.
Tinder CEO’s Internal Memo Claims Harrassment Complaint Is Inaccurate
I heard reddit tried that once but it didn't work well for some reasons. I can't find a link to the story at the moment.
My read is the move was more about the money laundering than either "protecting the children" or "facilitating prostitution".

The site was used by many local agencies to help with busts, etc.

Personally, I am against the takedown. The laws around consenting adults engaging in private transactions should be legalized. My understanding is that the site did have measures in place to help with the underage aspect, but that is from reading more balanced news accounts.
Acer Store – DESIGN MODE
Which, by the way, was discontinued: http://techcrunch.com/2014/03/08/mozilla-stops-developing-it...
I had been meaning to run a Tor relay for a while. The EFF Tor Challenge [0] motivated me to get it done. It was incredibly easy. If you have a VPS with unused bandwidth, please consider taking a few minutes to set up a Tor relay.

[0] https://www.eff.org/torchallenge/
Until I read your comment, I hadn't really thought about it, but this type of automation is at least mostly enforced by PaaS like Heroku.
What Does The Facebook Experiment Teach Us?
re: storage capacity, does df -h report inodes on other OS? On Ubuntu you need to do df -i to see inode utilization.
Throwaway for obvious reasons. I have been using myredbook and reading HN regurarly too.

I think outlawing prostitution is the stupidest thing ever. Coercion, battery, human trafficking -- these are all crimes themselves and these are what most people are concerned about. It's a waste of time and effort. Removing a site like this will achieve nothing except perhaps endanger some of the sex workers -- think about it. Clients (for there will be clients, no doubt -- does anyone think one advertisment site makes a difference?) can behave in worse ways cos the forums are gone.
Android L preview code hitting AOSP for current Nexus devices
See significant previous discussion here: https://news.ycombinator.com/item?id=7970993
Zillow Rentals, San Francisco, CA

We're building the largest rental housing search network on the web and need to make sure it's solid.
We're hiring a software engineer/SDET to lead our back-end testing efforts, building systems to test systems. You'll be an extremely important part of a smart, fast-paced team that's responsible for the data behind the best rental sites on the internet.

http://www.zillow.com/jobs/san-francisco-office/ or email me at davidpe@zillow.com
It can be kind of hard to satisfy termination checkers, though. They're not smart. You basically have to show structural induction on something which sometimes forces you to invent lots of new proof terms.
Windows XP being an example of something corporations paid millions to keep in service.
Is it not more likely that there have been more complaints regarding T-Mobile because their customers are more apt to notice these things? Squeaky wheels get greased and the people who have signed up for T-Mobile are all holding oil cans. After all, they switched under the assumption that they could get away from hidden charges.
For anybody looking to apply this mindset on OSX, Bartender is a great app for organizing and filtering menu bar icons:

http://www.macbartender.com/