skysight-inc/HackerNews huggingface dataset:
Yes I am sorry, I believe I ment "it is in some ways a formal proof." It is indeed a proof sketch. With a preliminary section defining things more rigorously, I do believe that this is publishable in most of the Cryptography conferences I have published in.
The Risks Digest Volume 3: Issue 44 (1986)
I may be naive, but how is that any different from a traditional homepage?
They just opened an Austin office too, I was excited until it ended up just being a sales hub.
They may care about the browser, but I fear they care about regaining market share more than anything else. They had a firm lead for a long time, but more and more I see sites making support for non-IE browsers a top priority and the IE market share is shrinking.

If Microsoft uses tests like these to try to divide the browser market by essentially defining its own spec, I think it will be bad for the internet at large.
Unfortunately, Gizmodo's letter to Apple doesn't say they paid for an exclusive. Gizmodo says they bought the iPhone:

"We didn't know it was stolen when we bought it."
If you lend me $50 billion from your slush fund and let me convert most of it into worthless stock, I will then turn around and pay off the balance with interest.

We have too much auto building capacity for this economic environment and the least competent should have been shut down. That's how the rest of the economy works.

GM got a sweetheart deal for totally political reasons while thousands of other companies employing many more workers being paid realistic wages and benefits went bankrupt.

Do the rest of us get paid to sit on our asses at "job banks" playing cards when we bet on the wrong employer or career? What is so sacrosanct about this particular work or group of workers?
vendor tags are a plague. if it's not in the spec, fine, add them, make your browser appear pretty, but when it hits the spec, you need to pull support for your specific one, or make damn sure you support both.
That may be true, but my mother managed to miss the mushroom the first time she played. I was in shock.
nobody important ever goes to jail for it

This might have something to do with the fact that the US doesn't have any extradition treaties with China or Taiwan. People do go to jail over this if their activities are discovered while they're in US jurisdiction.
> It was a US soldier attacking a US military base. Treason in time of war. Entirely different problem.

His "mole" status doesn't change his cause or tactics.
That decline of wealth coincides with American politicians finally killing off the new deal and Keynesian economic policies and falling hook line and sinker for the Chicago school swindle.

You can argue that economic growth was stopped before that point, but here that is because of the fuel crisis which was of course an external event that had nothing to do with US economic policy. If you correct for the fuel crisis, the US growth malaise starts with Reagan and his policies. And it just keeps on going only being very partially and temporarily alleviated by the ever so slightly populist policies of Clinton.
Your analogy doesn't match up:

"About $7 billion of that came in the form of a straight-up, low-interest loan. And about $13 billion came in the form of an escrow account.

So how has GM, which lost $38 billion in 2007 even as it sold 9.4 million cars, paid back its debt? It took money from the escrow account to pay back the $6.7 billion loan."

They literally used loan money to pay back loan money, and they're still in the hole for the stock part, as well as $6M of the escrow account.
> ... and how much of a corporations tax-deductible costs can go to C-level salaries instead of everyone else's salaries, much of the need for unions would go away.

Something like that was already instituted under Bill Clinton - corporations can't deduct more than $1 million of an executive's salary. That was actually a big part of why compensation shifted to stock options - I don't think that was a good shift, myself. CEO's and high level executives now make a lot more short term decisions than they used to when they got, say, $6 million in salary and a dramatically smaller option pool. Back then their main concern was keeping the business running smoothly to ensure their jobs. Now it's all about getting the stock price up as much as possible in the short term, often with disastrous results. Also, executive compensation actually went up as a result of the shift to stock options... it's ironic that the government trying to limit executive compensation helped stimulate an increase in executive compensation. Unforseen secondary effects can be funny like that.

> ...much of the need for unions would go away.

Much of the need for unions has gone away, but unions do not voluntarily close shop. Do you think they would do so? It hasn't happened yet...
"American industry is failing primarily because safety standards are higher than abroad."

Then why can Toyota and Honda successfully build cars in the US?
If the Dodd bill kills most angel investing (due to the regulatory barriers as much or more than the new wealth thresholds) we may be left with "new things" like crowdfunding.

That's how Rich Hickey can afford to hack on Clojure this calendar year: http://clojure.org/funders
Valuation caps on convertible notes, explained with graphs
I know it's kind of hip all of a sudden to act like Facebook is the enemy of the people, but do you even have a reason for saying what you just said? What is it that Facebook is going to do that will interrupt your peaceful Starcraft 2 matches?
By changing the detector,
you're surely a defector
from the point of the proof.

If what comes out is made moot,
give the whole thing the boot:
look at it from the roof.

edit: previous comment requested my argument in rhyme :)

edit2: second verse!

If the halt-checker is wrapped, isn't it not?
Since we've just solved it, why can't a 'bot?
Just what's going on here?

So if it's internal...
... this damned, infernal...
Lets just go get a beer.
My comment was tongue in cheek. If Groupon IPOs or sells for a bajillion dollars it will do more for internet companies in Chicago than anything I can think of, ever.
Present value for $2.5m received in 5 years using a 5% rate (decent, currently) is about $2m.

Present value for $2.5m received in 5 years using a 15% rate (say you are accounting for high risk) is about $1.2m.

Solved?
My main concern with the hype around memristors is how quickly the technology will scale. Yes, they have great promise. But if technical problems make them 4 times bigger and 8 times slower than existing technology, nobody will adopt them. And without volume adoption, they won't have enough investment dollars to be able to exceed Moore's Law. Which means that we won't care about them until well after Moore's Law runs out of steam.

This is not a theoretical failure mode. It has happened before in the computer industry. Multiple times.

For example it is why Transmeta died. Their goal was to have a simple chip that was so fast that they could emulate the x86 faster than the x86 could run. They failed. However one of the design goals was less heat (because heat was a major scaling barrier), which translated into having an emulated x86 chip that with much lower power. Given that they had a simpler architecture and had already solved heat problems that were killing Intel and AMD they hoped to iterate faster, and eventually win. But the investment asymmetry was so huge that they couldn't execute on the plan. And Intel was able to reduce their power enough to undercut Transmeta on the niche they had found, and Transmeta couldn't survive. (Intel was aggressive because they understood the strategy and the potential. Transmeta was always going to be something that either wiped out the existing industry or died with a whimper, and Intel knew which outcome they'd prefer.)
>They literally used loan money to pay back loan money

Which is exactly what I said. GM isn't "in the hole" for anything, and what remains in the escrow account is theirs free and clear. The governments obviously hope to recoup their "investments" when the company goes public again, which may or may not happen.

They repaid the loan because they ended up not needing the cash. It can't get simpler than that. The only question is whether they overstated their original request, or if they really have turned around enough.
"thousands of other companies employing many more workers"

Ok so what's your short list of companies who employ roughly 250 thousand workers (and effect countless more) that could have used a bailout as well?
Why are you only looking at the program and ignoring the wrapper? The detector should also look at the wrapper.
My server blew up when I tried committing a 400 MB video to it's git repo :(
A reasonable person would hand it to the proprietor of the premises. It became "stolen" when he walked out with it.

I've gotten back lost items at the register of where I left them, or never gotten them back at all. This implies honest people turn things in, while dishonest people walk out with them.
Something similar happened to me, but it didn't have a happy ending.

My last year in college I had to stay for fall semester because of scheduling issues with a required class, so I needed a job for a summer. A local firm -- and let's name names: Marshall Erdman, since purchased by Cogdell Spencer http://www.cogdell.com/ -- offered me a programming job. I accepted about 4 weeks before I started, and in doing so, turned down other job offers.

My fourth working day, my boss, her boss, and an entire wing of people were laid off. In typical classy fashion, people figured out who was going when they couldn't login to outlook. Somehow they forgot about me though. So I literally spent the next 6 working days finishing already assigned work and coming to work in a wing of the office that was literally deserted except for me.

Finally, I walked into the president's office and asked what I should do. I got a general, "huh?" reception; HR fired me that day. Of course, these assholes gave me no severance or anything else -- they just said, "Oops, our bad." Since I was in college, I didn't exactly have much savings and normally by the end of the semester I was living paycheck to paycheck so this couldn't have come at a worse time.

I managed to string together enough jobs to make rent, but it was a close call. And employers wonder why employees don't feel any loyalty :rolleyes:

I applaud the author of the post above; I should have done the same thing.
"IE9 won't run on XP"

Yeah, I know. So what?

"Microsoft can release this for Windows 7 and still hinder development of web apps."

So, instead of building a better browsing experience, they should port IE9 back to XP... despite it not supporting half of what they need it to support to do what IE9 is doing?

I understand what you are asking. I understand why you think it's reasonable. I disagree, however, because it's not reasonable, and it's a very bad idea for many reasons. It's also silly, and ignorant.

Edit: Ignorant might sound strong, but I really do think you just don't know why backporting IE9 to XP is probably a bad idea. I'm not calling you stupid.
You can't just drop a memristor chip or RAM module into an existing system and have it work. It will take a system redesign.

If these truly are a viable storage system, building an interface that's reasonably easily adaptable to the current computing paradigm shouldn't be too difficult. Traditional HDDs and SDDs both play nice with SATA, for instance, despite using wildly disparate methods of storing bits.
"if David were to steal Goliath’s slingshot. . ."

I just don't even know where to begin.
At worst, the crime is economic espionage (more likely by Chen's employers rather than him as an individual). This carries a sentence of up to a decade a fine of up to $5m (although if this were the case here, the actual penalty might only be a tenth of that).
Absolutely, but the corporate climate (for big web companies) is changing rapidly and such 'niceties' can now be dispensed with, after all, where are you going to go?

Even small companies seem to have lost the art of the apology, big ones rarely if ever did it in a meaningful way to begin with.

They're mostly sorry about the damage to their image, not so much that people's private data got exposed.

Wonder how long this was in the wild.
looks to me that Spencer Fry would be a good candidate for Mixergy
Would it have any meaning to deal with (a) and to some extent, (b) by considering the stock founders at their last investment after a certain number of years (say, 5 or 10)?

Side question: You seem more aware of YC contribution to startup performance. Does this mean you see YC more as competing with other investors and less with graduate programs (I think I recall you mentioning that on some old thread).
It was my impression when I was interning at Citi (quant/strategy/trading) that they weren't very experimental buyers, and frequently liked to reinvent the wheel. They certainly didn't redo EVERYTHING. Besides that, there aren't that many big banks to sell to. I'd say it's trickier than average to get a market fit. But maybe you're right that they'll buy any old crap.
It's one of many tests. While they aren't at 100/100 yet and rendering the page correctly, they have made solid strides since their last release of IE9. They are progressing.

But yeah, ACID3 isn't the only test out there browser makers appear to use.
You are missing things are stated on the page:

IE9 is in "Platform Preview" - meaning "not even beta". It is compared against current released versions of other browsers. They will catch up, and by past experience some will release before IE.

These tests play to IE9's strengths. I don't really have a problem with that since the tests will push other browsers to catch up, but there are other tests like ACID which have different focus and showcase other browsers.
The ATF's standard is roughly that it treats a gun as a machine gun (legal definition) if it can be made to fire automatically with about the same effort as making an automatic weapon given a barrel.

Since it's fairly easy to make an automatic weapon given a barrel (the metal working isn't that difficult) ....

Yes, there are lots of "plans" circulating, but that doesn't prove that they work. Selling bogus plans is the perfect crime because the buyer can't complain.

FWIW, I've had a standing offer for years to anyone to demonstrate a conversion and have yet to have anyone even try. (I'll pay reasonable costs plus $5k AFTER the demo. Yes, you have to front your expenses - I'm not paying for failures or fraud.)
I was just searching for something like this yesterday. I came across DiSo (http://code.google.com/p/diso/), which at first glance appears to be somewhat stale and a bit of a protocol soup.

Anyone know if that effort is still under way? (and if there are any lessons to be learned from it?)
http://caca.zoy.org/wiki/git-bigfiles
Seriously, I think they know.
If the iPad never runs at 1 GHz then we have a case of false advertising. If the iPad sometimes runs at 1 GHz, just not when executing JavaScript, that still sounds like a mistake given the complaints in this thread about sluggish performance.

(Disclaimer: I do power management for a living but I haven't used an iPad.)
This is awesome for Seattle engineers. Even if you don't work at Facebook it should give a nice compensation bump for all good engineers in the area.
"GM failed because they designed shoddy cars. The Unions had nothing to do with that..."

http://www.thisamericanlife.org/radio-archives/episode/403/n...
Sometimes lack of income is the mother of tenacity.
A couple of years ago when FB first started causing privacy concerns, I sketched out a model for a freemium social networking site with user privacy as the top selling point. After deciding it was too early for the target market to consist of anything but Slashdot posters, I forgot about it.

Is it time to think about it again, or is it just Slashdot and HN posters this time?
I challenge this reactionary view that the worth of a person's contribution to society can be measured by their salary.

If their contribution is greater, then why isn't somebody willing to pay them more? If there was such a trove of hidden value, you would think that some greedy capitalist would snap it up and exploit it.

If a person chooses to enrich humanity's lot by providing value outside of the marketplace, it is the responsibility of society to support them.

This isn't a question of differing philosophies and values. This is just objectively wrong. In the degenerate case, if we all decide to become poets, then who is going to farm the food to feed us all? This should clue you in to the fallacy of your statement above. The marginal value of an additional poet is lower than the marginal value of another farmer, or another assembly line worker, or another programmer.

Moreover, there is no such thing as "outside the marketplace". There is more to the market then just financial transactions. Everything we do: how we elect to use our time, the care we invest in a relationship, everything, is a decision about how we use our limited resources (time and attention in my two examples, but the potential list covers literally everything). And we necessarily make those decisions by weighing what we expect their costs to be versus what we expect to derive from them. And that is what the study of economics is about -- money is only the smallest part of it.

I note a trend in the fields of study that are being praised: they are all dominated by men. We praise male fields...

Holy mackerel, what a mouthful. You've got to be trolling, but I'll bite anyway.

Let's start with the fact that YOU are the one that's characterizing things as "male" or "female"; I don't see anyone else doing so. Of the three cubicles bordering on mine, two of them are occupied by females; shall I call software development a "female" field? If not, then why would I ever praise it?

But your statement is its own dis-proof. You (and the rest of the "progressives") are praising what you label "female fields", and implicitly condemning the "male" ones. Doesn't this show a priori that we don't universally favor one or the other, but rather have, as a society, a diverse set of opinions?

Finally, I'd like to retell an old joke from my (engineering) college:

Scientists learn to ask "why does that work?". Engineers are taught to ask "how does that work?". Accountants learn to ask "how much will it cost?". Liberal arts majors are trained to ask "do you want fries with that?"

It's a little cruel, but still funny, I think.
Volcanic Ash Returns, Halts 300 Flights in U.K., Ireland
I think as long as you have an anonymous feature it will be fine. I hope this means that SC 2 is using javascript in place of lua for its front end scripting which could mean all sorts of incredible add-ons. Lua is fine, but javascript just has a broader base.
I was on a sales call once when my neighbor's kid burst into my house and started shouting in Bengali.

I managed to hit the phone's mute button while furiously gesturing at him to be quiet.

Because I don't speak Bengali, I had no idea what he wanted. I had no idea how he got into my house either. He stopped shouting, looked at me and scampered out the front door.

Turns out he was looking for his sister, who was playing with my kids, who I had banished from the house for being too loud.
border-radius isn't in the spec. The CSS3 Backgrounds and Borders model isn't final yet: it's just a candidate recommendation. See http://www.w3.org/Style/CSS/current-work
I wonder about the tragedy that can be caused with easy access to deadly force. If/When the proverbial shit hits the fan, if many people around you have guns, a single irrational one could cause a firestorm that kills you in the crossfire.

If everyone isn't walking around with guns and a fight breaks out, you can run away. But you can't outrun bullets.

This is why I am concerned about open carry laws or even concealed gun laws.
You like this.
That is a lot higher then I would have expected. Does this mean that top VC funds are making insane returns (>50%)?
ZingChart HTML5 BETA available for download (Flash + HTML5 Charting Library)
What about a large number of smaller companies who employ the same in total? Or better yet, let companies fail, let the citizens keep their tax money to spend in the economy as they see fit.
> Imagine that your friend gave you $20 for lunch, but agreed that he'd take your iPhone 3GS in return for $17 of it.

Except in this case GM wasn't worth what the feds paid to buy parts of it.

How do I know? Because no one was willing to pay what the US govt paid. It still isn't.

The ownership stake is basically collateral. If they eventually make enough money, they'll pay it back and we'll release the collateral. Just like any other loan.
> What I don't understand is why they don't use the latest Chrome beta to do this tests - e.g. Chrome 5.0.375.29 beta passes all tests for Dom Level 2 Style.

That's a valid question to ask and I'd tend to give them the benefit of the doubt on this. As I understand it they chose the most recent released versions of the other browsers.

If they had of chosen the most recently nightly build or beta versions and a particular test didn't work on that browser but had previously worked, ie it was a regression that would be fixed in the next build, then someone would jump all over them for "cherry picking" their competitors versions to obtain results that flattered IE the most.

Picking the most recently released versions seems to make the most sense from this point of view, though I'll allow that you could make the point that choosing the most recent nightlies of the other browsers would also make sense.
* Lower cost of living => smaller salaries

* Less competition for talent than bay area

* amazon/microsoft/google/adobe/myspace engineers

* fairly vibrant startup community
Sadly, there is software and websites out there that does not recognize the plus character as a valid character in e-mail addresses.
Exactly what I've been thinking since I first heard this proof.

(this comment partially motivated by a "woot! someone agrees!", and partly to say congrats on your evil-th day here!)
Intel Cuts Idle Power For Tablets And Smartphones by 50x
Maybe this is being too adherent to the "unix philosophy", but I like when things I use do one thing well and one thing only.

If I want to tell people I'm playing starcraft, I'll do it myself, I don't need it to be automatic.

Offering this as an optional addon would be more to my liking.
It's not a standard if your tests are designed to match what your browser currently does.

The real tests of compatibility are those like Acid3 that are designed to fail all browsers equally. This one is clearly designed to fail all non-IE browsers.
The core of the idea seems to be in section 2.3, while the remainder is about the implementation, as well as what comes from that. Definitely interesting and somewhat along the lines of what I was thinking of for a wild-eyed project of mine...
What the author doesn't mention is that continual 3% or 2% growth represents exponential, not linear, growth of an economy. It can't continue indefinitely.

If my economy is growing, this year's 2% growth requires substantially more innovation and resources than last year's 2% growth, simply because it's a larger pie.
It's more like: this isn't morally wrong in the sense that stealing someone's iPhone is wrong, but morally wrong in the sense that corporate espionage is wrong, which is a whole different and fairly complex beast.

Mostly, I don't think it's any worse when Gizmodo publishes it on the web for all to see than when the tech companies buy and teardown "found" prototypes. If people want a wholesale clampdown on that sort of thing, applied evenly, that might be worth considering.