skysight-inc/HackerNews huggingface dataset:
Programming languages are not just languages anymore, they are ecosystems and ecosystems takes time to evolve and it is really really hard for a new ecosystem to evolve when there are already established ecosystems.

The languages ecosystems feeds on themselves. Example: My OS is written in C hence the best way to write my program would be to use C or some other language that can easily interoperate with C.
Looks like Psikyo's Aero Fighters to me. The proportions seem off though, so most likely a PAL console port played on NTSC TV and/or a sub-optimal emulator config we see there :)

Great game and astonishing feat for a $9 computer!
Care to elaborate? I plan to have modifiable planets but stars? Sounds cool
> second phase is invoking a k-CAS operation (emulated in software)

Sounds like a normal CAS performed on a pointer.
It's based on the (fantastic!) paper by Aaron Turon: www.ccs.neu.edu/home/turon/reagents.pdf
I'm not entirely sure what you're saying (or implying), but I'm curious. Could you elaborate?
I think we are pretty close to the point where trucks no longer require a human being holding the steering wheel to move between locations. That does not automatically mean, that there are no human beings on board. There are many reasons why there should still be humans involved, like

- maintenance: Starting from refueling, to tyre change

- security: Completely unguarded trucks would make quite a theft risk

- any other interactions, being with the customer at the destination or anything on the road.

So, overall there are some aspects and consequently some jobs going away, but there might be additional responsibilities being added to the remaining job, consider the truck driving of the future rather an office job located on the truck.
This library is built upon multicore Ocaml. We've spoken about multicore OCaml for a long time, and apparently, the last tentative of it is being developed.
When will multicore Ocaml land into the stable version of the compiler?
I'd love to take your course on Haskell. :-)
Mostly a fun side project but after my current gig, which hopefully will last no more than 4 years, I hope to kickstart or steam greenlight it in order to buy some artists and then release the game :)
Facebook's Double Standard: BANS Pamela Geller for Criticizing Islam
> I was talking about FP there, and, I think, operational semantics must be embedded in FP.

I'm not sure what you mean. Are you claiming that operational semantics is somehow a poor fit for FP?
I love Freelancer! And the Descent series. Looks like the space combat genre is coming back at the moment, which is great ... it's been a long time!
> I think it's safe to say that most mathematicians in 2016 -- let alone software engineers -- are pretty unfamiliar with category theory

I'm sure that's true for software engineers, but my experience is that category theory has permeated most fields to a significant degree. Many recent graduate-level texts on fields of mathematics from topology to differential geometry to algebra incorporate at least basic category theory like functors and natural transformations. It's even more common at the research level. And I say all of this not having actually met a single actual category theorist, only those in other fields who used at least some of it.
How to Install Node.js on Linux
Airtel Open Network
Qikonnect – Never Miss an Important Call
No, because clearly the CHIP is usable without adapters, and provides the main functionality.
I think you'll find that most people in favour of UBI are not in favour of incentivizing people to go into debt.
Snabb is a great project. Current P4 support is [0]:

a working lexer and parser for the full p4 language (version 1.1: working
release). There are plenty of unit tests, but I'm sure there are
still bugs (not yet a lot of p4 v1.1 code to test out at this point,
most existing p4 code is v1.0 which has some significant differences).

Also, P4 support in OpenVSwitch is coming too.

0. https://groups.google.com/d/msg/snabb-devel/GkWONJcuF4E/Tc8P...
> I'd prefer such product if I can just power it and control it over SSH.

It would seem like you can, or is there something I'm missing? Is it a concern with how you'd actually do the initial setup?
Thanks but there's definitely no comparison! Really looking forward to No Man's Sky, it looks like the game I've been wanting to play for years.
More like the $15.22 computer with shipping. And said shipping cost is hidden at the third stage of ordering, well after you've given your email (hello dark pattern).

At least the $6.22 shipping cost to my European country is reasonable and the same for two CHIPs (3: $7, 4: $9, 5: $11). I recall it was much higher during the kickstarter (and they worked to reduce it, as it seems on the campaign page).

Edit: PockeCHIP shipping is $11
If Tim Cook wasn't part of a frequently and historically persecuted minority, I'd be more cynical too.
The only value in diamonds is their price.
When you buy a luxury item, you are paying for exclusivity, for uniqueness, more than for quality. This is why people will pay huge sums for this or that clearly-dreadful art piece: because its ownership alone is a statement of wealth and power based on the item's own uniqueness. It says you are the only person in the world to have the resources and knowledge to identify and acquire a unique item.

This is the fundamental basis of any luxury market. Quality is a relatively secondary concern, and ethical considerations have appeared only in recent years. Think about one of those discoveries where a little sketch sold at a flea market turns out to be a Caravaggio or something: suddenly the value skyrockets; the art is exactly the same, it's uniqueness that has changed.
Ask HN: What non-technical skills make a senior dev and how to develop them?
> What's to stop Google drive from crushing dropbox?

Googles incompetence to stick with a product, not a tech demo.
Costco certainly asks for custom packaging. No other retailer is going to put an SD card or bottle of vitamins in a 2 sqft blister pack.
Totally agree with you. Could this be the first stages of seeing a unified Debian system for open Linux mobile systems? That'd be coool.
I think in a block-time model of the world. The coffee cup now and the coffee cup a minute ago are different things; my memory of the coffee cup a minute ago doesn't suddenly have less coffee in it.
In fact, this is no problem at all. You can configure CHIP for ssh access, stick it in a panel in the wall somewhere, and just forget about it.
Just ask the Russians for a backup. And if that fails, the next-higher authority: the NSA.
Aldi in Ireland (and I'm assuming the rest of Europe too) has a new system in place. If sensors above the checkouts detect the lines are too long an automated voice will announce "Checkout 2 will open soon, please start unloading your goods on to the belt". 30 seconds later another announcement will say "Operator to checkout 2 please" so the operator arrives to a checkout with a fully loaded belt.

And the reverse happens as well, when the line reduces another announcement will state that the checkout is closing and customers should not approach that checkout.

I'm always amazed at the little things Aldi does to make their process even more efficient.
Buy a new hard drive and restore to that?
Amusing C#
sorry -- please substitute "average" (original was also in quotes) to category or factor, and you still have the bin I am talking about. You can put any label on it you like such as "commonality", as long as you remove details, ie. other bins.

But as you say: your "aggregate analysis" NEEDS "many different samples from different stars". Commonality is the result of your analysis based on different samples. But since they are common, you can go and sample and have the result without doing mass surveillance on every star.

ps: I am fully aware of photo stacking, but also note, that stars are not humans, see context of privacy. Please look at argus or sdcMicroGUI from CRAN to get a feeling for data utility vs. reidentification risk.
Without conflict, there can be no drama.
I agree that you can't replace 3.5M truckers with highly technical jobs but this is an oversimplified analysis that doesn't consider how industries will grow. When Power Loom was introduced, it was often a centre of vandalism because it was destroying jobs. Within few decades, the textile industry was employing more people than it was ever before.

Replacing truckers with highly reliable and automated transport, would only increase the size of the industry and volume of goods transported would multiply . Analysing what are the exact jobs that would replace these truckers is flawed. There is so much interdependence in industries and technology is changing at so many points that you have to assume there would different kinds of work that would be created. I can guess that, with more goods transported, there would be more humans needed to transport it to their destination.

Of course, there could be flaw in my argument that there is an upper limit on products we can create that need transportation but I am assuming this won't be a case for a long time.
Keylength – Cryptographic Key Length Recommendation
It could be a number of things, but one possibility is identifying broad correlations between metrics. Ssince you can't trust the accuracy of the individual metrics, you will have a limited ability to apply the correlation to individual users, but if you use the right kind of noise aggregated conditional probabilities may survive.

So Apple can (for example) predict that listing to band A means you are likely to like band C, and then send a list of correlations to your device so the predictions can be made there by examining your library locally. A more probable use is analytics for marketing purposes. Another is selling just these correlations and other aggregate statistics to other parties; this is actually how Mint makes money.
Intel’s Broadwell-E should not have been released
Facebook just became a much better place to share 360 photos
>The long term game for Dropbox is in having businesses outsource storage to them.

Is the business version somehow different? We simply don't all users to run Dropbox, because it eats up local disc space on our terminal servers, or desktops. Unless Dropbox starts working more like a local file server there's a ton of business that will never adopt it.

The default where Dropbox just sucks down files until you run out of disc space, and the on-disc-cache can't be shared between users, needs to change for Dropbox to be truly successful in business.
I'd really like to see a palmtop linux machine with Psion 5 style form factor with a similar keyboard... these tiny keys are not great.
Google Chrome also ships various Google Apps extensions that are enabled by default. No idea why that's not in their documentation.
Is it shipping soon ?
> De Beers started a succesful advertising campaign basically saying that synthetic diamonds were inferior. [...] It will be extremely interesting to see their advertising campaign.

Nothing says "will you marry me?" like blood and slavery. Carefully curated by the most successful arms dealers. Each diamond has a story.
Groupon’s Workflow Service, “Backbeat”, Now Open Source
When Aldi came to Denmark and didn't redesign the checkout for not having baggers.
It seems so:
https://support.apple.com/en-us/HT202303

However I reckon that technically Apple could access data or give data stored on iCloud to NSA/FBI because they actually still hold the keys for that part too (not only backup as I thought).
Only the password/creditcard Keychain is now claimed to be fully user-encrypted and can't be recovered by any mean by apple.

For anything else than a warrant, they'll "just" have to breach every engagement they made in their contract which would, as far as I know constitute a pretty solid legal case that could only lead a public walk of shame that could compromise the whole company's future.

If you don't trust them, don't use their cloud, I totally respect that. In the end it always appeal to some degree of trust, even GitHub could be spying on paid private repositories under the hood if they really wanted to. But for what gain?
Making a 2d animation film using Git,JS and CSS3
> ... I am resisting doing something out of my comfort/risk zone.

Interestingly, we resist because we perceive a loss of options or in other words - freedom, caused by the paralyzing anxiety. We usually feel free by being in our optimized space, where we have already invested a lot.

And the purpose of going out of out comfort zone is exactly the same - to maximize freedom or diversity of options. By embracing novelty, new options might be discovered and more freedom acquired.

It's the classic trafeoff between exploration and exploitation. Both exploration and exploitation are necessary to maximize results, and the balance between them is not a trivial issue. Always going out of your comfort zone can do as much harm as always avoiding novelty.

By the way, Reinforcement learning algorithms such as AlphaGo deal with the same issue. The simplest solution is to follow the optimized policy ("be in the comfort zone"), but from time to time to do random exploration steps in order to discover more of the state space and possibly find better strategies. In the beginning of the training sequence, it's more exploration, but later, more exploitation.
Create AWS Lambda Chat Bots for FB, Slack, Skype and Telegram in minutes
It's in flux. International English keyboards (a bit different layout from US and not the UK one either) used to have the symbols. The most recent iteration has the command symbol, but not the others, it says "control" and "alt option" on them. Still has a symbol on the return, delete and tab keys instead of US-style labels.
It's nice but I like tools that actually take the database and then design the layout e.g. Entity Framework Power Tools.
Scientists Turn Bacteria into Living Hard Drives
Maybe because there are tons of patents on HDMI cables?

US6932640	Oct 22, 2004	Aug 23, 2005	Yun-Ching Sung	HDMI connector
US7059914	Feb 20, 2004	Jun 13, 2006	Advanced Connectek, Inc.	HDMI plug connector
US7192310	May 16, 2006	Mar 20, 2007	Cheng Uei Precision Industry Co., Ltd.	HDMI connector
US20060148319	Mar 3, 2006	Jul 6, 2006	Advanced Connectek Inc.	HDMI type electrical connector assembly
US8500489	Jul 15, 2010	Aug 6, 2013	Luxi Electronics Corp.	HDMI locking connectors
I'm typing this on a (2015/2016) non-US keyboard without them.
Horribly. C++ has so many features, and interactions between them, that you really don't want to be dragged into that as a toy project. I'd wager that the C++ language spec is longer than the source of a functional C compiler (both without the standard libraries).
You mean batteries and heating elements? No, to be less obtuse, I must infer: Clearly you mean the fluids.

Let me get this straight...you are actually claiming that regulation increases knowledge? The mind boggles.

That is a shocking and novel epistemological formula - although obviously it has been the implicit subtext of public education in the u.s. for over a century.
General availability of the Pocketchip dock?
They're useful for drills, cutting disks; they look pretty when cut. Don't know about their other uses but they clearly have some utility.
I heard similar predictions ever since Dropbox appeared. There was quite a fuss when Google Drive was launched that Dropbox can not possibly compete against the juggernaut with infinite resources and is doomed, but that was 4 years ago now..
You could just start to replace C++ things by plain C until it is self-hosting.
Okay, to reply to the people asking about "No know how". Yes, the US still have a very capable Submarine-fleet, but those Units are from the 1980s. Look at modern diesel-electric Subs, like mainly the german 212A class. Basically a black hole in the water, capable of staying submerged without any noise at all for a month on its fuel-cells, launching a drone submerged or Shooting down ASW-Helicopters, making US-ASW tactics basically obsolete.The now 30 year old precursor of the 212As, the 209, managed to "sink" a Nimitz class carrier in a NATO-Exercise undetected. You are not going to build a ship that is capable of taking on a 212A without any institutonal and tactical knowledge newer than the 50.
You can get Orange Pi One for ~$14 with delivery - which looks more powerful

http://www.aliexpress.com/item/Orange-Pi-One-ubuntu-linux-an...
Yeah, sorry, had that somehow mixed up.
Ask HN: Early adopters for hire
Most of the time, the founder are the only ones who give a shit about their own products.
Most of the time, we can't get early adopters from our social circle, and the majority/laggards will only take note of your product when it become wildly popular.

What if we have early adopters for hire:
- these people have some interest with what you are doing, and agree to be paid to be early adopters
- they will give you user feedback and become beta testers
- they will promote your product to their friends and followers once they are satisfied with your product
- they will write blog post or video to talk about your product
Show HN: An awesome C library for Windows
https://github.com/apakian/AshodsLib/blob/master/summary.txt

Hi there,

It looks like there are not that many available options for a do-it-all
C library, that is easily configured, used and compiled.

I'm releasing my personal toolkit, which I use to develop windows based programs
in pure C without any dependency on DLL's or external libraries.

There is only 2 files, aa.c and aa.h , simply use this to have full access to
everything from data structures. a massive list of networking functions,
database connectivity ( direct - without drivers required ) , a full 32 bit
surface engine, video capture, audio input/output, etc etc.

Have a look at the summary file for a basic idea of what it comes with.

I'm just starting to put together examples and documentation, so I'd
like to get a feel , for how well this might be received.

Would love feedback

ash
>So Apple can (for example) predict that listing to band A means you are likely to like band C

And how is that different from my iTunes example?
> string manipulation

That benchmark performs string manipulations that rarely occur in web apps. Web apps need: concatenation, substring, find/replace, maybe with regexps. All of those are implemented in C.

> memory allocation

Web apps don't tend to implement entire trees in pure Ruby. That benchmark is completely non-representative of real-world performance.

What exactly are you getting at? Of course it's easy to find a bunch of synthetic benchmarks that show weaknesses in particular cases. Still doesn't prove anything.
If scanning the barcode is the critical step, why do it with an ordinary barcode scanner? Just make a conveyor belt that has multiple cameras. One of them will definitely catch one of the barcodes. I've done barcode scanning with ZXing lib myself on a phone, it's super easy even with one camera.

Perhaps set up the bags in a clever way so everything other than eggs falls into a new bag.

Also, it can't be long before you just scan stuff using an app as you're taking it off the shelf, connected to a payment method so you don't even have to pull out your wallet.
Documentation for using the CHIP headless: http://docs.getchip.com/chip.html#headless-chip
> > Unless the result is contested
> > you have saved an amount of counting effort

> The ballots are already optically scanned.

If the result is contested then I presume that this scanning may also be under suspicion (of being faulty or having been somehow doctored deliberately).

> > cost savings

> A handful of pencils per-voting-booth is far cheaper than any computer+printer solution.

Why is why I mentioned the time for ROI to become positive. The electronic counting will save time (man power for the initial count, the need for recounts, and just wall-clock time so the results are available earlier) but the cost will be high. At some point perhaps the solution will pay for itself in time/resources saved but it will take quite a while if at all.
That would be excellent indeed. And now there is not much reason not to. Mobile systems (and enough embedded as well) have enough storage/memory now to run those systems and Debian has no issue installing .debs on different partitions or drives. Basically the core packages can be on the internal flash drive and others on the SD drive which would've worked fine for the Pandora too.
Why are loads of the letters replaced by empty boxes ? Is this a gameshow reference?

http://imgur.com/CY0yv4R
Your only issue would be perhaps screen real estate! Since this is a pure JavaScript plus jQuery app and doesn't have any heavy framework like Angularjs, performance shouldn't be a problem. Having said that, there are a few UI issues that needs taken care of and I'm working on those bugs.
The Human Factor – Air France Flight 447
What if people start sabotaging the robots just to have more jobs? e.g: perforating tires
> But since they are common, you can go and sample and have the result without doing mass surveillance on every star.

"Mass surveilance" reduces noise and lets you get more data in a shorter period of time (telescopes have large fields of view, but they can't make time pass faster). Stacking (which is what the technique is called in Astrophysics) is very useful in this case. Not to mention that you can also do individual analysis as well.

Actually, most interesting of all is that you can do this type of analysis on objects like neutron stars that we can't observe directly because they're too faint. Because noise in telescopes can be modelled as a Poisson process, stacking actually increases S/N in a way you can't do without making much bigger telescopes.

PS. I'm not a statistician, so I can only speak to what I know. But my whole point is that researchers do know how to deal with noisy data, regardless of whether or not that noise is man-made or not. Interestingly enough, I found out recently that the NASA pipeline actually breaks certain data sets they have released (which have papers written about them) so man-made noise is a problem regardless of whether or not it's intentional.
http://docs.getchip.com/chip.html#chip-hardware

First image shows a battery connector top right.
Show HN: Agantty, a beautiful gantt-based planning tool
> Maybe translation of specification into implementation is always the easy part, though ...?

Not only is it the easy part, but we're talking about reasoning about programs. If reasoning requires end-to-end certification you're working too hard.

Even within TLA+, you don't work at one refinement level. The lowest level is just too low, and therefore too hard for some proofs. You create a couple of sound refinements -- simpler state machines that capture the relevant essence -- and verify the behavior of yours. It's simpler than it sounds (refinement is just plain old logical implication, =>, in TLA) but it does take effort to reason about -- let alone prove -- a complex algorithm regardless of the formalism you use. FP doesn't make it easier, and it does require more difficult math.
I perceive the industry to be a waste of very talented people's time and skill sets. The brains doing this stuff could solve some huge problems yet they are just working on ways of serving up more adverts in more distracting ways. Somewhat in conflict with this view of mine is my interest in the stories that come out of the industry and the clever ways hard problems are solved.
If you reject De Beers why would you still choose to buy a diamond to your fiancee? De Beers were the ones that completely made up the diamond engagement ring business through advertising. It didn't exist before them.

A diamond ring doesn't exactly scream 'anti-consumerism' either, it has practically no use and is valued only because it is expensive. To me it says 'look how important money is in my life'.
Assert: a cross platform drop-in and self-contained C++ assertion library