skysight-inc/HackerNews huggingface dataset:
Let's try this again...

Yes, you can make a computer spit out nonsense, but this is a far cry from the computer actually behaving in an illogical way. A Turing machine's entire operation is logical. It is built with logic. It is a logical machine.

Penrose claims the human mind is not a Turing machine. That it is not logical. That it is not built with logic. That it is not a logical machine.

Pointing out that the human mind is not logical is thus restating Penrose' point and not refuting it.
Here's a link to the still-short, but slightly-more-detailed survey on Google Forms if you can spare 2 minutes: http://bit.ly/Survey-FSN-ASKHN

And I'll be around here in the comments for the next few hours as well.
What else would you have them do? Jail him? Torture him? The company has limited tools at its disposal the ultimate one being to fire the person.
Verified Software with Albatross
I am constantly amazed what Google shares. They are a company with shareholders to be fair.
Apple hasn't made a similar product in the seven years since this case. That's ridiculous that they would discourage accessories for their product. That's free R&D for them.
Honestly, coding a battle setup up to the level of, say Red/Blue is not hard. Lots of elements, sure, and newer games make things somewhat harder, but it's such a convenient structure that things aren't hard. It's a common sophomore/junior college assignment, and far easier than features Go already has like location management and anti-cheating.

The delay point is much better. I don't think GameBoy style fight-to-capture would have been good, the technique used (basically Safari Zone, actually) was solid for that. But I think full PvP against other players would have been a huge hit - certainly it's why I never joined.
Introducing temporary interaction limits
I take a mix of melatonin, l-theanine, and 5-htp almost every night to go to sleep, and I've definitely found that if I don't take it for a couple days (usually Fri and Sat night) then take it again, my dreams are overly vivid and memorable.

While I'm on it, they're pretty suppressed. I used to take 10mg of melatonin every night and the effects were the same I'd say, so it doesn't seem to matter on dosage.
Three Years in the Making – Pros, Cons, and Tips for Starting Your Own Business
> What if Uber is actually innocent?

If an ex employee of a company making a competing product walked into my office with a large treasure trove of files I would not automatically assume that he had re-created those files in his spare time.

Uber being 100% innocent would be highly surprising.
The First Time America Freaked Out Over Automation
A bit pedantic maybe: firing him doesn't pressure him, but threatening to fire him does. And it's not a threat if they don't eventually do it.
I find it interesting how rare it seems that people "analyzing the market" don't (at least openly) look at what is actually causing the market to grow.

They seem to focus more on the financial signals, as opposed the the underlying innovation, infrastructure, logistics, or even sales in some cases.

Overall, We've seen a pretty massive uptake, but we also only recently returned to pre-2008 valuations of companies. That's a decade of next to no growth in businesses (supposedly). However, I seriously doubt most businesses that survived the crash don't have more infrastructure today. Meaning, I'm confident they are actually worth more today (on average), regardless of what the financial signals say today.

That being said, I'm actually working on a project[1] which uses other signals (other than financial) to determine a companies worth. Primarily, we are focusing on identifying "experts" in a companies field, and determining the brand strength with those experts. We are also looking at financials, generally how often they are discussed, etc. but the real value comes from the experts opinion. Seems to work better than Paul Singer's approach.

Although, the one thing I will say about the potential for economic collapse is:

> Singer is among those fearing that very scenario. He is betting that an economic recession may be on the horizon and believes that, with interest rates already near ultralow levels, the Federal Reserve won’t be able to provide a sufficient quantitative-easing cushion, as it did during the 2008-’09 financial crisis.

He is correct about that :p, that's probably my largest fear in regards to the current fed policies.

[1] https://projectpiglet.com/
Algorithms aren’t racist. Your skin is just too dark
Honestly, I find Pocket Mortys more fun than Pokemon Go. That's pretty depressing, since it's mostly supposed to be a funny tie-in game.
> At this point what has he got to lose?

All of his money and perhaps his freedom. If he essentially sold Google property to Uber he could be on the hook to hand over all the money he made from doing it plus punitive damages, and some of the conduct that's been alleged against him could even rise to the level of criminal charges.

He's taking the 5th here for a reason. He stands to lose, literally, everything.
Office 2016 Professional Plus Product Key and Activator Free
Much/most of it was probably tied to his continued employment
5 Steps to Prevent Ransomware
I don't think this document has anything to do with YC?

The YC partners I talk to are certainly aware of how critical early employee compensation is.
It's not a question of whether FCPX is a good value. If an EU citizen pays a one-time fee for a lifetime license of FCPX they are supposed to be able to resell that software according to the Oracle vs UsedSoft ruling. Apple has not built a mechanism into their App Store to allow users to transfer licenses to one another, which means they are not complying with the EU ruling.

This applies to every software product in their store (and Google's Play Store) that is bought for a one-time fee in exchange for a lifetime license in the EU.
> Do not ever even attempt a big-bang rewrite

Really? Are there no circumstances under which this would be appropriate? It seems to me this makes assumptions about the baseline quality of the existing codebase. Surely sometimes buying a new car makes more sense than trying to fix up an old one?
Yeah, right now I haven't worked at my current place long enough to leave. I want to put in enough effort on my part to warrant feeling like I haven't grown enough too. I've decided that the best thing I can do is focus on what I'm not doing well enough or consistently enough until I feel like I've covered all my bases/can't learn any more on my own.

The main problem I have is how to structure what it is I'm trying to improve upon. I also want more external perspective to help guide me towards becoming better in the web development field, but I don't feel like the company I'm at has developers with a modern web development skillset to offer that guidance.

Unfortunately I work in an area where the web developer talent is pretty shallow. The general programmer talent pool is deep, but I still feel like the specialization towards webdev and modern practices just aren't here.
This is exactly right. Most major (and many regional and local) newspapers had an Everyman tech columnist. Mossberg just happened to be that guy for the WSJ.

The other thing I maybe should've mentioned, though, was that Mossberg was a very early and emphatic booster of the Jobs 2.0-era Apple products. Back when Jobs had just returned after the Next acquisition, Mossberg got on that bandwagon immediately and began talking up their products.

So in its initial stages, the Jobs/Mossberg love-fest was a bit of a symbiosis. Recall that this was in a bygone era when the powerhouse WSJ at least as big of a deal as the struggling Apple Computer company. In later years, when Apple was the giant we now know and Jobs had ascended to the pantheon of industrial greats, the relationship probably did a lot more for Mossberg than it did for Jobs.

(It's hard to recall, but there was once a time when Apple was a niche, struggling little tech company with a minuscule market share, and big newspapers were still a Big Deal. The Jobs/Mossberg relationship had its roots in that era.)
I called a Hilton once after seeing the same place cheaper on HotelTonight, the woman said she couldn't match the rate... So I got it for the "impossible" to match rate (and the hotel paid a commission for the privilege!).

Price matching is great when it works, but infuriating when you can't actually back it up. It should all be automated, I can't imagine someone at Hilton is manually setting HotelTonight prices and not telling anyone.
That's why I would like to see a statistical data point for a successful startup (say, limited to 100M+ valuations). Yes, companies are different; some may need to raise more and some less, but if I knew how much, on average, 1% stock at seed translates at 100M buyout it would be a valuable data point.
> they also approximately doubled the price

I paid $699 for a 64GB Nexus 6. The Pixel XL with 128 GB is $869. I don't know what they were charging for the 6P but based on the 6, they definitely didn't double it, though clearly the price did increase.
Ya, I agree with you. Weird that the authors of the essay linked here stretched things significantly further.
The attitude in this blog post is exactly the kind of attitude that drives users and developers away. Ramming the Store down desktop users throats isn't exactly customer focused.
I've had a couple Android phones that had pretty bad cracks on the display. My partner always purchases iPhones and they seem about the same, in terms of damage when there's no case. Having handled both, the phones do seem roughly similar in terms of flex and hardness (Apple, Samsung, Motorola).

My data is entirely anecdotal, but they seem about the same to me.
http://masoncoding.com/presentation/ks-14/btrfs.html#/1
The First Crack Appears in the Second Tech Bubble
The problem with a comment like this is that readers can't learn anything from it. Instead of venting, please explain.
Inching Towards Insertion Sort
Ask HN: What are the essential Linux sysadmin skills
Hi HN,

Just to give a you a little bit of background, I'm a software developer. I do mostly Python, Node.js and a little bit of Golang.

At work and in my personal projects, I was exposed to DevOps and Linux admin, which I do, but lightly. (I manage my own VPS', I've played with Ansible, I can create users and all ...)

I'm currently looking to expand my set of skills to Linux System Administration and I would like to know the essential abilities a sysadmin should be able to demonstrate to be taken seriously.

(I don't necessarly want to leave software development but If I ever get tired of it, I can totally see myself hacking away in Linux and get paid to do it)

Cheers
Dockrun oneshot – quick local environments for testing infrastructure
Ask HN: Are learning about block chain programming?
I don't know much about it, but it does seem interesting. Are you learning/building anything in this space?

Are there any career advantages in learning it?
Algorithmic Justice League: help stop algorithmic bias
NASA to Make Announcement About First Mission to Touch Sun
There's definitely pushback on Microsoft from users who don't want the Store. But how would Microsoft making the Store more widely-used push away developers?
CAPTCHAs works primarily by means of economics. Most image CAPTCHAs have been broken in general; it's just usually not worth to break particular ones for any but the biggest sites. Breaking many - if not most - image CAPTCHAs is almost a textbook image processing exercise; those that are too hard can be outsourced to people (through e.g. "solve the following CAPTCHAs to access pornography"). Google's CAPTCHA now moved from image recognition to estimating your humanness by using God knows how much data they collect on your browsing - it works, but comes with obvious privacy-related trade-offs.

I feel the war against synthesizers will be over as soon as someone open-sources a good enough one, or at least starts selling it relatively cheaply.
Android is the new Windows. Expecting some downvotes. But truth must be told. You're welcome.
>Uber being 100% innocent would be highly surprising

Should be fun when the due diligence docs come out, and we get Uber's view of how Otto went from a value of zero to $680M in 7 months, with only legitimate IP, 5 Trucks, and 90 employees.
> The base issue is that the fees that agencies/aggregators like booking.com are (IMHO outrageously) high, in the 15% (a minimum that I believe very few hotels pay) up to 25%-30%. On average, it is something like 18%-20%.

Don't overlook the value of a known cost. The alternative is to buy a bunch of advertising that may not result in any bookings (travel related CPC ads are expensive).
Thanks for this spark of a comment in an otherwise perturbed discussion. I cannot reply to all the child comments but hopefully I can help elucidate the misconception you are indicating.

> It's a rhetorical trick at best

This is precisely it. It works because 'true' is defined for the formal system but not for the human. It so happens that the humans in question say well 'of course we know what Godel's proposition means and what true is' but that's just because they are familiar with those words in an entirely unrelated sense to the system being described (akin to say the common speech use of 'energy').

Since you need a system at least as powerful to evaluate the propositions of an underlying system and in that more powerful system a similar proposition can be formed.

Anologous to this is Wittgenstein's problem on the irreducibility of rules: that one can always ask for the explanation of a rule, explanation of an explanation an so on ad infinitum. So it is essentially impossible to determine whether a rule is being applied correctly or not. It so happens that we (humans) can stop asking and 'apply'; but I'm not convinced this is something machines cannot do.
Plenty of people choose McDonalds for the reliable consistency of the experience. Sure, it's a mediocre hamburger, but you're virtually guaranteed it won't be a horrible one.

The same thing is appealing for hotels, IMO.
Airbnb and Spotify Alums Launch Gen M, Buzzfeed for Muslim Millennials
Everything in Pokemon Go is available freely to anyone as well, given enough grinding. The ones griping about play-to-win and microtransactions just don't want to grind.
I entirely agree.
In the USA legal system, this would be (at best) witness tampering and possibly obstruction of justice. Federal witness tampering and obstruction are things that _very_ few lawyers would knowingly participate in because you don't have to be successful to be convicted. https://en.wikipedia.org/wiki/Witness_tampering
If you talk about what happened it doesn't magically mean all the punishment falls on the other side. If Levendowski admits to breaking the law he'll be punished, no matter if he is or isn't friends with Uber at the time.
I read this article years ago as a math undergrad and never forgot the title. Re-reading it today I realized how well it applies to certain kinds of internet commenters. But really the article is just a pleasure to read.
Let's take the question of the human mind and whether it can be modeled by a non-quantum Turing machine out of the equation.

Penrose's contention can be summed up without it. He basically thinks that gravity will be discovered to play a role in quantum wave function collapse. And that this role will render non-quantum Turing machines incapable of accurately modeling quantum gravity in some very serious way. Another way of saying it is that he believes when a real theory of quantum gravity is developed we'll find that non-quantum Turing machines will not be able to accurately model the physics of a black hole.

Note that this says nothing whatsoever about the human mind or microtubes or formal systems, etc. This is about his subject of expertise: gravity, mathematical physics, and quantum gravity. He's one of the world's leading experts in these fields.

And if he is right, he conjectures it will have strong implications for non-quantum Turing machines as a basis for Strong AI.
Perhaps because the link got changed to a non-paywall version hosted by Fox Business...
So a company signs a contract for cheaper ink that requires them to return the cartridges to Lexmark and only Lexmark.

Then companies willfully break the contract and send their cartridges to a 3rd party. Lexmark sues the third party and courts throw out the suit.

Lexmark can either tighten enforcement and restrictions on their own customers as well as sue them, or stop the program all together. I assume they will just stop the program and only sell the more expensive new cartridges going forward.
Thanks for the comprehensive answer, all good stuff to look at :)
Show HN: Siplexa – Use Any SIP Device with Amazon Alexa
What It's Like to Work on an iOS SDK vs. An App
Lidl sell Nespresso compatible capsules.
SC Stays Order to Remove Mobile Towers Near Rajasthan Jails
This leaves me wondering why they don't release stats on threats.

Nothing specific but something like "We've caught 5 - 50 people attempting this attack" rather than an indefinite, theoretical threat.

At least then citizens can understand the threats and why security is the way it is or protest it being overly strict due to the stats.

Maybe I am too tech, everything-should-be-informed though. :)
There should seriously be a class on "Stupid Computer Shit" - I think that would make programming, and hence CS, a lot more accessible.

There was a good class on Coursera a while back called "Startup Engineering" which did cover some of this even though it wasn't the focal point of the class.

Of course, it would be impossible to cover every little detail - but a class dedicated to SCS would still be super useful.
Aventus, Blockchain Event Ticketing Solution: White Paper Released
> "... They should evolve with you."

I wonder what does that mean exactly. That they will provide accessories a la Moto?
its conditions
I've heard a few people say that everyone has this on their bookshelf but hasn't read it. It always sounds like people think it's on the bookshelf to look impressive. I read it and it was probably the funniest book I've ever read.
Basically content marketing. Researched an industry very, very deeply and summarized the important concepts, tactics, and strategies one should follow to save money or save time within that category.

Make the content free - attracting a large audience, and recommend the best online services that help with that particular vertical (affiliate marketing/lead generation).

The 2 hours per week is just summarizing anything new that happened that week.

This is not a get-rich-quick thing, took almost 10 years to get to this point, and huge amount of focus on this one thing - and I've truly become one of the leading experts in this vertical.
I mean it as a good thing, and that I think it contributes to my sanity. :)
Node 8.0.0 released
> It's even possible that this is the computer age's equivalent of the trisection and cube-duplication problems...

P=NP
I learn as I go, as needed to get done whatever I'm trying to accomplish. Some projects require a significant amount of "learning" while others may require almost none.

No TV really. I do read books sometimes. Most recently: The Vital Question, Sapiens, Buzz Aldrin and Elon Musk's bios.

Not much exercise these days. Sometimes I'll get into running a couple times a week, but not lately.

Tea. Once or twice a day. Coffee rarely (~once a month).

No complaints at work, I get excellent reviews.

I go to sleep around 11pm and wake up around 8:30 - 9am. Sleep longer on the weekends.

Music while coding: sometimes. If I'm in "the zone", the music will be playing but I'm not conscious of it.

All in all, pretty uninteresting, right? :)
Is this to limit the HN effect whenever an issue is linked here and people just go "yeah +1" even if they don't actually read the discussion?
>Google's suit is against Uber, not Levendowski, who could now spill beans on all sorts of unsuspected malfeasance. At this point what has he got to lose? If he decides to cooperate with google things could get very interesting.

Google's suit is against Uber, not Levendowski, because Uber has the capital to go after. I Am Not An IP Lawyer, but I'd guess that if Levendowski had substantial assets, he'd be named a party in the complaint.

My guess is that this firing is mainly a move to improve Uber's political capital "Look we fired the bad apple". I'd assume Uber has probably figured out how to tie his interests into cooperating with him (to the detriment of exposing IP theft) though maybe granting him equity or some sort of financial incentive.

Uber: Hey, we're really sorry that things didn't work out but "here's some equity for the time that you worked here" oh and by the way here's the estimated value of that equity if we win the lawsuit or don't win the law suit.
There will always be bad actors, but I can't understand why Google tolerates low level malware. At least make them work a little.
Oh wow, I just noticed under the related stories that Travis's mother was killed and father was seriously injured in a boating accident this week:

https://www.nytimes.com/2017/05/27/business/uber-chief-execu...
Exactly! This should have been done a long time ago.

The MySQL query cache was nothing less than a _trap_ for unsophisticated DBAs.
I love staying at those hotels. In fact, I wish hotel rooms were commodities that competed on two factors: cleanliness and quietness. Everything else to me is frivolous, as I'm not interested at all in spending any time in a hotel outside of the time it takes me to get ready in the morning and sleep at night.
Go is an Asian game. US company, Google, created AI to best player in world. Kind of sounds like the US or Google ahead in the AI space?
This is why no matter how much Google brags about its machine learning-powered anti-malware protection, it can't rely solely on it to defend Android users, because it's still a cat and mouse game with sophisticated attackers. They need to find a way to patch all devices in a timely manner.
One thing I've been confused about: didn't this whole thing start when a vendor sent an e-mail to Google that was intended for Uber, and the contents of the design in that e-mail were sufficiently similar to Google's designs that Google started this process. Was the design not similar enough to prove Uber's use of Google's IP? Am I remembering or interpreting that story incorrectly?
I'm literally working on a Windows Phone 8 app this instant. I took five mins out to check HN.

I agree with the sentiment though - UWP is the way to go
Ask HN: How to mitigate damage of excessive screen time?
To be more precise, excessive screen time coupled with sedentary lifestyle. What are your techniques to alleviate damage of this duo?
> It's been several years now and I haven't kept up with how they are both being maintained.

Not very well, it seems. The directory seems to be broken, and I can't actually view any of the newsletter profiles.

Some poking around leads me to believe that nothing on the server has been touched since the company was acquired in 2014. The server is running Ubuntu 14.04 (end of life April 2015), the About LaunchBit page still lists you as CTO, and the last press release is a TechCrunch article about the acquisition.

These sorts of 'ghost' sites always make me wonder--who is hosting this server? Has it just been lost in the depths of a datacenter and the fine details of a budget? Will anything I build linger on like this, barely surviving, somehow, long after I've moved on? I'm sure if I actually found the answers to these vaguely existential questions they'd turn out to be a lot more mundane than I expect.