skysight-inc/HackerNews huggingface dataset:
The real problem here is that x^y is a single shorthand which refers to a few fundamentally different mathematical concepts (which happen to have significant overlap with each other).

First, it refers to a function f:C x N --> C, defined in terms of repeated multiplication. f(x,0) is 1 for all x != 0, and so we adopt the convention that f(0,0) is also 1.

But it also refers to a function g:C x C --> C, defined as g(x,y) = exp(y log(x)), which has a branch cut on the negative real axis of the first argument and an essential singularity at (0,0), and so g(0,0) is necessarily undefined.

The value of 0^0 depends entirely on what sort of mathematics one is doing at the time, and therefore which function one is referring to.
Meet Instagram's First Female Engineer
So glad this topic is brought up on HN and great to see all the comments around it. Taking a lunch break, with co-workers or not, paid by employers or not, is the most natural thing that has been practiced by people for hundreds of years in all cultures. It is not only pleasant, productive, but also necessary.
I also think dogecoin is fun and may have a chance at being a useful tool for reputation and measuring attention.
The Mozilla CEO
And here are some that they ship[1] that according to that page aren't in other browsers (or are listed as in development for one or more other browsers)
1. CSS Device Adaptation (@viewport)
2. CSS Scrolling Snap Points
3. Exclusions
4. Encrypted Media Extensions (only they and Chrome ship it)
5. Grid
6. IME API
7. Regions
8. Screen Orientation API
9. Streams API
10. Web Crypto API

[1] These are listed with a status of "Prefixed" on modern.ie/status.

Anyway, I think most of those aren't part of the w3c standards (yet). But I think it's good to see them publicly state their roadmap.
why not give it to someone who wants it?
That's why we trust mathematicians' say-so on the topic. :)

(Well, and because they can justify it, of course.)
Had a set theory professor who taught us that for the non-negative integers, m^n was just the number of unique mappings from a set of cardinality n to one of cardinality m. Ergo, for all sets A such that |A| = k, k^0 is just all mappings from Ø, which is necessarily the one with empty image and pre-image. So 0^0 = 1.
What static binaries would those be?

https://developer.apple.com/library/mac/qa/qa1118/_index.htm...
Modern C compilers have profile guided optimization for that. You run your code, profile it, and the optimizer uses that data in the next pass. So this is something you can get without a JIT compiler.
"Really enjoying Microcorruption and the crypto challenges" puts people pretty high up on my priority list.
(a) there already were two classes of shares, A and B. This creates a third class C with no voting power
(b) the argument in the article is that Google would then issue class C shares for use in acquisitions. Brin & Page did not want to issue more A shares, which would risk their majority control; but they would be willing to issue C shares and use them to acquire companies as they would have no dilutive effect on their majority control.
This is a problem of definitions. The definitions are arbitrary and are chosen to make the life (of the mathematicians) easier. It’s easier to write a lot of results if we define 0^0=1.

On the other hands, he proofs express a fundamental truth and are handed down to us by God (or whatever deity you believe in).
Pendevere, email me. Address is in my profile.
No, because there's no such thing. Either we can define 0^0 to have a value, or we can not do so. Either way, there's no separate option "indeterminate" that is different from "undefined".

Now, it's common to teach in calculus classes that 0^0 is one of the "indeterminate forms", along with 0/0 and so forth, which, so the story goes, is a different thing from being undefined, like 1/0. Since, after all, if f(x) approaches 1 and g(x) approaches 0, then the limit of f(x)/g(x) is undefined, whereas if f(x) and g(x) both approach 0, then the limit of f(x)/g(x) cannot be predicted in advance. So 1/0 is undefined, but 0/0 is indeterminate.

Now this certainly is getting at a real distinction! But it's not a distinction between the value of 1/0 and that of 0/0; both are undefined. "Indeterminate" is not some separate actual value. Rather, they are getting at the distinction of the behavior of the division function near the point (1,0) vs. how it behaves near the point (0,0). Not at the points! At both those points, the function is not defined.

And similarly with 0^0. Of course, it's pretty common to define that 0^0=1, and it's a definition I'd agree with -- but this is not inconsistent with the calculus teacher's statement that 0^0 is "indeterminate", because the latter (once made sense of) is not really a statement about the value of 0^0 at all; it's a statement about how the exponentiation function behaves near the point (0,0) (not at it; at it, it's equal to 1, or at least by my definition it is, at any rate).

In short, there's no such value as "indeterminate"; the calculus teacher's "indeterminate forms" (as opposed to "undefined"), while getting at a real destinction, is not actually about the value of the function at the point at all.
Mathematics is about generalizing concepts and principles to ever larger domains.

In this case, x^y is defined for all pairs (x, y) of real numbers except (0, 0). The question is what limit is "closer" to the set of outputs in the neighborhood of (0, 0) than any other.

0^x is defined for all x except 0, and same for x^0. We can define 0^0 as the limit of one or the other as x goes to 0. and one is constant and more "stable" than the other, so it is typically taken to be that, i.e. 1.

Up next ... if P(X) = false, what is "P(X) for all X in Ø"?
It's getting silly. At work, you are engineer, that's all.
Not if the remote control is e.g. a Roku remote control. By the time I've done all the things you list in your first paragraph on my phone or tablet with my Chromecast, you'll have typed about three or four letters into the onscreen keyboard that Roku uses.
I cannot imagine being in an environment where everyone was so gung-ho about "The Mission" that they all took lunch together in the office. It sounds cultish. It would creep me out.

When I worked in an office, I was there to do a job. I was there to get work done and go home. I had my own things I wanted to do. The company pays me for 40 hours a week. Nothing more. They don't deserve any more.

And my side projects are mine and I will do with them as I wish, not volunteer them on the altar of 10% time. Maybe if (proverbial) I weren't trapped in the office all the time with free lunches and rock climbing walls I wouldn't need the company to bestow upon me the extreme privilege of doing what I want with a small portion of my time.

Why does this math even make sense? Why wouldn't people just leave half an hour early?

Also, reminds me of factory work. We all took lunch breaks together. Sat in the provided lunch area. It was well understood you were expected to be back to work in half an hour or your ass was grass.

Also also, reminds me of school. Get on the bus. Go to class. Do what you're told. Read what you're told. Think what you're told. Eat this lunch that we have provided for your maximal nutritional value at minimal cost/benefit ratio, strategically balanced to avoid inciting a riot.

Fuck. That. Shit. I'm an adult and a professional. I'll take two hours for lunch on my own dollar, thank you. I've got potential clients to entertain as I plan my exit out of your Branch Davidian complex.
I love math, but I have never really enjoyed these types of debates.

I guess I have always been drawn to the application of the concepts in the real world rather than the abstract beauty of it.
Do Google employees get Class A, B or C stock?
Opera has failed me
Tried to switch from Opera 12 to 20...

Everything looks like the clone of ideas from Firefox and Chrome (doh!).

Bookmarks are missing (!), what an idiot decided to remove the bookmarks menu? He should be fired right away!

Can't move address bar to the bottom (like I was used to in the past > 10 years...)

Can't customize speed dial (choosing number of columns doesn't work)

Ugly default theme that I can't change (window bars).

Edit site preferences is missing.

I'm forced to switch to the faster browser and it seems everything goes into Chrome direction.

Plugins from v12 doesn't work in v20 (of course).

Opera - you have failed me and your trusty user base who was with you even in the times of shareware Opera, it feels like a slap in the face looking at all those missing features and re-discovering simple things again (like displaying full URL in the address bar, are you kidding me?), I was with you even if the last few updates deleted all my bookmarks and my settings, but now I can't look at this.
I have some personal info on this exact issue from a good friend I trust that works with their label/is good friends with the members. Take it as you wish, but I can't help but share because it would be great if someone else confirmed it.

basically my friend told me that they were coerced into making a "last" album (this was before it was formally announced by them fyi), to pay off a group of club-bouncer thugs that follow them to all their events and threaten them for payment--I'll explain below.

When wu-tang was getting popular and played at inner city clubs, the manager would pick out 5-10 of the meanest looking guys in the crowd and tell them to essentially act as bouncers in the venue if things too got out of control. He couldn't pay then, but these guys would do this at every venue and over time, bonded over this newfound relationship with wu-tang clan. They got wu-tang tattoos on their arms and felt proud of the affiliation (almost to the tune of resembling a gang). Once wu-tang started playing gigs at bigger, mainstream venues these bouncer men were no longer needed.

These wu-tang tatoo'd bouncers felt wronged, and attributes wu-tang's success now with the protection they provided at dangerous inner-city clubs. They felt like they were employees in a sense and demanded a percentage of all the revenue the group was now making. They threaten the group and manager frequently and my friend said, wu-tang desperately needed to pay them off because they are all older now and fear for the safety of their families.

This album was then announced publicly and I can't help but put two and two together. Was this album created to get a quick sum of money to pay off the club bouncers once and for all? I can't stop thinking about it now.

I promise I'm not making this up, just wondering if anyone can confirm any of these assertions that are knowledgeable with wu-tang/hip hop.
They have that box already, and it's called Roku.
Can we predict gallstone formation after bariatric surgery
Microsoft had a competing proposal to WebRTC called CU-RTC-Web which, as far as I understand it, proposed to get rid of the Session Description Protocol (which is text-based and thus difficult to parse/edit) and provide lower-level APIs instead (details here: http://www.tokbox.com/blog/what-the-cu-rtc-web-vs-webrtc-deb...).

I've just started reading up on ObjectRTC but I believe it plans to offer an API to replace SDP too and Microsoft has moved to it since it's similar to their CU-RTC-Web proposal. All in all, it looks like this will delay the adoption of WebRTC everywhere but will be for the best in terms of API and developer experience in the end.
webstorm is also reasonable, but vs is better.
Not really. If you compressed your data on Amazon, you'd get a lower per-GB price too. I think tarsnap is good, and you're paying him for the service of interfacing to Amazon for you. It's not accurate to say his price of compressed storage is comparable to uncompressed storage.
Yes, but getting there steps out of the realm of "intuition" for me.
Wu-Tang are clearly being derivative of Vulfpeck here.

The problem that Vulfpeck had was that their music was too easy to copy. Because of the uniquely repetitive nature of most of their songs they matched the MP3 compression algorithm particularly well which made them simple to post in forums. For example, their best known song is available by playing the following characters as an MP3: [1]. Of course any music fan will pick out how derivative Vulfpeck is of John Gage[2], so I guess what goes around comes around.

[1] http://techcrunch.com/2014/03/21/vulfpeck-releases-an-album-...

[2] http://en.wikipedia.org/wiki/4%E2%80%B233%E2%80%B3
It also totally glosses over the issues of how indebted Guitar Center is to its major suppliers. Korg and Gibson (among other manufacturers) have been letting GC slide on payments for new product for years to the tune of several billion dollars. They've allowed it because they need to push inventory and GC pushes more than anyone else. The fates of manufacturers and retailers here are now hopelessly linked and a failure of GC will take those companies with them.

What the author is suggesting amounts to little more than "only buy boutique gear" which is ludicrous. For one, most of it is laughably and unnecessarily expensive and a lot not even that good (poor QC). You can't repair your own amps half the time because the small company enamels the whole damn circuit board so their competitors don't copy their (textbook EE) design. And there's no good alternative if you're someone who works on Keyboard Workstations.

People like cheap stuff more than they like brand/industry loyalty.
"Ownership" without control gives you precisely nothing, except for perhaps standing in a shareholder lawsuit. A company being unaccountable to its investors should make it unattractive as an investment.
It's a nicer javascript object based API for interacting with WebRTC. WebRTC by default uses an SDP offer/answer based approach.

Here is a more detailed rationale for this API:
http://tools.ietf.org/id/draft-raymond-rtcweb-webrtc-js-obj-...
A simple technique to get anything you want
No web audio API? Are they building in an alternative?

All other browsers support web audio. Why isn't MS following along?
So is this going to work on Linux?
It's very important to note here that 0^0=1 is a shorthand and not a truth.

Mathematicians are absolutely not stating that they have proven, or that it is true, that 0^0=1. It is a definition, not a claim of equality. They're not saying "0^0 is 1" in the sense that they say "1+1 is 2" or "0.999... is 1". They're saying "we define 0^0 to be 1". The difference is more than just pedantry, it strikes at the core of why mathematics is the most powerful tool for determining truth that humanity has either discovered or invented (hat tip to anyone familiar with that debate).

One of the cold, austere, beauties of mathematics* is that if you do not accept a definition, you can reject it as false and reason with the result. To give the traditional example, if you accept as true that two parallel lines never intersect, then along with the other 4 of Euclid's Axioms you can prove all of Euclidian Geometry (what you learn in high school). If you do not accept it as true (an explicitly accept it as false), then you can prove all of Hyperbolic Geometry (one form of non-Euclidian Geometry).

In the case here, you're free to reject the convention that defines 0^0 as 1 and reason with the result; you will not break any mathematics. But you should know that mathematicians have never run into any issues with this convention--or can handle it trivially when they arise--so you're only adding a lot of work for yourself.

When you really think about it, it fills you with awe. It's awesome.

*“Mathematics, rightly viewed, possesses not only truth, but supreme beauty—a beauty cold and austere, like that of sculpture, without appeal to any part of our weaker nature, without the gorgeous trappings of painting or music, yet sublimely pure, and capable of a stern perfection such as only the greatest art can show.” -Bertrand Russell
What if you hold Google shares as part of an index fund? Does the fund now hold both GOOG and GOOGL?
In Crimea, Russia Showcases a Rebooted Army
Why don't you fault Uber? It's their driver who reneged on the offer to drive you and inconvienced you. Don't you want them to prevent this and make your experience better?
But if you define 0^0=1 in general, it doesn't cause a problem here -- that definition never disagrees with x^y=exp(ylog(x)), it just defines it at the point 0^0, while the latter leaves it undefined. In other words, it's possible to make a common extension of the two; they don't actually give different values in any case.

Of course, doing this makes exponentiation discontinuous at (0,0), but seeing as it already had an essential singularity there, this isn't really a loss.
I find the critique confusing, too, because I streamed a 1080p movie to my Chromecast by dragging it into Chrome and then casting from Chrome itself.

No problems. It played fine.
you realize it's basically chrome under the hood now, right ?

they stopped development of their own browser engine and adopted blink, the fork of webkit they share with chromium.
Looks like I'm going start reading up on C# again! It's been a good 4 years without touching .NET but these developments make my want to try a hand in mobile Windows 8 development.
It's OK. You can implement WebRTC as a JS library on top of ORTC.
I'm not a mathematician, but this seems the most reasonable/believable answer I've heard. The last sentence especially.
Those two things are... orthogonal? WebRTC is a transport for media and data streams, which looks somewhat like SCTP-over-DTLS-over-UDP. getUserMedia is a way to get a stream which can then be sent over a transport.
Four killed in shooting at Fort Hood; gunman dead, multiple injuries
Live Updates on Shooting at Fort Hood in Texas
Start up times could be a big deal to compete with iOS? Especially in similar app lifecycle models where apps could be stopped and restarted implicitly by the OS?
I personally get bored by names that accurately describe the main feature of the company. It seems entirely too technical and non-creative, my instinctual reaction is "how can people with no imagination create a product I will love?".
The redistributable is huge but not required. You can statically link the C runtime. That option has never been available for C#, and IMHO it's the single biggest reason C# failed to replace C++ for Windows client development.
My favorite explanation:

y^x is the number of functions from a set with x elements to a set with y elements.

Since there is only one function from the empty set to the empty set, namely, the empty function, we get that 0^0 = 1.
Google have been trying to find something apart from advertising since pretty much day dot. It's a strategy pioneered by Microsoft, I call it "spaghetti cannon". Turn your free cashflow into spaghetti, fire it at a wall, hope something sticks.

It's sorta-kinda worked for MS. They have 4 or 5 distinct lines of business, each of which could qualify as an F500 alone.

Google don't have that. They have 1, and only 1, line of business sustaining every outlay they have. They've only ever had 1, and only 1, line of business, right back to their first public reports.
https://www.facebook.com/sunflowermovement?ref=stream

Here have a lot of information translated into different languages. Hope it might help you understand what's going on in this island. We really need supports and international attentions :) Thank you!
Mathematicians are engaged in a dramatically different kind of project than almost any other human discipline. Mathematical details emerge from definitions, but they appear exactly the same way for everyone else using the same definitions. And what's really surprising is how robustly those purely rational results compare to messy empirical reality. There is no good reason to believe that this should be the case!

In most other human endeavors, when something doesn't work we just work until find something else that does work, and marvel at our ingenuity. Mathematics doesn't quite give you that option. There are right and wrong answers to questions that we create ourselves, but those answers are fixed once we ask the questions, even if we didn't know what they were.

One enduring mystery in this vein was whether or not Euclid's fifth axiom was actually a logical result of the first four: https://en.wikipedia.org/wiki/Parallel_postulate#History
Thanks for the link. I always found it hard to know what is happening in new versions of chrome and which feature became available when. This is exactly what I needed - Thanks!

Also found chrome dashboard easier to use than IE dashboard but that's understandable as this is new effort.

And, if anyone from IE team is here, how about some consistency with developer tools with other browsers as well. The web developer UI in IE 11 is so different that I struggle to found simple things - maybe I am not good in recognizing new icons :)
This is a common factor which is considered when researching approaches to crowd sourcing. The article at [0] shows how their approach deals with anti-forcasters ("adversarial answers") by doing exactly as you say - inverting their answer and calling them good.

[0] - http://scholar.google.com/scholar?cluster=144091158652582285...
I'd bite the bullet : )
I used to work club security for 6 years and have done at least 12 wu tang or wu affiliate shows. I've also done radio interviews with several of them when I was a DJ in the late 90s. I never saw anything that would be considered intimidation in this manner at any of their shows. The closest problem I can remember is some random guy in the crowd picking a fight with UGod while he was walking from the stage. But this happened with a lot of artist. Not saying a story like this isn't true but it sounds highly unlikely.
Android Botnet Targets Middle East Banks
Off a small base those numbers aren't bad.

You have a few options
- Exit, sell to someone else.
- Explore a management buyout, if you have a strong number two who wants to run it. You can remain as advisor / chairman.
- Find a partner who you can bring on to help grow it.

I suspect you probably just need a bit of a break to rest refresh - come back and look at what can you can do to achieve breakout growth. And I'd try get a partner to help, businesses with two partners grow 30% faster.

Year 2 of our business we were similar, we built a game plan anchored on achieving 20% month on month growth - we didn't know how we could do it but figured it out as we went. It certainly doesn't sound like you lack ambition!
> There are a few hurdles that can not be easily solved now: 10min transaction time

For almost all practical applications for which bitcoin is being used, this doesn't actually come in to play very often.

> the resources wasted in mining

It's not wasted if it's being used to process bitcoin transactions.

> and the potential consolidation of mining

Now you've got one - this is a huge threat to bitcoin today. It'll be interesting to see how it plays out over the next 6-12 months.
I'm curious--does this imply internal-politics problems (e.g. getting other departments to expose, and possibly backport, APIs that Chakra needs to consume to do the features), or just weird engineering challenges specific to the Chakra codebase?
I was really hoping it would have a lib style compile api, but it seems fairly locked down. :(
Yes (assuming the fund buys/holds all positions and hasn't taken an optimization strategy)

This has some interesting side effects to things such as the S&P 500 (http://www.forbes.com/sites/investor/2014/04/02/google-moves...)
Shareholder accountability is pretty much bogus. The only shareholders who have ever had a real say are those who owned vast quantities. The flood of blind investing through retirement funds has further diluted shareholder influence to little more than demanding increasing share price.
heh.. humorlessness is a treatable condition. Chill pills are often effective against it ;)
I used to use Plex for network playback with my earlier roku's but with my Roku 3 I can play videos, mp3s, photos etc. natively directly from my NAS.