skysight-inc/HackerNews huggingface dataset:
Agreed..

> Therefore, all basic claims are more or less false. We just do not know why they are false. The entire body of science and mathematics therefore does not rest on a set of true statements but on a set of difficult-to-prove-false statements. Disproving a claim may even require showing where we can find a bug in the successor function. This is seriously hard, but still possible, because we know that these bugs must exist.

We do NOT know that these bugs exist. Gödel has shown us that any useful formalization of mathematics (such as the commonly utilized Zermelo–Fraenkel "ZF" set theory) cannot prove its own consistency. However, that does not imply that it must be inconsistant.

The fact that thousands of mathematicians have used ZF for about a hundred years without finding a contradiction makes me confident that even if it's inconsistant, we should be able to patch it up easily enough. But honestly I don't expect that to happen.
The good — and the bad — about the NYT’s Snow Fall feature
By that logic, no law is regulation.
>The real issue for intel is 7W is not worth 100$ to most consumers. OEM's have been selling good plenty of 400$ laptops for a while and tablet manufactures can always down-clock a laptop CPU from AMD.

This is the kind of logic that says selling one million of $1 products is better than selling 100.000 of $10 products. I beg to differ...
While using just bootstrap is obviously lazy design, what about bootstrap is designed poorly?
Japanese children learn super-fast mathematics with abacus
Is this article meant to be a joke?

He goes from the statement
"For any formal effectively generated theory T including basic arithmetical truths and also certain truths about formal provability, if T includes a statement of its own consistency then T is inconsistent."
To "all basic claims are more or less false."
If we could actually prove that all claims were false, we would be in violation of the Incompletness theorum.

Not to mention the absurtidy of his conclusion. Proving a statement for a set of values you thought of is far more likely to be wrong than proving it with formal mathamatics.
When I think "powered solely by gravity" I think of something like a hydro electric plant which can generate more energy than is required to operate it.

At any rate, the phrase was written by Enpundit, not GravityLight. Their indiegogo page is less dramatic and more scientific about what powers their lamp:

http://www.indiegogo.com/projects/282006
Same here. Windows 8 /w AMD Phenom II
I've heard Jobs called a lot of things over the years (mostly the C word, if we're honest), but lucky? As in "merely" lucky? Nah.

The guy had a head on his shoulders, you've got to give him that.
I'd be happy if the updated chrome for android to anything above 18. With that new update I'll be 7 versions behind. WTF Google?
There are competitors, but none of them are a threat. The Contour has some traction, and the Sony ActionCam is pretty decent spec-wise, but nothing compares to the GoPro HD3 Black edition: 120FPS @ 720p, 240FPS @ WVGA, and even 30FPS @ 2.7k. They are still a generation or two ahead of their competitors.

The only thing I wish the HD3 Black had was GPS so that you could geotag your videos. That's about the biggest missing piece to that camera, otherwise it would be perfect.
You couldn't possibly miss all 8 pieces. As soon as you make one attempt you'll get one piece.
Why would it have to be "C code"? LLVM can compile any kind of code with the appropriate front-end. For example, Apple uses it in their OpenGL pipeline, in the (previously Apple sponsored) MacRuby, etc.
The funny thing is that Canon, in particular, pretty much stumbled into pro/prosumer video and has done very well with it. Whether it causes itself harm by starting to try to deliberately segment its video and stills/prosumer video market remains to be seen.

But, yeah, they weren't aiming for the sports video market and they don't especially have a brand there. Actually, neither Nikon nor Canon have an especial brand in even waterproof cameras. (Canon does have one--only recently updated--Nikon AFAIK does not.) The point about getting out of bed in the morning is probably relevant. You get to a certain size of company and even large niches aren't especially interesting.
How we gave colors names
> Unfortunately the amount of time it takes to get a feature like this into an Intel CPU is a bit mind boggling.

I think this is an unfair feature comparison. Zeroing L1 cache is way simpler operation than TM which has been designed to support two modes of operation [legacy -- which only speeds up traditional LOCK-based synchronization -- and true TM], must support transaction aborts and restarts, etc. Also, 10 years ago, TM was still a very active research area -- i.e., people had no clue about which ideas were performant and scalable and, not the least, feasible to implement in HW.
Yes, we are aware of it. Some AMD and some old Mac processors run behind on some processor libraries we use. We are working to enable them and make it backwards compatible.
Show HN: emojify.js, an easy way to show emoji icons
Pyongyang Racer, the first ever video game developed in North Korea
There's always Apple stuff...
Yes, there is but will be quite hard as with Linux we always have to worry about webcam drivers as they will be very diff. We are looking into this as well.
That was Detachment 2702 (which was originally Detachment 2701, but Lawrence worried that Rudy would notice the name since it's the product of two primes)
Can't upvote this enough. When you live at the bottom of the stack, you can't be cavalier about your constant overheads. Practically any overhead you can think of is going to be multiplied by "n" in someone's O(n).
I've used GoPros a few times on road trips, and they are fantastic.

I did a time lapse of 5 days driving through the South-West on one occasion, and new SLC on another, and the picture quality is great, and its time lapse functionality is really amazing. The only problem is that it generates a lot of data... I had to scale down from 1 pic per second to 1 pic every 10s, and I still had about 30GB of data. Anyone considering using the GoPro for time lapse, though, 1s frequency is what you want for a smooth video afterwards, 10s is too coarse and it gets really jumpy.
We will have API/SDK at some point next year. We will begin signing-up folks early next year for it.
Hi HN, this is my first real close-to-completion project.

It just about fits my needs, but I think the Javascript can be improved on, and I definitely need some help with the CSS. Would love for someone to have a quick look at it and maybe give me some pointers.

Thanks!
Google is honouring him with a doodle today

Edit: Looks like Google is displaying it only in India

https://www.google.co.in/
PokeHub.com for sale highest bidder takes it
After the new Poke announcement. Maybe an entrepreneur wants the domain PokeHub?
Is there a Chrome extension to block TC and PD posts from HN?
So when you e-mail investors, they know you mean business.
It is also an example of the stuff that these particular unpaid volunteers, working on their own project for fun for years on end, wanted to write.

Open source projects are not always about marketing, adoption and being friendly to everyone. Heck, this particular project didn't even have a stable release for over 10 years...
I'll start learning Scala more seriously, most likely with Coursera's help.
> Gödel's 1931 Second Incompleteness Theorem insists that it is strictly forbidden to ever claim the truth of any scientific or mathematical statement

That is grossly wrong interpretation of the theorem. I stopped reading the article right there.
It would require a serious investment to make a camera that would exceed GoPro in terms of quality and reliability, and then even more investment in marketing to get some sort of consumer mindshare. All of this for a market that is something like 5-10% of their point and shoot market. It's the type of gamble most companies aren't willing to make.
Researchers announce first successful cryptanalytic attack on Keccak-512 (SHA-3)
Are you being honest with numbers?
>It is shockingly simple to get at least near the level of Apple products: don't let your vendors ship crapware on the device.

Well, you also need to get the actual hardware on par. Cheap plastic won't do. Get the machining and the materials right.

Oh, and let the users UPGRADE between versions of Android. What the duck is up with that?
Is it difficult to support gestures for up/down volume?
>I have a friend that really loves Sony laptop hardware. Every time he buys one, though, he has to spend a day cleaning off the bloatware. It literally goes from a sluggish Windows filled with crap to reasonable OS.

OT, but don't bother doing that. Just re-install Windows from scratch and download only the drivers you need from Sony.
There is a lot of other stuff to factor in.

First and foremost, are you happy and do you see a future for yourself there? If the company's primary focus is software, then defense is less of a concern than if software is adjunct to the core business. Do you drive profit, or are you a cost center?

Are there people there you can learn from? It sounds like the company is doing well ($166k to $500k profit per employee--profit, not revenue), but if you are 2 years in and already the biggest fish in the pond, then you may have a decision to make, possibly based on whether you can get any equity or not. The small size of the company is a plus, particularly if they are software focused.

If you have any ambition or dream to move to a commercial company, now is probably the time. While defense can provide a premium (especially in the NoVa market), it also tends to come with a bit of a stigma around process that can be hard to shake if you are immersed in it too long (both in terms of habits and perceptions those outside the industry can have). Take your experience and make the jump to an industry that suits your tastes. Loving what you do and sticking with it can yield better financial outcomes than can simply trying to optimize a situation that is "just a job".

If your current company is growing, and you are growing with it, and if you see some of the shared upside...then don't worry so much about base rate. Your skills and ambition will keep you a big fish in that pond and you should start to see the upside soon.
It's disappointing that there's no 'what's new' or introduction to E or even a proper gallery of screenshots. I actually know E fairly well having used versions 14-16, but it's been about a decade...maybe presenting it a bit better would result in a larger userbase?
Single member LLC
I am looking into setting up a single member LLC. While doing my research, I've come across a few articles where the corporate veil was pierced for SMLLCs for various alter-ego reasons (e.g. not filing an 8832 with IRS which I found surprising). I do have a meeting with a lawyer set up next month but want to be as knowledgeable as possible before I go there.

1- Do you have any ideas/links about the safest way to set up a single member entity that would shield me from personal liability? I live in WA if that is relevant.

2- If I incorporate/LLC in say Nevada/Wyoming (which seem to have good SMLLC protection), but still do my business, foreign register and live in another state (WA), which law would typically be applied if I'm sued externally by (a) someone in WA, (b) someone in NV or (c) someone outside of both. i.e. do I really get any protection incorporating/LLC-ing outside my home state or will the states apply their own laws making it moot?
Just bought the book.

This is more of a comment about Hyperink: It looks like a really nice platform, and seems like they do good marketing too. The only confusing part with the purchase process initially was that they only show iPad and PDF highlighted as available formats. Nook and Kindle look greyed-out (??). I was just hoping to get an ePub, so wasn't sure if I'll get one. Eventually it gave me a much clearer list of options to download from: pdf, epub and mobi.

Why not simply showing those options with the same terminology in the first place??
And then the same people write equally wrong articles about things going on today and nobody remembers how colossally wrong they were before.
Heck, this particular project didn't even have a stable release for over 10 years...

...meaning the self-absorbed wank is even less justified. And I'm a fan of E.
Show HN: Experiments with Cocos2D iOS - Everyday Christian Prayers
We have been experimenting with Cocos2D since last few Years. Cocos2D is considered to be used for Games and Physics Engine.

This complete application is built with Cocos2D and it looks and works amazing!

You can ask questions about how we made animations happen and how the Wagon Wheel is been made!
Academic Ranking of World Universities in Computer Science - 2012
The Illustrated Meaning of Life
Well, for any statement that you did not like in my article, write a program to show me that the statement is wrong.
Instead of ad hominem arguments -- bête et méchant -- for any statement that you do not like in my article, write a program to show that it is wrong.
"A little learning is a dangerous thing" -- Alexander Pope
> Cheap plastic won't do.

I have never doubted that my Android phones are tougher than iPhones. I drop my Galaxy Nexus constantly on concrete without issue. Every single one of my family members has broken an iPhone screen in the last year, year and a half.
Henrik's math calculated the chance of missing the "I love you" piece each time. The chance of missing any one other piece each time is the same.
It gets even worse. I can't tell if this guy is pulling my leg, or if he's just a crank.
We've been working in it. Besides gesture we also have to get speed and few other nuances right. We will release 4 more gestures in Jan/Feb timeframe.
Stop Conflating Violence and Mental Illness
Why don't you write a program to show that a particular statement in my article would be wrong?
assert(0)
Blizzard actually did this in Warcraft 3, the chance of getting a Critical Strike or related effect went up every time you failed, and down every time you succeeded.
I wish more people would try out CM10. It's too easy to do, with little to no downside (I've been running GN 4.2 nightlies for weeks now provided by fitsnugly and never have had stability problems, plus, all of the features: adjustable Quick Settings is the latest).
I actually saw The Hobbit thrice. In IMAX 3D, "Real-3D", and HFR 3D. I do have to say that you can tell the difference when watching in HFR. It felt as if the video was fluid or even slightly fast forward. Like you are moving a bit faster than you should be. Strange, but clearly the future of motion picture.
This had me grinning like a maniac the whole way through. Delightful. And the PHP at the end is a masterstroke.
The "even frames" method of comparison you describe is flawed. Motion blur is very important to our perception of motion, and is the reason that motion at 24fps can look great on exposed film (lots of blur) and terrible in video games (no blur). When you skip half of the frames you have thrown out motion blur information that could have been present had the lower-rate source been created at that rate in the first place.

But yes, It would be neat to experience some legitimate side-by-side comparison of frame rates / motion blurs. Such a comparison has subtleties that make it hard to do fairly and cheaply.

http://100fps.com/how_many_frames_can_humans_see.htm
(edit to fix small typo)
My iPad doesn't have that button...
It should be. x64 has speed improvements (due to quirks), and Win64 has important security improvements.

From the article:

> At this point, the Mozilla project does not have the resources to actively support this use case.

http://en.wikipedia.org/wiki/Mozilla_Foundation#Financing

$300 million a year, and they can't afford to support Win64, the predominant platform, of an open source project? Someone needs to get in there and start cleaning house.
Firefox isn't quite as good as Chrome when it comes to retrieving memory, but it's much better than it used to be. And it's vastly better than Chrome when you have those tabs open:
http://techlogon.com/2012/09/21/review-of-firefox-chrome-and...
http://techlogon.com/2012/09/21/review-of-firefox-chrome-and... seems to show that Chrome uses about twice as much memory when opening a load of tabs.
Steve Jobs was born in the USA. Massive edge right there.

Lived in California during the dawn of the personal computing age.

Met Woz.

These 3 coincidences put him ahead of billions of other people. And they are coincidences. They're luck.

Luck matters; we just don't like to admit it -- http://chester.id.au/2012/03/02/does-leadership-matter/
NYC Underworld
This must be crazy - CEO, COO, Director of Product for a fucking Wordpress blog? are you kidding me?? Techcrunch at the end of the day is a Wordpress blog. It could be justified atleast if they were covering international news, but they are focused mostly on Start-up stuff (that too only the big guys) and mos, if not just Apple.

>Because straight up paying for downloads, or traffic, to a blog is insidious

Yeah right, biased, manipulative, colored, Apple-sponsored journalism isn't insidious, but paying for traffic is. Stop acting so surprised TC.
A note on your SQL hosting - there's always Amazon RDS (which would be free for the first year under usage limits, I think). It can also give you a scaling strategy to start with.
Interesting video.

After playing with user interfaces like Bump Top, the idea of just hanging an image somewhere doesn't have the same feeling as having it physically there.
I agree for typical single-user applications, but it's hard to call that the end of x86 as in the article. If ARM were matching x86 cycle-by-cycle in performance for less power that might be a credible claim that servers were next. Also high-end x86 devices run higher clock speeds with more cores so the gap in absolute performance is at least 1000% percent wide. I just don't see ARM displacing Intel when batteries or at least small form factor aren't involved. I don't expect to have an x86-based phone or tablet either.
I'm nitpicking, and/or don't understand what you've written, it appears that you're making an argument for repealing the second amendment rather than making an argument that it isn't clear what was meant by the second amendment.
You can try it out yourself in your browser. This scriptlet generates random and non-random dot distributions side by side (refreshing regenerates, at least in Firefox 17):

javascript:"<html><body><canvas id=\"tutorial\" width=\"200\" height=\"200\">foo</canvas><-><canvas id=\"tutorial2\" width=\"200\" height=\"200\">foo</canvas><script>var canvas = document.getElementById('tutorial');var ctx = canvas.getContext('2d');ctx.fillStyle = \"rgb(000,0,0)\";for (var i=0;i<400;i++) {ctx.fillRect (Math.random() * 200,Math.random() * 200, 2, 2); };</script><script>var canvas = document.getElementById('tutorial2');var ctx = canvas.getContext('2d');ctx.fillStyle = \"rgb(000,0,0)\";for (var i=0;i<20;i++) for(var j=0;j<20;j++) for(k=0;k<1;k++) {ctx.fillRect (i * 10 + Math.random() * 10, j * 10 + Math.random() * 10, 2, 2); };</script></body></html>"

(just paste the above into the address bar)
If your claim is void (zero), you could put a bit more effort into elaborating that ;-)
Youtube seems to be pushing these recommendations on me as well.

The funny thing is that "normal" recommended videos are usually preceded by the message "Recommended for you because you watched ..." on youtube's home page. The suggestive recommendations, however, are preceded by a simple, mysterious "Recommended for you".
I use XFCE after having tried everything else. I use a low powered laptop and anything else feels slugish. I've tried Xmonad but I keep playing with it instead of working.

Enlightenment is different, faster and definitely cool. I'll try it again some other time.
I enjoyed this documentary -

Ramanujan: Letters from an Indian Clerk:
http://www.youtube.com/watch?v=OARGZ1xXCxs
What a load of marketing BS. big deal if it was 2 years or 4 years, it was still trivial to implement even on 10 year old hardware.
My suggestion would be to read up on the capabilities of MongoDB / CouchDB once. May be take a small programming example in the language of your choice wouldn't hurt. It will take half a day for each ("read up" also means look at the typical questions on stackoverflow, read their blogs, and articles on comparison of their usages and performances -- without all this, your "read up" isn't complete).

Secondly, read up on Redis and Memcache, and include one of these in your stack (I personally stick with Redis, but decide on your own).

If you can spend some more time in your "planning", I would suggest looking at Heroku for deploying your app. If you haven't used a PaaS in the past, this _may_ change your entire outlook on how you plan your app and its resources.

Hope this helps.
One thing I never liked about the current cli tools is that their output was not easily passed into other cli commands. Quite annoying to get a screen full of tabulated text and multli-line fields, when all you need a list of instance ids.
RSS is a great example, because about the most sophisticated link relation in RSS is a link. But there seems to be a big difference in kind between what's being suggested for hypermedia APIs and the example of RSS.

With RSS, the client doesn't need to know very much--only one method is supported (GET), it corresponds to a click, and you'll almost always get one media type back (text/html). The IANA define some other generic link relations, but there seems to be a very big gap between generic link relations ("self", "back", and so forth), and application-specific link relations that are necessary for non-trivial apps.

How is GutHub's API useful to hypermedia libraries? A "library" that could be shared between GitHub and a different endpoint would be maybe 10 lines of code? HAL has a bit more structure, but we're talking maybe 100 lines of code. (Versus URI templates, which must be hundreds of lines, and with much more complicated rules.)
That is until BB works out a one click migration tool from GitHub to Grab those OpenSource Directly to BB.
I read GH Hardy's A Mathematician's Apology last month and adored the relationship Hardy and Ramanujan had.

(great book by the way - easy to read for even a non math person)
Luck matters. But it is not the only thing that matters.
IMHO, this article is a complete BS from someone who doesn't understand the difference between Bourbaki's math and real modern math

(P.S. I used to be a mathematician in my previous life)
https://chrome.google.com/webstore/detail/hackernew/lgoghlnd... filter techcrunch.com
While they have definitely make jumps in their UI and UX. It is Definitely NOT on par with GitHub.

And they didn't get rid of Ads. There are simply less of them. Not that i have a problem with earning money from Ads, but from a limited UI point of view we already have too many info we want and need.

Has SourceForge done this years earlier it may still have a fighting chance against Github. Now the only contender left is BitBucket.
Your article constains no assert statement, therefore, according to itself, it is false.
Bug fixed in Prince of Persia
It's the feel, not the toughness when people constantly drop them.

That said, the glass back panel on iPhone 4 was easy to break. The solid metal iPhone 5 not so much.
Wow, just wow. I must say Apple customers are amazing, even through their policy on chargers, to lock down their customers on apple (and to prevent universal chargers/ data connectors) is so clearly against consumer interest, now its a sign of greatness if they change their policy in response to the major shitstorm. Apple can't do wrong right? Apple fanbois make me sick, and stop call yourself hackers, you're contemptible.
The original CH mapping, that is, "a proof is a program, the formula it proves is a type for the program" is quite hard to achieve because it tries to demonstrate that a particular statement is true. It is much easier to honestly fail in demonstrating that it is false.