skysight-inc/HackerNews huggingface dataset:
1) Graham Priest is one of the most famous logicians of this century.

2) The LNC is an axiom it doesnt "hold", its either built into what you mean by identity or it isnt. Either way there is no non-circular "hold"ing.

3) Im sure the notions of truth, falsity and consistency are far too technical here for the lay person to get a serious grasp of but i'd be careful of rationalizing your own ignorance by projecting stupidity onto others.
First Life with "Alien" DNA Created in Lab
Social Media Visuals Survey
Same here. Thank you for the feedback. We will try to make it clearer! :)
I'm not sure if you agree with me? That's precisely my point: I bet YC values its partners' time at more than $1500. Hence the to YC.
Reddit is not part of Conde Nast, it is an independent company owned by the same parent company as Conde Nast, Advance Publications.
Now I understand why Pocket chokes on it... too bad.
Views out the window are also very useful for finding the exact location of real estate for sale or rent, when the ad only shows an approximate location.
I think this whole exercise gives you a false sense of security. The thing is, there's a closed-source firmware running on the baseband processor which can do rather nefarious things: https://www.fsf.org/blogs/community/replicant-developers-fin...

So if you really want to be 'free', get rid of the cellphone.
Yes of course we can get away from defining any new systems of logic by simply taking working with different kinds of relations or functions in our classical logic. This doesn't show that non-classical logics are useless but that classical logic and classical mathematics are incredibly powerful and can describe practically anything.

Note that this article is very far from the wishy washy hippie claims like "Everything is connected! And you have your truth man and I have my truth". Instead it gives a popular-science description of some non-classical systems of logic, their historical background and how they relate to Buddhist philosophy and certain problems of reference. Personally I don't really think the logics presented solve these problems in a satisfactory way, but they are definitely of philosophical interest (o/w Cambridge University Press wouldn't have published his "An Introduction to Non-Classical Logic").
SEC: Bitcoin Believers Are Ripe for Scammers
Big Data Startup FeedZai uses machine learning and AI to detect and combat fraud
Non-GAAP is certainly an accounting method. It's especially common for tech companies, because employee stock options are a big cost in GAAP even though the bank account balances don't change.

Also in Tesla's case is their buyback guarantee which is popular in the US market. It's effectively a lease and under GAAP rules that means you don't recognize the full amount of revenue at the time of sale and instead have to do it month by month. That makes a giant difference in revenue recorded even though they have all the cash up front.
Nice read. I too highly encourage people to use CyanogenMod.

One thing that was worth being mentioned is one of the very best features of CyanogenMod: Privacy Guard.

It basically allows grained control over what permissions can an application have (read/write contacts, phone logs, location, etc). It's of course possible to allow an access all the time, or just when needs it.

Thanks to privacy guard, one can use applications that might compromise privacy, without compromising privacy.

When using the "ask every time", I've been surprised how many applications try to access my info for no obvious reason, sometimes even when your phone's idle.
I thought this was a protest of the Google Nest Parody. Someone at TC needs to get a dictionary out and look up the definition of parody and protest.
4 crucial principles for a compelling startup website
Building a powerful startup website takes work, planning and the marriage of all the right elements. Know what you want and research what you need, and your website will help launch your startup and make you a success!
That's a good point. In this case, I think it's pretty clear that you are funding the resurrection-attempt. No guarantees it will work and that the site will then stick around, but you'll be funding the initial resuscitation.
And instead put touch-screen media centres, which aren't distracting at all...
1) newlines reduce the amount of code that you can see on the page at a time. Skipping newlines is identical to purchasing a bigger monitor.

2) Some people group similar functions into classes. I dislike classes and prefer grouping code this way.
Yeap. BUT between trashing your phone and filling it with proprietary apps there is a huge gap. This is what this post is about. I don't claim you'll get ultimate privacy. I'm sure that most people reading my post or commenting here are using a smartphone.
Ah ha! In the back of my mind I knew this wasn't entirely unprecedented, just couldn't remember where.

The scheme, as described in more details by you, is a lot simpler, and less concerning than I was envisioning (figures, given this is Space X). There's no cross tanking, that is, feeding the tanks of the central core from the sides.

Hmmm, although as I remember, when they had to shut down one engine during an ascent, it shed debris because of the pressure imposed by the adjacent engines. But I note the Merlin 1D, while producing significantly more thrust at sea level (nearly 50%), can throttle between 70-100 percent. Obviously they've thought through these stresses, and of course there are structural implications in making them highly reusable, they're willing to trade off weight penalties for durability, and therefore likely strength.

Anyway, thanks for the details, and all the contributions you've made to this topic!
Well $99 for a developer tool is quite some impulse purchase. Can I gently suggest that your upset might be more a case of buyer's remorse than dissatisfaction with their upgrade policy?

If it helps, it does come up on things like MacHeist occasionally, and they have sales once in a while (there's one now, at $79.99, but I've seen it as low as $50).
Javert - protagonist in les miserable. Destroyed in the end by his own mental rigidity. I think you may be trolling :)
That's because 1) calculus is taught in high schools and is generally taught in college regardless of whether you major in CS (so for example someone wanting to self-teach CS after college will have taken calculus). And, calculus is not particularly useful for most CS grads, except for specific areas (theoretical aspects of probability, machine learning, graphics).

Many great CS programs also don't require physics. From my observations, physics requirements in curriculum tend to tacked on solely due to CS being in the engineering school. To be honest, physics beyond a general overview is not really useful for most CS grads, even those doing complex CS-heavy work.

Discrete math, logic, proofs, and probability are all immensely useful in CS. However, they tend to be of a completely different flavor of teaching compared to calculus courses.
The text was just a suggestion, but you are right.
Can't edit it anymore though.... Should be lack of Net Neutrality in the US.
Yep this was my original thought. Thank you for the reply :)
This only works for the big players, who will anyway have the power to negotiate special agreements with the telcos. The problem is the small players, who have no bargaining power. Any form of net neutrality will have a chilling effect on independent innovation.
Beautiful video by the way, a must see:
http://youtu.be/7d16CpWp-ok
Apple releases guidelines for law enforcement data requests
This article is kinda missing the point. The "empty" is the undefined. That which has yet to exist, or never will. There is that which is uncountable, for example the number of corners in a circle. Just because it is a contradiction doesn't mean it is wrong -- maybe your models are wrong. The usefulness of eastern philosophy is to free yourself of preconceived ideas. I think it is obviously clear to everyone today that there are modes of thought that are far inferior to logic. I think it would be supremely arrogant to presume that logic is the best mode of thought that humanity will ever come up with. To try to shoehorn everything to fit into a logical framework feels akin to epicycles to me.
if they post on Twitter, probably they want you to know they are in some fancy hotel. And if you know the skyline very well, you can deduce which one.

What is really good here is that he went through all the steps in the deduction. Most people will not take the time or patience to pick the landmarks and do the perspective.

As for the article, I didn't know Google Earth was so extensive and I learned some interesting geologic features of Miami!
Any plans to support it? Part of my job (historically) has been building line rate pcap appliances that do pcaps at nanosecond resolution (using endace cards, Mellanox, or solarflare). PF_RING is a bit tricky to get working, but is completely flawless when you get it running.

This software looks fantastic however.
Wrong: Commercial != Open Source
Correct: Commercial = Open Source

Prosgres == Commercial & Open Source
[1] TRUE
This is more of a rant, but still, mildly relevant.

I tried to free my Android. I did, I really, really did. I overcame the "your version is not supported by Cyanogenmod" message with a custom build that took forever to find. I overcame the "download the Windows and Windows only installer". I managed to find the Windows-only instructions for unlocking the Bootloader. I managed to install custom drivers for the phone, despite the fact that Windows doesn't really want you to do that anymore.

And then I got stuck, because my phone and Windows 7 are not in speaking terms, so the fastboot tool does nothing.

I spent a couple hours on the task, and yet I haven't even managed to complete step 1. The dead links, the contradicting instructions, the forums full of unanswered questions, it just proved to be too much to me. I'm down to the magic advice now - advice in the lines of "try a different USB port", "change your USB cable" or "restart your computer" (of course). Should I succeed in my task, I may or may not have access to Bluetooth, video and/or tethering - there are contradictory accounts, so I won't really know until I'm done.

"Very detailed instructions"? Yeah, right. How about useful instructions instead?
Now you made me curious about the stats of different age groups accepted into YC.
If you want to learn more about this catuskoti, meaning ‘four corners’ theories there are another one threekoti, meaning ‘three corners’ you need to check Prof. Nalin de silva's works.
http://kalaya.org/

Unfortunately foreigners most of his work is in sinhala.
And only foreigners learn that language is germans,russians,chines and japanes diplomats.
This misses the real argument: If net neutrality falls, your costs will rise. The reason why is that to deliver your movies, Comcast requires that it be paid twice, once through your monthly bill, a second time through Netflix.

That should point out why this is a real problem in a way that harms your pocketbook...
The fatal flaw in your reasoning lies in your assumption that the device will be used to screen for melanoma in the entire population. In reality, it would be used only on patients who show other signs that would normally result in a referral to a specialist (i.e., the chance they have melanoma is much higher than 20/100000). The likelihood of an accurate diagnosis is 85% when this population is examined, and not the general population. As the article states, the likelihood of an accurate diagnosis (85%) is the same regardless of whether it's performed in the traditional manner by a specialist, or if it's performed using this device by a physician who would have otherwise referred the patient to a specialist.

TL;DR: 73.6% of all statistics are made up.
True, but those are the same players who have written to the FCC ( https://news.ycombinator.com/item?id=7713363 ).

This way, they circumvent any lobbying that needs to be done and it should be easier/faster to get things done.
I mentioned that I was playing fast and loose when swapping them. But nevermind that exact process, let's be a bit more direct.

1. Can you give me any function whose derivative is the function I specified? (i.e. I give you permission to force all the integration constants to zero)

2. Can you compute the area under the curve from `x1` to `x2` of the function I specified?

3. Do you agree that you can do (2) but not (1)?
Think this is some spam...
"The only correct view is the absence of all views." - Thich Nhat Hanh (Thay)
Waterproof phones are coming
Should I concentrate on acquisition or retention?
Something that is obviously fake or otherwise different (like the image or frame break-out examples) would also be fine.

But leading someone to believe they have correct data when what they have is potentially embarrassing when used could be something they'd take objection to. Even if not there are two other points of risk: your reputation if something goes wrong and you accidentally give bad data to your paying clients and your reputation if someone, paying or otherwise, shows off the bad data as "the sort crap these people try to sell".

I don't have any specific references, but it is something I would be careful of as there have certainly been similarly ludicrous (IMO) cases on unrelated matters in the past (yes the right side would win, assuming they can afford to).

I may be being too cynical here, then again maybe not...

I did misread the grand-parent post though and this isn't what he was talking about. He was suggesting the bogus data was the message, and I read it as handing out fake data for the scraper along with the message to be seen should a human be looking.
It's difficult to draw conclusions using Maldonado, since he's a pay driver with a well-established reputation for incompetence.

Lotus are getting what they deserve for hiring him for his money over more skilled drivers who could have helped move the team forward.
Exactly.

The problem I see is with giving out bad data while leading people to believe they have obtained useful information (that they then embarrass themselves by using/re-distributing).

I did misread the grand-parent post though: his was suggesting the bogus data was the message, and I read it as handing out fake data for the scraper along with the message to be seen should a human be looking.
It also read as very bitter to me. Puts a lot of the "why we weren't picked" on the interviewers and none really on the site and strategy.

10 minutes is the interview length but it's probably also what you're going to get pitching or trying to convey your plan to potential customers. Less on the web or in radio/TV ads. I imagine that a powerful idea supported by driven people will generally get across quickly.

They also acknowledge that they will miss some future successes - so be it.
Miami Gets Hot with the eMerge Americas Conference
FWIW, if anyone is looking for a dead simple bonding tool, I'd suggest Connectify Switchboard: http://www.connectify.me/switchboard/

I'm using it to bond two 4G interfaces (Verizon + Clearwire) on the train at this very moment. Need to remember to bring a USB wifi adapter next time so I can add the Amtrak wifi to the mix!

edit: No linux support though. :/
One thing that is troubling: the "fix" for this bug with the "tweak" (I personally wouldn't call a change as radical as this a "tweak", but that is what the article calls it, so I'll go with it) prevents you from resizing the window to a horizontal size smaller than that is necessary to display the full domain "Origin Chip".

See https://code.google.com/p/chromium/issues/detail?id=369853
Excellent first rate presentation. Those giving technical talks might want to take note.
Thanks for your reflective follow-up post, it's refreshing to see.
Ask HN: 3 must do things for building user base?
We are building a userbase for our new product teamgum, which is a saas tool for link sharing & knowledge management.

At this point we are looking at kick starting the mission to create a user base. But if you were to list top 3 things that worked for you & 3 things that you did but did not work, what would that be?
e.g. The camera firmware blob could be tagging all your pictures with some kind of hidden watermark. Who knows ?

EDIT: Just to clarify, firmware blobs are not executed "on their own", they are normally executed on a micro-controller that is embedded in the baseband / power management / gpu / any other chip.
Yeah. I want to install Cyanogenmod on my phone, a T-Mobile Moto X. But their wiki page for this device[1] lists only nightly builds, no stable builds whatsoever. I'm sorry, I'm not going to install an automated nightly onto my phone.

Their installation instructions are pretty worthless as well, as they're clearly built from a template with the device name swapped in.

Shambles.

[1]
http://wiki.cyanogenmod.org/w/Xt1053_Info
Bike Parts Online
The firmware that runs the baseband processor manages communication via the radio (and sometimes wifi and bluetooth as well)[0]. Once loaded, that firmware will have plenty of opportunities to phone home or otherwise provide information about your location, activities, etc.

[0]: http://en.wikipedia.org/wiki/Baseband_processor
Can some enlightened soul give me a TL;DR version of this text?? :D
Learn music production by working on multitracks from Peter Gabriel
What's included in the 'needed/useful for practical software engineering' list?
Should you use HTML5 header and footer?
My own opinion regarding on-line academic programs: Accreditation or GTFO.
Chromium removing the option to enable OCSP/CRL
I would hope they sent a bill.
Podio – build your own business apps
Well the post mentioned NSA several times as a motivation for those privacy changes. But the NSA can "talk" to cell operators, and cell operators can talk to baseband chips, and baseband chips can "talk" (DMA) to the rest of your phone, so let's be explicit here: this will not protect you from intelligence agencies / state actors. This only might protect you from overly targeted ads.
narrow corridors and so called "bug traps" are known pathological cases for standard RRTs. The RRT approach was never gonna work, implemented correctly or otherwise. See my other comment for a proper way of doing it with guarantees on coverage.
I recently went through the instant interview/rejection process at an up-and-comming SV start-up, and can relate to the OP's confusion. I am also in my 40s and at first wondered how the obviously flawed process could produce reasonable results. The number of false negatives must be staggering. I think the key for them is that incoming volume more than compensates for missed opportunities. This is the luxury of the hyper-successful. I think that for a business owner (or very busy engineer in my case) applying into these types of organizations, you need to expend a lot more effort on applying, researching and preparing for the actual interview than on the specifics of your skills and/or business.
I would have enjoyed this article if it dropped the Buddhism and kept the math.

Alternate logics are interesting, but you tend to be able to reduce them into each other in the same way that universal turing machines can simulate each other. They don't add new functionality, they add succinctness. So it's really strange to me to frame them as totally different philosophies.

For example, it is the case that self-referential statements don't always have well-defined truth values and that allowing them to have values like {} and {false,true} is a fruitful way to think about it. But this approach can be grounded in two-valued logic (and vice versa), and it doesn't solve the problem of self-reference (consider "This statement is not {}, is not {false}, is not {true}, is not {false,true}").
It's an ugly website but this is the best book about running creative teams/companies I've read in many, many years.
Actually as far as google is concerned, your first sentence is completely valid
There is usually little or no security boundary between the AP and complex peripherals (like the baseband, cameras, GPU, audio subsystem, etc.) Usually these will have direct access to main memory (like having a DMA channel given to them), and will have firmware loaded into them by the AP at boot. After which, they can damage the integrity and privacy of your 100%-OSS AP software.

The baseband, particularly, is of concern because it's connected to the outside world, and is powerful and complex. And almost always closed, and provided by an American company (Qualcomm).
Very well done.

Any background on how this is built? E.g. chat engine etc?
Making Chef as simple as Ansible
I remember he came to my school and talked about beagle when I was in my early teens and I found it very inspiring - part of the reason I'm working in tech today.
Why would anybody ever write code that isn't intended to be executed?

The camera executes its firmware, and it has direct access to the memory, flash, network, etc.
Can you elaborate how a lack of accreditation lowers the effectiveness of any academic program? A lot of real-world learning that is useful is not via a "accredited" source.
- Remove Google analytics from CyanogenMod by flashing freecygn.
- Stop CyanogenMod from reporting tethering usage to your
provider, by changing the "tether dun required" setting.

How is that not default in Cyanogenmod ?
London black taxis plan congestion chaos to block Uber
It especially adds something that I have to run. Nowadays, I can just push a static site to S3 and am done.

Considering that most programming languages ship with a good webserver for serving static content already, I don't see how it makes the product that much more complex. Coming from another angle: now I have a webserver that renders markdown ;).
There are some modal controls for secondary functions, like the aptly-named MFRS (multi-function rotary switch) but by and large they are single purpose as you pointed out. In terms of UI takeaways, I noticed that they did a pretty good job of laying out functionally-opposite buttons symmetrically on each side of the wheel, so your if your right thumb hits param+ then your left thumb will hit param-, to mistake-proof operations and emphasize muscle memory while reducing cognitive load. Also the nominal positions of the rotary switches are consistently colored white, for similar reasons.
Cryptocat is nice for messaging: https://crypto.cat
True, but NSA is mentioned just because it made these discussions more vivid and relevant over the last months. The post doesn't claim that you get an NSA-proof phone. I don't think such thing exists.
There is also Go, Thoughtworks Continous Integration Platform.

http://www.thoughtworks.com/products/go-continuous-delivery

(although it came later)
It is possible to give a rigorous mathematical definition of a logic that deals with contradictions and propositions that cannot be assigned a truth value. This has parallels with traditions in Buddhism and helps resolve paradoxes which are problematic for traditional Western logic (e.g., "this sentence is false").