skysight-inc/HackerNews huggingface dataset:
Every existing class A or B share will be matched by a class C share. Most Googlers had class A shares before, so now we'll have half class A and half class C, i.e. twice as many total shares, with the same number of votes as before.
So the business person inside me is thinking: "What if I charge for that lunch, but keep the price lower than competing venues in the area. I'll get even more money!"
I don't think the fifth axiom is considered particularly mysterious anymore. The traditional fifth axiom clearly isn't a logical result of the first four, since it can be replaced with other parallel postulates to yield non-Euclidean geometries which are themselves perfectly workable and consistent. In fact, that section of the Wikipedia article notes that Beltrami proved the independence of the parallel postulate.
The 180 sites in 180 days effort and result is simply awesome.
how old are you?

where are you from?
He and Paul Allen wrote Altair BASIC, a BASIC interpreter for the Altair 8800. I believe they just bought MSDOS.

http://en.wikipedia.org/wiki/Altair_BASIC
I doubt many people would agree that you were doing maths if you made your rules and symbols up randomly.

It's true enough that mathematicians define certain things certain ways, but they generally have reasons for doing so that tie into other aspects of whatever system they're working within at the time, or with particular areas of investigation: 'If I alter this rule, or make this assumption, what does it do to the system as a whole? Does it let me find some answer more easily than another way? Does it preserve consistency/truth values? Under what conditions?'

That's far from being dependent solely on their individual whim, the decisions they make in that regard, and the answers they will get, are strongly influenced by the form the system has taken and it's uses and limitations.

Of course if you want to maintain that maths as a whole is arbitrary because you could make whatever you liked up and say you were doing maths... well, I won't argue you're not, but it seems to me you've made the objection general enough that it could safely be ignored. Anyone doing something purposeful could simply assert: 'Your's, maybe. We're trying to do our-maths-goal.' And move on.
Cookie: The Main Line Bikini Waxer
Cookie is the best bikini waxer in town, but she's also a little gossipy. Watch what happens when Cookie divulges a little too much information about one of her clients during a waxing session. This is episode 1 of a 5 episode series. Cookie's chatty ways get her clients and their friends into trouble, but there's still a month long wait for a wax with Cookie :) Stay tuned for next week when Cookie tells Lindsay she needs to stop bragging!

COOKIE

Cookie: Tessa Goss
Lindsay: Linda Larkin
Tina: Begonya Plaza
Heather: Amy Veltman
Tom: Marc Schwarz
Tara: Kim Carey
HairyMary: Denise Doyle Chambers
Tracy: Amy Bielinski

Director: Neil Turitz
Writer: Denise Doyle Chambers
Producer: Denise Doyle Chambers
Director of Photography: Mike Mastroserio
Editor: Brian Dougherty
Makeup: Kristen Pinciotti
Production Assistants: Danielle McKernan & Kelly McCann
Special Thanks: Susan Feffer, Joy Samango and Bill Abbott of Tribe Fitness
Can anyone explain why this is a valid operation?
http://wp.com/latex.php?latex=\lim_{x%20\to%200^{+}}%20x^{x}...
Bitnami (YC W13) San Francisco, REMOTE, Technical Writer

We are looking for an awesome technical writer to join our team. Bitnami makes it easy to deploy popular open source applications and development environments such as WordPress, Drupal, Joomla!, NodeJS, Rails and more. We are growing like crazy and have over 1MM new installations every month, so the need for clear, concise documentation is greater than ever. We are looking for someone who both enjoys writing step-by-step tutorials and tinkering with the latest technology. Bonus points if you already have worked with cloud and open source.

To learn more about what it is like to work at Bitnami
https://bitnami.com/careers

Please email us your resume to careers (at) bitnami.com and let us know why you would like to join us. Please include links to articles and tutorials you have written in the past.
Yes, perhaps "intuition" isn't the best word. Formal limits certainly aren't "intuitive" to me, at least by one definition of the word. I suppose I used "intuitive" to mean "according to my mathematical understanding, ignoring the mathematics explicitly dealing with 0^0."
dude, it's called http://nestgrid.org. Add and rearrange nodes to your heart's content, in a beautiful ui resembling text editor or an IDE.
“They couldn’t do a big deal before using stock because it changes the voting rights,” he said. “Now, they’ve got a mechanism where they can use their paper for deals and not lose their majority voting rights.”

This implies so. And FB has done $22B in deals since the IPO.
If you don't remember the XP/Vista classic start menu, it's a linear list that expands to the height of the screen (and it takes multiple columns if the height isn't sufficient); no scrolling, no (or limited) two-dimensional scan. Even better, the list can be sorted for fast searching.
> For almost all practical applications for which bitcoin is being used, this doesn't actually come in to play very often.

But could this be a self-fulfilling prophecy? Perhaps this property of Bitcoin is hurting its adoption, by relegating it only to uses where this is not a hurdle.
"Controls" ha
Startups accelerated by The Brandery in Cincinnati
Draw In Any Language [App Store]
The problem is that Government hasn't enforced Anti-Trust Laws since 1970. Things are more deregulated but the only companies that can compete are already part of the Fascist state. Do you remember when you had more than 10 choices for Internet? Breaking up monopolies should be a primary function of the US Government. Now it encourages them.
Also, compiling down to human-readable and well formatted JS has always been a priority. So it's never difficult to migrate away from typescript, since the typescript can simply be replaced by the compiler's javascript output.

IIRC, this is actually one of the main reasons they're holding off on implementing async/await, since that would require the compiler to convert functions into unreadable state machines.
This is one of the perfect times to try something on your own (the other being when you have sufficient funds to fall back on) when you have little to no obligations. Even if you fail, it will look good on your resume assuming you actually try. You'll learn more than in any single position and will have a story to tell during your interviews.You have the rest of your life to work for a company.

But with the mindset you seem to be portraying, you may not be the best candidate to try something like this.
Cryptocat has always provided ample warnings that no software can ever be trusted with your life. These warnings appear every time you launch Cryptocat, on the website and in various guides and blog posts.
This looks really cool. Just a side note, you might want to update your website to use screenshots from iOS 7. The current screenshots look a little dated because they are from iOS 5 or 6.
I'm 27, married, from Germany (but not german)
Has a company done something like this before? I've heard of some having a stock that sells for orders of magnitude higher/lower, but not for the same price.
Maybe it has something to do with our government killing more Native Americans than the Nazi's killed Jews, imprisoning Japenese Americans during WWII, using nukes, and more recently Orwellian Surveillance and drone strikes against American Citizens without trial.

And these are just the facts. I haven't even gone into any extremely plausible "conspiracy" theories.
Being as they don't support Prime Video on any Android devices (with very limited exceptions), it's very easy to imagine them "stopping" support of it.
Or make better designs that don't assume the scaffolding will be hidden.
Even if you took it that way there is still nothing backing this. Finding the best way to implement a dumb policy does not mean the overall policy is backed by a good argument.

Even if this was the most cost-effective life saving measure the NHTSA could implement, it still doesn't mean it is the most cost-effective life saving measure that government could take.
Depending on your needs you might check git-annex, unison and others mentioned in other comments.
Now I really wonder what the state of v8 internals is today. Anyone have more up-to-date information?
Possible, but auth apps or other off blockchain workarounds must be coming. Existing payments systems had similar problems in the past.
As the saying goes, a picture is worth a thousand words, but sometimes you don't want a thousand, you only want one or two.
Create multi-platform desktop, web and web-mobile apps
As a bisexual-leaning-gay man, I have some strong feelings regarding people holding outdated views. VERY strong.

In the end balance, though, Mr. Eich's donation was... fairly small, relatively speaking. This cost is likely MUCH smaller than the potential damage this could do to Firefox and the various freedom-centered movements that depend on it.

Therefor, this is a mater of PICKING YOUR BATTLES and realizing that those who normally would be seen as an enemy can sometimes become an ally against a larger foe. Winning difficult social issues such as marriage equality would be a LOT harder without tools like firefox to maintain free (as in speech) communication on the net.

/* especially when certain intelligence agencies have been found using this kind of wedge issue to break up groups they perceive as a threat */
For those who say that it's an option to give or sell it to someone - I think if the company still works, it's all because of me, I did really great amount of work and some of them are the things that others can't do. It sounds arrogant, but I think someone who will get the company in this Level, will not be able to take it further. I prefer that it dies with honor, like a sir, instead slowly with bad reputation.

edit: one more point which press me about this decision is that the new idea that I came of. I have saved $ 100k money and this idea which I shared some days ago here in HN really excites me, after some possible clients sent me emails that they would subscribe my new webapp. The thread about the idea: https://news.ycombinator.com/item?id=7494337
I am very much interested and looking for a mentor. I have gone through a few online courses on Udacity, Codeacademy and Coursera and can work at an amateur level with the following:

- Python

- HTML5 and some javascript

- Google App Engine

- Git

- Heroku

- Some AWS

Here are a few things that I was able to ship :)

- ishareflix.appspot.com

- www.punjabirangmanch.com

- gyaansharing.appspot.com
In fact, exponentiation f : C x N -> C has a natural generalization to any monoid C, where f(x,n) is x "multiplied" by itself using the monoid operator n times. In this setting, the only sensible choice is that x^0 = 1 for any x, where 1 is the unit of the monoid in question. In particular, that is the only definition of exponentiation which is parametric in our choice of monoid.

Naive Haskell example code (using Int for Nat):

f :: Monoid m => (m,Int) -> m
f (x,0) = mempty
f (x,n) = x `mappend` f (x,n-1)
-- or equivalently
f (x,n) = msum (replicate n x)
Interesting - we're still noticing issues with invalid clicks on Google Mobile.

Check out Outbrain & Twitter - getting great results there at the moment. Twitter especially given your product manager focus.
You just invented the company cafeteria :)

A "you pay" (but sometimes subsidised) on premise cafeteria exists at lots of large technology / engineering companies.
In other words, what if the "taxpayer-funded" forecasts we're permitted to know about are "on the books", so to speak, and so much more is "off the books" and memory-holed beyond even the typical "black magic marker, and white out" form of redacted classification that some times surfaces into the public eye?

Truths so brutal, and predictions so harsh that no one dares write them down.

But now we enter the information age, and certain realities are essentially undeniable, and can no longer concealed from the civilian panopticons like Google.

Sort of like how TV Networks (and even basic cable channels to a degree), with their Standards & Practices departments, waste time sanitizing television destined for the public air waves and radio spectrum, while media on the internet operates with an almost total lack of restraint.
My favorite anecdote on code removal comes from using Sonar, a static code analysis tool.

At a previous job, a pretty smart architect decided that Sonar was a pretty good tool to gauge code quality. He wasn't wrong. However, as a way to improve code quality, management decided to make the continuous integration server demand 90% test code coverage minimum, including branches, and no loss of code coverage over half a percent from maximum, as measured by Sonar.

So I inherited a large, rather terrible application, which included a whole lot of UI code using Swing. Swing has it's qualities, but being easy to write meaningful tests for isn't one of them. So my predecessors often left some chunks of frontend relatively untested, while making sure large amounts of business logic was well tested. So to keep the application in order, I started doing a bunch of refactoring. I cut the size of the backend in half, and all the tests kept passing. But my commits were rejected by the build.

So if you have 10K lines of untested code, and 90K lines of very ugly, badly factored, but tested code, you just couldn't remove 10K of the bad, well tested code, because that would sink coverage metrics.

After much arguing for relaxing the rules, as I didn't think that adding tests after the fact to bad UI code seemed like a good use of our time, I fixed it in the only sensible way I could: Added an extra ten thousand lines of well tested code that didn't actually run in production, but made the metrics happy. Only then I could get the build to pass again.
This is meant do to one thing -- let the founders retain control while allowing for large stock acquisitions. It's possible Google was muscled out of the Whatsapp deal simply because they couldn't pony up the money. $20B is almost half of their cash on hand. Note that the Nest and Waze acquisitions (small in comparison) were paid for almost entirely in cash.
(Interestingly, some of the situations described are shades of "man marries his maid", like the mothers who stop working to take raise their children).

That's not really the same thing. The point of "man marries his maid" is that after the marriage GDP goes down in spite of an increase in economic activity - the maid continues cleaning his house, but also cleans his pipes.

Women staying home for family work is a real change in economic activity. Domestic labor may not be properly accounted for, but it's not a no-op as with the man marrying his maid.

In any case, merely tracking production and ignoring the paper cost of transfers is a fairly valid way of looking at things. I don't fully agree with it, because I do consider it a cost when a productive worker loses some of his productive capacity, even if another person gains an equivalent amount. So I certainly do want some penalty on the actual amount transferred - but you are certainly right that this should be sum(tax(i) - transfers_to(i)), not sum(tax(i)) (where i represents a given person).

I'm definitely feeling like an idiot, ignoring one of the most interesting comments on post. You've definitely given me something to think about.
This issue (or one with very similar effect) was also found by the Least Authority audit:
https://github.com/cryptocat/cryptocat/issues/607

(The 'issue E' that it references is https://github.com/cryptocat/cryptocat/issues/606 .)
Perhaps not really great examples - I mean you can relate to the length of a diagonal line in a square room, but you can't really relate to the square root of three apples, can you? I'm not trying to say that those example don't relate to the physical world. My point is we abstract more and more away from the "real world" until you get something like this post.
What about complex numbers - the square root of -1, incredibly, is useful in electronics and other real physical systems, but you cannot really relate it to physical objects - or at least not obviously. Or more incredibly something like Banach Tarski [1].

[1] https://en.wikipedia.org/wiki/Banach%E2%80%93Tarski_paradox
What is not clear about five eyes? Then you have China, maybe Russia. That's it. That leaves "rest of the world". Seems like pretty clear lines to me.
"I’m still dealing with a bit of impostor syndrome and it still sounds weird when I tell people I’m a software engineer..."

That's because you aren't a software engineer, and if you are saying so then the feelings of being an impostor are entirely warranted.

'Coding' is one thing, 'engineering' is something different altogether.

I'm afraid this falls into the 'you don't know what you don't know category'.
I was new at a company that did this. We had to submit weekly timesheets. No one told me the procedure but I figured, everyone attended so I figured marking down 30 minutes (out of 60) on the time on the timesheet billed to the company was a fair deal.

A few days later a company-wide email was sent out specifying that these trainings were optional and not to be billed to the company.

They did pay me for the time though that time.
This story is just another piece of the wu's marketing genius. Could it be true? Sure, so they may as well have you think about it - argue the truth, etc. Mystery shrouds the shaolin sword.

Wu-Tang are one of the few music acts to really get that it's about entertainment.
it's using log to mean log base e, also known as the natural log or ln. you can do that because they're inverse operations (I think that's the right term for it, it's been a while since a formal math class) so they undo each other
It is still a "said so" because it is a definition. Even if thought went into the definition, it doesn't make any less of a definition.
Thanks! I'm very proud of our work in this audit.
And we'll be expected to stretch our arms up to touch ever-larger-growing screens all day long?

At the moment I'm sitting in front of a pair of 27" monitors. Trying to use a touchscreen that big for extended periods of time is just going to be fatiguing.
Well I wouldn't say they have only a single line of business.
Yes, they make pretty much all of their profits from advertising.
However they no longer just do searches.
They do email, file hosting etc.
You name it and they probably do it.
They do make money from ways other than advertising too. They have quite a few pay to use services. Like business emails or Google Drive.
I do wonder sometimes what Android could have meant to them if they had kept it more close hold and made and sold their own devices.

Sure they got lots of other companies to do the expensive hardware R&D, manufacture and marketing, but in the end, what's a multi-billion dollar market in devices is still just a funnel into line-of-business #1.
Could someone be so kind as to explain why I should consider Typescript over Coffeescript in future projects?

I've been using CS for the past year or two, but I'm hearing a lot of buzz around TS for the past few months. It would be really nice to have a better idea as to why it should be best to move now - is it really that much better?

(I love the CS tools available on PyCharm; they really made my life easier. That said, I think that there are similar TS tools available as well)
"... but is often st least 2x"
The whole point of this is that there isn't necessarily a single right answer. As another user pointed out, mathematicians define 0^0 to be 1, but you don't necessarily have to accept that as truth in the way that 1+1=2.
Another feature that's not talked about much is its support for AMD and CommonJS modules. So you can easily just add an "import moduleName = require('my/module/path');" to the top of your typescript file. And you'll get full intellisense and type-checking on the referenced module in Visual Studio. This alone has made it worth using for me.
"Good luck drawing one of those with any ink."

No trouble, since they also have zero width...
That's a good question. In the spirit of making learning easier it would perhaps "start" with what we teach children. However, that might be ultimately misguided because that would just mimic the curriculum and force the whole thing into a box. But then again the math knowledge itself forces a structure on any such textbook because to know A you need to know B, C, D, etc.

This is further complicated by the fact that most subjects in math can be approached from multiple equivalent angles. For example, complex analysis can be taught from the complex derivative perspective or from the power series perspective equally well. Ideally the format of the whole thing will allow the student to naturally learn things from the angle they understand better.
Do you know of any examples of good open source projects using the ART?
These are bugs, but I'm not sure they are what you think they are. I would be worried if TextSecure indicates a message is going to be sent securely, but it is sent insecurely. This bug, however, is an edge case where TextSecure indicates that it is going to send a message insecurely, and that's what it does.

It's also true that until recently we didn't have an encrypted group chat protocol, but at no point in the past did TextSecure ever indicate that group chat was encrypted. Just the opposite.

It's important to realize that TextSecure is simultaneously a standard unencrypted SMS app as well as an encrypted chat app.
+1

and then there is also that bit about no such thing as a "software engineer" …
Right click the start menu in Windows 8.1. There is a command prompt (and admin command prompt) option.
I agree that taking breaks more often is needed -- Although I would also say that going to get your own lunch is extra required "work".

The idea here is the average worker doesn't have to worry about it. The less they worry about or "work" on things outside of work, the more they can exert energy at work.
Show HN: An improved Charlie Rose Show experience online
http://charlierosesearch.azurewebsites.net/

I'm a fan of the Charlie Rose Show, and I often (re)watch old episodes. Unfortunately, the Search function is utterly broken, so I decided to take it upon myself to redesign the entire website.

The technologies used are Node.js, Lunr.js and Microsoft Azure. Pretty basic, but first time using any of them.
I have a friend who is finishing up medical school as a radiologist. The way he explained it is that the rates doctors charge for a given procedure are largely dictated by the government Medicare and Medicaid programs since they are the largest "customers" of healthcare services. Every year or so there is an advisory body of doctors that is part of the AMA in each specialty that gets together and makes recommendations that then get approved by the government. The government pretty much rubber stamps what ever they say. So essentially the AMA is a doctors union that dictates prices.

http://swampland.time.com/2013/07/29/the-secretive-group-beh...
0^0, like any indeterminate form, can be made to equal anything via sufficient cleverness. Consider the limit:

y = lim_[x->0] x^[a / log(x)]

We have log y = lim_[x->0] (a / log(x)) log(x) = a. So 0^0 equals any number at all! Of course, nobody in their right mind would define exponents this way, but the indeterminacy is inherent in the definition of the symbols.
Yes. It's an identity relationship. x = exp(log(x))

http://en.wikipedia.org/wiki/List_of_logarithmic_identities#...