skysight-inc/HackerNews huggingface dataset:
Life's too short to read Wolfram when he gets going, so I only skimmed it; but: where? I see:

> In a sense an axiom system is a way of giving constraints too: it doesn’t say that such-and-such an operator “is Nand”; it just says that the operator must satisfy certain constraints. And even for something like standard Peano arithmetic, we know from Gödel’s Theorem that we can never ultimately resolve the constraints–we can never nail down that the thing we denote by “+” in the axioms is the particular operation of ordinary integer addition. Of course, we can still prove plenty of theorems about “+”, and those are what we choose from for our report.

and:

> But there will inevitably be some limitations—resulting in fact from features of mathematics itself. For example, it won’t necessarily be easy to tell what theorem might apply to what, or even what theorems might be equivalent. Ultimately these are classic theoretically undecidable problems—and I suspect that they will often actually be difficult in practical cases too. And at the very least, all of them involve the same kind of basic process as automated theorem proving.

Are these what you mean? Both of these seem to amount to, "Sure, mathematicians say you can't do it, but I hold out hope", an argument which is no more persuasive than one would expect to find from various circle-squarers. Less subjectively, they both seem to miss the point; the incompleteness results, for example, do not just say that certain theorems aren't clearly specified, or are equivalent to unknown other theorems, or vague things like that, but specifically that there are true but unproveable theorems—putting paid to any attempt at complete automation.

I emphasise again that this is only a knock if you dream grandiosely of capturing all of mathematics in an automated (or, as Khaki pointed out above (https://news.ycombinator.com/item?id=8170062) that I should really be saying, even formal but human-constructed) framework; it says nothing about the feasibility of automated theorem-proving for some results, and, indeed, we have a success story for one such result on the front page even now: https://news.ycombinator.com/item?id=8169686 .
The Entscheidungsproblem says that proving theorems is at least as hard as the halting problem. This seems irrelevant to the issue of whether human input is essential for finding or proving interesting theorems.
Ha! I didn't even realize they were already going this way (car-pool coordination). Thanks for bringing them up!

UberPool and Lyft Line seem like exactly the sort of quick innovations on the matchmaking side that can provide real value for customers, especially if they act as escrow and clearing house to automatically split fares among carpoolers. Looks like Lyft Line is trying to eat the upside by just providing a slightly discounted fare. Can't tell how UberPool is handling it from my quick scan.
By nature I primarily work independently,(aka: an "Introvert")which doesn't need "tooting-ones-own-horn".

However after reading your article it was as if I was reading my very own personal philosophy..."Some of the best product leaders I’ve met seem to manage their teams effortlessly. They push without forcing, inspire without dictating, and generate loyalty without playing favorites. They demonstrate discipline while also knowing exactly when to not follow the process—all while leaving their egos at the door."
Only after hearing the expressions of appreciation repeatedly from my team, did i understand I have successfully managed people! I didn't know. But they did come to work feeling respected for the professionals that I knew they were and hired to be.
Myself, always thought my roles were "Project" as every new opportunity I've viewed. But because I've been driven by "the product", and communicated, I am changing my LinkedIn "brand" to "product" manager.

THANK YOU! YOUR words were confirmation for me,(introvert and extrovert sides). So I am humbly stating that yes, I would believe I am a good Product Manager; having had to wear my "Extrovert" hat.
(did i mention I am a loyal follower of AHA! :-)
Respectfully, thank you for the opportunity!
Carla S.
> Many of the students that we send to college are not mentally ready to be successful at college.

> On setting goals, and then largely giving students freedom in how they approach and attack those goals.

I don't think this even happens in many colleges. Paradoxically, at the better resourced universities, the student has enough advisors and guidance that they're often simply walked through their degree program without too much decision making on the student's part.

I'm reminded of a friend of mine who went to a very nice private school and got her B.A., started her career and decided to go to school for her M.S. Except she went to the local state commuter university while she was working and simply couldn't figure out how to navigate a system where the student was expected to figure out everything from their prerequesites to planning their class load and specialization - advisors were rare and hard to get a hold of.

She was simply overwhelmed by all this and really had lots of second thoughts about staying at the school. We talked about it and I asked her what he experience had been like at her undergrad. She said from day 1 she had basically always had an advisor of some sort to call upon to help her set her schedule and priorities, make sure degree requirements were being met, etc. And the advisor:student ratio was some ridiculously low number. I told her that at regular 'ol state school, you have to buck up a bit and fend for yourself. It means you have to do extra work to figure things out, but you also can get more flexibility for your degree goals.

She ended up sticking it out, but I was kind of surprised at the struggle since I had just taken the lack of guidance for granted.
Can someone name a successful, on-time, major hardware kickstarter project?
What's the network effect here? I can pull up either app.

I guess the lock-in is in the driver side. They could stipulate that they must be uber or lyft only. But drivers will eventually leave if consumers do. And especially with much less regulation and overhead, drivers can switch over much easier than cabbies can get a badge. This is all great. We need all actors to be able to switch for there to be healthy competition.

If the regulation efforts hit back and make it impossible for drivers to move, then we're stuck with one company or the other. But both uber and lyft have positioned themselves as anti-regulation (in the sense that they claim they're not cabs) so the acting forces make it seem like it's difficult that they can pull off a deal with local governments that lock drivers in.
The typical interview in the silicon valley goes like this:

him: you're coding netflix, which db you use?

you: [insert any relational db name here]

him: but what if you have a gazillion users?

you: ok ok, i'll use mongodb (sigh)
Feel humbled to read about him. Floored!
It is, oddly enough.

It's interesting that this particular product would make use of the gimmick, however, given it's potential international market.
Mono 3.6.0 is out
Return Gmail Full Screens, Great Design, and Distraction-free Email
Or you could just use SMM or IPMI.
I'm guessing it does 100w only at 20v, which is 5A, which, with proper engineering, could be carried over 22-24 AWG wire according to https://www.eol.ucar.edu/rtf/facilities/isff/LOCAL_access_on...

For an example of how thick 24AWG wire is (22 is thicker), your standard CAT5E wire is 8 strands of 24AWG, so with the current-standard USB wiring of VCC (5v DC pos), Data (neg), Data (pos), GND (5v DC neg), it'd be ~half as thick as CatV (but would probably have different shielding). However, according to http://pinoutsguide.com/Slots/usb_3_0_connector_pinout.shtml , the powered USB 3.0 connector has 11 pins, which would be ~lamp cord thickness, or probably comparable to those ~10ft USB printer cables.

Consider how thick overhead power lines are and how much power they carry in watts, and how thick + long your vacuum cleaner cord is with how much that carries (a Dyson DC33 takes 1190 watts): http://www.cockeyed.com/science/power_use_database/dyson_vac...

Here is a good primer on wire capacity and how it relates to volts, amps, watts, and wire diameter: http://www.rowand.net/Shop/Tech/WireCapacityChart.htm

TL;DR totally possible with 20vdc to use a wire thinner than a BIC pen to deliver 100w ~6ft in addition to high-speed data.
The FedEX UPS example doesn't apply because their services are limited by physical infrastructure. The have to buy/lease trucks and distributions centers. Uber and Lyft have no physical limits so the larger one can always undercut the other out of business once it has enough of a competitive advantage. Once Uber is the name brand service for consumers drivers will no longer have a choice and Uber can price squeeze Lyft to death.
Martin Hairer is a OS X developer and the author of the fantastic Amadeus multi-track audio editor.

http://www.hairersoft.com
Seriously, I've only ever damaged a USB plug when forcing it to go in the wrong way, which this will prevent.
Read up on Medeco. An expert lock smith might be able to pick it in his career, once. That's an $80 lock. Now look at Kwikset from HomeDepot for $11. An amateur can pick that lock in 2 seconds flat.

In short, the Medeco lock basically has every deterrent you can put into a lock that the industry knows about. Medeco to Kwikset is like a major payment processor's portal to a Wordpress site with a shopping cart plugin for seeing specialty cat themed oven mitts. You get what you pay for if you high someone that knows what they're doing.
I checked with gmail. Initial email is getting caught by spam filters. Nice site, good luck with this.
Further reading: http://en.wikipedia.org/wiki/Unique_games_conjecture
If Uber or another service worked with these accessible taxis, it would be a true game changer. Yes, some local taxi services allow you to request wheelchair accessible cars, but you are going to often wait a very long time for them (if they ever come). Also some dispatchers are just not polite about it.

Imagine if you could request one with the click of a button and track its arrival? That would be so helpful.
Yes, sort of like that only. I found a good list on http://www.4icu.org/ , and wikipedia too have list of many colleges and universities.

But information about all colleges associated with university is generally available only on specific site of university, and many times those are in pdf.

Having said that, my above requirement(college associated with university) itself is secondary. I found the list of universities at many places , but not the list of colleges.

So for now just getting a list of all college with location is enough for me.
This tool involves switching to Emacs to compose a message body, while doing all of your mail interactions with the web interface. Once composing is done, the content is sent to the browser. Optionally, you can write in markdown, processing that before the hand-off back to the browser.

It would be possible to eliminate the back-and-forth jumping, just doing everything in Emacs, using the recently-announced Gmail API[1]. To the author, is this something you've considered doing? I'd use something like that.

[1] https://developers.google.com/gmail/api/
In regards to your "response" to the risk of transgene flow, frankly I don't even know where to begin...

First, what you cite is not a comment from APHIS, but a verbatim quote from an earlier post from your company blog [1]; which is supposed to be a draft outline of proposed biosafety tests, but which largely consists of paraphrases and language from two already completed APHIS plant pest risk assessments for a completely unrelated rose variety using plasmid transgenes, some of whose conclusions and comments you then use to (wrongly) extrapolate about your product and its risks. This is highly misleading, to say the least.

Second, your statements about transgene flow risk are outdated and mischaracterize current knowledge. Suffice to say, your technical team (or even any of the experts you engage with, say, in SYNBIO 7) is more than capable of briefing you on the current re-assessment and state of the art.

Best of luck with your project, but do keep in mind ethical obligations to your stakeholders override any other imperatives or agendas you might have.

[1] http://blog.glowingplant.com/post/57840496382/tests-we-plan-...
Gmail's implementation of IMAP is quite broken (and the XMPP/Jabber one too!).

But you can achieve a local setup which rivals with Gmail by combining mutt and/or notmuch/mu and isync (mbsync). And it's quite possible to keep it sync'ed with Gmail, although there might be some rough edges.

Personally, I don't thing tags are that useful if you have a fast and expressive local search engine like notmuch or mu (xapian-based), but YMMV.
What does Uber want, some kind of government regulation to protect them?
Displaced Dynamic Expression Regression for Real-time Facial Tracking, Animation
I agree that I should not have singled out automated mathematics as uniquely vulnerable—human efforts at formalisation are also subject to limitations. I was also conflating Turing's work on the Entscheidungsproblem with Gödel's not-unrelated but meaningfully distinct incompleteness results, which are more relevant to the point that I was trying to make.

Nonetheless, I point out that I did not claim that human input was essential either for finding or proving interesting theorems (although proveable results about (non-)computeability seem as close as one could get to such a statement!), but only that math could never be completely automated (or, to use what, as you implicitly point out, is a more appropriate term, even formalised).
You can just use the settings to default to text emails, as I do.
The network effect starts with the drivers. Whoever can become the reliable service by always having a driver nearby will become the first app opened. Right now consumers are going to where the drivers are, but eventually that will flip for Uber once it reaches the saturation point. Then Uber will proceed squeeze everyone(including the drivers).

Ebay is probably a good analogue for ride sharing.
Innovation: Patents that kill
Maybe I'm old, but I don't understand why this is art and why pulling a stupid juvenile prank makes the people who did it "artists".

Is art really this dead?
BRiTi
BRiTi provides you an online platform to share buy, sell, auction and product reviews.
There is a complex cause here, and the actual contribution of natural sunlight to the observed effect can't be easily separated from any other possible contributing factors.

Not the least of which being that windowless workspaces are usually given to lower status workers, and lower status workers are more stressed in the workplace. Given what we know of circadian cycles from the study of people living in sealed apartments with all timekeeping cues removed, even the very short exposure to natural light one might get during a commute is sufficient to synchronize the internal clock. I'd be more inclined to blame the cortisol than blame the tube lights.

But if it means more natural sunlight in the workplace, I'm prepared to pretend the article is groundbreaking, ironclad science.
Extradition in 3, 2, 1...
steveklabnik posted a good link for PG's take on downvotes--do we have a similar reference for flagging? I recall a couple of polls on it, but beyond that, nothing comes to mind.
The cable that came with my Moto G improves on this by making the top, logo side slightly concave and the other side slightly convex. You can literally feel which way up you've got the plug.
I don't think mh semantics could map to an IMAP server at all. I miss mh, but I switched to mu and isync, and it works OK.
If you now consider that the only way to use that energy is through combustion, and that an combustion engine is only 1/4th as efficient as an electric one, that factor suddenly shrinks to 12.5 - 25 already.

Frankly, energy density is a bit of an distraction. If we go by energy density alone, we would presumably all be cruising on Uranium, which energy density is... well off the charts.

But there a plenty of good reasons we don't fuel transport with Uranium, and there are just as many good reasons why we shouldn't continue to use gasoline.
What existing infrastructure can hydrogen use? Sure, there are natural gas pipelines in place, just like there are electric transmission lines in place; what other infrastructure can hydrogen take advantage of? Why would that infrastructure need less upgrading than the electric infrastructure? (Serious non-rhetorical questions to which I don't know the answers)
Same here.

> Outside views are often badges of seniority or achievement in the work world

To be fair though, if you're doing a scientific study and observe the data to trend in that direction, it's reasonably certain that this is something that you're going to try to control.

From the journal link:

> Participants (N = 49) included 27 workers working in windowless environments and 22 comparable workers in workplaces with significantly more daylight.

My guess is that the they attempted to control for workers to ensure that the demographics were similar. I guess the actual journal article will go into more detail here.
4) Security testing becomes a norm and there will be easy to use tools/services. Regulation doesn't help here. Everyone makes mistakes, the better developers just make less.

There is no reason not to have these tools if you have so many easy to use ones available for intrusion.

I happen to have known a local startup that was working on such a service: intrusion/security testing SaaS. Their model was something like giving a simple dashboard/report that the management could easily understand and act on if needed. They also thought about having a badge that the verified sites could display, as a proof towards their users that they are secure. Unfortunately they, and their VC, screwed it up big time.
This is a bit of a fallacy, especially in extremely large markets and this market in particular. A good example comparison is Zillow/Trulia. Zillow only does +$50mm more in revenue than Trulia (despite the fact they bought them for $3.5b).
Is there a reason you called the email field "Email Id" instead of "Email address"?
Also, people read pages from left to right. So a first-time visitor would see the "Check reply" section first, which is useless for all first-time visitors. Did you consider swapping the left and right columns?
I gave up on Dropbox on ipad ever since using Bittorrent Sync. Dropbox started forcing me to keep their app open (to sync). Not going to happen. Bittorrent sync works like a charm to get the photos/videos off of ipad. I don't see a need for Dropbox anymore.
OK, why not?

Serious question, here. Things like gigantic hurricanes flooding their data centers should factor into it, right? Risk of war destroying the data center should factor into it, right? (I mean, would you trust S3 to the same degree if all of their data centers were located in Gaza?) So why shouldn't a scenario like "all of our data centers are simultaneously destroyed as part of a worldwide nuclear conflict" factor into it?
Since there are still ~200 countries without a Fields Medal, this isn't mathematically remarkable in comparison to the parent point.

So, I understand instead that you're identifying this as notable for the following reason:

There are 100 times more women in the world than Canadians, yet women and Canadians have the same number of Fields Medals.
> As someone who builds his businesses by reasoning from first principles, he justifiably doesn't understand the idea of swapping a 20% efficient (if you're very lucky) combustion engine with a 10% efficient, experimental fuel cell when you could instead use a dead simple, clean and 80%+ efficient electric motor.

You're comparing apples and oranges. That electricity isn't generated via a particularly efficient mechanism after all.
iPhone vs. Tricorder: Seeing the Future with Blurred Vision
I'm surprised they're not calling it ~"USB Smart" like Bluetooth: http://www.bluetooth.com/Pages/Bluetooth-Smart-Devices.aspx

The logo for "USB 3.1 SuperSpeed +" is very similar to the current "SuperSpeed USB" logo: http://low-powerdesign.com/donovansbrain/wp-content/uploads/...

EDIT: Here's the USB 3.1 logo (USB 3.0 logo above for comparison): http://upload.wikimedia.org/wikipedia/commons/4/4c/Usb-3.1-l...
Although fixing a bug requires analyzing the offending code, we weren't able to effectively narrow down the area of inspection through manual means (diff analysis, stack trace, git bisect). We instead narrowed down the area of code using sandboxing and non-trivial conditional breakpointing.

To fix the SSL library, we first used dup() to properly refcount the FD and then did more long-term restructuring to properly couple the FD & SSL object lifetime later.
That's global figures. The US market was much more strongly polarized: http://vgsales.wikia.com/wiki/NPD_Seventh_generation
You just refuted your own comment upthread and pretended like that was a rebuttal!
Performance in terms of request throughput you can serve per minute for some given set of CPU and RAM.

Erlang processing is slower than C by quite a bit but the reduced threading costs tends to make up for it when you are in a scenario where you need to serve multiple requests simultaneously.

On an apples to apples comparison well written C is going to beat erlang on this every time but once you start getting into threading, mutex locks etc. the equation starts to shift more towards Erlang favor _as long_ as each request you are serving is not highly computational in nature and would involve semaphores, and so on for thread management in c.
These Programming Languages Have The Most (And Fewest) Female Coders
My opinion: the comment was a little on the weak side, but the analysis on your blog is sound. In other words, I agree that this blog post is likely to be signalling. Not that I disagree with the signal being sent. It's a sensible signal to want to send!
If lyft creates (or has) an API, then you could easily schedule the cheapest ride.

I'd really like to see a blockchain-based distributed ride service though. Drivers get 100%, but the issues of insurance, reputation, etc. would be hard.
Thanks for this reply. will soon change it.
Google's Satellites Could Soon See Your Face from Space
That was all I could think about when I read his post.
If you're looking for a fast IMAP syncing tool, isync (mbync) is great. I used offlineimap for many years, but it was buggy, slow and heavy.

It's a tiny C utility written by the mutt creator, Theodore Tso and others, so it's very good as expected.
> I can erase or alter logs, but then there are logs logged of me vi'ing logs, so I erase the shell history, but then that gets logged when I log out. It's a weird loop I don't know how to defeat, but some people do.

This is trivial, but you need to be familiar with the environment variables used by bash. unset HISTFILE
Feynman and the Bomb
$30B Cash  border crossing
Wow! I seem to have touched a nerve.
Slate article on using BGP hijacking to redirect mined bitcoins from an hour ago. Relevant? http://www.slate.com/articles/technology/future_tense/2014/0...

edit: I'll take it by the downvotes without responses that's a "no"?
SPDY (pre-Apple's version) + Open Source SSL Library + Perf Mods