skysight-inc/HackerNews huggingface dataset:
I am a mathematics postdoc at Stanford, constantly going to conferences and meeting other mathematicians, and I have not met anyone who refuses to believe this. Indeed, I have met no one who refuses to believe any proof that is widely accepted by the mathematical community.

You could (presumably) construct axiom systems under which this is not true, and I believe that some logicians do this sort of thing, but this is rather far removed from mainstream research mathematics.
Gmail's HTML view works fine in Links. That team has been showing competence and diligence that's increasingly rare, and I wish people wouldn't tar them with the same brush as the clowns who write js-only crap.
If you want to move a bookmark to a different place on a blog / content site, it is probably because you want to read new entries. RSS does this fairly well.

If you want to read through a site's archives, what I do is keep it open in a tab. It is restored when I reopen my browser, saved if I reboot, etc. It's not as handy as a bookmark, but it comes close.
It's Day 1 - Amazon Letter to Shareholders (1997)
Steve Jobs and Bill Gates are/were bullies. So, average workers need bullies to perform well--not the "good environment".
It would take Nokia two years to steer back on MeeGo, two years they can't afford; it's not going to happen. Look how long it's taking them to get a Windows Phone model out, after steering in January and committing all resources they still have...

It's a shame, without the useless Intel deal this phone could probably have hit the market last summer and could actually have had a real shot at changing things. Now it's dead in the water. After wasting my time for months on the N900, I'm not going to touch again a dead platform.
Tent rental Kansas City, MO
Big T Tents is a party and event rental company providing tents, tables and chairs for festivals, weddings, corporate trade shows, grand openings and many other events in the Kansas City MO metro area for more than 20 years.
New SkyDrive
I'm lost. Can somebody please brief what is bitcoin?
I imagine simply assigning your users a unique key as a cookie would get you 90% of the way there. The chances are good that if a person is returning to your website then they are using the same browser.

The 10% you miss are cleared cookies and different browsers/private browsing. This could be seen as a feature however since extra anonymity is gained through existing means.
C++0x FAQ : by Bjarne Stroustrup
An interesting concept, for programmers it would be great, if they supported something along the lines of 1996s "Software Visualization in the Large", by Thomas Ball and Stephen Eick [1]. I did something like that (i.e., marrying the visualization with a file management metaphor) quite a while back in Eclipse, but never got around to maintain it. Too bad, because I kind of liked it. (And it was different from AspectBrowser, too.)

[1]: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.89....
The British Are Now Preparing For Greece To Go Bust, And The End Of The Euro
The most interesting part is the actual phone function isn't mentioned a single time in the whole video.
California employees bound by non-compete covenants
http://hennessyhammock.com/
advertising is a depressing middle-man work that no-one needed but it exists to lure its customers with the promised possibilities of increased revenue. Something like "Hey you wanna make more monies? give me some first and then I'll give you the possibility of making more money with my XYZ scheme".

The problem with the current XYZ schemes is that they get outdated as soon as users get used to it. Its like a bonfire, you need to keep bringing the woods and other stuff in the fire to keep it burning.
Correct, except I see cult of personality (usually mentioned in context of pop culture idols or state leaders) as a wider pattern (including family members, imaginary gods, and romantic interests); my hypothesis is that cult of personality-related traits first evolved as a way to ease building of trust between individuals -- starting as early as children trusting their parents to bring food etc. -- and also as one of primary ways in which potential mates were sought out. When this propensity to imagining other individuals as possessing magical powers was combined with abstract thought, creation of totems, idols, and gods followed. Some smarter individuals probably eventually grasped the potential that control of this process would bring and created organized religion. It seems to me that Abrahamic-type religion (single god, typically imagined as an old man) arose concordantly with the establishment of agriculture, during a time when a settled lifestyle shifted generational power balance towards the elderly who then attempted to perpetuate its influence using organized religion.
I'm not sure about the method, but it sends the data to collector.newrelic.com and collector0 through 8., pretty much the whole thing was completely automatic and zero configuration except for double clicking the installer exe.

Edit, actually here we go (about 1/2 way down):

http://support.newrelic.com/help/kb/docs/security

By default, data is transmitted in the clear from your site to our site. There is an option flag (ssl) in the newrelic.yml file to enable the use of HTTPS. We don't do host authentication with HTTPS, just communication encryption.

Under Java, .NET and PHP we use JSON to serialize data. The Ruby agent uses Ruby marshaling to send data to New Relic and we marshal return codes back. We believe the risk exposure from marshaling is low.

The Agent communicates with two hosts: collector.newrelic.com and one of collector[0-8].newrelic.com, where the numbered host is fixed for your account. Which numbered host your account uses is displayed in the log/newrelic_agent.log at startup.
They're annoying because similar to modal windows, they elicit action (( Welcome Back user! click to reload window->[x])) and it seems they require me to reload my page every time I return due to the use of OpenID (ppl ask why it's cumbersome? here's why... and stackoverflow has the best OpenID implementation I've used)
Cotton Tale Designs
Distinctive Nurseries offers an entire line of Cotton Tale Bedding at Guaranteed lowest prices and free shipping.
Sounds great! But still, I'd love some more information before installing this on production. Thanks anyways for the pointer, hadn't come across them before!

Edit: Thanks for that too! :-)
This is Maemo 6, renamed to Meego Harmattan. The actual "Meego for Handset" can barely make/receive calls, and Elop was right in dumping it. Blame OPK for not sticking with Maemo.
CUDA (and GPUs in general) seem to perform well only with SIMD workloads. I think Larrabee is likely to be more flexible than GPUs at the cost of a little SIMD performance. I also think the advantage of being on 22nm with the FinFET process will prove to be significant because NVIDIA and co. are likely to be stuck on a conventional 28nm process for a while.

It has the potential to be a good part.
I've never used them, but after a bit of research, it seems that while they're visually big, they seem to provide a resolution that even a netbook outclasses, which would make them pretty bad for programming.

There's also the issue with requiring you to remove your "monitor" whenever you want to sketch something out on paper or draw a quick diagram.
Dancewear For Dancers
Are you a dancer who needs more tha the same old boring dancewear? Take a fresh look at dancewear from Dance Clothes UK. Try a metalic catsuit to make your performance shine out from the rest!
I spammed Manny at onlyonetv the first day that they spoke with someone at mt.gox. I believe my exact words were:

Manny-Only1Tv, PLEASE scream bcrypt at him

He asked their dev (who asked Mark). Mark replied "bcrypt really isn't that secure. We're using SHA-512. Like 1000 times".

I had a further comment about where he should play "his SHA-512" but we can leave that out.
Catsuits For Dancers
Fancy a metallic catsuit? I got one here and animal print catsuit too! No more boring dancewear for me.
In your analogy, the bank is actually MtGox, the organization in actual possession of the coins, NOT the user.
How does memory coherence work with 50 processors?
Yeah, and it's a great competitor against the iPhone 3GS ;-)
According to the misappropriation theory of inside trading, it seems you would be doing something illegal. Or perhaps you could be convicted of acting as an accessory to securities fraud. Whether it's moral or in keeping with the spirit of capitalism I guess depends on your interpretation of those two things. Personally I don't think capitalism has a finders-keepers rule when participants buy stolen goods, but you may read it differently.

FYI, the information I'm basing this on comes from a similar case in the Wikipedia article:

"""

In 1997 the U.S. Supreme Court adopted the misappropriation theory of insider trading in United States v. O'Hagan, 521 U.S. 642, 655 (1997). O'Hagan was a partner in a law firm representing Grand Metropolitan, while it was considering a tender offer for Pillsbury Co. O'Hagan used this inside information by buying call options on Pillsbury stock, resulting in profits of over $4 million. O'Hagan claimed that neither he nor his firm owed a fiduciary duty to Pillsbury, so that he did not commit fraud by purchasing Pillsbury options.[16]

The Court rejected O'Hagan's arguments and upheld his conviction.

The "misappropriation theory" holds that a person commits fraud "in connection with" a securities transaction, and thereby violates 10(b) and Rule 10b-5, when he misappropriates confidential information for securities trading purposes, in breach of a duty owed to the source of the information. Under this theory, a fiduciary's undisclosed, self-serving use of a principal's information to purchase or sell securities, in breach of a duty of loyalty and confidentiality, defrauds the principal of the exclusive use of the information. In lieu of premising liability on a fiduciary relationship between company insider and purchaser or seller of the company's stock, the misappropriation theory premises liability on a fiduciary-turned-trader's deception of those who entrusted him with access to confidential information.

"""

Of course, IANAL and I could be wrong, but it sounds like the same sort of thing. Information is created about a company by a third party, and someone else uses that information to make trades.

Then again, these two situations are also not analogous, because this guy's trades on MtGox were based on public information (namely that the value of bitcoins was falling precipitously). So he might not have done anything technically illegal, were this a real exchange. However, his trades would probably have been rolled back in a real exchange (assuming the trades were enough to move the market like this), so that still supports my overall perspective that he should not expect to get away with the money.
Chat with their live support - it really is an incredible platform.
Yeah, that's kind of what I'm curious about: did Dropbox learn about it through that guy's discovery? If so, we're lucky that that guy came across it the very same day the bug was introduced. I'd assume there aren't that many people who would have found the security hole, been nice not to abuse it and cared enough to let Dropbox and the world know…
Looks a lot like an iPod Nano. http://www.apple.com/ipodnano/
Why I Left Teens in Tech
This is absolutely fantastic advice and I'm extremely grateful that you took the time to jot it all down.

Why you object if I were to get in touch with you? I'm UK based (not London) and would be interested in hearing a bit about the startup/tech scene in and around London. Being involved in a local HN group would be an awesome aid for me.
I don't think Nokia's leadership thinks splitting their resources on two platforms is a good idea going forward.
This is painful to watch. Lesson learned: if you're dumping your platform to move to another, make sure there are devices built on the new platform available the day after the announcement.

Bye, Nokia, it was great knowing you.
if anyone in the cloud computing space fucks up badly enough and frequently enough to make users distrustful of cloud resources, it makes life harder for everyone else in the space

That's exactly how I felt after the AWS outage. There was a slew of (incorrect) media reports about why cloud computing was inherently bad for your business.
i wondered if this was as gray moral area, but I couldn't find a single reason why this hurts traditional cabbies.

In fact, the fact that uber has the cabbies' back in terms of serving the city, makes it a win-win situation for everyone involved except the target of the cabbies' strike cries.

If you are a cab driver and you're upset by this marketing gimmick, holler.
HN Job: Looking for a job in Germany Student
Hello,

Fellow HN members I am 19 currently just got out of high school from India i'm looking for a job in Germany so that i can work and learn German in part-time for entrance studienkolleg (prepatory couse).

My Skills:

PHP5 - MVC Frameworks (CodeIgniter,etc..) - 5 Years

Facebook and other social api's -3 Years

MySQL -5 Years

Scaling in amazon & other public cloud - 3 Years

HTML ,PSD2HTML,CSS Franeworks(Blueprint,960gs) and Javascript,JQuery - 2 Years

Cross Platform Desktop and Mobile Apps Development Appcelerator Titanium - Learning from past few months

Node.js & ROR - Learning from past few months

I use git and capistrano to manage and deploy applications.
s/theory/hypothesis/g
China Highlights Travel
Excellent timing, I've just announced on a mailing-list my first public AMI. So I'll have to check tomorrow if I made mistakes on the way :) (I'm pretty sure I haven't left anything confidential, but there might be some cruft with my keys…)
nokia are becoming better at making videos of phones than phones themselves
The euro is fine, the EU banking system - including UK banks - are not. Banks are too big, why can't I pay with my phone like is possible in Africa? We're gonna have to bleed one way or the other, I'd prefer to have less and much smaller banks after this ordeal is over.

Sarko and Merkel realize that banks are fighting their end game - banks 20 years from now won't be the same kind of animal anymore. They're both up for re-election and are gonna give the banks their final stroke.

This will change the fabric of the nation-state profoundly. Buckle up, we're in for a ride.
Didn't you also bring that upon yourself by buying a product from that particular vendor (Apple) as opposed to any other? Upgrade treadmills and forced obsolescence are always a risk with software, and users need to learn to account for it.

I recently acquired a Macbook Pro from work, but I'm using Windows 7 on it full-time. I'm far too wary of being forced to upgrade when Apple stops providing security updates to the version of OS X currently installed on it.
Former steam valve monitoring engineer here.

Out of curiosity, how did you go from nuclear engineer to being a lawyer? Or was the transition the other way around?

Genuinely curious.
The way I understand Mt. Gox is that they have a giant pool of real btc. They are the "owner" of these btc. So, for instance, if your account says you have 3000 btc, then your 3000 is just an entry in a database, and the only time that actually becomes a bitcoin is when you cash out the coins from Mt. Gox. At that point, they give you the amount of coins that you requested to be withdrawn from their giant btc pool. So, in other words, there aren't actually any specific bitcoins that are assigned to you specifically. You essentially own an IOU for 3000 bitcoins that you can cash out at any time. That's also why they can roll back transactions, because no bitcoins are actually transfered in their system, only database entries that state who owns how many bitcoins. That's why I think someone could update an account's bitcoins balance to any number, and then sell them on the market, because you're not really transferring bitcoins. You're transferring IOUs for bitcoins in a database.

Judging by the amateur security issues they've had lately, I think it's highly unlikely that they have the right controls in place to catch something like that automatically.
This move by Nokia has stunned the Smart Phone makers, Apple , Android and RIM, its wonderful in Design, Social and Interaction.

But there is something more required for any smart phone's success story. On that front Nokia has failed everytime they have launched exclusive devices. 'CARRIERS'.

Yeah for every success story of Smart Phone, phone carriers play larger role. But Nokia always had problem in revenue sharing with Phone Carriers. So in USA and Canada where the larger mass of Mobile phone users who actually afford/buy these costly and smart devices never played with Nokia Devices.

Where in India and China, lot of local providers offer cheaper mobile phones with lot of functionalities.

I see carriers major role in success story of Nokia N9, selling unlocked phones are not preferable for customer.

Another major challenge it may face is convincing small/medium developers to start building apps for their platform.
false.
don't hire incompetent coders who don't know what they are doing. Security is easy, don't assume any input is safe, clean and verify before doing anything with it. Be aware of security issues and best practices. Ah yeah, don't let untrusted people access your db.
>Jesus, since when has uncouth thoughts been grounds for conviction? If it was, I'd be guilty of a trillion crimes.

Are you seriously putting these words in my mouth? I didn't say anything like that. The gist of my post was that from a casual reader's perspective, bitcoin was a hobby for cryptographic nerds, and that this demonstrated that it's "lost its innocence", so to speak.

Am I "upset" by this? Sure. In the same way that I would be upset if I was competing on something like allrgb, but nvidia decided to come in and destroy me and my friends by building custom glass. Is nvidia be "immoral" there? No. Are they being, to be blunt, assholes?

Thoughtcrime? Convicted?

I want this to be clear to anybody reading this that doesn't understand the context of what I'm saying: (I'm trying to say this in the most polite way possible) your response here is completely incorrect, and without merit.

You're accusing me of something that I consider morally abhorrent (accusing somebody of "thoughtcrime"), and it's ridiculous.
Your argument is perfectly valid. It would also be perfectly valid considering commercial flight, ship transport, passenger trains...
Previously on Hacker News: http://news.ycombinator.com/item?id=2526868

LastPass Disclosure Shows Why We Can't Have Nice Things

08 May 2011

A few days ago, LastPass announced they would be forcing their users to change their master passwords in response to what was essentially "something weird":

"We take a close look at our logs and try to explain every anomaly we see. Tuesday morning we saw a network traffic anomaly for a few minutes from one of our non-critical machines. These happen occasionally, and we typically identify them as an employee or an automated script.

In this case, we couldn't find that root cause. After delving into the anomaly we found a similar but smaller matching traffic anomaly from one of our databases in the opposite direction (more traffic was sent from the database compared to what was received on the server). Because we can't account for this anomaly either, we're going to be paranoid and assume the worst: that the data we stored in the database was somehow accessed."

LastPass acted exactly like we wish most companies would act: responsibly. And the media's response? Declaring LastPass "hacked" and "vulnerable", and placing them in the same category as Sony—who definitely were hacked—with sensationalist headlines like:

WARNING: Your Web Browser's Master Password May Have Been Stolen -- Change It Now
LastPass Has Been Hacked And Asking Everyone To Change Their Master Passwords
LastPass Hacked, Change of Master Password Urgent
LastPass Is Hacked – Change Your Master Password, But Don't Panic
Should the LastPass, Sony hacks make you fear storing data in the cloud?
Ask HN: what's the legal status on Uber?
I read somewhere that the founder of Uber might have some tens of thousands of jail time in front of him for violating certain laws. Yet Uber lives on and apparently keeps on innovating.

1. What's the legal status for Uber?
2. At what point do you say "screw it, i might be breaking the law but this is how it should be done." ?
imho, they are going the wrong way.

the feeling they pass is that 99% of the work is to hide the url bar with convoluted ajax hooks. Just adds programming complexity and bugs. On dolphin browser (most common android one) you see the url bar all the time, unless you are on desktop mode. go figure.

I love the work they did on the styling though. Use for the all my mobile sites.
tejaswiy, I'm one of the people you can blame for posting stuff like
this and you can check the 'submissions' link in my profile for further
confirmation. --I've probably submitted on every topic you've listed,
and I do so because I consider them interesting and useful.

I'll agree such news is all too often lacking depth and details, but
oddly enough, that is the point of a quick news writeup. If the topic
interests you enough to do more work, at least you know about it and can
now make the choice if it is worth the additional effort and expense
since a lot of research sits behind paywalls.

The value of the detail-free "news" articles is simply knowing about
the various advancements being made. Even if you have little interest in
the topic and mostly forget about it tomorrow, just knowing about it
might be really beneficial at some later time. You just never know when
trivial and useless minutiae about on-going research and development
will suddenly become important knowledge. --When faced with some related
problem, you may just recall reading about new and related R&D that can
be applied.

After all, terms like "hacking" and "hacker" are nothing more than a
marketing push to use sexy-cool names for "Research and Development" and
the people who do it.

If research and development news doesn't interest you, that's fine, but
if so, then why are you here? --This isn't intended as an insult in any
way. I'm actually very curious about what you want HN to be? I'm
particularly curious because I seem to be (in part) responsible for
the "problem" you mentioned.

What would make HN better for you?
Agree! Many thanks Google! It is about time this happened. Let Microsoft worry about Skype while the rest of us try to make the WWW more user and developer friendly.
What's the target for that? It's pretty unusable on my android (incredible) phone. Looks interesting tho!
Why would they put so much effort in it if they are not planning support for it?
this biggest issues is the licensing with Sencha/Extjs vs jquery mobile. I would stick with jquery to be safe or understand your product and hopefully any future uses of your product. They had issues in the past.

http://pablotron.org/?cid=1556 - old but relevant.
3DS SYSTEM UPDATES COMING TO U.S.
On 14 June I presented a message to them once that touchscreen software 3DS does not change. Recently, Nintendo has a new 3DS system update that the number is called 2.1.0-3E, published for 3DS.