skysight-inc/HackerNews huggingface dataset:
I'm thinking of a system with valueset inference where valuesets are not necessarily disjoint. So the system may infer that a return value is the disjunction {INTEGER | REAL}.

In order to get precision in checking, a lot of computation needs to be done so the compiler relaxes the precision when facing large disjunctions (networks) of constraints.

Dynamic checks are inserted as necessary but a system that relaxes when things get hairy can't guarantee that it will find all errors at compile time.

The idea is similar to Soft Typing of Cartwright and others, but they were thinking of an interactive system, some kind of programmer's aid. If I recall they ran into problems giving reasonable error messages.
While dishonesty is a plausible explanation too, I think the article's argument makes just as much sense. In fact, I recall the same basic argument brought forward by a Political Science professor here in Holland: because the apparatus of civil servants and experts doesn't really change so much between elections, these people wield much more power than we think they do and policy often stays continuous as a result.
Excellent article. I like the architecture explanation. I also like the simplicity of the description, makes it really easy to understand the descision making process.

I think it is a very logical solution. Naturally when I think of facebook, its the freshness of the data that is important for me, as a user I like to know whats going on now, as opposed to older timeframes. I think it seems quite logical that it is much more optimal to manage their data this way.
Japan man held over '3D-printed guns'
It sounds like you can upload programs to the Internet, so although it seems you can only have four stored in the 3DS at a time, I think it's just a matter of swapping them out.
at some point, government analysts will construct a platform that gets lots of data (including both public and private data) shoveled in and produces actionable insights. For those who aren't current, "actionable" means, in the form of, "do this", or "think about doing that".

Of course, this system will still be constructed according to the biases and fears of real humans. Most people wouldn't call it an "AI government" because there's already an elected government calling the shots ... to a certain extent.
The electric rise and fall of Nikola Tesla
Perhaps IBM figured that they don't need that many chips to warrant its own fab, which are expensive to maintain/upgrade to keep up with cutting edge process technologies.

I can believe that it made more financial sense for someone else to actually make the chips it wants (like nVidia, Apple and almost everyone else besides Intel and Samsung) than running its own fab in the long run due to economies of scale involved in fabs.
I read that bug, highly recommend. It tells good story, while keeping with facts we found.
Beware of Productivity Tools
I'd bet that he knows that already.

And C++ belongs to the C language family, but one could still say something like "the next great thing would come from a C rather than a C++ like language" (I'm not judging if this is true here, just that it's quite clear what it means).
Serious privacy issue in Linkedin not fixed for more than a week
AngularJS is not for websites
The President relying on experts instead of telling them what to do and trusting their expertise as if they will execute what they are told effectively. If you read biographies of great leaders, ie pope John Paul 2nd or President Reagan you will notice common pattern: the burocracy told what to do screaming in utter shock that they are "under attack". The burocrats just needed some time to get adjusted to a new situation where they don't call the shots anymore, but are there to execute the Leaders policy. For example JP2 was famous for totally ignoring his personal security team demands. At the beginning the pope was banned from travel by his own security team as this is "how it has always been". And they were the experts after all. It took them some getting used to new situation where the pope was deciding where he goes, when and how. Obama seems to be a bit weak. He seems to be someone who would rather have someone else make though decisions, so the result can't be blamed on him. With Syria he actually took advise from... putin😁

The problem is the crisis of leadership above anything else.
Mobile App Strategy- Why You Need It and How to Do It Right?
I appreciate the OS, but I wish it had a longer lifetime, as it is I can't really set it up on servers in a serious manner.

It might be good on firewalls though where they don't expose a lot of services to the internet.
I've learned heaps from reading the papers that these companies publish. Google, Facebook, and Amazon all publish well written, readable, papers. If you're looking for somewhere to start, then the Dynamo paper is a classic: http://www.allthingsdistributed.com/files/amazon-dynamo-sosp...
Funny - just compare how Ubuntu was bashed for Amazon lens in Unity and how differently Apple is treated for the same (or even worse) things here on HN
My mac has not yet shown me advertisements for when I was looking for my files.
Original discussion can be found here:
https://news.ycombinator.com/item?id=8479958
Neuron: Intelligent suit to discover customers from social networks
Neuron will examine your entire social networks (Facebook, Instagram, Twitter & Pinterest), pick up those users on platform who are interested in your type of products and help you convert them into your customers.

Share your views on this product of mine. Also i can be reached at veer@sellmouse.com
I wonder if the iPhone does something similar
Thanks. That can explain why they still don't mix hwrng directly to the pool. They don't want to increase the "estimate" of the "random bits available" in that pool.
That's sponsorship more than native advertising.

The piece itself has nothing to do with BMW and there's nothing BMW being sold under the pretence of a journalistic piece (that I could see), there's an article, and BMW sponsors the series so here's their logo.
That's not really a major concern if you've used it at all.

Their lifecycle is security oriented and you only get reliable security coverage if you keep something up to date. There's no point in sitting around living off backports and patches forever as all that does is create work.

It's pretty easy to upgrade as well.

With respect to application services, they can evolve independently to the base OS as well.
Show HN: A Fully Responsive Timesheet, Expense and Invoicing Platform
I like what I have seen with Apple's (apparent) focus on privacy with regards to iOS and the later iPhone models but this is pretty worrying - I'm not one to care about sending my data to some cloud service when it offers some tangible benefit to me, but some of this data is pretty intrusive and I can't see what benefit it is adding.

Assuming everything here is accurate then Apple have screwed up and really ought to rectify this pretty quickly if they want anything they say about privacy to be taken seriously in the future.
It searches the web as well as your local drives, so sending those searches out is exactly what I'd expect. Now, I can also see the case for not making 'do a web search too' the default, but if you can't have that and not share your searches with Apple.
Criticism about Ashar Javed's BlackHat EU Talk: Revisiting XSS Sanitization
I recently replaced Spotlight with Alfred and realized how much I was missing out. It's surprisingly faster and cleaner. I would really suggest it to anyone who haven't tried it yet.
If you have access to MS Windows, you can find the latest version here: http://www.oberon.ch/blackbox.html
A very beautiful piece of software in my opinion (but not available for Mac OS X).
Those crazy middle-easterners. How can they calculate with such terse number notation? As if 27 is more readable than XXVII! ;-)
They weren't advertisements. They were product search results.

And the concern wasn't about the fact that it shows products, but about the fact that data was being sent to Amazon (unencrypted as well, I believe).
You were one of _those_ people...
Chimps seem to exhibit very human characteristics. ;-)
I worked for a hosting company and we'd normally charge time spent handling the issue plus the upstream cost of bandwidth, depending on how nice the customer acted.
Improve Campaigns Through Social Media Analysis: Infographic
iirc I'm one year younger than Zuck but still remember upgrading to Netscape Navigator 4.0 from a previous version. But then again I grew up in SV and my dad was in the PC industry. Zuck grew up the the East coast, and that's probably the biggest difference.
On the lower-paid side of the outsourcing: they can easily hire a junior and sell him as a senior. You would probably have to travel though.
For most of us this is not a problem as we don't get to vote for the US government anyway.

As a non-US citizen I am spared the illusion that voting can prevent the US government spying on me, murdering me by drone or imprisoning me without trial. And those are primarily things the US does to non-US citizens.
This is pro-war propaganda. Occurrences among primates interpreted by some humans as 'war' allegedly confirm that war is innate in higher primates including humans.
Doesn't matter. As an engineer, you don't get to pass the blame like that. When you sign off on something, you are taking responsibility for it. Being able to tell your employer 'no' is fundamental requirement of being a professional engineer. It's the most important difference between a professional engineer and 'some guy who designs things'.

If management was acting irresponsibly, they deserve blame as well, but that does not excuse his actions. My engineering association probably has somewhat different rules than his, but they're all going to be similar. From the handbook sitting beside my desk:

-------------------------------------------------

Rules of Conduct:

1. Professional engineers[...] shall, in areas of practice, hold paramount the health, safety and welfare of the public, and have regard for the environment.

....

A client's or employer's interests should be held in high regard. However, the following duties take precedence over the interests of the professionals' client or employer:

- the duty to protect the safety of the Public;

- the duty to the professions under the Code of Ethics; and

- the duty to act fairly and justly to all parties when administering a contract on behalf of a client or employer.

....

Having a Recommendation Overruled:

- When a client or employer makes a decision that adversely affects the public interest and is contrary to the recommendation of the professional, the latter should inform the client or employer of the consequences of the decision. If the client or employer is unavailable or unresponsive, the professional should notify the appropriate regulatory authorities that have the ability to evaluate the concerns and the power to suspend activities until the technical issue is resolved.

-------------------------------------------------
The big question that I'm left with after reading this article is: are there particular factors that played a role in causing this war, or does this kind of thing just 'randomly' happen.

Does anyone know if this has been researched to any degree, perhaps with other groups of chimpanzees or entirely different species? I imagine that observing these dynamics in a more 'primitive' creature could be enlightening to us...
This is exactly the kind of job JS was created for (rich documents)!
Somehow it must be beneficial for the elected officials to keep these non-changing people in charge.

Obama was probably simply persuaded by the many-many human faces of the administration currently carrying out the atrocities (War on Drugs, NSA, foreign policy), and focused more on the soft-programs (stimulus, healthcare; and random acts of obama, that largely failed), plus got completely broken and stonewalled by an uncooperative House.
There's a part of me that believes that on startup, a service must check the config and bail out immediately if it's invalid.

If it doesn't do this automatically, there's still the option of adding the configtest in the ExecStartPre option.
Writing tool with Markdown, Textile, Wiki, counters and motivators
And hopefully they never will.
"the next great thing will be more like ML"

ocaML or even better F#?
My concern was that if I wanted to buy something, I'd go online and look for it. If I wanted to run an application, I'd search for it. It was a case of extremely terrible UX and wasted my time having to disable it each time I installed Ubuntu.
One could argue that software architecture is the inner structure of an application, i.e. the libraries, modules, classes, functions and, most importantly, their interfaces. The GOF design patterns are purely a matter of software architecture, for example.

System architecture on the other hand describes the different applications/services that compromise a system, including the ones that you write yourself, plus the ones that you just "use", e.g. database, storage, load balancer, etc.

I would argue that the article mostly talks about system architecture with focus on storage and I guess the parent you replied to would too.
I'm very glad for that thread. I didn't know that I also needed to uncheck "Include Spotlight Suggestions" in Safari additionally to Preferences.

I do not understand why there's such a backlash against anyone that points out that:

1. It's not intuitive to have to both disable "Include Spotlight Suggestions" in Safari and in Preferences.

2. People like my father who are privacy conscious but are average computer users would not think to look for this in Spotlight and Search and instead would look in the privacy tab instead

3. Apple released and advertises cool privacy features like MAC address randomization that actually do not work. It only works with Location Services and 3G disabled according to the reports which is never going to happen. This makes me feel that the new focus on privacy from Apple is more for PR purpose than something they really care for.

That said, I like Apple products, I've been using macs since 2004 and I would have a hard time going back to using Linux (still have nightmares about all the work needed to support my laptop correctly) but that doesn't mean I'm giving them a pass on those privacy issues.

I know a lot of people here feel that all of this is much ado about nothing but really, it's clearly not obvious and if I hadn't read yesterday's thread I wouldn't have been aware that Safari sends my search to Apple even if selected Duck Duck Go and disabled Spotlight Suggestions in preferences.
Unity, Android, XCode. This is already happening. You can take games and start to learn programming top down instead of bottom up. Take a ready made game, make modifications and see what's happening (similar to the turtle exercises where you programatically draw a picture using a predefined API and later learn how to implement the actual drawing API). Apple is currently undergoing an effort to teach programming using Swift and the Swift REPL (http://www.apple.com/swift/)
I think it's much easier to get the current generation interested in programming using games and instant gratification (according to some teachers I talked to, there seems to be a trend for pupils not engaging in challenges, see also http://marshnaylor.kinja.com/my-stepson-plays-video-games-on...)

When I started learning programming it was really hard to accquire information and no one knew how to program so I couldn't get a mentor. Nowadays it's much easier to get all you need to get started learning programming. Which absolutely good, but there is a life lesson in this difficulty to accquire information that the current generation will probably never learn.

I think it will be really hard to engage kids into learning programming bottom up, but YMMV.
nice article ..
Check that your Node.js project is well written, secure and follow conventions
"never stopped Ruby or PHP"

Lots of poorly-maintainable code is a good thing?
It seems quite quick to do work on large datasets, I've found the documentation lacking however.

There are no links in docs to the types that are being referenced, some types do not have documentation, some documentation is the function header with no other info ie no documentation, functions that take string formatting info eg '5min' do not have their argument possibilities documented anywhere I can find.
> Somehow it must be beneficial for the elected officials to keep these non-changing people in charge.

Yes, because the vast majority of them are simply the bureaucrats that keep things ticking over because they know how to do their jobs.
I like Douglas Adams take on this:

"The President in particular is very much a figurehead - he wields no real power whatsoever. He is apparently chosen by the government, but the qualities he is required to display are not those of leadership but those of finely judged outrage. For this reason the President is always a controversial choice, always an infuriating but fascinating character. His job is not to wield power but to draw attention away from it. On those criteria Zaphod Beeblebrox is one of the most successful Presidents the Galaxy has ever had - he has already spent two of his ten Presidential years in prison for fraud. Very very few people realize that the President and the Government have virtually no power at all, and of these very few people only six know whence ultimate political power is wielded. Most of the others secretly believe that the ultimate decision-making process is handled by a computer. They couldn't be more wrong."

Here in the UK, I think that if you want to change home policy, you can do that by voting. However, if you wish to affect the wider economic policy you would do better by getting a job with the Bank of England, and if you want to change UK foreign policy, you get a job with the US government.
Yes, it's not foolproof, but you might get hacked by someone who forgets. It's another lawer of protection.
I just spent two hours practicing getting in and out of my car. It was totally worth it!
Show HN: A code generator for automatically converting JSON to/from C++ structs
This one might be more relevant: "Disable sharing of Spotlight searches with Apple" https://news.ycombinator.com/item?id=8473580

Hint: you have to uncheck two checkboxes that OS X explicitly tells you about in the very same Spotlight preferences, plus another one in Location preferences.
Eek. You're saying you won't hire someone who doesn't, at an interview, openly disclose their sexuality or trans status? Maybe run this sort of thing by a lawyer....
Says a lot about forms of "democracy" where people pull a lever every 4 years for their next king.

(And even real kings don't have absolute power. There's a lot of people and institutions through whom they must attempt to project their policies.)
While Colossal Order is not a Paradox studio (besides Paradox Development Studio, they also have Paradox North, Paradox Arctic and Paradox South), it has very close ties to Paradox Interactive. Colossal Order was present at Paradox's Fan Gathering at Gamescon in Cologne this August for instance.
As a long time lurker, I'm going to jump on this one.

Yes it is bold by the user but I agree entirely.

I spent the best part of a decade running Solaris and Linux machines from 1998-2008. The Solaris kit was easy to keep running once you'd got over the initial configuration hell and was very stable. The Linux stuff however was nasty at best. From CIFS/SMB crashes taking out the VFS layer to drivers packing in to incorrect documentation to random hangups. That is across CentOS and Debian. They are not even remotely stable IMHO. Debian is far better than CentOS was but that still pales in comparison to even, dare I say it, Windows Server 2008.

As a sideline, I'd been using OpenBSD on a couple of test machines because it was interesting and I encountered entirely the opposite of the above. I threw it into production instead of a CentOS 5 box that we were retiring as a postfix/dovecot SMTP/IMAP box. The throughput is about 10-15%[1] less but my word the thing is a million times easier to administer and is absolutely bomb proof. Every configuration option, tool etc is entirely and perfectly documented. It is nothing but bliss. It just keeps ticking. We now have 3 hosts on it. The only missing bit is a decent OpenJDK port but the software guys are starting to use Python for a lot of stuff so that may be moot shortly anyway.

My metric for an operating system's reliability is if it goes wrong, how much crap do I have to deal with? Well I'm confident that if an OpenBSD host went down that I could have it back up, even if the internet connection was out and all I had was an OpenBSD CD. I can't say the same about anything else these days. Last time I lose an md raid on Linux, it took me a day to get it back due to nothing but crappy documentation and bugs even those it was a tested recovery strategy.

[1] The thing is a hefty HP Xeon box so this is background noise compared to the actual load.
The snark wasn't necessary indeed, and as an early-stage project, lacking documentation is understandable.

As an HN post however, if you tease us with "magical features" in the title, I'd expect to have the magic shown to me in the linked page, or at the very least in the top comment. I shouldn't have to grok the sources to figure it out.
or command option F5
Despite their titles, Cities XL (developed by French developer Monte Carlo) and Cities: Skylines (developed by Finnish developer Colossal Order) have no relation. Colossal Order have already stated that they will avoid some of the design decisions made by Cities XL (such as specifying where which class of people lives).
Ask HN: Do you can provide free subdomain for me?
I need unlimited bandwith or 100GB, 200mb Webspace
Many thanks my friend! :)

I write about philosophy
Physicists build reversible tractor beam
so Apple's false privacy statements are not as bad as Ubuntu's Amazon search results ?
I suppose a big benefit is just not having to worry about it. I think in practice that's one of the most common reason to leave things be. Any change will create enemies within, might lead to worse outcomes, and will cost significant work.

I've been in a number of situations where a 'bad' manager remained while new upper management was busy with 'an entirely new approach' and changing things left and right. In one case, I had the luck of being a good friend of someone in upper management, so I could discuss this issue. This manager indicated that he was well aware of the problem, but he explained that it simply wasn't worth the trouble to deal with this 'bad' manager right now, for pretty much the reasons I mentioned above.

Of course, 'right now' remained the argument, since there were always more important things to do. For all I know the guy's still there, or maybe even promoted.

Hell, come to think of it, it's very much like the code I work with. Significant chunks are a mess, but there never seems to be time to refactor. New features and 'big changes' always take priority, and somehow the big changes rarely impact that shitty code, so it stays. I'm not sure if that's coincidental.

tl;dr: apparently refactoring is avoided in most (bureaucratic) human endeavors.
The trigger is the appearance of the volume. If the mounter actions crypttab properly it'll run the keyscript which challenges the smartcard or TPM or USB crypt token or some combination thereof, which in turn provides the response to cryptsetup.

By default nothing happens when you insert a smartcard; if the keyscript tries to run without the smartcard it will retry, timeout, and eventually fall back to askpass. If there's a LUKS keyslot with a backup passphrase which can be entered by a human operator at the tty, this also serves as a disaster-recovery mechanism so that you can afford to lose the LUKS keyslot associated with the token/smart card.