skysight-inc/HackerNews huggingface dataset:
Be warned that the term 'overview' is apt. In particular the section on philosophy of mathematics is extremely brief, and misses out many important positions and issues in contemporary philosophy of mathematics. A better survey appears in the Stanford Encyclopedia of Philosophy.

http://plato.stanford.edu/entries/philosophy-mathematics/

There are also some strange passages, for example where Simpson suggests that Hilbert could have profited from examining Aristotle's distinction between potential and actual infinities. It is strange because Simpson does not say how Hilbert's finitism would have benefited from this distinction, although it is certainly a historically important one. Hilbert's immediate influence in this regard was Cantor, who essentially rebelled against the dogma of his day which held strongly to the Aristotelian line (albeit with exceptions; for examples see [1]).

Cantor's set theory treated infinite collections as 'completed' infinities which could be studied and manipulated mathematically just as finite objects can be. However, in a sense he merely tweaked Aristotle's doctrine, pushing allowable cardinalities far into the transfinite, but stating that 'absolute' infinity (such as the mathematical universe as a whole) was unattainable. Michael Hallett's book Cantorian Set Theory and Limitation of Size contains a good exposition of Cantor's position. A lecture on Cantor's philosophy was given last year at Bristol University by Leon Horsten, which you can download as an mp3. [2]

[1] http://plato.stanford.edu/entries/settheory-early/

[2] http://www.bris.ac.uk/philosophy/podcasts_html/Cantor_by_Leo...
>"long function names really making a difference when you have to tap each character out in morse code with your knee"

I wonder if he did or if he shorthanded them and used find+replace?
Looking for computer wize
need help searching for infor on computer site contact bulls149@hotmail.com
SparkleShare aims to fill the 'git for designers' void by making using git more like using Dropbox. No URL to hand, sorry.
Demographics are also important. Reddit has a much more tech savvy crowd than a site like twitter. I think some of the article's estimates could still hold true for reddit, but it wouldn't be a linear scale. To reach 100B pageviews would require breaking into the mainstream, leading to less sophisticated users and better CPM.
OK. As long as you have the same attitude when Microsoft implements the Dock for Windows users, and everyone says, "Microsoft is really cool, this is a great new feature! Way to go Microsoft", without any acknowledgment of the origin.

It's just the whole culture around Mac. Apple gets lavished and rewarded, heralded as "clairvoyant" (the term used in a big thread yesterday about iPad) and similar silly pronouncements, seemingly no matter what they do -- whether the idea and existing implementations are older than the average age of Apple's workforce or not. People go around with Apple bumper stickers and define themselves by their association with the Apple brand. They hire people and choose friends based on whether the candidates use a Mac. And, when Apple finally implements an old idea, they are super awesome for getting around to it 20 years after almost everyone else.

It's just a bit annoying for those of us not infected, I guess.

(I have a MacBook Pro, for the record. I run Arch Linux on it. This has caused several Mac fanboys much distress.)
Interesting: I just realized that with Chrome I no longer notice PDF links as any sort of problem, due to the built-in rendering engine.
Stateless autoconfig is, but stateless is bad for ISPs and network administrators because it means anyone will be able to get an IP just by plugging their machine into the network. With only 3.40282367 × 10^38 IPs available, you can see why they would want to ration them.
Here: http://clojure.org/data_structures, see the entry for StructMaps. The page on datatypes* also implies heavily that structs have been phased out in favor of records, as no reason to use structs over records is presented.

* http://clojure.org/datatypes
It's hard to say whether the Finnish system is really that good.

You have a few confounding factors:

* a middle-class society with no language problems

* less pressure on the students regarding exam scores.

Things that Finland seems to do well (from your article):

* "What they see is a relaxed, back-to-basics approach."

Really, education gets screwed up terribly by all the pressure.

But can you imagine the uproar if teachers stopped teaching the tests?

* "The Norssi School is run like a teaching hospital, with about 800 teacher trainees each year. Graduate students work with kids while instructors evaluate from the sidelines."

When is the last time you heard of a US schools training their teachers? I know teacher-training happens, but it's really half-assed.

And like I said, DI isn't necessarily the best method possible. But there hasn't been any decent research since.

It's like we've found that washing hands saves lives in hospitals, but nobody has bothered to break anything else down statistically, or research why washing hands is good (hint - germs), or even wash hands!
On the flip side: I'm a developer, and I have no idea how to even find designers, let alone try and get them to help out. If there is a list, I'd really like to find it.
I'm the son of an immigrant, went to Harvard and have no idea what you're talking about concerning the Ivy League. Would you (or anyone who upvoted) care to explain?
My advice is to stay far, far away from Moniker. I use them at work, and their UI stinks: for example, when changing my domains' authoritative nameservers it will occasionally switch the nameservers back to the default (Moniker's own) without telling you. I contacted their support about this and they essentially said "yes, this is a known issue, and we don't have an ETA for a fix, so suck it up."

The reason why I was changing nameservers in the first place is because their own DNS service has gone completely offline three times in the last year and a half, making my company's websites inaccessible for hours at a time and costing us several thousand dollars in lost revenue.

I have had no issues using NearlyFreeSpeech.net for registering my personal domains.
The number of programmers who practiced Object Oriented mainstream languages and don't know at least a single item in list and are extremely effective is probably close to the number of unicorns that exist in this world :).

People don't just suddenly know how to write good programs. They read materials, they write code and continue to learn from other people.

Sorry, I don't buy the myth and folklore. I used to about 3-4 years ago before I realized that many stories were hyped up.
Sometimes I forget that there's entire armies of geeks that do crazy complex things other than compyooterz.
I started this project back in November, for [Launch an App month](http://news.ycombinator.com/item?id=1773398). Needless to say, I didn't make the deadline, but I ended up with an app anyways. This is actually the second release; there was an earlier release at the end of December which was really just a beta to collect some training data for the machine learning algorithm.

It's currently free for the first 7 days, and $10 after that. Please try it out and provide feedback. I may experiment a bit with the price and the trial period; I couldn't come up with a way to arrange A/B tests for those, so they're basically just guesses.

English only for now, but Japanese and Chinese translations will be coming soon.
I left school in year nine (Australia) for two reasons

Primary) I never learned a single thing in school that I had not already learned from self study. I am a hardcore autodidact so I don't take this alone as evidence that school is just not useful, but it certainly doesn't seem to be that rare, either.

Tertiary) I was offered a job working with computers for what was an extremely large amount for a fourteen year old in 1994 (50k AUD).

The worst aspect of this however is that for a significant period of time after I had dismissed school as not useful, my only experience of school had been compulsory education, which I now know to be enormously removed from the kind of education one gets at a university. I feel like my very negative experience of education at an early age poisoned me against higher education, and if I had a single recommendation for pre university schooling it would be that it should be a lot more like university.
Working now! Sorry for the scare.
On Linux killall command kill processes by name (killall httpd). On Solaris it kill all active processes.

As a young programmer on my first real programming job, an online stock broker in 1999, I did this. I had been running Linux since -95 and was familiar with Solaris from college. I had no idea about this though. I was so ashamed, but I didn't face any dire consequences.

I will never forget my lesson (then again, I will probably not be managing Solaris anymore).

I have also done variations on "ifconfig eth1 down" (or messing around with iptables) on a remote computer.
goodness, y'all play rough! :) now back to "serious business"
That statistic is not compelling because one might suspect that the people who do not have a HS degree/GED would be top-ranked for unemployment even if they had acquired those qualifications.
The article itself sounds similar to hype.
Kaleidoscope (OSX) has an "image scope" that at least integrates a couple tools for image comparison.

http://www.kaleidoscopeapp.com/
I think the problem here is the "one size fits all" assumption of the Google-centric future the article describes.

The browser update policy is a great example. Probably the world would be a better place on average if mom and pop auto-updated, but the policy has serious downsides. For one, it's a pain for me as a geek who likes to know what is running on his machine (and who, frankly, doesn't trust Google as far as he could throw it). It's also a pain for me as a web developer, because of the various breaking changes Google is demonstrably willing to make in its browser, as discussed in several recent HN threads.

There are other problems with "one size fits all" that I think undermine the entire premise of the article, though. If Chrome is to be the new OS, then does that mean every application front-end in the world has to be written in JavaScript? On the evidence to date, this is not going to be a success...

Similarly, "[Google App Engine] just runs the code you give it, and you don’t much care how" sounds like a great argument, until you realise that you have to write your code using the tiny fraction of the available programming tools that happen to be supported by GAE.

Given that in this business, the two most common scenarios are keeping geek opinion on your side or your company failing rather horribly, I think we can safely assume that nothing Google offers today is even close to comprehensive enough to displace native apps and make cloud/browser software the norm. Oh, and if the article author thinks that broadband-speed wireless is going to become as ubiquitous as electricity within a few years, I think he probably needs to go back to physics school. :-)
Ask HN: How to invite other hackers to participate for an open source project
Hi All, This is about a project that i have been involed with since almost a year now , but i never discussed this with any one in the past. The project is Facebook Alternate or you can call it Yet Another Social Network :(.
I studied Facebook, Myspace, and few others pretty closely before attempting this. I dont know why but the project always appealed to me, i created the first prototype in march 2010, ran it for 2-3 months and destroyed it, That was my test 1.
Conclusion , no one needs glittery Social net.

My second attempt i launched in May 2010, more sophisticated , focussed only on teens, try to include so much into it that my users actually started puking , as we all know over dose is not good at all. so again i destroyed it.
Conclusion : People want every thing but that doesn't mean we should lose our focus. Stay Focussed.
Then i never launched back until now ...

Now the final attempt with this social thing is on its way , next 30 days and it would be out.
The teaser page is already up and in last 4 days secured some 200+ emails and the facebook events page has got more than 200+ attendees and literally without any marketing.
This time i have tried to give a lot in terms of very simplified UX and easy user experience.
Now the product is set for its launch for March 31st , and i am coming out with very basic first cut and i don't have any of the Apple or Android Apps, i a not good at those and never tried them in the past.
The MVC i used to do things this time is Code igniter and that gave my code awesome flexibility. tried to make the entire product free for life for all the users and the free thing means Ad free too. Yeah that true i really dont want to run any ad on it . i have separate ways to take care of the economics.
Now the point is i have reached pretty far with this product with all my bank balance burnt and i am also finding some limitations for deploying future updates, I have the architecture ready and also the blue print what i need to do the next but as single man i know it would be really a long process for me to do all those things and thus i decided to make it open source where some of the fellow coders can help me grow this product.
I dont have any money honestly to spent any more. I am sloshed i have to repay a loan of some $10K in next 10 months , my monthly salary is $1K and blah blah blah. My sad story ends here but yes i am excited about the thing that i am doing.
Its not decentralized not by any chance. as decentralization would kill social web.
I need help from you all , how shall i proceed with this project of mine. i am almost done . its another 150 hours of work left and then the testing thing.
need help Guys...

the teaser page is facebookalternate.com
a lot of the comments are fairly shortsighted. i called this some time ago, and it makes sense. consider how mobile our live are right now. consider the wireless nature of everything. imagine having your computer be situated out of sigh, and your screen is mobile. your ipad and iphone connect to the same central hub. the computer becomes an appliance at home. just look at lion and the elements of ios its pulling in. now imagine apple making it easy to do all of this.

airdrop, mobileme, app store, all of this are elements to a grand vision.
Disagree completely. Have we forgotten IE6 already? How I wish EVERY browser acted like Chrome...
Yeah, those nitrogens are seriously pissed off.
There's a difference between knowing a list of facts, and being able to apply it.

Information nowadays is cheap. A quick search can reveal almost any fact you want. Analyzing a problem given the information available, processing it, creating stuff based on that information: that's the stuff that still can't be automated yet.

That said, I think high school curriculum in general is fine. It's the universities that need an overhaul.
Well, bond tension by itself is not the indicator of explosiveness, isn't it? The N2 molecule has 3 bonds connecting 2 atoms and it is one of the most stable known molecules.
The Cisco VPN client for OS X is crap though. Whenever my Mac crashes with a kernel panic, Cisco is to blame.

You should better whish for your employer to switch to something that can be readily used with onboard methods.
The OP was talking about doing this so expensive university software... I'm going to go out on a limb here and state that it's just not going to work well when 100 students try and spin up instances of AutoCAD or Mathimatica on the same machine.
Calling this an x86 chip is misleading:

"...the Godson-3 chips have instructions added to help the QEMU hypervisor (the one that's at the heart of Red Hat's KVM hypervisor) to translate instructions from x86 to MIPS format. According to early benchmarks, the emulation penalty is about 30 per cent."
> How exceedingly condescending.

Yes, I was rude, but correct. Since you didn't complain about the foreigner who was just as condescending yet wrong, I've got an unknown.

Do you only complain about condescending when it's from a foreigner or when it's by someone who is correct?

> You honestly believe that no foreigner knows more than what's on the news?

I'm sure that there are some foreigners who knows things about the US that aren't in the mass media.

That's why I wait until after a foreigner demonstrates that she isn't in that group before I do my rant.
Right, but the idea behind direction finding is that you can triangulate the position of the transmitter. If you just have a bearing you have to search over a large area -- these links could be many kilometers long.

Not saying it's impossible, but using highly directional antennas makes direction finding much more difficult.
You could also just save the current firewall config, and then have the script restore the saved config after a minute. No need to reboot.
Iirc only the front row or two are reserved, and it's for speakers and the major contributors. Everything else is random seating.
A friend shot a similar video a bit closer to Mono Lake:
http://www.youtube.com/watch?v=Ir2ISR-XjD4
The clouds disappear half-way through.
Hi,
I am located in the US.
Say my parents are the 'Developer'. Will I have to file the taxes under their tax bracket? Again, the biggest problem is tax-wise. It's not as a big deal that the app will say my parents published it. Does Apple deal with the taxes? Do they just send the full 70% that one is entitled to? Or do they ask for tax information?

Thanks.
I love how the tour section segments to provide more relevant content.

Very well designed landing page. The only thing missing is info about the team behind it.
As a guitar learner, I can't stress enough how boring scales are... But they are fundamentals. Unless you know them better than your hand, you can't play safely.
hehehe guilty as charged.
Beauty is a Contradiction
wow, this is extremly cool :)
Thanks for the link !
I would not refer to the laughing squid as blogspam. Yes, all they do is aggregate stuff from the rest of the internet, but they tend to be really good at snatching stuff just before it goes mass viral. If you want a place that'll let you stay infront of reddit, this is it.
Congrats on the launch- this looks like a fantastic product. For a long time now I've been preaching that CLV is the most important thing a SaaS startup needs to optimize for, so it's great to see technology emerge to meet that need.

Using data to extract more revenue from existing customers without spending more on marketing is something like the holy grail for businesses. I'm sure Custora will do incredibly well as long as they can demonstrate that using their product leads to clear increase in ROI; I look forward to seeing some case studies.

It's nice to see the YC investment philosophy start expanding more to unsexy but very profitable enterprise/B2B/under the hood type startups. I'm wondering if they compared the track record(revenue and exits) of their past consumer-focused vs business-focused startups and made a conscious decision to adjust the types of startups they fund accordingly.
Yea, AppleWorks 6 was one of the first Carbon apps, and BTW Apple did not eliminate any Carbon APIs in the PPC->Intel transitions, meaning that all your early Carbon apps still using QuickDraw, WorldScript, the old pre-Carbon Event Manager, the old pre-OS 9 File Manager limited to 31 character filenames etc. can still be recompiled for 32-bit Intel.
I just gave this a cursory glance, and I have to say I'm impressed.

Anyone studying CS could benefit from this book.
How much does that job pay, and how hard is it to become a lookout observer?
It really depends on the audience as to how much you can sell adverts for (and, of course, on how good you are at selling those adverts).

It isn't at all impossible to get $10-$20 CPM for basic standard banner adverts, then you can charge higher rates for, as an example, video pre-roll adverts, and you can work on bespoke marketing campaigns to complement banner advertising, which again can provide higher profit margins.

The above is from personal experience. For example, the company I've been with for the past few years (essentially since they decided to expand away from being a single website) manages to employ a handful more staff than Reddit on 20m monthly page views.
> By talking about "resource allocation", you are ignoring the dynamics of credit and debt.

Not at all.

> Resources aren't fixed, because labor (a very important resource) is very flexible.

If labor is so flexible, why is it so necessary to waste money on trains? (Inflexibility is an argument for temporarily suboptimal allocation.)

> Creating lots of debt makes people work hard,

Only as long as they feel an obligation to pay back that debt.

> and creates the illusion of wealth.

No, debt doesn't do that. The things/services that you get in exchange for going into debt may create wealth, or they may just create a hangover.

> People do jobs, because you told them you would pay them. People spend money, because they know you are going to pay them.

Yes, but none of that has anything to do with what you spend money on.

> but can cause people to start doing irresponsible things (which doesn't show up until somebody asks what the elephant is doing with the sofa).

Surely you're not arguing that bad resource allocation is good until someone notices....
I'm aware, but the 17" is just too huge. The 15" is just right, and I wouldn't mind it being larger, as in previous generations, if only from squarer corners.

I'm not convinced there's an issue of space per se, since the SD card slot is only slightly smaller, and, even there, a card is not completely contained within the chassis when plugged in. Doing this with ExpressCard would be better than having none at all, IMO.
Ask HN: When should you not tell people your ideas?
I went to an event for founders looking to meet partners and practice pitching. Some wanted help others wanted opinions.

At the end of the night I was talking with someone I'd been hanging out with most of the night. Mentioned an idea I'd been working on for a little while. He saw the money potential in it. And said it's better to test it and that he could probably build a prototype in an hour.

Haven't heard from him since. I know it's all about execution, but it's a simple idea. It's been a few weeks. He's probably just been busy/lazy.

But anyway, how much should you tell people about things you're working on?
Just check these interviews about Education from this page:

http://www.thebyteshow.com/JosephPFarrell.html

To be precise:

http://www.thebyteshow.com/Audio/JosephPFarrell/JosephPFarre...

http://www.thebyteshow.com/Audio/JosephPFarrell/JosephPFarre...

I think what's described in those interviews is very telling..
The issue seems to be that LinkedIn has full Twitter integration. So people in China are now using LinkedIn to communicate through Twitter.
Thanks! It's great to hear other people share our view on the space. We're really excited to be bringing the tools to a wide audience.
The bit about the Cloud being like electricity is very insightful.

However, if you've lived anywhere outside the US and Europe, you know that grid electricity is not as available as you're used to. In third world countries, electricity goes off periodically, specially in places where there are wars.

When I was young (and living in the middle east) I heard a joke where 3 men: an American, an Arab, and an African were asked the question: what's your opinion about electricity going off? The American says: does electricity go off? The African says: what's electricity? The Arab says: what's an opinion?

I visited Iraq in 2000; practically everyone had an electricity generator at home. I had to learn how to operate it and refill it with gas.
Indiana-Jones-like 3D Art