skysight-inc/HackerNews huggingface dataset:
I have to strongly disagree with your first paragraph. Proofs by humans are finite objects, even if they speak about properties of infinite sets. This difference does not make proofs for computers more difficult than for humans. You can encode cardinality theorems easily in interactive theorem provers.

Formally, a proof is a sequence of assertions, where each one is an axiom or follows from previous ones. Humans are better at proofs because they have good and well-developed intuition; it's bit like coding in assembly vs coding in a high level language. The fact that you deal with infinite objects is not relevant.
There's a way to resize the text area (http://cl.ly/image/1G2q3D472s2C) and a way to enter full screen mode (http://cl.ly/image/0I2B3i0l133K). And this is just wordpress.com; local WordPress installations have it as an option.

There are a lot of good things about WordPress, and a lot of bad. This is neither.
Facebook already integrates with Microsoft products: Bing is a search option on their site, and all of their embedded maps (Events, etc) use Bing Maps.

On the MSFT side, Windows Phone has always included deep integration with Facebook since the start, and their most recent acquisition, Skype, is the provider of video chat for Facebook's in-browser client.

Both companies already integrate with each other in multiple areas, and Facebook employees almost certainly aren't discouraged from using WP7/8 on their personal devices. The market realities (low market share, existing integration in the OS with no standalone, third party app to support) means that there's no need to push this on employees over iOS/Android.
What is the deal with Taiwanese sex slaves? Why the special mention?
10 Attractive Social Media Buttons
Show HN: A better typing tutor, based upon the OK Plateau Effect
I think things for the most part just don't work this way in larger companies.

Facebook needs to focus on what is best for their business. Pandering to investors could interfere with the long-term success of the business.

Also, the Windows Facebook app and integration is already pretty awesome.
Haha I'm a huge tab addict. I didn't post this to HN but this is on my blog. This is a medium tab load for me, when I'm doing research I get to a lot more and when I make an effort to clear them I can get lower. I use Instapaper to save most of what I want to read later but some articles need more than just text, which is why I leave them open in a tab until I read them.
It supports subdomains and primary domains. I'm not aware of how a hosted platform could work as a subfolder - but if it's possible I'm sure we could support it.
CivicApps
"Aside from the fact that most doctors are not wealthy beyond belief (contrary to popular opinion)".

Certainly true.

Cardiologists, on the other hand?

Median salary: $362,000 (with 10th% at $247,000, 90th% at $502,000).

In terms of procedure costs, Medicare pays a hospital nearly $40 for an ECG (and if you're paying privately, you'll be paying a lot more) - for a procedure that takes an assistant an average of 60-90 seconds to apply 10 pads, acquire a 10-15 second graph of heart activity, and interpret (though any ECG machine in the last decade does rhythm analysis of its own accord). In the field, paramedics routinely run the ECG process in 3-5 minutes.
Right, this was what I was going for. I can't imagine computers being imaginative enough for coming up with proofs, but verifying seems like it should be rather trivial since mathematical notation is already almost rigorous enough to be a programming language.
You temporarily lost me at the first line with "...prefer to demure on". (Goes to dictionary, discovers that you may have meant the slightly more coherent "demur on" which means "take exception to" or "hesitate, delay" rather than "demure on" which isn't grammatically correct as far as I can tell, since demure isn't an intransitive verb.)

Good points otherwise.
Interesting - I was hoping to use this as a way of advertising open positions in our company (ie: "Post Job" should be available only to our company admins).

Looks like this isn't possible at the moment?
Why not focus on building an UI for Gimp that doesn't feel like trying to juggle rabid ferrets with cooking gloves on? I'm sure that somewhere behind that slightly autistic facade there is a lovely graphics program trying to burst forth.
Thanks, I wasn't aware of that. Seems rather ridiculous considering the marked difference between devices.
See my post edit. Also, I didn't post this to HN. I was just complaining in a vacuum, didn't mean to bother the community with this (although the blog traffic never hurts).
Saturn Occultation (image)
We'd be into doing this. We've been trying to do this as much as possible, but have yet to find a way to actually make money from it.
Indeed! This is exactly what I was trying to say!
New developments in password hashing: ROM-port-hard functions
I'm sorry, but I don't get it (and I work in advertising)
Try this out:

1. Get the book "Adios Strunk And White". Strunk And White is a horrible book to learn how to actually write English well. It's full of contradictions, has some bad grammar in it, doesn't follow its own advice, and tries to make English a proscriptive language rather than dynamic like it is. The Adios book basically breaks you out of the S&W mode of thinking and gets you thinking about different forms and techniques you can practice without being proscriptive.

2. Do object writing every day. There's a site http://objectwriting.com/ that has some, but you can also hit http://wordnik.com/random to get a random work. You then try to write for 10 minutes about or with that word using all your senses, including your kinetic and sense of self.

3. Blog something every day. Doesn't matter what it is but spend at least 30 minutes writing about something.

4. Learn about story structure. A good book is "The Anatomy of Story: 22 Steps to Becoming a Master Storyteller" and should fit the coder mind really well. Another book is Joseph Cambell's "The Hero with a Thousand Faces" to learn core mythical story structures.

5. Study subtext and context. If this paragraph is about what to study, the subtext is that I think most programmers can't write for shit because they're too logical, and the context is I'm telling people this on hacker news. Universally I find programmers terrible at both subtext and context of the written word.

6. Spend all the rest of your time learning to not censor yourself so that you have a voice that's yours, not the voice you think you should have.

7. Margaret Atwood had the best advice about being blocked. Paraphrased it's, "Blockage is either a problem of voice or structure. If it's voice, change who's telling the story. If it's structure, change the opening scene." She's damn right, but what do you expect from Margaret Atwood? Shitty advice?

8. Try writing in one form as if it's another. For example, write prose like it's poetry. Write poetry like its prose.

9. Get better at describing or saying the absurd. Stare at something and then describe it from unique points of view or in bizarre ways.

10. Keep a notebook and write down every idea you have, then try to make it happen. Also a great thing for songs and poems. I should actually do this more.

There ya go.
Hold on a minute. The release window was originally an accident and very much dependent on technological limitations. Back in the 1980s, for example, it took time to produce a vhs version of a film movie, and that was a big factor in creating the "release window" in the first place. As technology changed and production has become all digital there has become less and less of a technological reason for the window, but it has persisted because publishers have decided they think it's a good idea, for monetary reasons.

Whether that's true or not is still an open question because nobody has actually had the guts to complete eliminate the window and see how it affects business.
I assume that he was going for something different, though; namely, that it's nuts that verifying proofs is simpler for humans than it is for machines.
Remake - bridging the gap between make and redo
> 1. The specs for the radio chip are easily available, so she could identify the actual packets from looking at the voltages on four wires.

How does one go about doing this? Is this done on hardware or some wireshark-esque software tool?
what's the link to the TC article?
--
EDIT, never mind, got it: http://techcrunch.com/2012/11/21/bizodo-launches-signupasase...
I'm currently using 38 tabs in this browser window. When you use a browser to gather and organize ideas, you generally end up with tons of open tabs. Browsing HN is by itself a tab-heavy operation... unless you're doing it wrong. :)
Thanks for the feedback. Search(text and geo) are on the list but lower down. Niche job boards tend to have a smaller number of listings, so the need to do lots of filtering/sorting is not as crucial as larger, less focused sites.

You are absolutely right about expired jobs and empty category/geo pages - they can be a real challenge from an SEO perspective. For now we are handling expired listings by hiding them from the site, but keeping their URLs active w/ an expired message. My hunch is this will keep the page rank for a while but we will eventually drop and 301 them to the sites homepage.
On a screen as big as this, I certainly wouldn't want a text area that spans 50% of the screen width. It's OK if you are editing html it's fine, but for WYSIWYG you are going to have so seriously drawn out paragraphs.

By the way, I read somewhere that 600px width was the sweet spot for a block of text, in terms of readability.

(For the height however, I agree the layout is totally stupid.)
In my opinion CLRS is too verbose and formal, unless you are a complete beginner. I don't know Sedgewick's book. I can recommend Kleinberg/Tardos, Dasgupta/Papadimitriou/Vazirani and Manber's "Introduction to algorithms: a creative approach".
Here's an earlier 'pg post which doesn't really rebut either of us, but does suggest that earlier VC don't like talent acquisitions:

http://news.ycombinator.com/item?id=3548359
Evidently they did such a good job I failed to notice what is being advertised. Can you elaborate?
I was mostly concerned with the height. When I put an image in the post I couldn't see anything else in the whole box, and my cursor was invisible.
The most important advice I forgot:

Actually live a life full of experiences worth writing about.
+1, you ask a very important question, which I can at least sort of answer. I think it's key to understanding why many experts think Mochizuki's work is likely to be wrong.

I cannot really give a complete explanation, being unfamiliar with his papers. But to argue by analogy, suppose I had invented a difficult and programming language. How might I persuade you to learn it? One way would be to use it to solve problems that are known to be difficult very easily, elegantly, or extensibly.

It is the same with "inter-universal geometry". One should not have to follow Mochizuki's work all the way through his proof of ABC to know whether it is good for anything. What is the quickest route to a surprise? What can Mochizuki now do with less effort than the existing experts?

The absence of good answers is behind skepticism of the proof.
HP spends more on advertising than Apple
Step back and think here. Facebook has 800 million active users. Their major competition and growth opportunities will not be in the USA, they will be in China and emerging countries.

It's far from obvious in this bubble here, but these people are overwhelmingly not buying Apple devices. They simply can't afford them.
> unless you're doing it wrong

Everyone has their own way of browsing. I generally browse HN on iPad, so I prefer to click the comments and open the article in a new tab. Read article. Close tab. Read comments. Press back. Check the next interesting thing.
Try this, it'll walk you through how to install it on your server: http://www.hackido.com/2010/01/installing-git-on-server-ubun...
Here’s how to build a red hot business-to-business startup
This is related to the issue that the criteria for what constitutes a rigorous proof continually evolves, and has undergone tremendous change since Euclid. Morris Kline has a good semi-popular account of this history [http://www.amazon.com/Mathematics-Loss-Certainty-Galaxy-Book...].
I actually meant the MXs, sort of thought that went without saying.
No, $0 is nothing.
It just sounds like a new kind of app store that has yet to gain "traction".

I am really miffed that people in this part of Europe haven't bothered at all to make any apps.
I find it strange that its some kind of epiphany that businesses should have some kind of actual revenue model when starting up. Certainly that was the tone i got from the article.
I'm sure I could make this work. Quick hack would be to give you some CSS to hide the Post button/links and you could post via the URL. I can then make that an option (to hide the post links) via the admin panel in the long term and give you a more elegant solution to add jobs via the admin side as well. let me know if interested: info at jobboard.io
Why is Nokia closing their stores there if they've been so successful?
Thanks - getting all the multi tenant stuff sorted was really interesting.
"But sharing copyrighted material should by no means be considered something that is a social principle."

It is, in fact. My friends don't have to pay royalties to content creators when they look at paintings I have hanging up in my house, watch a movie I rented, or borrow a book from me. This isn't because we don't respect copyright as a society, but because we recognize that sharing is a natural human activity, and the measures required to enforce the prevention of such behavior would create a society without freedom or privacy that no one wants to live in.

For similar reasons, what I choose to upload and download on a p2p network is no one's business but mine and the peer I've connected to. They are in effect private conversations, and any legal system that requires monitoring of these private conversations will, carried to its logical conclusion, eliminate all privacy and freedom in digital life, since any single packet on the network, whether it's for email, web traffic, or any other use, could conceivably contain copyrighted bit sequences and therefore be marked for inspection. Similarly, every file on our computers would obviously need to be scanned at borders and other checkpoints to be sure no one had infringing bit sequences on their systems.

Look, there have been plenty of examples that show that a significant percentage of people are willing to pay for digital content even when they could otherwise obtain it freely through file sharing, whether out of respect content creators, or for the sake of quality and convenience. So this isn't a question of whether or not copyrighted digital content can survive--it's been well proven that it can survive and thrive. No, the question is whether we should allow a few entrenched stakeholders to trample our civil rights in order to milk a bit of extra revenue out of the system without having to innovate in response to new cultural norms.
Hi mepler. Thanks for the comment. My main concern wasn't translations, but simply being able to view the examples in-browser instead of having to copy-paste stuff to a local installation (which many people might not have). It might make the barrier to entry lower.
The sentence where I stated: "It seems like people are starting to wake up to the idea that startups should more closely resemble traditional businesses and actually make money by charging for a service they provide (radical concept)." was meant to be sarcastic. Guess that didn't come across...
I think "B2D" is risky. Here are some potential problems:

1) Success of "the cloud" / SaaS. Many people are moving important data into the cloud but there are also more high profile outages, more high profile security breaches and more lock-in/proprietary/longevity issues.

For example, I like Asana but when Asana is down, I'm screwed, especially since they don't let me export my data. And it is down pretty often in my experience. Are you reading this, Justin the server guy?

Obsolescence through acquisition is also a real problem. I rely on XYZ service, they get bought and the buyer shuts it down. Now I have to extract my data and somehow move it to another service provider. That happens a lot. I'm sure we'll work through these issues, but I'd still peg a question mark on the whole SaaS model.

2) The sales model. Enterprise sales are appealing because they're big dollar. But they're hard. You have to get buy in at all sorts of levels in the organization and anyone can veto. They take a long time.

B2D circumvents this by targeting single individuals and small teams. That's good. It's the dropbox model. Get people using it, become viral, pervade the organization and become a standard. The trouble is that it uses a backdoor and backdoors can be closed. Many bigger organizations are fighting this tool fragmentation and the SaaS model in general. If bigger organizations successfully push ad hoc tools out of the company, then B2D basically becomes startup to startup. Then B2D is successful when startups have money. We've all seen how that pendulum can swing.

3) Myopia. Developers start startups. Developers know what developers need. So developers start startups for developers. Meanwhile there are tons of industries in need of powerful, easy to use, domain specific tools getting no love. Yes, computing is growing. IT is growing. Digital is growing. But there are lots of growth industries out there. It's the same reason B2C was big. We're all consumers. Most of us are developers. There are a tons of software project management tools out there. How many waste management tools are there? We're creating more trash than we are software (lots of trashy software but not enough trash software?)
Newly evolved gene may have changed humans’ brains
Let me guess, you prefer methods called "getLength" over methods called "length", right?

"Method names should be verb phrases" is one possible convention, but it's not the only convention. If you can get better code by violating that convention, then the convention is, in that instance, wrong. Using verb phrases for function names is more of a procedural programming technique that doesn't always translate to object-oriented programming. In this particular instance, having a more declarative interface is more readable.
I fear that I sounded like I was making a value judgement. I wasn't.

Generally speaking, I think enterprise apps are simply easier to deliver than successful consumer apps (most consumer apps aren't successful and nothing is easier to deliver than an app nobody uses). There's a bunch of reasons for this:

(i) famously, the person making the purchasing decision for most enterprise apps isn't the eventual user, so to make sales and achieve usage you need please only during demos;

(ii) the bar is much lower in the enterprise because you are generally solving money problems (increasing revenue or decreasing costs/headcount); most enterprise software is clunky, and the software virtually never delights, but for the most part the line-of-business software deployments I've worked with tend to make lots of money;

(iii) the fit/finish and scale problems that HN people hyperfocus on simply tend not to be problems enterprises pay to solve; also, once a firm verifies for itself that it'll realize a return on a deployment, it'll tend to be happier to simply scale up its Oracle deployment rather than trying to be clever with how it persists data.

(iv) a six figure pilot deployment pays for a whole lots of hardware, and successive purchases, which tend to happen after the firm verifies that the software is worth something to them, are even more expensive.

(iv) relatedly: the financial metric most enterprise software is benchmarked against is "fully loaded headcount cost", which, wow, is a much nicer benchmark to have than "$5/mo" or (worse) $2.99 "premium" app store app.

I think these things tend to add up to enterprise software being much, much easier to build and deploy, even if you want to believe that there's some countervailing cost of additional testing (I actually don't buy that enterprises really demand a higher standard of testing, either).

Things like Yammer and Salesforce are practically the exception that proves the rule; the very rare app that needs to scale multitenant across every company in the world. And a gargantuan swath of the entire Fortune 500 could care less about salesforce management.
Penrose's argument, if I remember correctly, is not that the mind is necessarily non-deterministic, but that it is not equivalent to an algorithm - that you can never program a computer to create a mind. It might also be non-deterministic, but that is not exactly the same thing. His evidence for this is indeed that we can "know" the truth of theorems whose proof can not be reduced to an algorithm.
Nope, I totally disagree. Developers hate paying for things and love to build things themselves. There are a few successes, like GitHub, but they are outliers and on the whole developers are a terrible group to try to sell into. Your best bet at getting a developer product to succeed is to sell the tool to someone in another role (product, marketing, sales, etc) and have them convince the developer to use it.
The majority of shareholders (usually by a lot) in these situations are well-represented by the directors.
That's just git, not github. The two are not the same thing...
Social Database Patterns
The other problem with getting rid of that magic spreadsheet is that it works.
Currently there are really only indirect ways to influence governments, and weak ones at that. Like I lay out in the article I think you really need a lot of pieces in place to make a political social network have enough political strength to foster mass adoption and substantial political relevance.
I would suspect that grandparent knew exactly the meaning of "incredible", as it is just very difficult to believe that this graph represents anything more than what people use SO and github ;)
Look ma!
More obscure - fewer code lines!
And for what it's worth if anyone had any questions or comments I'd love to talk about them here. <3 HN.
> can be hard to penetrate but also far easier to get paying customers.

Getting enterprise customers to pay serious money is somewhat of a pain. It's a costly and long sales cycle. Not to mention the margins are increasingly getting worse (both from software vendors, i.e. SaaS, and service vendors, i.e. outsourcing). Then couple that with increasingly changing buying behaviors and pricing models (consumerization of IT) and it's not all roses.
Warning, shameless plug incoming. I made a HN app for iPhone and iPad to solve some of the issues of the site. Mainly going back and forth from comments to article. Haven't gotten to a better voting yet, but I may in the future.

https://itunes.apple.com/us/app/hacker-news-reader!/id532402...
The Open-Source Advantage
3. Blog something every day. Doesn't matter what it is but spend at least 30 minutes writing about something.

Do you suggest it be a publicly readable "something" that gets blogged, or does it not matter if it's only for yourself, in your view?
Strunk And White is a horrible book to learn how to actually write English well. It's full of contradictions, has some bad grammar in it, doesn't follow its own advice

Can you give some examples?
I will bring this up at a few meetups I will be attending through this week. I'm sure this will peak the interest of more than a few people at venture cafe as the bookstore would be a great way to connect talented developers to companies/investors; lately, the lack of finding talent in the Boston area has been a recurring conversation at tech+startup focused meetups