skysight-inc/HackerNews huggingface dataset:
What you are talking about is actually the difference between two different notions of infinity: actual and potential. I think you identify these, but do not quite separate them as much as I believe you should.

Potential infinity aligns with the explanation you provide in the second paragraph. It refers to the process of arbitrarily unbounded enumeration (having the potential to count to any arbitrary number). This is equivalent to the capabilities of a Turing Machine. Aristotle's argument is that the human mind (Turing Machine) is restricted to computing decidable problems and cannot compute undecidable ones. The whole point of the application of Cantor's diagonalization argument is to demonstrate this limitation.

Cantor rather argues that assuming the Axiom of Infinity does not necessarily lead to a contradiction (unless you assume the opposite of course). The assumption simply states that some infinitely large set exists, in particular, the natural numbers. It does not have to physically exist, but we certainly can theoretically associate a finite characterization to it. You should look into Kolmogorov complexity for this. Note that this is NOT at all the same thing as "counting to infinity".

A lot of people will counterargue that infinity is just a concept, but I feel as if they miss part of the point. A similar argument would lead to the conclusion that pi does not exist and neither does the number, 2. The only difference is that we apply the concept of two-ness to discrete objects we can compute with. We do have recursive descriptions (programs) that can describe a countable infinity (aleph null) or even pi. We might as well use these descriptions as placeholders for the actual thing. While we cannot contain the base 10 encoding of pi, we have another encoding of it of finite length (the program). Who is to say that a base 10 encoding of numbers is a better proof of existence than one written in C++?

You might have more success with arguing against the existence of undefinable numbers. These do not have a description of finite length and are definitely numbers that we cannot conceptualize with our current assumed limitations.
A Bigger, Blacker Bar

Subtle reference to Cards Against Humanity. ;-)
The key is not publicly known. Some passwords have been recovered, as discussed here:

http://nakedsecurity.sophos.com/2013/11/04/anatomy-of-a-pass...

It would be irresponsible for anybody to share the key, it would reveal all the passwords.
You can print two copies of your backup codes, keep one in your wallet and one at home. You don't have to worry too much about them getting stolen because they are useless without your password. You can also generate a new set of backup codes at any time, which invalidates the old ones.
This has become my common stack along with Angular on the client side. It makes for some slick interactions when you can have the client acting just like an actor passing messages back and forth to the server. It might still be a different language ( JS and Scala ), but since I am using the same flow in both of them I have been able to adapt.
I hate to be negative on interesting experiments, but this test is almost useless.

The noise of the sensor and the JPEG compression of the camera almost overwhelm the actual resolution in the test images. Additionally, the eye gets a larger amount of information over time during fixation, while the camera is only exposed once, with the resulting aliasing of pixels against the structure of the pattern.
Gmail also tells you you'r Last account activity at the bottom of the page.
Thank God! They no longer whip the search box across the screen the moment I enter a character. That was one of worst UX design choices I've seen. I know they were just making room for a longer search string, but to yank it like that gave me whiplash.
as black as the black, black hearts of the mods.
> Or just ship statically linked binaries. That seems like it would be a good solution for games.

Yup. That's what Steam does...
Absolutely! Here's a recording for reference: http://bit.ly/1kbRpkX
WP ddoes not appear to have released the source documents. That makes it hard to trust that these reports are complete w.r.t. what the documents reveal.
fun fact: Denisovan sounds a bit like Dennis, doesn't it? Surely a coincidence... The remains were found in the Denisova Cave, which was named after a hermit who live there, Denis http://en.wikipedia.org/wiki/Denisova_Cave#History
Good question. It would take some serious time studying history to have even a decent guess.
From the article:

NSA Director Keith Alexander disclosed in Senate testimony in October that the NSA had run a pilot project in 2010 and 2011 to collect “samples” of U.S. cellphone location data. The data collected were never available for intelligence analysis purposes, and the project was discontinued because it had no “operational value,” he said.

Alexander allowed that a broader collection of such data “may be something that is a future requirement for the country, but it is not right now.”

And for all this, I'm not going to lie--that'd be a fun dataset to hack on.

And that, folks, is why we as engineers and hackers have a moral duty to be very selective in the types of work we take on and for whom.
Meta topic, but it seems kind of rude to link to the print page. The washington post is already a very readable site, If i don't want ads, i'll use adblock.
> This means that a significant proportition of humans can't simply remain competitve

This will only be true when we're nearing singularity, and that IMHO won't happen for centuries yet. So there's still time to go.
This HACKATHON Event is a first for me. Kristin Olsen, who plays baritone for my Sensorium Saxophone Orchestra, informed me of the event and connected me to Jonathan Marmor. I have used simple effective Graphic Scores for various ensembles since the mid-70's as well as the use of playing cards, dice, numerical processes etc. I also compose using standard notation. For Saturday, a sax quartet version of my orchestra will be there to collaborate on Automatic Music. That evening, we will perform a collaborative piece from the Hackathon and a new work in our own repertoire entitled SWITCHBOARD. I composed this piece as a platform for open improvisation. It is based on the initials of each Musician performing using the alphabet to designate duration. We will also perform Terry Riley's IN C for which anyone who can play the composition is MORE than welcome to join in.
Hearing Forward!
They chose not to because it would have made every single android app GPL too.
Agreed, a eye to a camera is not a comparison, I've worked for a bit in computational vision after my PhD.

Our foveal vision makes the connection to digital camera sensors very unsteady. What we have is a spatial filter with diminished acuity as we move away from the focus of our vision.

We're actually processing what we believe to be a small amount of information in visual cortex. By the time objects make their way up the ventral visual system, they are encoded by very specific neurons firing for just that object. The brain is also thought to fill in a huge amount of information of our visual field.

You can't really leave the brain out of the equation when you estimate the sensitivity of our retina.
I don't see the big nightmare here. Copyrights aren't a "hidden landmine" issue like patents can be. It's not like you can accidentally copy an API, and even if you did, independent creation is a defense to copyright infringement.

Being able to copyright APIs would just mean that everyone would be incentivized to switch to open-source APIs with clear licensing terms (BSD, GPL, etc). I don't see that as a bad thing.
Really liking this.
Nepomuk is not the indexer, Strigi is. And Strigi has inotify support AFAIK.

EDIT: This is an older post, but I think it shows exactly that: http://www.afiestas.org/nepomuk-is-not-fast-is-instant/
Here's come context on what they would be up against: http://www.theverge.com/2013/2/13/3959868/photoshop-is-a-cit...
Hacker News for products?
Unfortunately I can't make this, but here's an automatic music hack I built at music hack day this year in Toronto:

http://tap-pad.herokuapp.com

It uses cellular automatons to generate music and is completely open source: https://github.com/dmitric/tap-pad-web

there's even an iOS version: https://github.com/dmitric/tap-pad-ios

If someone there wants to play around with the idea I'd be honored!
Well the truth of the matter is that a bunch of angry guys living in caves in the desert really hated American freedom, so they pooled together some money, flew to America, and sneaked past the notoriously anal TSA.

These were dangerous men armed with the most dangerous weapons known to man - BOX CUTTERS. Using their BOX CUTTERS, they hijacked planes full or several hundred individuals who were to terrified of their BOX CUTTERS that instead of trying to overpower them, they decided to accept a fiery death via crashing into skyscrapers, taking thousands more with them.

That's really the whole truth - there's nothing more to it. If you don't believe it, then you truly underestimate the power of BOX CUTTERS.
Did you mean to ask 'are they harvesting our emails?'.
There is not enough history to give us the context for what this means.

People like to bring out truisms of horse and buggy drivers, but we're getting to the point where we're thinking of automating entire classes of jobs out of existence rapidly, not just specific tradesmen one at a time. Where in the past manual labor has been automated, it has tended to happen slowly, increasing efficiencies in niches and eliminating some tasks completely. This has freed people to engage in - by and large - other sorts of manual labor, those which were not so trivially automated.

What happens when the very notion of "manual labor" is itself abolished? There's no historical precedent for that.

Automation will likely not eliminate all manual labor in our lifetimes, but I imagine it will eliminate enough of it to break capitalism for large portions of the population. We need to start considering what that means sooner, rather than later.
http://motherfuckingwebsite.com/

perhaps?
WARNING! You should not store your nvAlt notes on Dropbox if you plan to access them from multiple computers. Dropbox's file versioning can confuse nvAlt, causing data loss. If you want to use nvAlt from multiple computers, I recommend nvAlt's SimpleNote sync.

Issue #129: Notes being deleted from Dropbox while using NVAlt: https://github.com/ttscoff/nv/issues/129
That is true... some people are angry about that. I don't understand those people too.
Simple hack to resubmit links to HN
Once my contract is up I am moving back to a manufacture like Apple or a Google Nexus device that can continue supporting their device and doesn’t leave me out in the dark.

One thing to remember is that Samsung makes money by selling you new devices, preferably every year or two. Therefore, instead of working on updates to software for existing phones, they focus on designing the latest and greatest new phones.

Apple and Google make money from ongoing use of devices (ads, app sales, etc.), so it is in their best interest to keep the platform fresh so you don't switch to a different OS where they won't make money from you. It's a lot easier for them to keep a handful of devices up-to-date than it is for Samsung to keep 100 updated.
Ahh, thank you very much! Makes sense. I was conflating work and power...
Don't drone
Opposition to Common Core? You must be a "white suburban mom"! [1]

[1] http://reason.com/archives/2013/11/22/no-arne-duncan-white-s...
Is it possible to find the actual data? I found an old email in there, would be interesting to checkout what lame hint I used.
Good logic. Me like :-)
Thebatkid.com, running on Heroku
Resolutions are commonly measured in pixels. Or are you expecting something rectangular and ISO standard like 1920 x 1080?

Divide by pi, take the square root, multiply by two, we're talking about 27000 pixels in diameter.

That said, I don't agree with a lot of the methodology. If pixels are what we're going for, it only makes sense to me to count rods and cones.
Uruguay wants to nationalize and legalize marijuana?
catchall FTW

I follow the following pattern with websites:

If the website is important (ex. government), I use <sitename><4_numbers>@<private_domain>. My filtering rules are extremely strict, and every mail that doesn't come from the expected website gets automatically flagged as spam and deleted. If their DB leaks, I just change the 4 numbers.

If I know the website and it's not an startup, I use <sitename>@<public_domain>, ex. facebook@example.com. My filtering rules only flag the messages as "maybe spam" when the sender is not in my contacts. If their DB leaks, I change the filter from "maybe spam" to "spam".

If it's a website I don't know, or a startup, I use <full_domain>@<publc_domain>, ex. mystartup.io@example.com. I don't filter them, but if I start getting spam, I just simply set the email as an alias to my wormhole (an account I never check that flags anything it receives as spam).

If it's a spam blog, or a website that forces me to create an account by no apparent reason, I just use the wormhole address.
Thanks for the advice, I don't get my feelings hurt, so be as harsh as you like. I agree with you, the focus now should be stabilizing home, steady paycheck, family expectations. The best way to do this is to simply have a full time job.

You are also right when concerning sales. I need sales. I use the term marketing cause from my developer perspective I see them closely intertwined.

What I wanted my marketing team to handle was to start the conversation with people in the industry. This would in turn create a need for creating marketing copy that could be left with individuals. It would also have started the process of determining how best we could communicate the value we are providing to the industry in a language that was easily digested by potential customers.

As best as I could tell they talked to one company. This turned into an opportunity to pitch them on some custom development work that we could have used to fund our startup. It went well, it proved to me that we had a talented team, but it didn't result in a sale. But, much like in sports, kinks in working as a team need to be flushed out over time. And this takes practice. I consider my group to be comparable to some seasons of the NY Yankees, we have a bunch of talent, but if we can't work together consistently we will not be winning the world series.

It was important to me to bring the code to completion for a variety of reasons. #1 I have a character flaw of not finishing what I start. It was paramount that I saw this to the end to prove to myself that I have the determination & resolve to create companies. #2 I wanted to get the code to a place where even if I quit, or just take time off, it could continue to live on without me. This has been accomplished. My more active partner has started using it in his Subcontractor Company. One of my AWAL partners might still use it at his General Contractor company, but I won't know until I hear from him again.

So, this project might not be dead, but after a 2 year push, I can't continue to build on it until I see some tangible effort and sweat from my partners. We'll see what happens.

As a person that hates being idle, I will hope for things to work out here, but make plans to move forward on my own should the company fizzle out.
Same boat. Don't remember if it's an email/password combo I still use.
Been to the Beer Garage? Big brands rush to partner with startups
I love talking about what I've built, I'd be happy to ping you later this evening.
Valve renews Linux commitment, Microsoft and Sony should worry
If was shot in JPEG, the camera might have sharpened it a bit before even saving the image.
I had twitter's 2 factor auth set up. Guess what? I was once logged out and couldn't login again. It just stopped working. I enter the code I receive over SMS and I go back to the login screen. I tweeted to @twitter from a signed in device and tried to get help for days. No response. Finally ended up dis-associating my phone number from twitter via an SMS and haven't gone back to 2-factor auth again.
Nice; the change.org link references the Boston Marathon bombing, as if it had any relevance whatsoever to this issue.
And a lot of the time, if you’re a Green Card holder, or emigrant citizen, not only are they required to withhold it, but you’re also forbidden from claiming it.
>A single problem with KDE - windows key cannot be mapped to show the start menu without extension.

AFAIK, that's an X limitation. Already fixed in KDE5/KF5/PW2. Very annoying though, I've retrained myself for Super+Space as my hotkey instead.

>Second is that all the taskbars that I found for it were just worse than the windows one in multimonitor setup or ugly.

Hm, not sure what's up there. My KDE setup is identical to my work Windows setup. Taskbar on each monitor with "start" menu button and the icon-only task manager. Then the panel on my main monitor has my sys tray. Other than obvious icon differences, it's damn near identical to Windows (at least the way 8.1 does the taskbar on all monitors).

>Alt+Tab worked inconsistently

o_0 in KDE? KDE's default alt-tab is identical to Windows's. In Gnome-shell, it acts like OS X's Cmd-Tab. But either way, you can tweak the window switcher to work exactly the way you like- include all windows, only restored windows, switch between apps or windows, etc, etc.
Widgets - One to Many - CodePen - from Famous
I totally agree and see your point. It is personal preference in the end. But I would really appreciate some manufacture support.
It's Gawker's eHow, basically. http://lifehacker.com/wear-your-bathrobe-all-morning-long-to...
Below is just upside above.
The Engineering Principles of SmartRecruiters
How do you make a world-class engineering organization? Here's how we are approaching it at SmartRecruiters. What do you think a world class engineering organization looks like?
Paket wisata ke Bali termasuk tiket pesawat | Paketbalitour.com
Haven't you always been required to place it into it's own bin to go through the X-Ray machine? That seems like an effective "second glance" to me.

They'll also sometimes swab it and check for explosive residue.
No, this is not in fact how it worked. Swartz's own lawyer wrote up the range of possible sentences presuming Swartz refused to plead out, ranging from "no custodial sentence at all" (his lawyer's own expectation) to 7 years on the outside, if the prosecutors carried out all their threats and the court sided with them entirely and Swartz had been convicted on all counts.

Once again: Swartz's own lawyer wrote that he believed it unlikely that Swartz would do any time in prison even if he was convicted after pleading not guilty.

The "35 years" thing is entirely fictional. Popehat has a fantastic blog post on why this fiction exists and how it is misunderstood.
Not, mine. A professor that taught us UI, usability etc, told us that.
Considering that this is made my Troy Hunt, I would trust it. He has built up enough reputation in my mind.
> I write C code for embedded devices and haven't been able to use malloc in 6-ish years.

Where do you work?
libeditline[1] is a BSD-licensed implementation of the GNU Readline[2] API. Do you think this should be considered copyright infringement?

[1] http://wanderinghorse.net/computing/editline/

[2] http://cnswww.cns.cwru.edu/php/chet/readline/rltop.html
This is fantastic, why isn't it used anywhere? It's silly to do traditional password auth when this exists. Thanks for the heads up.
Haha, that's a cute explanation.

In hg, "@" is a special bookmark that gets checked out in new clones. There it means "this is where you probably want to be".
What do you do when you are using a different computer and need to login to site?
The WTC fell from fire weakening the steel frame.
Chart of distribution relationships
Adobe....
Of course they do. If APIs can be copyrighted, then projects like Wine and Mono become illegal.
Technological innovation alone leads to a capitalist dystopia like the one seen in the movie Elysium.
It's possible to write a tool that will figure out all algorithms/salts used by compromised sites, and then hash your password with those algorithms/salts and see if that hash appears in the compromised password files.

Most of the compromised sites use worthless password storage mechanisms, like unsalted hashes or plaintext, so this level of sophistication is mostly unnecessary. For example, say you used the password "foobar".

md5 that:

$ echo -n "foobar" | md5sum
3858f62230ac3c915f300c664312c63f -

Then Google for 3858f62230ac3c915f300c664312c63f. The first result's snippet is:

= rainbow.lookup('3858f62230ac3c915f300c664312c63f') # => 'foobar' ...

There you go. Don't use "foobar" as your password.
Obama: "I'm not allowed for security reasons to have an iPhone"
They provide compatibility with the broard range of Java code and APIs. Of course they are the most appealing part.
Financially YC is a force multiplier. Not just incidentally, but by design. So it's misleading to treat it in isolation. And while anyone could raise additional funding after any round, in the YC case the numbers are known. Unless there is some fairly dramatic economic change, the median startup we fund can count on raising several hundred thousand dollars at a valuation (cap) of way more than a million.
They are treated as the same thing at the UI level, hence your complaint. If they were treated as unrelated concepts then they would not both be serviced by git-checkout, despite sharing an underlying implementation.

They are the same thing both in implementation and UI.

The various consequences of detached commits and what happens when you try to modify the working tree when there are uncommitted changes are both concepts that permeate all of git. Handling these things in a graceful manner does not somehow mean that checking out branches or commits are fundamentally different concepts.

If you want an example of muddled UI, git-checkout -b is an infinitely better example. Creating a branch is conceptually unrelated to checking out a branch; git-checkout just provides the -b flag for convenience because typically you want to check out the branch after creating it. It would likely make more sense to provide a --checkout flag of some sort with git-branch, as creating the branch is the primary operation and checking it out is just a secondary convenience. That is a decent complaint.

If this is the sort of thing honestly that bothers you, then just make a git-changebranch alias for git-checkout, pretend that git-checkout can't do branches even though it can do arbitrary commits, and move on with your life.
Show HN: We're building a set of API's to help web developers
It could be #000000. It's only #212121.

Personally, I don't like the amount of contrast between the near black and grey text.

The text has a 67% L, the background a 13% L, and the difference is only 54%.... obviously only about half the contrast available. http://contrastrebellion.com/
Well, technically, it was two places.

Your theory about Noordhuis is interesting, but there's no evidence for it, and some against. If he had thought it was a good change that just needed more in that direction, he could have easily said that rather than closing the pull request with a discouraging comment.

I think that's true for any change, really. If somebody had fixed a spelling mistake, would any reasonable project leader just have closed the pull request dismissively? I doubt it. Would have they refused to accept the patch until spelling was put in the coding standard and all spelling mistakes were fixed in one go? That'd be crazy.
A HN for Products
The thing I find silly with libertarianism is that you're describing an ideal with a massive power vacuum - one that will be filled. So government is minimalist and ineffectual, in that case, they are a sham and the real "governance" is done by large corporations/wealthy behind closed doors.

Similar downsides as a large central government, but you have no vote unless you're massively wealthy/powerful.