skysight-inc/HackerNews huggingface dataset:
By the time that original program that justified the need of the facility was canceled NASA had already made a substantial investment of time and money building it. Only time can tell if this facility will help with future engine development or not.

I don't have any expertise in Space & Aeronautics, but I'd love to hear from anyone in the industry what they think about the completion of this facility.
Show HN: Create and host websites from your dropbox
Rabbits, foxes, water buffalo, camels..... the list is quite long, take your pick:

http://www.environment.gov.au/biodiversity/invasive-species/...
You can (and should) run you own internal proxying package server that never deletes things. Like you should run your own CI server or SCM server.

So you have a library in your project added as a JAR in your SCM. Everything seems fine. We'll actually you missed the source JAR so debugging is going to suck. You'll have to find the web page from which you downloaded the JAR. Find the matching source JAR add it and configure your IDE. You could have gotten that for free.
At one point you realize that your library is a little old and you wonder what the current version is. So you go to their website check for the current version, download it, hopefully don't forget the source source JAR, update your IDE configuration. You could have found out which of your decencies are outdated and what their current version is on the command line with one command. The rest could have been a one line change in a build file.
And this is the simple case when your dependencies don't have any dependencies themselves. Where you don't have a dozen JARs checked in and you no longer know what is there why.
And if you want other people to use your library they need it in some package server that meets whatever requirements this server may have (source JARs, Javadoc JARs, GPG checksums, metadata, …).
JPEG-2000 is an actual standard. I forget how supported it is. That said, not many images for the web showing up so encoded.

I don't think a format requiring JS to decode and negating the whole parallel download/decode thing has a chance regardless of the elegance.

It's not an imaging format discussion I this case.
I was heartened to discover this UK government-sponsored gem, a free online course explaining procurement (for beginners): http://www1.learndirect-business.com/business-courses/winnin...

There may be some pointers here applicable to the US scene. Nevertheless, it's good to see management finally realizing the cost benefits of smaller-scale operators.
A way to speed up your Selenium tests
How to Find a Vision and Why Should You
2) You mean Xeon Phi / Knights Corner? Yes, I wouldn't call these GPUs though, they have to be regarded a bit differently. They have quite a few problems in other areas btw., so far the results of theses systems are not very promising.

3) By MMUs do you mean unified memory? Well yes, but for now this is so slow that you don't really want to use it. This might change on Power systems with nvlink and for Knights Landing generation Intel accelerators, but that's still in the future / not publicly available.
Christmas Shopping Mistakes You Should Avoid This Christmas
Driving up the Whanganui River Road in 2001:

Local: "Now, that's a good possum."

Me, having missed it completely: "Uh, I didn't know there were any good possums."

Local: "That one was dead."
The faulty code was written by a single person, whose name has never to my knowledge been known publicly. I've often wondered whether they are still writing software and what industry they're in now.

Obviously the Therac-25 accidents were not entirely this person's fault — the product was manufactured by AECL, a large company with management who should have demanded better testing and made better design decisions, like hardware interlocks.

But I still wonder who it was.

Leveson, in a sidebar, says

The programmer left AECL in 1986. In a lawsuit connected with one of the accidents, the lawyers were unable to obtain information about the programmer from AECL. In the depositions connected with that case, none of the AECL employees questioned could provide any information about his educational background or experience. Although an attempt was made to obtain a deposition from the programmer, the lawsuit was settled before this was accomplished. We have been unable to learn anything about his background.
The part that your example is missing is that one side uses the trait object (Common) whereas the other side uses the "normal" type (Foo or Bar) or another trait object view of the object. And the be able to cast between such "smart-boxed" types after you acquired one of them.

See the disucssion a little bit below for examples with Rc (it's the same problem but within a thread instead of between threads).
Grats! This is a great accomplishment. Releasing teaches you 1000% more than just making a demo and not releasing. There's lots of little things you need to do extra. Then you learn from the crits, feedback and reviews of others.

Again, well done!
> "a perfect formulation of a problem is already half its solution."

Is that simply rubber ducking?
I’m not sure about that. For example, the first time I read them, each of these statements in the declarative specification of Hindley–Milner type inference took me a long time to unpack.

x : σ ∈ Γ
--------- [Var]
Γ ⊢ x : σ

Γ ⊢ e₀ : τ → τ′ Γ ⊢ e₁ : τ
--------------------------- [App]
Γ ⊢ e₀ e₁ : τ′

Γ, x : τ ⊢ e : τ′
------------------ [Abs]
Γ ⊢ λx. e : τ → τ′

Γ ⊢ e₀ : σ Γ, x : σ ⊢ e₁ : τ
----------------------------- [Let]
Γ ⊢ let x = e₀ in e₁ : τ

Γ ⊢ e : σ′ σ′ ⊑ σ
------------------ [Inst]
Γ ⊢ e : σ

Γ ⊢ e : σ α ∉ free(Γ)
---------------------- [Gen]
Γ ⊢ e : ∀α. σ

Each one takes a sentence or two of relatively dense English text to explain:

[Var]: If the context indicates that it has a particular type, a variable is inferred to have that type.

[App]: If a function is inferred to have some type, and a value is inferred to have the same type as the parameter of that function, then the application of that function to that argument value is inferred to have the type of the result of the function.

[Abs]: If the body of a function is inferred to have some type, given an arbitrary type for its parameter, then the type of such a function is a function type from that parameter type to the type inferred for the body.

[Let]: If an expression is inferred to have some polymorphic type, and another expression would be inferred to have some monomorphic type given that a particular name were bound to that polymorphic type, then a let-expression binding that name to the former expression within the latter expression would have the same type as inferred for the latter.

[Inst]: If an expression has a polymorphic type, and that type is an instance of some more polymorphic type, then the expression can be said to have the more polymorphic type.

[Gen]: The type of an expression can be generalised over its free variables into a polymorphic type.

But having learned this notation, I can now read and write specifications of type systems with ease, and do so much more quickly and compactly than I could in a more approachable notation. To me, that’s a win.

Of course, I’m the sort of person who finds Java programs hard to read because they seem to take so long to say anything. So opinions are going to vary on this!
I was rather talking about some of the mobile GPUs. It would have been highly inefficient to have a non-uniform memory in the mobile devices (although a uniform memory do not always imply an MMU on a GPU side, it's a totally different story).
The problem with taking notes is that you'd have to do so for literally every book or article or video you ever watched, and then you'd have to refer to it every time you remembered any facts from them.
Do you have any sources to add to this, I've just started learning ASP.net and C# and would be interested to read what this refers to.
Deep learning for… Go
That's a great start. I've been reducing my carb intake as well, but I probably need to throw a bit of cardiovascular exercise into the mix before I can see results.

Thanks!
Creating a game a month is hard enough - impressive to see it completed using many different programming languages and frameworks
TRIF
That theorem only applies to deductive formal proof systems.
bpg is definitely better for tiny pictures
There is an editorial problem with that (which nowadays, with electronic publishing should not be an issue): space is (used to be) a scant resource. Hence density of content was more important than clarity of exposition.

Nowadays I guess everything boils down to a custom of which we (yes, I am part of the problem) have not been weaned. It looks more scientific to write things densely and more or less cryptically.

Also, we scientists are a bit afraid of publicly (I mean, to the general public) explaining our way of understanding things, because we know it is somewhat blurry, informal, possibly even comical to a lot of people. And we tend to be introverts.

I guess things like arxiv.org etc. are going to create a new way of explaining scientific discoveries much more interesting and enlightening.
"And then Congress — at the urging of a senator from Mississippi — swooped in and ordered the agency to finish the tower, no matter what."

So it's not NASA's fault.
I hope you aimed well enough. Can you be sure not to have left behind any half-dead, suffering animals?

No disrespect to you in particular but this way of handling the problem comes off as very blunt and uncivilized.
That spaceship looks... suggestive.
Nevertheless, this is a really interesting hack, good work!
> Why are formal papers so tedious to read? Imagine how much time we'd waste as a group if he written this as a paper.

This is a huge problem in the academic field. Papers are written in academese, not because it's a particularly good way of distributing information, but because it's expected. I absolutely agree that less formal language is both good for the discipline, the technical non-academic audience, and for the lay audience.

Steven Pinker recently wrote a book called "The Sense of Style" which talks about academese and writing well about complex subjects (something which he, indeed, has a lot of experience in!). I haven't read it yet, but I've heard it's quite good.
I guess it depends an the game itself, it might not look too good if you just drop the effect into an existing game, but if the game is designed with this in mind it might actually be quite interesting.
You may also like http://prog21.dadgum.com/114.html, which is a slightly gentler introduction to the APL world.
Prior HN thread - https://news.ycombinator.com/item?id=8704629
Why not Smalltalk? It was, after all, designed for kids (and look where that got us... Java - pffft!)

Squeak has a comprehensive ecosystem; here's an excellent book for high-schoolers: http://www.apress.com/9781590594919

The complete pdf can also be downloaded from the associated website: http://rmod.lille.inria.fr/botsinc/

Now imagine this combined with hardware robots...
MOKIBOX:Portable Aluminum WIFI Speaker with Premium Sound
interesting idea! however, I am struggling to see when and how someone could use this, because almost always a developer such as myself would simply create an endpoint for something like this directly on the server.

It would be interesting to see what type of customers or use cases your solution might be of use.
Basically, you need to use an email provider in your own country. Each country (hopefully) has laws to protect the privacy of its citizens. Such laws usually don't extend to non-citizens.

Either that, or encrypt everything you do.
You don't have to be charged like that if you don't want to. That's not a problem with the US, it's a problem with your phone service.
I'm so looking forward to the Seagate 8TB Archive HDD. Finally a drive that will hold all my photos and quite a bit more. It will make my backup procedure a whole lot easier.
BTW, there's nothing wrong with Windows XP except its planned obsolescence. AFAIK, an organization can pay Microsoft to extend the support for XP which probably is the cheapest solution for the town.
atscript-playground - an empty github repo to play with atscript
If I was in NASA management I would have stick it to the congressman by importing all labor - even the janitors from out of state. Let him then explain how the huge project is creating zero jobs.
I'm not sure if its fair to blame contractors completely in this case. The government, their customer, defined requirements for a project. Halfway through the project with ~80% of funds committed they decided that they don't need it anymore.

The US does this all the time.

For example, the Navy LCS program called for a fast ship that could patrol the coastline while traveling as quickly as a speed boat. Lockheed Martin designed the Freedom Class. They made a 378ft, 3,000 ton boat that can travel at speeds of 47 knots, or about 54 MPH. However the Navy was not very happy because they concluded that it wasn't survivable enough and that its armament was lacking. These are all things that should have been well defined at the start of the project. Especially considering that the speed requirement practically begged designers to make certain compromises in order to limit weight.
JPEG 2000 is an actual standard but to get it working you need to license a decoder from someone or build a new one, you can’t just piggyback on some existing HEVC decoder. JPEG 2000 doesn’t currently work in every browser, and there have been at least a couple of security vulnerabilities in the decoder (Kakadu I think?) that OS X ships by default and enables for Safari. In many cases where there’s no native browser or direct plugin support you can get it working with a slow, buggy, resource-hogging Flash implementation, but I’ve had pretty poor experience as a user on sites that incorporate one. I don’t believe there are any pure-Javascript implementations.

As far as I can tell, this new format already has a better client compatibility story than JPEG 2000 right off the bat, as well as better quality for the same file sizes.
PhantomJS is falling further and further behind. It also doesn't, for example, support scripts triggered DOM events.

The more time goes by, the more I'm considering removing it from our testing suite.
Building and Running a Recommendation Engine at Any Scale
without even reading your answer is at the top, "sponsored by ge"
He's likely referring to this:

http://blogs.msdn.com/b/dotnet/archive/2014/11/12/net-core-i...

.Net was recently open sourced, along with the compilers. MS also has put real effort into making it cross platfrom with great results.

As a C# & JavaScript developer, I'm floored with this. It's such a huge shift from the past. Yes, it's wonderful.
Slowly but surely we're getting there. I look forward to an inevitable time in the future where the yield will be great and we'll know how to deal with the panels (how to recycle them, etc). It'll be grand.
http://www.stratfor.com and the like.

Protip: If you abandon your subscription in last stage of the cart and come back later, it knocks 50% off the price. It did for me anyway.
I get the same bug, and I find it pretty attractive, really, from a glitch art standpoint... Too bad it's apparently already fixed in Chrome :)
They released Community Edition of Visual Studio (great improvement over Express) and are going more open source with .Net.
http://www.visualstudio.com/en-us/products/free-developer-of...

http://www.dotnetfoundation.org/
That's a very neat experiment.

SIGMOD made an interesting move this year by accepting all papers reaching its standards. However not every paper will be given a presentation slot during the conference.
Helium wasted in hard drives though pale in comparison to that used in party balloons.
Not so fast. Banks are in positions of trust which are easy to abuse. That is a different animal than some ex-im guy selling widgets at a huge market to people who don't know better. Not onlly are they in positions to exploit their delegated trust in the information flow of major economies, they are also in positions that allow them to exploit both their data and verious mechanisms of market micro-structure through the revolving door relationship with the regulatory infrastructure. In other words, nobody outside of finance really has a clue about how to regulate a bank...and 9/10 bankers barely have a clue about anything in the bank that they don't directly deal with. This limits the amount of people that are feasible to regulate these banks. Which means that being a senior executive is in an of itself a pathway to exploit this type of second derivative opportunity that comes from holding onto a scarce commodity that is on the one hand in high demand by the enforcemnet patrons in government, and on the other hand, can be exploited in and of its own right through various commercial channels both legitimate and less so.
Uber's secret of explosive growth – Negative PR?
Pure applications in F#
Designing a globally consistent transaction engine
It seems to take all kinds. If the other party wants to blacklist you they'll usually find a reason to allow themselves to, though usually people are reasonable enough that things don't get that bad.
New Blockchain Startup Brings Contracts into the Digital Age
https://github.com/raspberrypi/userland/blob/master/host_app... is part of the Raspberry Pi GPU FFT example code. That is not GLES 2.0 or even GL of any kind. That's VideoCore QPU assembly language to compile with qasm. I haven't tried writing anything for it, but it certainly looks like it's "the kinds of GPUs we're discussing here" and "in the same ballpark as a CPU".
Show HN: Open Sourced word game to help my kids learn to read+how game is done
I open sourced my c++ Guessing game generic framework,it started as away to Involve my kids on the game making.

they took the pictures and i recorded them saying the letters and then each of them had its own game.

the process has evolved to very generic Guessing game framework.
the also include level editor.

that you can take and use as you like.
when i have more time i will write tutorial.

Source : https://github.com/meiry/Cocos2d-x-Guessing-Game

Take alook and share
We've gotten above 40% before...
http://upload.wikimedia.org/wikipedia/commons/a/a5/PVeff%28r...
What is your stackoverflow ID? I will measure your progress.
One wonders if he's too stupid to understand the question, doesn't know the answer but can't be seen to not be answering, or if he's just trying to keep the options open.

All of the above are scary. But this is not without precedence. The UK chancellor couldn't even answer which tax greggs should be paying.
I wonder if perhaps you're not overlooking the trees for the forest here - maybe this effect doesn't apply too well to an 8-bit shooter ship, but there are certainly ways this effect can be utilized in other interesting 8-bit/pixel-style forms. Just adding structural deformation to a platformer, for example, opens up all sorts of interesting new dimensions - between the blocks. Sort of like Gish, I would suppose, and games like it ..
Backblaze tech is not that impressive to give them competitive edge over the economy of scale of the big boys have. Amazon & co are not selling at cost, but at whatever the market with bear.
clickable : https://github.com/meiry/Cocos2d-x-Guessing-Game
Have added github repo with corresponding Swift/Metal code - https://github.com/atveit/SwiftMetalGPUParallelProcessing
Plnkr is down
I've been trying to think how I would apply this deformation to a shooter-style game (I agree its a poor example perhaps) and I think it would be quite relevant as an effect to be applied during acceleration/travelling .. and also, one place it would be interesting as an effect would of course be: Asteroid Fields. I imagine an implementation of Asteroids which utilizes this effect for full mining-ship-plundering-the-billions-of-bits style gameplay. Imagine your little ship has to dig through every Asteroid to get the other little, squishy bits, buried there-in ..
That article reads a lot like "Peak Oil" concerns. There is a lot of Helium available - [1] The global reserves of helium are known to be approximately 41 billion cubic meters. Most of them lie in Qatar, Algeria, the USA and Russia. Annual global production of helium is about 175 million cubic meters, and the USA remains the largest producer. "

Regardless, this is something the market can correct for very, very easily. As helium supply becomes more scarce, the price will go up, resulting in greater supply. Most of it comes from natural gas, and is so cheap [2] it's not worth capturing. Oil trades for around $100/barrel. Helium trades at $100 for a thousand cubic feet (albeit in gas form)

Some of the problems with Helium is that Physics experiments use a LOT, and previously was so cheap that it wasn't worth trying to conserve. That's changing - [3] A recycling system can recapture about $12,000/year of lost helium for a single scientist.

From reading articles - apparently the problems isn't so much that the cost of helium is increasing - but that it's been so cheap because of the US Natural Reserves making it completely non-competitive to capture - they are basically giving the stuff away for next to nothing.

And, putting it in a $100+ Hard Drive that will last a half decade is a FAR better use than putting 10x that much in a $0.50/balloon that will last 30 minutes. (Or Macy's parade which uses 400,000 cubic feet of helium) In fact, it may turn out to be the best conceivable use of Helium in terms of a value per m^3 equation.

[1] http://www.gazprominfo.com/articles/helium/

[2] http://finance.yahoo.com/news/airgas-increase-prices-helium-... And on Friday, the bureau announced that it was raising the price for a thousand cubic feet for crude helium from $84 to $95

[3] http://www.nature.com/news/united-states-extends-life-of-hel...
OK find a vision and share it with others, but be sure to deliver.

Remember Brad McQuaid (from Everquest) ? For several years he talked about his vision about Vanguard (MMO game), he made us dream and people were worshiping him.

When the game eventually came, there was such a gap between what was promised and what was delivered that the worship turned to hatred (I'm sure there was even some death threats).
Any good counter-examples of private enterprise funding long term science experiments?
I could see an indie game using this to great effect.
The fallacy with your first paragraph is that it assumes that a patent grants the holder a positive right to produce something, whereas what the patent really grants is the right to prevent others from making something. These two are only equivalent if somehow the entirety of the invention is embodied by the patent, which for almost any useful invention won't be the case.

Rather than B extending A's patent, the reality is a tangled web of patents, all of which require licensing all of the rest to produce a real product without infringement.
Or more realistically, the solution involves licensing from those more powerful than you, staring down those at an equal level, and infringing with impunity on those below you. This reality is known as the "Patent Thicket"[1].

I agree with you on the second part, but the counter-argument would be that the potential future marketability of the patent incentivized Lab B to do the research, which they otherwise would not have done. I'm sure there is some effect in this direction, but personally I think it's small. The sad part is that Lab B is practically forced to abuse their patents merely as a defensive tactic, on the theory that if they don't defect first their opponent will.

(I'll quit at this point, overcome by my own cynicism. Likely I agree with all your points. I started out trying to be a genuine devil's advocate, but at this point I realize I'm veering toward trollhood. I apologize, and recommend the link below for a more balanced assessment.)

[1] Patent Thickets: Strategic Patenting of Complex Technologies (http://www.researchoninnovation.org/thicket.pdf)