skysight-inc/HackerNews huggingface dataset:
If you assume that there is no number bigger than zero but smaller than every positive number (basically the Archimedean property) then you can prove that "you've got them all." You use Dedekind cuts.

Suppose there's a location on the line that's somehow missing - call it x. Let A be all the numbers less than x, let B be all the numbers greater than x, and that gives you your Dedekind cut. That Dedekind cut is, in a very real sense, x, and that means x is a real. QED.

That needs tidying up and formalising, but it does work.
It depends on how you define better: In the context of the owners of a for-profit prison system, better training would result in more parole violations.
yea exactly. the Java tools are not about lightweight/modern web dev it is about powerful commercially-developed libraries. If they could offer those tools without having to buy/house a bunch of proprietary hardware i think a lot of Java-haters would see the light. (fyi i am an ex-RoR guy who does enterprise Java now... moved over primarily to learn the JVM ecosystem because I don't want to be in web dev forever)

That said, I do think the Java community should continue developing it's "rapid dev" sortof languages/frameworks (Clojure and maybe Scala/Play?) if they are ever going to attract start-up and small business types.

But yeah Java gets such a bad rap... I've had way less headaches since moving over from RoR. Java is a little more DIY in terms of composing a toolset (if you happen to be starting from scratch -- many like myself are not) but it's all there & way powerful. I deploy a handful of pretty well encapsulated projects to Websphere Application Server and it's pretty much a breeze, plus the IBM products, for example (not Oracle I know...) have massive admin interfaces that a rapid dev team couldn't mimic/maintain even if they wanted to.

The open source tools are great too, but as many like to complain -- Spring and the like "are just overkill for small projects". That may be true but why even put all this thought into your toolset if you are just trying to make small low-traffic CRUD sites...? Iduno, strange world.
http://themeforest.net/ is my favorite. As a developer, I'll find a template I like for < $25 and use it as a base. I'm a big fan of twitter bootstrap templates but there are a lot others.

To me, it's the same as anything else. Practice, Practice, Practice. I've been doing this for 2 years now and I've started to develop my own designs without needing a template.

Even just looking through what designers are doing is a great source of inspiration.
Yup. :(
Do you remember what made it "aggravated" robbery? Robbery meant there was someone at the target house, right?
Best Gift You Can Give
Very Cool! I'm going to fiddle with leaflet this weekend
It's an organization page: https://github.com/SheetJS/SheetJS.github.io

(configured with a custom domain as per https://help.github.com/articles/setting-up-a-custom-domain-... )
Facebook is like a zombie. I deactivated mine, but a few days later one click on some other random web site that used FB authentication and the Facebook account had been reactivated.

You have to drive the hickory stake all the way through the heart and into the ground below or it doesn't take.
I'd keep looking in my spare time. Why quit before you have something else lined up? I'd have to evaluate why it was bad, how bad it was, and how well I could mitigate the problem(s) when determining if I wanted to look for another job. It would have to be fairly bad for me not to give it at least a month - more than just me thinking it wasn't quite as cool as I thought it would be. I don't see how it would hurt your record if you found another job and left within a month - you could just leave that one job off your resume.
One way or another a major project I've been working on goes live on the 30th. Once that's done, I hope to get back to some iOS development.

I hope to do more networking to score more freelance work to continue to be a freelancer.

And a vacation. I need a vacation, now!
Girl freaking out over javascript console on FB
Google should penalize sites that allow comment spam. Incentives are then clearly aligned, as the affected site has the power to fix its problem. Sites that can't afford to moderate their contents should just turn comments off.

As mentioned in other comments, the changes described may just change the spam. Instead of linking to your own site, you instead link to sites ranked above yours.
I am amazed that people expect UPS to be able to scale like AWS. Nobody, nobody can create a supply chain network that expands 100x for two weeks in a year, w/out feeling a pinch. They should've set expectations and used the Uber trick of having "Holiday Rates." This way, people would've ordered ahead. Sad that media would write all sorts of crap, just to get eyeballs to the blog.
Isn't Simeji a brand of Baidu?

Either way, this is one hell of an information leak if the keyboard app is sending everything you type in somewhere else.
I would argue it is gaining steam due to the money being poured into it. Probably also possible now that resources are particularly "free" on platforms. It isn't like most of these techniques were invented this past year.
Past and current Thiel Fellows are highly involved in selecting the future classes, including the preliminary application reviews.
You are trying to throw your cofounder under the bus without going directly to him first? Tell him whats on your mind. At least you owe him that. At one point you picked him to be your cofounder and now maybe things are not working out, it might be his fault, maybe he is having issues or doesn't know he is not collaborating as much, but you owe him at least a direct conversation man to man. He will appreciate this more than being thrown under the bus.

again, I don't know the full details of your situation but there is two sides to a story. Whatever you end up doing won't be pretty but talking is and discussing things hombre a hombre is the best approach.
You can use JetBrain's AppCode if you dislike (despise) Xcode :) It's written in Java, but at least it doesn't crash every couple of days (possibly corrupting(!) .xcodeproject files).

And the Modern ObjC (with ARC, @properties, blocks, new @literals, awesome and useful clang errors, etc.) is much, much better than it was around iPhone OS 3.0! The signal/noise ratio of a typical iOS app is now maybe twice that of an app written in the bad old days.
Your condescension is highly distasteful to me.
Yes, I've had one since early 2005 when a .edu email was required to signup.

I have 0 friends and the only content is a single status post of:

"I don't use facebook, please contact me via email".
Are you serious?

Bulgarian[0] is the official language of the country, Bulgaria[1][2].

[0] http://en.wikipedia.org/wiki/Bulgarian_language

[1] http://en.wikipedia.org/wiki/Bulgaria

[2] https://maps.google.co.uk/maps?q=bulgaria+map
Weird that this URL brings me to a Kickstarter page that pretends I'm logged in as someone else. The link submitter?
With a cursory google search, 1/4 pound of feed per day seems about typical, assuming 2 days per egg produced.
When I applied for permission to work in Luxembourg from the government ministry there, they were very interested in a copy of my criminal background from the US. This information was required for me, my wife, and my daughter.

I am not sure what they did with that information or on what grounds they would deny residence / permission-to-work to a US citizen, but this was something they requested of anyone (and their family) seeking to live and work there regardless of the industry. In my case, I was working for a private company in the IT-sector (not related to security or banking).
Wish they would allow the Apps access too
Amazon Lockers have been a boon for me living in apartments with hours that don't match up to my schedule for their 'helpful' package signing service. I recently noticed I can return packages through the lockers as well. If they can saturate with enough lockers I'm not sure I'd ever actually need the "final mile" of an actual delivery service.
It’s not a must have but it’s a filter that will be applied by HR, recruiters and the like.

The benefit of having the degree is an exposure to a wide range of ideas you might not otherwise get - everything from logic gates up to application software, and theoretical concepts which may have no immediate application but enhance you’re understanding of the field. I’ve never written a compiler, designed hardware, done any serious graphics work, or applied any theoretical computer science, since my undergrad courses in those subjects, but I’m a better developer for those experiences.
Why Gold Would Be Useless in an Economic Apocalypse
What are you sorry about? Nothing you've said directly or indirectly contradicts what I said as far as I can tell.
I can't find a flaw in your arguement, but it seems like it leads to a contradiction.

Let a constructable number be one which can be unambiguously described in a finite string. Because we are working from a finite alphabet, we can trivially see that their is a bijection between the constructables and the integers (if we have n symbols, then each string can be read as an integer in base n, so the amount of constructables is no larger than the integers. We can also show that all integers are constructable, so the amount of constructables is no smaller than the integers).
Now, take the set of all constructables, and use the diagonal arguement to construct a new number. We can see that this number is not constructable, however, it would appear that I have just unambigously described it, meaning that it must be constructable.

The only potential hole I see is that the ordering of the constructables when I apply the diagonal arguement is ambigous, but we can unambiguously order them by the lexical ordering of their 'canocial' description, and we can unambiguous define the canonical description as the smallest one when translated into a base n integer.

I suspect that doing the above will run into problems with computable numbers (as it likely involves the halting problem), however it appears to be an unambiguous description of a real number that is not constructable. Obviously there is some flaw in this reasoning.
When it first come out it was pretty popular. Then when Google released theirs (http://www.google.co.jp/ime/) everyone I knew switched to that.

But in general, nearly all non-geeks stick to what came with their OS.
One more thing:

I have a strong urge to not be the kind of person who tells people he's going to do something and then doesn't. So if I really want to make sure I accomplish something, what I do is tell a bunch of people about my goals and set a realistic date where I want to have met some certain metric, and then I ask them to ask me about about my progress on a regular basis. If I tell enough people, then usually at least one of them remembers to ask about every other week, and after awhile I'll go "shit, if I don't actually do this, I'm not going to reach my goal and everyone will know." It's basically manufacturing peer pressure for a positive purpose. It's really scary to do this (at least for me), but that's also what makes it effective.
Fundamentally it is the magnitude. Web sites often manage themselves to a metric called "RPM" or revenue per thousand. It can be thousand 'views' or for people who are interested in accuracy per thousand 'visits'. Unique IPs often translate as a good metric for 'visits'.

So if your traffic is 1.5M uniques and drops to .5 uniques, then your revenue may also have just dropped 66%. If you were staffed to be cash flow positive at your previous traffic rate, you now find yourself burning cash at an alarming rate. Your response, dictated by your reserves, is either lay off a bunch of people to curb your burn rate, or delay your accounts payable, or both. If this happens at an 'inconvienient' time, it can sour acquisitions in process, or deals with initial outlays, to be blunt it can kill you.

So then here is the thing, Google has no good way of knowing how you got to your organic ranking. There is no 'what is the rank of this place without these links' sorts of computations. So there isn't a good way to judge. But judge they must, lest others abuse their algorithm, and so they do so.

Now lets speculate that they kill off Rap Genius. Overall what does that do? Who does it help? Is it justice?

Lots of thorny ethical questions, not many good answers. And no way to make restitution. A sad place to be.
I must say your blog seems like a an excellent resource, thanks for what you are doing!
Can you please explain what the restrictive licences and "binary-only distribution" are in layman's terms. I'm a front end developer this looks like a good introduction to developing and distributing mobile apps.

How will the ToS hinder me from doing so?
Does anyone see the woman in the text of this comment?
A lot of Chinese use Sogou IME or Baidu/Google. The built-in ones are not as good as 3rd party IMEs. I guess it's the same for Japanese.
That's a great data source. I'd previously tried this with freebase data, but it's nothing like comprehensive enough when it comes down to individual artworks.

Still, nicely done.
> A co-ordinator of a college program for the inmates told me that they have a CS course, but can't find anyone to teach it because the students will not be allowed to use computers.

Where is this?
Could I possibly email you for advice? I have a friend in a similar situation and I'm trying to help him find a job in Seattle.

Edit: My email is [my username] AT gmail.com
I think you're stating your own opinion as fact.

There are literally hundreds of thousands of people who work on "classified" projects or systems. They don't think of themselves as "spies".

Learn to listen when you're talking to someone who has more experience and information than you do. It's a reliable survival strategy in a chaotic world.
Hackhands: On demand development mentorship
The article didn't mention the weather, which in DFW, totally fucked the transportation system for almost a week in December. The delivery depots in the area were backlogged and overwhelmed. I can imagine there may have been other locales with similar weather created circumstances.
Chip cards aren't prevalent yet in the US, so the only way to validate pins is to send them (encrypted) to the issuer.
Oh God Wilco. Why am I not surprised.
It's not too hard to find what seems to be prior art for this idea, even if it's not a feature you actually see in many word processors. For example this blog post from 2007 shows a screenshot of a text editor syntax-highlighting English:

http://www.linusakesson.net/programming/syntaxhighlighting/

Likewise this project on GitHub from a year ago shows NSLinguisticTagger being used in a similar way:

https://github.com/adib/ColorizeWords
Time to extend writegood-mode (https://github.com/bnbeckwith/writegood-mode) to use NSLinguisticTagger (http://nshipster.com/nslinguistictagger/ and of course https://developer.apple.com/library/mac/documentation/Cocoa/...).
Jonathan Mann is great -- he was actually inspiration for a business I've been working on. The idea is to keep working on things steadily and continuously. As he says, 70% of what you do will be mediocre, 20% will be crap, but that 10% will be golden. Work the numbers and do something every day. I like that philosophy.

I think Jonathan Mann's spirit is very positive. I do think his skills have plateaued tho -- I'm hoping he can make a breakthrough soon. He once did some work with a bunch of other artists in a collaboration and that stuff was really awesome. Check out that work at http://jonathanmann.bandcamp.com/album/song-a-day-the-album
I don't think "represented with a finite amount of information" means computable. For example, consider BusyBeaver(n). We have shown that their exists an n such that BusyBeaver(n) is uncomputable. However, "BusyBeaver(n)" still contains enough information to describe this number. However, because all descriptions are a finite string from a finite alphabet, we can show that only a countable infinity of descriptions exist. However there exist an uncountable infinity of real numbers. Therefore, most real numbers cannot be unambiguously described.
But he's talking about startups, not large, high-budget projects. If he was good at very large project management he would not be complaining about his problems finding work.
Show HN: Flint - Dynamic Templating for Markdown
Ever since the mental health institutions were mostly shut down in the 1970s and 80s, and the focus for treatment of criminals with mental health problems became "care in the community", the UK prison system has become a dumping ground for mentally unwell people. See http://www.sciencemuseum.org.uk/broughttolife/themes/menalhe....
SSL, please…
Let's say I sell you an option to buy (from me) a share of TWTR at $100 at any time through the end of January. I have just sold you a call option.

If I already own a share of TWTR that is not tied up in another contract, the call is considered covered (meaning I would not have to go out and find a share to buy if you exercised the option).

More: https://en.wikipedia.org/wiki/Covered_call
I'd give it at least 3 months and really try to assess whether the discomfort was due to the job being a sucky situation or me being challenging/experiencing natural discomfort after a big change, i.e. getting the job, or even potentially due to some outside factor. I'd also definitely talk things over with friends to get some outside perspective.

After that, if I felt the same way, if I had enough money to survive a year without working I'd leave immediately, take time off, then prep for interviews and go for a better job. However this is very situation dependent, I am a single man with no (serious) responsibilities, ymmv.
I just listened to the song and it is quite remarkable he put that together so quickly.

Rivers Cuomo from Weezer has claimed to have a very prolific songwriting approach as well, apparently at least for periods of time doing a song per day.

Apparently during the first couple years of The Beatles' songwriting career John and Paul would knock out songs very fast, within hours - they actually 'scheduled' time to work together in a time-boxed fashion, so they could fit in songwriting time around their otherwise hectic schedule. Now they didn't produce that many throwaways, but in a period prior to this over several years they learned ~500 songs by ear. They learned these songs well enough live and used them as tools to figure out how to light up a crowd, and more or less had a foundational vocabulary from which they moved forward with.
YC is great locationwise :) And there are some great startups within a couple blocks of MV Caltrain.

I was just trying to make the point that even in a car-centric place you can have good startups. To an SF worker it seems kinda miraculous that the Valley proper, with its relatively weak mass transit, is still such a startup hub. So I tend to give LA the benefit of the doubt in terms of startups vs transport.

And yes Palo Alto > LA for sure. I wish the whole Valley were a little more like Palo Alto.
Thanks for aggregating and publishing the links.
Agree with all except the different content point. Depending on your site you may wish to provide slightly different content or functionality if the user is on a mobile device.
Fair point. I will let him know.
I like the sticker idea. It could be paired with another sticker in the form of an asterisk, to be placed directly after the misspelled "Brookyln".
Wrote an app[1] to help Windows tablet users operate push-to-talk apps (like Ventrilo, Mumble, or TeamSpeak) without external hardware.

My first time playing with old Win32 GUI stuff, and my first blog entry!

[1] http://blog.dantler.us/2013/12/23/using-push-to-talk-ventril...
Help! I don't understand much about such
monitors.

E.g., currently my computer has a
dedicated video adapter card and
is sending 1024 x 768 pixels to
a CRT with a 15.5" diagonal.
It appears from Windows > Start
> Control Panel > Display >
Settings that the most pixels
is 1280 x 960.

For me, 1024 x 768 pixels are plenty,
but on my screen with diagonal only
15.5", a lot of text is too small to
read, even if I used a magnifying glass.

So, I'd like a bigger screen, but still
with only about 1024 x 768 pixels.

That a screen can display more pixels
is from useless to me down to a concern:
My guess is that, now that CRTs are
out, the current solid state displays
have some actual physical pixels,
independent of the signal from the
computer, and that when the computer
sends, say, 1024 pixels on a line somehow
the display (or video card?) has to
fit the 1024 pixels across the 1200
or whatever the number of pixels the
screen has. Sounds like a good opportunity
for some moire effects.

Also, my old video card may be sending
a signal that newer monitors can't use.

So:

Q 1. What should I do to display the
1024 x 768 pixels I want but on a
screen with diagonal longer than 15.5"

Q 2. What about moire effects or
other issues from displaying, say,
1024 pixels from my video card on
a screen with more than 1024 pixels,
say, 1200 or many more?

Q 3. How can I use the signal from
my old video card, or do I need to get
a new video card?

Thanks!
I would certainly not take such drastic action based on pattern recognition built out of some HN article.

Would you file for divorce based on an HN article about overrated spouses?

As others have pointed out, it sounds like he does do a fair bit for this company but you're blind to it. The one trick he's clearly missed is getting to this level of distrust with his cofounder. For that, though, it is not clear that you should fire him. Maybe he should fire you...
No, it wans't. He (I suppose wrongly) assumed that he didn't need one since it was such a minor thing. No body expected that to happen.

As far as I can tell, has family name was kind of known in the area for being trouble makers. He, himself, had never been in trouble with the law, but he had the unfortunate last name of being associated with some family members that did.

I suspect it was a "teach you a lesson" sort of thing.

Not surprisingly, he did eventually become a trouble maker and is in jail again. When he was in jail for the taillight, he was quite upset about it. He's okay with the fact that he's in jail now because he knows he screwed up and he feels like he deserves it.
By the way, Nathan, the link contains your log information: http://grab.by/t7ws