skysight-inc/HackerNews huggingface dataset:
Dear Reddit, Maybe this idea would help slow down this type of abuse:

It seems like it would be easy enough and cheap enough to build a honeypot to identify accounts used for the purchased Reddit upvotes.

For example, Reddit could set up some honeypot posts to track paid upvote accounts.

They then go and pay these upvoters to upvote the honeypot post and identify the accounts used. (It would be helpful if the post was hidden so other people don't find it accidentally. In fact, it is possible to just use a tracking redirect page given only to the paid upvoters and use any post as the upvote "job" so it would be hard to identify by the upvoters.)

Then Reddit could ghost those identified accounts. Simply ignore their votes in the system, but don't tell the account owners, so the owners continue using the accounts without realizing the problem.

This would make it very difficult for the account owners to know which of their accounts were compromised.

Then on any new posts where these upvoter accounts are being used in majority, other accounts can be found. The other accounts that also similarly upvoted on this article could represent other paid upvote accounts.

Track those other accounts and how often they appear beside the ghosted paid accounts, and voila, you have found more paid upvoters.

Keep doing this and it makes the paid upvoters ineffective because although they can work the system, their work is only being used to find other paid upvote accounts and also clients who are paying for paid upvotes.

After a time period, the clients could be sent a warning:

It has been detected that you are using paid upvote services which are against Reddit TOS. Please contact customer service so we can work together to remedy the problem. Failure to do so may cause your account to be banned and all your posts removed from Reddit. Have a good day.

Of course Reddit doesn't have to do this, and really anyone could do the same process to build a list of paid upvoter accounts and a list of articles and clients that use those services...

So what do you think, would this put a dent in the upvoters effectiveness?
No. The Cloud is used to collectively represent all kinds different types of computing/storage/auxiliary services that can be managed on demand.
The reason Microsoft built a Linux sub-system into Windows is because Windows wasn't as good as Linux for development.

Microsoft building a Linux sub-system is Microsoft admitting defeat.
With Dropbox IPO and Filecoin ICO, storage won't be boring in 2017
My father is red-green colorblind and he flies small planes.
You probably don't use Linux.
And here's one I made to actually have a test drive as well: https://youtu.be/LKgJk7DdyuY
I'm very happy with my decision to not provide wired network all over my house after I moved. Good Wifi is really nice in that it decouples speed from location.

Even with 802.11ad (that I don't have) there's a huge difference between having to plug in when you reach a "fast area" and not having to.
I absolutely agree with your statement. I've been reading and 'lurking' for about 3 years before I figured I wanted to start upvoting, save posts and maybe post some things. I just haven't gotten my ass around my head and done it yet... So when a friend of mine invited me to keybase and told me to link my accounts I thought I would do so. Only problem is that I couldn't do so since I have no karma.

I hope that is a fair enough explanation, but I would love to elaborate more when I'm done at work!
BackerKit (YC W13) Is Hiring a Senior Designer
How i got my ATM
I got my already programmed ATM card to withdraw the maximum of $50,000 daily for a maximum of 30 days. I am so happy about this because i got mine last week and I have used it to get $100,000. MR James Carl is giving out the card just to help the poor and needy. he also advice us to help the needy around us when we get the card so that God will keep blessing all of us. get yours from him now. Just send him an email: carljames845@gmail.com or +16026337400
> your specification is simply "an optimized program always behaves the same as the original"

I wouldn't say it is simple, since it is undecidable for general programs.
I got my already programmed ATM card to withdraw the maximum of $50,000 daily for a maximum of 30 days. I am so happy about this because i got mine last week and I have used it to get $100,000. MR James Carl is giving out the card just to help the poor and needy. he also advice us to help the needy around us when we get the card so that God will keep blessing all of us. get yours from him now. Just send him an email: carljames845@gmail.com or +16026337400
And good code will contain a lot of prose.
same as Reddit, even news from the front page 10 years ago are relevant today, except probably this one "British believe Bush is more dangerous than Kim Jong-il." =)
> Perhaps the name it should be called is adminless or backend as a service

What's odd is that we already have "infrastructure as a service", which is generally what this is. An entire infrastructure to run your code, without having to set it up (although you still need to configure logging to get useful data in most situations, it seems).
Looks like I was wrong on multiple counts. Thanks for taking the time.

Any links on the driver verification framework? I've only seen people talk about using z3 for hardware verification but didn't know about MS doing it and talking about it publicly (could only find this: https://pdfs.semanticscholar.org/b100/b1562ba0e75191d29d4c15...)
Applied statistician and data scientist with experience in time series analysis and statistical inference.

Location: Bay Area
Remote: Open
Willing to relocate: Yes
Technologies: R, SQL, Python
Résumé/CV: https://www.linkedin.com/in/abraham-mathew-21221b29/
Email: mathewanalytics@gmail.com
Become a better entrepreneur by mentoring startups
I see they closed the O, widened spacing of the gaps in the prongs of the E, opened the gap in the G, closed the space between the L+E (filled it with outline colour instead of background). Did they also narrow the letters a little (flatten horizontally)?

Anything I missed.

I can see what would reduce file size, remove some jaggies on colour boundaries of highly compressed images but it seems more likely to be effective with logoed merchandise (like dye-sub t-shirts, etc.). Is there any good analysis somewhere of what the redesign achieved digitally?
> The solution to this is to deliver arguments at runtime, rather than baking them into the program as constants.

Functions already take their arguments at runtime. Except when they don't, due to optimisation.

For a benchmark to be automated, reproducible, etc. those constants have to be baked in somewhere, even if it's in a Haskell program using FFI (as in the article), or a shell script, etc. Whilst optimisers don't (yet) cross the language/process boundary, it still makes sense to include such sanity checks, rather than assuming we know what the optimiser will/won't do.

After all, the whole point of a benchmark is to gather evidence to question/ground the assumptions of our mental model. The less we assume, the better. The more evidence we gather, the better.
Show HN: Xcessiv – Fully managed web application for automated machine learning
Nah, just have everyone spend 1% of their time on CI.
Exactly, this is the fallacy that we need "other people", like politicians to solve climate change for us.

Try voting with your wallet and changing your bank.
I suppose that a GPS in an airplane should always take the precision of the instrument into account. If it can't determine which lane it approaches, perhaps it should show a warning sign, and/or highlight the lane that should be taken.
The only time your mac ask for your credit card information is when you are trying to pay something with your Apple account and you don't already have it.

If you don't want to be uncomfortable then simply don't try to pay for something with your Apple account.
Anything remotely right leaning. /r/politics could more accurately be named /r/The_Left. Often the top comments of any thread are just whining about Trump in the same way that /r/T_D is just whining about MSM and Hillary. While there boy still posts that they won't tolerate useless comments I've seen nothing but useless comments there these days.
Ah yes, what's better than trying to shift the blame from the actual people and groups doing this, to individuals, who often don't even know better? No need to address the companies or (dare I say) suggest regulations. It's the consumer who should think about this, he's the center of the market universe - besides 7 billion other centers - and only he - with the coincidental cooperation of all other 7 billion people - can change this. How? Why by consuming... ethically. Then the companies can still go on doing what they so, find market, created deals nobody knows of, destroy the environment and infiltrate governments with their "special interests". All the consumer has to do is spend more money on fancy stuff, and he doesn't have to feel guilty anymore. It's all ok! It might not be easy to ensure that all the people consume "correctly", but it's sure easier than trying to address the companies to produce "correctly". It's just basis economics.
Yes, unless he was making an insurance joke
True, thanks for the link. Shame that author uses Wordpress. I'd advice him to use a static page generator for the future.
What would you call the descendant of a Frenchman who settled in Quebec during the 1600s ?

Immigrant? No.
Settler? Not really after so many years.

As an immigrant, I view them as natives Quebecers.

What would you call them?
Nope. (3) The transition between the two requires manual intervention, as those are very different flight modes, using different systems and there's no automagic way to switch between them; the quote from the linked article is an oversimplification akin to "computers can do almost anything - therefore what do we need programmers anyway?"
To be fair, there's also Concourse, TeamCity and GoCD which all enable self hosting for free.
What you mentioned is a typical misunderstanding. The economic liberalization didn't happen in most part of China until the 90s. For example, Shanghai didn't start until 1991, Beijing was another few years later than that. Even for those two first tier cities, many stuff considered normal in a market economy didn't happen until 10-15 years ago, e.g. buying a property to live in or for investment didn't become mainstream in Shanghai until 2003.

I'd argue that GFW created millions of experienced software engineers for China. It is the assets required for such a developing country. If the market was dominated by Google/Twitter/Fb, how many of them are willing to have their core R&D positions in China? Let's make it no mistake - as a Chinese national, the company need to get your US export license to work on any project that involves stuff like encryption or high performance computing. That export license takes ages to get and there is no guarantee to get it. To send you to the US for meetings/training, you'd be subject to the Mantis Check managed by FBI, it can take anywhere between a few months to a few years to get a 12 months US short term visa.

Now also consider how those companies do their taxes in foreign countries. How much they are going to contribute to the local economy? Just look at how other free countries are attacking their practices.

http://www.smh.com.au/business/the-economy/australia-now-off...

If you consider all these, it will be clear that Chinese were pushed to the corner to defend the chance/right to develop their country/industry. For me, it is really a choice on whether to kill China's Internet industry or not. Chinese didn't kill it, they kicked out Google/Twitter/Fb etc and build their own Baidu/Alibaba/Tencent/JD/Didi/360, that is all.
This only works to add to the environment. The problem with the AR approach for things like "what would this couch look like in my living room" is you can't get rid of the existing couch. That's still a long way away.
How you do you purchase cards to guarantee you are not getting a fake? I believe fakes are pretty much everywhere now, in branded stores as well. Maybe buying those from stores that serve people who care helps (e.g., B&H photo -- as you indicate, a pro photographer losing his photos would be furious). They try to act on problems and work with suppliers quickly, but even this is not a guarantee.

A better approach IMO is to test the card first using easily available tools and use backups. This is more work, but can save you a major aggravation. My 2c.
Will Haskell's compiler ever be 100% reliable? Maybe. Will Haskell's compiler ever be more reliable than the average developer? IME it's already there, and has been for a while: for a given functional requirement and a given level of performance, the cheapest way to achieve it is usually Haskell or similar.
But can I access to my desktop, documents, music folder and create archives or more folders to development environment?
I hate when I read other people's code that has scores of characters on the same line. My code is less prose and more poetry. I treat each line as its own idea.
> Another important requirement we’re introducing today is that Qubes-certified hardware should run only open-source boot firmware (aka “the BIOS”), such as coreboot.

I recently flashed coreboot on my X220 (and it worked surprisingly enough). However, I couldn't find any solid guides on how to set up TianoCore (UEFI) as a payload -- does Qubes require Trusted Boot to be supported on their platforms (I would hope so)? And if so, is there any documentation on how to set up TianoCore as a payload (the documentation is _sparse_ at best, with weird references to VBOOT2 and U-Boot)?

Otherwise I'm not sure how a vendor could fulfill both sets of requirements.
I'm in the middle of planning a startup with a doctor who does research on therapy methods for traumatic brain injury. She frequently goes on rants about how much bullshit Lumosity is. So literal appeal to authority, but this particular authority was doing research at NIH for 17 years. I think she knows what she's doing.
We have more devs than that, and we spend way less than 1 FTE (or equivalent) per year on keeping it in good working order. Our biggest issue is when we want to do something that's not well-supported or hit bugs.
It's great that AWS has a tutorial for serverless. Their docs can be a bit hard to get through.

If somebody is looking for an even more comprehensive guide to building full-stack apps with Serverless and React.js, I created http://Serverless-Stack.com.

It's open source and up to date with detailed screenshots and code samples.
That's because the spec is the code. The product is the binary.

Human "specs" are more analogous to statements of intent.

Ever higher levels of abstraction will come about but generating the "spec" will continue to be the programmers job.
Someday, perhaps computer programmers will start applying this principle.
Meanwhile 60fps animations using any technology other than web is entirely ... unimpressive.
Why do you have gems only needed in those envs?
One wonders is this is actually just a case of monounsaturated fat vs. polyunaturated & saturated fats.

Or something truly associated with olives.
A Whole New Way to Search for Electronic Components
How to Create a Custom 404 Error Page on WordPress
People still have this device?
If you are in the UK, it might have been my C64 Terminal program - it could render 80-col fonts in graphics mode. Then again, I expect other 80-col progs existed!

Sadly I lost the code years ago - it was hand-coded in assembler with just a BASIC menu wrapper.

There was also a 'mostly working' print routine that didn't block the serial comms stream (too much!).
Hence "Hitler Channel".
How a Microsoft font may bring down Pakistan's Nawaz Sharif govt
Indeed. Started reading to learn more about willpower and the science behind it. Didn't actually learn anything about how to build willpower, other then "if you have it, you can do a lot of things"
So, someone wrote this reply and it got downvoted to death or they're hellbanned or something, I want to reply to it anyway.

They said:
not possible due to company policies. you wouldn't be able to connect to our network with Linux desktop anyway. welcome to corporate world

The responder reveals themselves to be an "inside the box" thinker. You could shrink your windows partition, install Linux, boot Linux natively, boot the existing Windows partition as a VM in VirtualBox, assign your physical NIC to the Windows VM, and use the Windows VM as a gateway to the network.
Phew, sounds like a lot of work! If only we could muster up some congregation of people that speak for many other people, so that they could speak on our behalf and tell these companies to cut the crap...

That sure sounds nice.
WeWork, the company that simulates startup life, is worth more than $20 bn
Similar. Bought the dev kit, then they killed OS X support.
Reddit's core value seems to be "the end justifies the means."
This is no "blaming" it's an assessment of the most polluting companies in the world, and given that the one of the goals for the future is to reduce emissions worldwide they will bear a great responsibility to do so. Or are you proposing that we should just let go on as usual?
Amazon is basically giving away Dash buttons on Amazon Prime Day
> AR : Could use the actual work as form of encoding to deliver the contextual information.

Scott Naismith has been doing this with ActivCanvas - https://www.instagram.com/p/BMFLhHThCy8/

Although I don't know if ARKit has "replace picture X with picture/video Y" functionality?
GreenSock's TweenMax is pretty good
A politician representing the interests of the people who voted for him/her is a fallacy?

Then consequentially I should get back all my tax money that went into setting up international trade and other economic deals, since apparently this should also have been my responsibility and these arrangements would have just popped up if I had 'voted with my wallet'.
Being Direct by Lester Wunderman. Best book on direct marketing in the world IMO. I currently do high level marketing consulting, would not have happened without thia book. Way better than Ogilvy on Advertising.
I much prefer the poem analogy. My favourite code almost appears to dance around in my mind.
Not everything is a contest. It doesn't matter how "original" natives are if they're natives.

The reason "ethnic Europeans" aren't "the original inhabitants of North America" is that European settlers violently displaced (or killed) the previous inhabitants.

Heck, the "original" inhabitants of North America (as far as we know) actually originated in what is now mostly Russia if you go back a few dozen millenia. And if you go back further than that (according to mainstream scientific consensus) we all likely originated in Africa. Defining the term "original inhabitants" as an absolute is blatantly begging the question (specifically it only works if you're a creationist).

People were subjected to physical and psychological violence to be forcibly removed from their home and birthplace. That's bad enough, no matter how many generations lived in the same place before. This isn't about who's had it worse.
Stuff like this, while done with good intentions, can threaten to entrench discrimination by having different sets of rules and expectations for people based on their gender. A better solution would be to give 12 extra holiday days per year to everyone, but make it known that it's acceptable to take them under those circumstances.
> China is one black swan event away from an economic collapse and possible Arab spring.

This sounds like the Marxists' "eminent collapse of capitalism" or "this will be the year of Linux on the desktop" or Mao Ze-Dong's "America is a giant with clay feet".

Someday you'll be proven right. But only after being proven wrong for a million times.
The Tezos ICO has crossed $200M raised
I have to disagree about the maps and charts being stowed away at this point.

I personally can only think of one 121 certificated carrier in the US that isn't using an EFB setup. These are typically mounted to the side of the pilot and there's no reason at all they can't still be on and open to either the airport diagram or the approach in use. In fact I frequently do this and do reference it on approach to parallel runways and to reference the turn offs for taxi.

As this discussion progressed, the lack of progress in the FAA adopting technology was addressed. It seems to me that the FAA is completely missing the boat on tons of safety to be gained with these EFBs due to the bureaucracy. My carrier was recently certified for EFBs and the vendor has the capability to have GPS geo-referenced charts but because of the complicated certification process the airline chose to get certified without to save money and time. As part of that we also received devices without GPS so now there's no way it's coming until the next cycle of devices. Personally I can't understand why there would need to be additional certification for something GA pilots have been using for years now.
Ah the fallacy that we need "other people" to solve the prisoner's dilemma. Try just not ratting out your partner in crime!

Ah the fallacy that we need "other people" to solve the tragedy of the commons. Try just not grazing your cattle too much!

https://en.wikipedia.org/wiki/Collective_action_theory
It definitely seems to be part of what our brain does. The visual cortex is an apt comparison since that's where a lot of the structural inspiration for modern ANNs comes from. But, there does seem to be a little more than that too; it's not clear whether all the brain does is reducible to a hash function (reducible in any useful sense, at least; a very very very big, very very very sparse hash function, perhaps).
> It's a useless and confusing marketing buzzword

A marketing buzzword is something like "web scale", which might be used by a non-technical person to describe a technology, but has no real technical meaning. Serverless is not a buzzword because it is the name used for a collection of technologies, even if it isn't a specific product. "Software containers" also falls into this category.

Yes, serverless architectures involve servers. Well done for recognising this, you are very smart. In fact, you are smart enough to realise that the architectures we are talking about here are very distinct from traditional web hosting services. So, it's convenient to use a different name for them.

Finally, it doesn't really matter whether you like the term or not. It is the accepted term and it is here to stay. If you want to engage in conversations on the topic you will need to move past your misgivings.
Top10 open source time series databases
The Decline of Hstore
After I pointed out I don't believe in the dichotomy, the reply is something that apparently is supposed to be an argument for it. But you don't have a fixed amount of resources you spend on either being afraid of the government or corporations, and any amount of reclaiming your dignity as a critically thinking and responsibly acting human person will help with both "threats".

To not even acknowledge that, and go "but government", or "but corporations", really means at this point I need you to rephrase my whole comment in your own words to believe you did more than scan it. (That goes for the person downvoting me asking you to elaborate, too. If it's soooo obvious to you, make with the goods.)
That's fair enough, and I've now clicked the "upvote" arrow, but I don't see any increase in your karma. Votes don't always match karma - there are other forces as work - so you may have to wait till some more important people actually upvote your post or comments.
What changes nutritionally from first press to !(virgin) oil??
Is there really a big difference, or do people just like to say "Extra-virgin" ?