skysight-inc/HackerNews huggingface dataset:
If that orbital transfer took a long time, someone would argue it's interacting with the Earth's magnetic field.

The only real absolutely unambiguous test I can think of -- other than finding a way to massively boost the effect to the point of undeniability -- would be to launch something at Earth-Moon escape velocity and then see if it can continue to accelerate as long as it's got solar power to do so. For a small test rig this could be done with a small SRB booster from the ISS.

... though on second thought ... I wonder what would happen if you put one of these on a centrifuge? It should spin faster, and faster, and faster... or not. :)

If the effect is too small to overcome friction you could do an experimental / control setup with two centrifuges, one with this device + a normal motor and one with only a normal motor and a ballast of equal mass to the device. Then swap which centrifuge has the device. Repeat many times. The one with the device should consistently accelerate more.

The heat problem sounds like they need to be using superconductors or some means of high-efficiency cooling. I'd look into Peltier effect cooling built into the device or something if superconductivity isn't an option.
"Also they are not ambitious enough. Assuming constant time arithmetic of the real numbers should get you more (like maybe even the halting problem)."

Agreed. They do at least broach the idea though, this is from the companion paper (more theoretical):

"We have thus shown that a UMM is Turing-complete,
namely it can simulate any Turing machine (whether deterministic or not). Note, however, that the reverse is not necessarily true. Namely, we have not demonstrated that a UTM can simulate a UMM, or, equivalently, we have not demonstrated that a UMM is Turing-equivalent. It is worth pointing out that, if we could prove that a UMM is not Turing-equivalent, some (Turing) undecidable problems, such as the halting problem [2], may find solution within our UMM paradigm, thus contradicting the Church-Turing hypothesis [2]. Although this is an intriguing–albeit unlikely– possibility, we leave its study for future work."
http://arxiv.org/pdf/1405.0931.pdf
I think the line you copied and pasted here answers your own question – '3 months, 1 weeks and 1 day ago.'
I wouldn't be too worried about that. There are already municipal employees that are some of the most staunch defenders of privacy (at least in my city): librarians.
That's my commuting routine! Problem is, I play a close to perfect game now and it's boring. Any suggestions?
This was written by an issuu engineer. Does anyone know if issuu uses OCaml?
Sony Pictures hacked, entire computer system unusable
This is inaccurate. The administration already has the legal discretion for this action by statute; it's just that up to now it has been employed on a case-by-case basis and basically subject to the whims of individual immigration officers, rather than pursuant to guidance from the Attorney-General.
Investing in companies before YC
It could be true considering the availability of public transit and the high expense of parking a car in NYC.
The question of whether machines can write proofs that can be "human checked" is the far more interesting question to a mathematician.

Maybe Devlin should first stop denying that humans can write proofs that can be both human- and machine- checked. Then we can talk about whether machines can write those proofs.
Can you explain 2 a little better.

Its my impression that no single bad call could take down an entire apache or IIS server?
Universities.

http://www.ibm.com/systems/z/education/academic/masterthemai...

This international roadshow has been running as a HR lead exercise for the last 10 years or so. IBM wheels in a Z then students compete in a set of instructions and if student is precise; which is the key element of a mainframer they will get everything from iPads to instant graduate intake at one of IBMs customers on a high six figure salary. Again this is international it runs throughout the U.S., Brazil, Australia and Europe to name a few every year:

http://www.millennialmainframer.com/mainframe-map/

This is IBM essentially solving the generational issue that most mainframers are old, have retired or are at retirement age.

If you ever want to run Z/390 there's the Hercules emulator shipped with most Linux distributions. IBM also has the virtual loaner program and will provide time on any one of their mid/big iron boxes to free of charge to ISVs.

(Source; I'm a Node + mid iron and sometimes big iron guy that does who does the challenges every year for the tshirt)
There are two separate issues here. Requiring arbitration is one. Disallowing class action is another. You cannot conflate these two things.

Disallowing class action is absolutely in-favor of Slack and companies in general. Class action suits are a powerful pro-consumer force. They allow consumers to seek redress without cost - as the legal costs are paid for by the plaintiffs attorneys. Sometime consumers don't get much out of these suits while the attorneys make a lot. But their threat is a strong check on powerful companies.

Forcing arbitration is a murkier matter. The first google result on arbitration vs trial (http://www.nolo.com/legal-encyclopedia/arbitration-pros-cons...) provides a decent analysis. Frequently arbitration is less expensive for both sides because the process is simplified. You also avoid shenanigans like fighting for 6 months about jurisdiction and venue (which either side can do to seek a more favorable court).

The article states that arbitration is bad because consumers don't have legal representation. This is flat out wrong. Consumers can and should have legal representation in an arbitration. Just like in a trial, consumers need to pay for this legal representation themselves, and it would be foolish not to have it.

The article also says that arbitration is bad because companies have more legal resources than consumers. This is a fallacious argument. Companies will also have more legal resources in a trial. If anything, the simplified process of arbitration makes this less of an advantage. So arbitration may be slightly better for consumers in that respect.
I don't see binding arbitration as a bad thing as long as both parties are allowed to agree on an arbiter (I may have missed something, but I imagine that's always the case, and also the case here(?). ...Hell, maybe you could end up on Judge Judy).

I hate to say it, but HipChat is really flawed (IRC, please). Slack is far superior technically. I'd still pick Slack. People may be blowing this out of proportion.
Well why didn't we evolve with actual computing speeds in our brain? My computer can factor a number in a day that the entire human race couldn't factor mentally in a year. Answer: not enough selection pressure to be good at computing as opposed to killing rivals.
I think Metamath was available in 1994. (http://us.metamath.org/copyright.html says: The name "Metamath" has been used publicly by Norman Megill since 1994 to refer to a computer language and related software.) And even if Devlin wasn't aware of it (or systems like it) back then, what's his excuse now?
> Lots of really excellent software people I've worked with got late starts.

I echo this. I have come across several top-notch people in my career who didn't code until college.

I started programming in elementary school and continued intensively in high school. I look at these people and think "how did you pick all of this up so fast?" But somehow they did.
Let me start by saying I really like the idea of a portable color picture printer. That said the idea of scanning in a picture I have digitally to print it seems a roundabout way to approach this problem. A few google searches revealed this [0] which is a small printer made by Polaroid to do just that (Note: it's a little older and does not work with iPhone but does work with some Android phones). It's $130 (not though Amazon and not prime) and has 4.5 stars (I skimmed the low reviews and I'd bet SnapJet would suffer from the same issues: battery life, picture quality, streaking after a few uses). It would appear that Polaroid is no longer in the stand-alone mobile printer business as they don't list the product on their site and it's only on reseller/auction sites now.

I find it hard to believe that the team behind SnapJet can deliver a product as good for close to the same price as Polaroid. Also I'd bet that Polaroid had a good reason for pulling the plug on their mobile printers (Demand, quality issues, high printing costs, etc). This seems like a very high risk KS (not that there are a large number of "sure thing" KS projects but still).

Lastly I see no mention of printing over BT/BLE which is the only reason I would buy it.

[0] http://smile.amazon.com/Polaroid-CZA-20011B-Instant-Mobile-P...
Making each slide its own navigation event isn't bad, the problem is that browsers somehow still don't let you jump back to the previous website, not sub-page.
I don't know what exactly you want to do with the pen input, but you could use native messaging[0] to get the data into chrome. Basically a small, native program that (bidirectionally) communicates with a Chrome extension via JSON.

I used the same approach to get customer signatures from a Wacom signature tablet into a web app.

0: https://developer.chrome.com/extensions/messaging#native-mes...
Without the clause, arbitration is still available if it is agreed by both parties.

In practice the arbiters that do not side with the companies are not chosen again in the future.
Nice work, good to have an alternative to placeit
Similarly, many programmers go their entire careers without touching assembly language or logic gates, yet we all know that our programs can be (and are) distilled down to this. There are definitely people that worry about this, e.g. compiler writers and mathematical logicians, but to most of us it just isn't that important. In addition, it's an abstraction that leaks fairly infrequently, and so far we haven't observed it in the way you're implying; the most prominent "leaks" of mathematical logic are likely unprovability or having to accept stronger axioms to prove a particular statement (e.g. Choice or maybe Grothendieck-Tarski).

Addendum: the above is mostly tangential to the original article. The author is very correct that a modern mathematical proof exists, and is formulated to, show another person with suitable background how to work out the truth of a statement. But don't let this form of proof distract you from the existence of the foundations of rigorous proof in general; just as we don't let Ruby's English-like syntax convince us that we aren't truly executing computation. The foundations of mathematical logic are complex, like the transistors on a microchip, but they do "work," in the strongest epistemological sense of the word.
Yes, but then how do you enable support for things that the browser doesn't give you (e.g. someone else talked about pen/stylus input devices)? How do you write something like It'sAllText for Chrome? Current NPAPI-less solutions involve the need to run a separate server to communicate with, which launches the $EDITOR process.
You're correct. When you have a warrant-less search, the reasonable expectation of privacy is balanced against the governments interest in the search. I can't think of situations where a search might be reasonable even if there is an expectation of privacy, because but I can't think of the opposite (though that doesn't mean an example doesn't exist, just that I haven't come across one).
Is your log data presentation worthy?
How can you force anyone to sign away their rights like this? I'm confused. If you want to file a class-action lawsuit, go ahead. No contract can prevent you from doing that.
What does 1994 have to do with it?

Homotopy type theory as a framework for doing proofs is exciting. Vladimir Voevodsky had a talk somewhere on youtube in which he claimed you could get similar length proofs in Coq using HoTT as you could on paper. He's also excited about the prospect of most math papers publishing machine-checked proofs.

I wish I could find the exact video for you.
Who drives in NYC!? We NYS-ers drive everywhere, because it's a massive state with a lot of open space between the interesting things.
Can Chromium use Chrome's Flash PPAPI plugin? Or will Chromium users, without access to Flash PPAPI or NPAPI, have no Flash ?
Why are you worried? From the suits' perspective:

1. Arbitration is going to potentially save hundreds of thousands of dollars down the line if there's a legal issue.

2. Arbitration incredibly favors the company over the customer.

3. Most customers don't understand the value of their right to civil action.

So while an arbitration clause is, in my mind, equivalent to telling your customers you don't actually care about being reliable, many companies are putting them into place just because they can.
Similar project: https://github.com/bear/parsedatetime
Isn't this article from a while back? What's the prompt for it now?

EDIT: Yes, about two years ago: 10/24/2012
I'll update the article to explain a bit more why debugging is described in terms of ptrace: all the other targets work the same way! I studied simulators and corefiles, and they both provide to GDB an interface that is very similar to ptrace. Remote debugging just applies serialization to that interface.
What exactly makes this pseudoscience? Is it pseudoscientific to investigate unlikely or speculative possibilities?

They have presented evidence and a proposed mechanism, have fully published the details of their work, and have invited others to attempt to replicate it or to show where they're wrong. Where's the "pseudo"? It's also important to note that in experimental physics it's more than enough to show an effect that can be replicated. Their currently proposed theoretical explanation could be wrong, but that wouldn't matter.
I believe they're roughly synonymous, yes. The processes of aging and aculturation both involve an ossification of our ideas and concepts that make learning new ones comparatively difficult. Vinod Khosla has talked extensively about how he has to fight these processes in himself to bring a 'beginners mind' to bear on new startup ideas. The median effort required to do this is lower in younger people.

By the way, older people who share the characteristics of being only lightly acculturated (i.e. eccentric) share the relevant characteristics with children and may be able to learn things like languages with childlike speed. Hence, I believe, PG's observation that startup founders of any age tend to be weird, quirky, or poorly socialized in various ways.
This is true to the extent that different goods are economic substitutes for each other. But even if they are perfect substitutes and no net jobs are created, increased competition would reduce prices for consumers, resulting in a net aggregate economic benefit.

I also think 'jobs' is a moronic reason to do things but immigration policy, more than most, is the focus of atavistic political passions rather than rational economic analysis.
OBaa Health, MITGFSA Start-up Is Hiring iOS Devs
Who we are:
OBaa Health, is a startup right out of MIT GFSA (Global Founders Skills Accelerator) and we are looking
for iOS developers. We are building a mobile platform that will allow expectant mothers to receive the
care they need through predictive analytics and algorithms to better direct at-risk patients to doctors for
urgent care.

Traction and Growth
Since MIT GFSA we have secured a crucial partnership with Vodafone, the second largest global wireless
provider, to obtain smartphones that will be pre-loaded with our application for our pilot in Ghana. We
have also been approved by the Ghana Health Service as a national health-care provider, and have begun
enrolling nurses and doctors onto our platform. In November this year, we won a pitch competition
hosted at the Thiel Summit, and are currently being considered for the coveted Thiel Fellowship.
We are now preparing for a US launch of our application and have recruited an iOS developer and an
MBA to head our operations here in the United States.

We are looking for a developer who is passionate about global health and being part of a small, vibrant
and growing start-up. As our first employee, we will be offering equity for a part-time or full-time
commitment.

For more information, contact charles@obaahealth.com
Comments moved to https://news.ycombinator.com/item?id=8653838.
>I won't be deactivating my account over this

Personally, I consider that quote and post contents in general harmful to a stated cause of a post. At the time of writing, this is a top HN story and what message does it convey to other HN users?

Praising Slack on "being humane", stating that Slack "exudes the feeling of a playground built by kids that know all the cool things" and "feels like the best of the Internet" while mildly disagreeing with TOS policy?

Competitors applying pressure over very low probability event that most users won't even know about? Yeah, that's a competitive advantage Hipchat was dreaming about./s

OP could write a raving Slack review with the same effect.
"There is no such thing as bad publicity" is certainly wrong as a general rule, but in this case it fits perfectly.

Btw, Watsi,not Slack, feels like the very best of the Internet but your mileage may certainly vary.
Chip equipment maker ASML sells next-generation extreme ultraviolet systems
Best superfood we must add to our daily diet
Kitchen Sink example: http://semantic-ui.com/kitchen-sink.html

Lots of examples in there, useful to Inspect. I'm glad this got resubmitted or I might have missed out, it seems extremely comprehensive to prototype with.
Interesting that you've found language study techniques useful. I also believe we should teach code like we teach other languages: http://blog.trinket.io/code-and-language/
Telepresence is a "who knows" I think. Communication is all nuance. Who would have expected IM will be more popular than video calling? The only way to know is to get it out there, I guess.

Gaming seems like a good place to experiment though.
Can someone please suggest an accurate, neutral title?
Ask HN: The Tools we used to build a SAAS. 1100/month in 6 wks. Favorite tools?
Friend and I built http://linktexting.com[1] in a few days and launched it 6 weeks ago. Feedback welcome. Doryphores not.

http://populr.me[2] - Worked quickly to mock up the concept and show it to mobile app devs to get their feedback. pwd protection too. http://efabless.populr.me/linktexting[3] (old mockup)

http://linktally.com[4] - Blog post popularity. Blogpostmetrics.com (built this with my friend)

[http://ifttt.com-[5] ] reminders.

http://jetstrap.com[6] Front end bootstrap changes. i like: http://webflow.com[7]

Google Alerts[8] - sms app distribution content.

Hnsearch.com[9] needs no explanation. Hn.algolia

Freelancer.com[10] to find workers for scraping emails of mobile app devs to find the best apps.

Producthunt.com[11] to find cool tools for every aspect of my startup.

Untorch.com[12] - for betalisting a product.

KillerStartups.com[13] - $169 to get listed in a featured blog post.

StartupLister.com[14] - $50 bucks and we got some paid traffic from it.

Leadfeeder.com[15] - free.

Compose.io[16] - for database shtuff.

Heroku.com[17] -- you know what it's for. :)

Hipchat[18] - for team comms.

Stripe[19] - gotta love it.

Chrrp[20] for Stripe notifications.

ReferralSaasquatch[21] - for Customer referral
maximization. Designed for SAAS.

Medium[22] We use this for blogging and had a few very viral posts (over 2K shares and 25K visits + 60% read rate.)

Twilio[25]

SSL Certificate purchased via Godaddy.com

Mandrill.[26]

YouCanBook.me (setup kumarovski.me) and it works great in terms of minimizing email time. Just send them the link and they'll click on an available time.

What tools do you use for your SAAS?
Mathematical animated GIF generator
Warning, 40 megabytes of images.

If the author reads this, consider turning those photograph PNGs into JPEG. There is no reason not to. Also resize them so they are not resized by the browser but shown 1:1.
It is absolutely ridiculous to be uncomfortable with managers seeing employee communications. First off, any time you log in to a machine at most corporations you're told that ALL network activities are monitored. It's not a joke. They are monitored. Every packet you send out and every packet you receive CAN BE RETRIEVED. This isn't new. I'm 30 and have seen this since I was in high school. I'm sure older folk have seen it for even longer.

Next off, you are owed NO privacy on services that your company is paying for for interoffice communication. You never have been. The fact that people bitched and moaned over Hipchat allowing history to be viewed is just ignorant and stupid.

You know why managers have the ability to view these things? Harassment. Sexual, physical, altercations, etc. If your company has more than 5 people these things WILL come up and the INABILITY to retrieve this data is BAD.

We have ALWAYS been able to retrieve this data via XMPP (Openfire), MSOffice Communicator/Lync, etc.

This is NOT some mind blowing new development.
The problem with that line of thinking is the singular focus on stereotypical male profession, while ignoring gender distribution in highly sought after female professions.

It might come as a surprise, but most of the top 10 most sought after professions (based on the applications for university level classes) are female dominated. Men get equally discouraged to do those things outside of the stereotypical "male professions", and there is no mechanism to help correct this. The idea to create male only conferences, universities or network groups for psychologists and veterinaries is seen as a bad joke that no one would ever take seriously, yet those professions has similar or significant worse gender ratios than that for entrepreneurs or technology professionals.

I suspect that we would see much less critique of gender equality mechanisms if those mechanisms were equally used in handling both male and female stereotypes. The result otherwise seems only to reinforce the gender stereotype of women as victims, and ignoring the underlying problem of gender stereotypes discouraged people from picking their own destiny.
>This is similar to being in undergraduate business school vs. graduate business school. The UG where I went (Wharton) were always interested in business (typically). The MBA's had other undergraduate majors and became interested in it later.

I can't speak for Wharton, but the majority of undergraduate business majors I know were pursuing the major because they were pragmatic and knew that it was a good major to be in for a good career. Meanwhile, I know plenty of "other major" people (including myself) who pursued another major in order to gain more concrete skills and knowledge for the industry they were interested in (Electrical Engineering in my case).

I think I agree with you regarding a MBA. A MBA is the ultimate "pragmatic degree" in my eyes, where most people are making a calculated quid pro quo trade of $200,000 and opportunity cost in order to gain concrete things to advance or shift their careers.
Snap Circuits are good for teaching the basics of how electronics work.

MindStorms, in my mind, are really the best choice, despite the high cost. Nothing else is really as kid-friendly as I would like. My wife and I have purchased a few non-Lego sets and none of them have really been comparable.
I am making a living with my windows only projection mapping application http://www.facadesignage.com
It started in 2006 but went online 2 years ago, and that was my best idea ever (i mean going online).
I learned a lot about software, products, funnels, marketing and niches. And best of all: narrowing down the user pain and solving it at the UI level.
And here's the HN thread from when it was originally posted back then:

https://news.ycombinator.com/item?id=4692453