skysight-inc/HackerNews huggingface dataset:
> No matter what system you set up, if you're cutting three boards to build a triangle the length of the big one is absolutely defined by the length of the other two, assuming Euclidian geometry. The symbols (a, b, =, c, +, superscript 2) are all totally arbitrary but if you're working with three boards there is absolutely an intrinsic correctness to the Pythagorean theorem.

This is only true because we are assuming Euclidean geometry, and as I had said earlier, this implies that we can logically conclude these facts because mathematics is logical and internally consistent given these axioms, so we cannot say that they are intrinsically true; that would require us to know without a doubt that the axioms are correct. Since we can use Gödel's incompleteness theorem to show that our axioms are necessarily assumed, we can say that we do not know if they are correct or not, only that assuming they are, we can make a lot of really good predictions about the world around us.

> The amazingly cool thing is that our system is so good that we can use our abstract symbols to make predictions about physical laws and they actually come out to be true!

This is definitely amazing, however it does not mean that our system is necessarily correct, in fact it is demonstrably lacking in Quantum mechanics for example, where we need to renormalize infinities, which makes almost no mathematical sense whatsoever, but we do it because our experiments tell us that if we do, we can make predictions about how things work.

> I would argue that all of physics is basically "math that's a fundamental truth of the universe".

I agree with the spirit of what you are saying here, but think I would phrase it in the following way:
I would argue that physics is basically fundamental truths about the universe that we can describe to the best of our ability using an abstract framework such as math. The fact that we can do that does not mean mathematics consists of these fundamental truths.

EDIT: Modified last paragraph to be slightly clearer.
> dogecoin is fun

What does that even mean? How can a currency be fun? Will my car become fun too if I attach a cute dog picture to it?
Shareholders are so far out of the loop, rarely are they consulted on important business decisions. Usually when things start going sour is when they start making noise, and by that time it's often too late. Most aren't going to question the actions of the company so long as the price keeps going up. While an institutional investor could divest themselves of a stock if they don't like how the company is managing their purchases, it would likely be hard to justify removing GOOG, APPL or FB from their portfolio right now. It's not like mutual fund managers are that great at beating the market, especially after fees.
Kickborn versus SIRI
Oakland Rebels So Sickened By Techie Scum, They Barfed on a Yahoo Bus
I considered writing a LLVM backend for the PRUs, but put it aside while I wait to see if the rumors of a TI provided compiler pan out.
But what if you're in a context where you're not reasoning about continuous functions at all? Why would you have to be subject to reasoning that doesn't apply to your situation?
> within the system we work.

within a system we work. Which is the point. The system you are working in determines which value you use. You are more an algebraist than analyst.
I've had autocomplete with Eclipse, WebStorm and Sublime.
What do you need to do for FCC compliance? Is it all taken care of because you're using ZigBee?
Not all valid JavaScript is valid TypeScript, e.g. you can't use undeclared variables. The compiler can still output the .js file, though.
How To Become An Engineer With People Skills
Including lookups for each item would help too.
So just because I got lunch I'm going to be free to work an extra half hour?

There's no way that's sustainable. Like @goo mentioned, more hours doesn't equal more produced, by any means.
A boot-strappers guide to turning $2000 into $2,000,000 in sales in 4 months
Yes, you did. It may not have been stated explicitly, but it was implied in a couple places:

1. Binomial theorem. Its statement does not conventionally include any caveats about the x^0 case.

2. D(x^n) = n x^(n-1). When n = 1 and x = 0, you get a 0^0 on the RHS. If 0^0 is taken to be 1, the derivative rule holds. Else, the statement gets messy: D(x^n) = n x^(n-1) if (x,n) != (0,1)
> Yes it is being wasted. Waste doesn't mean "unused", waste means "using more than necessary". Due to the hashrate arms race, tremendous amounts of power are being wasted doing nothing useful.

Due to the arms race, it's only getting more and more efficient.

> nothing useful

Again with that? You are starting to sound like a troll.

> Bitcoin is powered by electricity, a better currency would spend something else instead.

Can't you say the same about everything? Why does Bitcoin's energy consumption bother you so much, while you have cars, factories, and everything else still using fossil fuels, coal, etc.? Is your computer running on dark matter energy or what?
Getting Your First 10,000 Email Subscribers [Social Triggers Master Guide]
I'm sticking with 2012, until 2013 stops crashing!
Why the open web matters
The reaction is far worse than the license violation. It really undermines any credibility the project for being "professional and reliable".
If your not making any money then they probably don't care about you...
thank you for your lucid and erudite explanation.

will this help me pick up chicks?

as a dba, i appreciate your response, though i think that the answer is most likely, "probably not."
Sounds like you're off to a good start! :) Getting everything backed up soon is important; if things were implemented marginally, you don't know how long it will run before something crashes or hardware dies. Without a backup, you could then be in a rough spot... Also make sure that you test out the recovery from backup. I think documenting as you go is a great step, and is an easy way to generate a regular status report to show your boss what you've accomplished. You might want to start looking into the hardware that the systems are running on; are they working reliably, is there any redundancy (RAID, multiple servers, etc) and/or spare parts available. Once things are stabilized, I would continue refactoring the databases without making any user-visible changes (besides the improved performance once indexes are added :) Good luck!
If you get hit by a bus, who alerts your users and how? If your users aren't alerted, they may not realise that anything is amiss until AWS freeze your account for non-payment (for example).

I can't say that I spend a lot of time keeping up-to-date on the project leaders' obituaries for services I use. I don't imagine I'm unusual in this regard :)

Edit: This is just a rhetorical question, not a demand for explanation :) - just saying that being hit by a bus does not automatically mean that users are shifting off your service in 24 hours.
How does your definition align with x^y in the case x!=0 or y!=0 ?
I strongly disagree with the article. The engineer (in the video) shows good skills in communicating with the other people and takes their obviously silly requests seriously. At one point he has to explain that geometry itself is rendering the request impossible. Many problems could be resolved if businesspeople were forced to understand some technical aspects of what they are in control of, rather than forcing engineers to dumb-down complex technical solutions for people who don't really care what is behind it.

Being a software developer in an enterprise is often like being Top Gear's James May when he has to explain something to Jeremy.
Levying the "authority" of ZFC doesn't change the fact that your definition is still arbitrary. I'm certain you could pick a different definition of natural numbers within ZFC and get 0^0 = 0.
Calibre beta announced
The language is nice, but the compiler uses its own lib.d.ts which has all sorts of definitions for browsers and even proprietary MSIE ones. This doesn't make any sense when using TypeScript in any other context (like Gjs, NodeJS, Rhino, Seed, etc.). TypeScript shouldn't assume a browser by default, or at least provide an option for compiling without lib.d.ts.
That's actually an interesting point. And actually it occurs to me that even in continuous equations you have a problem:

Does it matter if we are talking 0^x or x^0?

I would think that in the context of 0^x, you'd have a constant function of 0, but x^0 you'd have a constant function of 1. These have different limits as x -> 0.

I think you have just convinced me that 0^0 is undefined.

Edit: Ouch. 0^x can't be defined for a negative x, so that doesn't work. I am back to siding with 1.
This looks awesome! Really useful for front-end devs.
> Due to the arms race, it's only getting more and more efficient.

Wrong. The number of hashes is going up. But the energy consumption hasn't changed.

> Again with that?

You really think that calculating exact hashes is a useful activity?

Please separate the action of securing the network from the action of calculating useless numbers.

They are not the same thing. Yet you seem to think they are.

> You are starting to sound like a troll.

After a single comment? You have a pretty low bar.

> Why does Bitcoin's energy consumption bother you so much ... everything else still using fossil fuels

Because it could easily be better. The other things can only be better with difficulty. That makes it a waste.

It might be too late to change now, but that doesn't make it good.
To be a bitcoin believer, its not necessary to think it will displace fiat. Bitcoin is deflationary like gold, so it shouldn't be much different then the gold commodity market or returning to a gold standard. For most of the united States growth and prosperity, it was on the gold standard.
You are correct 3 times in one winter is not a lot. I am saying that 3 times in one winter is not an accurate estimate of how often I would have to clean the camera. How much snow did you receive in your area of NY? Did you get half the snow Syracuse did?

City 2013-14 Avg.
----------------------------
Syracuse 131.6 123.8
Buffalo 128.7 94.7
Rochester 112.3 99.5
Binghamton 84.4 83.4
Albany 71.1 59.1

from: http://goldensnowball.com/
In some circles, that's the most important contribution. ;)
Maybe have a look at http://www.imagemagick.org/Usage/distorts/
> The money supply for BTC increases slowly. This is discouraging transactions because (if you believe in the currency and its future) you should hoard your BTC. The amount of new BTC going into circulation is low, barring any disaster (e.g. Germany banning BTC, Kraken hacked), it just makes sense to hold because what you have today will be worth more tomorrow.

Just another Dogecoin shill with unproven claims. What you said is absolutely false. In donations alone, bitcoiners have spent more (millions of dollars worth at the time) than dogecoiners have spent in everything.

Dogecoin is not even in the top 5 anymore: http://coinmarketcap.com/

It was just a short lived fad, like many other copycoins. Ever heard of Infinitecoin? Probably not. Yet it also entered the top 5 at one point.
> If Bitcoin is going to be used as a currency, you'll need to be able to get loans, short term like a credit card and long term like a mortgage. But isn't taking a loan in a deflationary currency very risky? Kinda like short selling, possible to lose/be in debt an infinite amount of money?

No, the amount of money is fixed by the terms of the loan.

The potential value might be unbounded (but any currency can be deflationary, even those that are actively managed to avoid deflation, so that's not entirely a unique risk.)

The real issue with a designed-to-be-deflationary currency is that the rate of deflation puts an effective lower bound on interest rates, which means there becomes no economic sense to lending money below a certain interest rate. If such a currency becomes dominant with more than very mild deflation, it could have a serious negative effect on the availability of credit.
Sure I am not arguing about the whole of Win32, just the fact that it would have been easy to modify the API a bit so that main() was the entry point for a normal windows app.
The best DVD Creator and DVD Maker
DVDFab DVD Creator can easily burn all sorts of videos into DVD discs. Just create your own DVDs freely with what you want! It is also a powerful DVD maker that can make DVD discs or folders from downloaded videos, camcorder videos, and other common videos of nearly all popular formats. It's particular that it can create DVD menu and customize DVD menu with various built-in templates. You can see the site here at: http://dvdfab.cn/dvd-creator.htm?ad=hcj
Playing Dressup with your car
Take a look at Tesseract, which last time I looked was the best codebase to use in this area. It's part of Google's open source multilingual OCR suite, which is in two parts (layout analysis and actual OCR code being segregated): https://code.google.com/p/tesseract-ocr/
From a platform perspective, Qt is good for all the desktop environments, but for mobile, .NET/Xamarin is the way to go.

From a language perspective, why in the world would you want GUI code in C or C++? Both languages make it very easy to shoot your foot off and have no idea what happened. However, C can be very elegant if used for the right reasons. C# is safer, but also not perfect. That's where F# comes in. :)
Sure. I was limiting it to things I could do in my head in tens of seconds.
Ask HN: Feedback for my startup – https://pho.cl
I'd appreciate any honest feedback on helping me improve the landing page and other parts of the experience on the site. Is the value prop popping? This site is intended for photographers.
This is why I think Android is going to be an increasingly important platform going forward. It's a logical foundation for almost any new consumer electronics device.
How the FBI Goes After Activists
They do that now. Dan's OTF post suggests that it wasn't always that straightforward, because the auditors had a proprietary interest in their reports.
This case isn't as exciting as the parallel postulate case; you're not going to get a whole new branch of mathematics, just a change in a lot of formulas/definitions/notations.

The example in the article is the binomial theorem. Another example is the definition of Taylor Series which defines 0! and 0^0 as 1 so that the series come out cleaner.

For reference, we use Taylor Series to define e, sin, cos and there's a really nice proof for e^(ipi)+1=0 using the Taylor Series for these three.
That'll never catch on.
RichCoin – Course Project
I've started applying the "ginger test". (As in redhead) If it would become ridiculous when substituting "ginger" for woman, girl, or female in an article, then I can be certain that the article is ridiculous.

Totally right. Like gingers, women have no history of being discriminated against, harassed, or ostracized, certainly not in our industry. Who do they and their white knights think they are, acting like women sometimes get treated differently?!
Sure, and that can be problematic -- see Intuit's intensive lobbying to keep tax filing onerous to protect TurboTax's niche -- but that's a different specific issue than promoting software churn (well, except in Intuit's specific case, where while they demonstrate the problem that can exist with solution providers, they are also a licensed-software provider that can also be seen as promoting software churn at the same time.)
> You really think that calculating exact hashes is a useful activity?

You think moving electrons around is a useful activity? No? Then turn off your computer, you are wasting energy!
As a writer, I get to watch engineers humble themselves in advice forums when they need to write something important. It reminds me that even the mortal deities of our little civilization have shortcomings.
One answer, given downthread, might be that the audit was a requirement attached to grant funding from OTF.
Heh. I had one of those at work. Delightful, in that it was as compact & portable as it was (competing with "sewing machine" designs more "luggable" than portable). Weighted something like 15 pounds. One humorous design factor was how peripherals, printer in particular, just snapped on to the back of the unit - making for an oddly long device for the enthusiastic user.

And 28 years later, here I sit typing this on a MacBook Air...
I give them this much. It's a great start for a toolkit of animations and interactions. Transitions really follow the animations of Windows 8. It looks really nice.

Problem is that I am not sure if they made a full and good UI framework. How does it compare with something like Angular? Is this just animations on top of what can be done in js already?
Typically you wouldn't put a logging statement inside a hot inner loop anyway, as you'll get so much output when logging is turned on that it makes the logs worthless. For heavy algorithmic-intensive stuff, you'd often just record your loop counters, key invariants, and exit conditions, and then log them all at once when the algorithm exits.

I have little embedded systems experience, but what I gather from talking to folks who do is that they also use logging APIs, but they avoid logging from inside a hot inner loop (their log statements are usually around startup/initialization and when the system receives certain inputs), and they use custom log writers that write the logs to a host server or desktop system when plugged in for debugging rather than taking up storage space on the device itself.
"Beliefs are never truly personal and private, what people believe affects their behavior and interaction with others."

It's true. If I find out that a CEO is an atheist and voted on laws that went against the rights of Christians, I would probably want him fired too.
When I read the OP, I was tempted to
scream about bad writing due to lack
of context, undefined terminology, and
general lack of explanation, not nearly
the first time I was tempted to scream
at Microsoft's technical writing abilities.

Your post provided essentially everything
that was missing.

But, what the heck is a "Windows store app"?

What the heck is "jitter"?
Ask HN: What Tools are in Your Business Management Stack?
What tools/apps do you use to manage your business operations? From opportunity tracking, proposal management, contact management, project management, invoicing/payments/accounting, internal communication, external communication, software configuration management, etc. What were the qualities or features of each tool/app that led you to select it over competing tools/apps?
Festo's BionicKangaroo Robot
I didn't know about the mainCRTStartup thing, thanks. But it should have been the default - to me WinMain() is just a failure to understand what is best exposed and what is best encapsulated. My boilerplate reduction proposal is to provide a few helper functions to optionally avoid exposure to some of the pipework - just to make life a bit easier when starting out. MFC on the other hand is a massive new layer of compromises and other crud slapped over the top of the Win32 API - somehow managing to make it even more cryptic (YMMV). Also MFC postdated the Win32 API by a few years, so presumably wasn't considered as the first choice solution at the start. The first Petzold book was a C thing, MFC and C++ came later.
The inherent slowness of .net is the ONLY reason that I'm sticking with Delphi... It'll be a dream if we'll be able to compile .net/c# programs into native and runs FAST!
Exactly. The redist is potentially annoying, but for my own projects I tend to statically link almost everything. It's not really a size thing, it's more of a "I don't want to bug my potential users to have to install a bunch of system altering things" viewpoint.
Visual art exhibitions aren't hip hop shows. I can't see how the audience experience and excitement isn't greatly diminished if you're paying to go somewhere to put on someone else's headphones to listen to a record. If someone wants to do that, more power to them. Tickets will probably be very limited and super expensive just reinforce the whole exclusivity and "high art" pretense. I'm just saying, it's hip hop.
What in the world are you talking about? Apps in Xamarin can be as much as 10mb for a full app. Its linker is smart and knows not to bring in stuff it doesn't need. If you don't, it's around 40mb.
It's full of trivia the way only British can write, but I skimmed it, and I guess a rough TLDR is...

Today the establishment (a term invented in the 1950s) can read the mass psychology's wants (via technological means) and fulfil them (directly, in order to remedy popular discontent) instead of engaging in old-school frame-up tactics.

Note that the article doesn't disclaim continued use of these tactics though, so it's not really drawing any particularly informative or useful conclusions.
Funny everyone is picking on the tech part. Being a SOMA-dweller I immediately wanted to pick on the idea that Sightglass is "deep South of Market". Every direction is single digits of blocks out of SOMA.
perfect response, I shouldn't believe everything I hear. killa beez on a swarm.
Vegetarians Less Healthy, Lower Quality Of Life Than Meat-Eaters
It might be possible to put something together using Amazon's Mechanical Turk.
While this is interesting, it's so very Microsoft-specific. Microsoft needs to do better. Are there non .NET bindings? Why do we have to log into live.com to get the downloads?
You can customize your RDP settings on how it behaves with key binding. You can set it local or remote.

Before opening the connection, click "Show options" -> Local Resources tab -> Apply Windows key combinations.
Why do you say that unit testing is pointless in Haskell?

Edit: My bad - I missed the 100% part.
Check out Comcast which has two independent stocks (CMCSA, CMCSK). They move together pretty much, off by less than a dollar right now.
The relationship f(x)=x/x is only defined for x /= 0 and thus is not equivalent to 1. We can see this in [a] when we ask for the domain of the function, and thus we can redefine some function f' as a piecewise function which is defined to have f'(0)=1, but in proofs we must thus make sure to first prove that using f' as a substitute for f does not affect our result.

In one of the below posts we have the suggestion

> But what if you're in a context where you're not reasoning about continuous functions at all? Why would you have to be subject to reasoning that doesn't apply to your situation?

In this case you could either do the above, if you have to concern yourself with e.g. a domain of the set of real numbers arbitrarily close to the undefined location. Alternatively you could just define our original function f only for real numbers greater than 0, in which case you escape the necessity of redefining functions to be easier to work with.

[a]: http://www.wolframalpha.com/input/?i=domain+of+f%28x%29+%3D+...
> Due to the hashrate arms race, tremendous amounts of power are being wasted doing nothing useful.

But they are doing something useful. They're preventing someone from turning up and performing a 51% attack, thus ensuring the security of the network. You could suggest that there's better ways of doing that, but our ideas so far haven't panned out.

Interestingly, how it works at the moment is that essentially, through the mining of bitcoins, every bitcoin holder's bitcoins are devalued to pay for the security of the network. Therefore, if a significant amount of bitcoin holders decided that they could deal with less network security, they would use a coin which provided less network security (by paying miners less).

As it is, at the moment, we're not sure exactly how much security we need. Therefore, we're willing to pay for as much security as possible; nobody wants their bitcoins to be worthless tomorrow because they didn't pay enough to protect the network.
thank you! I guess it's just hearsay or someone messing with my friend, good to know.
Your friend should stop smoking so much weed.