skysight-inc/HackerNews huggingface dataset:
I wonder if that attitude is reflective of simply how tech companies whitelist and blacklist stuff for many things. Once, my organization's email server was considered a spammer because it had a new IP address that apparently was part of a blacklisted IP block. It took us so long to get everything sorted out and get ourselves off of all the blacklists.

Admittedly, we at least had recourse, while you don't for whatever reason, in the event that you one day do want to become a marketplace seller. My point is that it's really easy to get blacklisted. Perhaps it's because they prefer to have some false positives, rather than deal with real bad actors. Just a conjecture.
> I'd be plenty happy to have a company with a 2B revenue stream

They're losing $500MM a year...
I essentially never allocate memory explicitly

Depends on what you do, I guess. I process huge image sequences and have them run (play at least) in real time. I cannot afford to not allocate memory manually. In fact, I have to and I have to manage heap myself. I also have to manage thread affinity, in order to have threads (producer/consumer) share L2 cache to get the speed I want, and all that on multiple processors.

Sometimes you must do that manually.
> simple

This might look simple, because "Hello world" is simple in most languages. But if you really work with them, you will encounter many hidden complexities.
BNW's society does make a concerted effort to maximize happiness for all of its members --- it does so in ways which we find abhorrent, but it does do so. It values empathy and individuality, too; people who obviously won't fit in in the World State hive culture are sent to the islands, partly because they're a destabilising influence, but also because they'll just be happier there. The society is reach enough to support them, so why not? And now there's a pool of talent the World State can draw on if it ever needs it.

So, yeah, simply branding it a dystopia is an oversimplification. It's much more nuanced than that. Fascinating book, and great fun to read too.

(I do have a few problems with the worldbuilding, which I think falls apart in a few places, but that shouldn't dissuade anyone from reading it. It is one of the great books of all time.)
Why are you assuming there's anyone who could help? Machine learning is used heavily in anti-fraud systems. Machine learning is also relatively opaque—a spam filter can't be prodded to "explain its thinking." I suspect there's frequently not a single human being in the company who could pull up the raw score vector fed to their anti-fraud model and use it to tell you what exactly made you look bad.
It's still a really simple product that could be replaced by a new fad at any moment. Who really expects Twitter to be around in ten years?
Good review, I wish they supported clang and gcc on Linux as coverty does. Any plans? I be the first to try!
Which doesn't make it wrong, per se.
Corruption is one of those things that probably isn't going away any time soon: It isn't just a plague on politicians, but other areas of life as well. Businesses, etc.

And unfortunately, you have to have someone produce those voting tests. How do you think they will get their positions? Do you think that the tests in states such as Utah will have the same sort of things as tests in California or Vermont? In your version of the system, the politicians have simply changed professions.

Besides, there is actual need for politicians at this point (the AI still seems pretty far out). It is good to have someone to organize large infrastructure projects, good to have folks handle money and dividing it up, overseeing military operations - and it is good to have folks outside some of the industries asking questions and learning and trying different solutions.

Corruption itself won't go away any time soon: The best we've been able to do is minimize it.
Introducing n-cli for Node.js commandline applications
Why Is Uninstalling SQL Server Such a Pain?
I'd recommend NixOS, for non expert users.

If you are interested in 'what' and not in 'how' or 'why', then declarative nature of Nix configuration will do nicely.

It can be as simple as

services.nfs.server.enable = true;

services.nfs.server.exports = ''
/export 192.168.0.0/16(rw,no_root_squash,insecure,no_subtree_check)
'';
I just installed this and what I found was that it works nicely but, at least on OSX, it renders correctly but doesn't copy # or ## elements during a copy / paste operation. It correctly saves them to do disc but doesn't put them in the paste buffer. Pity. Its a pretty app but if they got that wrong, I wonder what else is lurking.

I don't need another editor that writes files. I could, however, use something I can paste markdown into, fix a formatting issue, and move back to a text buffer in a browser / Github readme, etc.
No, I was replying specifically to the parent comment that said it was a terrible idea that a reasonable explanation be provided. Although, depending on the relevant legal system, just specifying fraudulent conduct without providing a lot more detail would be in itself problematic.
Photography: Aged by the Streets
What classifies as significant traction?

Just from my anecdotal experience, posts votes vary wildly over several days, as does comments on them.

A popular post can have ten votes and fifty comments.

Or two hundred votes with no comments.
You have a whitelist of possible domains though (Messaging and payments being the most common for now)
> this does not mean that a general algorithm has to be slow when run on typical instances

True, but we have a few decades of experience with model checkers running on real programs. Yes, they work very well and are quite affordable, but their domain is rather specific (there is amazing work on model checkers designed to expand their domain and work on ever-larger programs, but the results aren't in yet).

> Unless you're generating programs randomly, programming generally entails carrying at least an informal proof of correctness in mind.

There are various results showing that the difference in size between an informal proof (even when correct, which, as experience shows often isn't[1]) and a formal one may be exponential.

> We need better tooling, more clever proof-finding algorithm to bridge the gaps, clearer interfaces.

Absolutely, but we must understand there are fundamental problems in play.

> Importantly, it is not a computational barrier. There is nothing about the formal verification of typical software that intrinsically requires expensive computation.

This is unknown, but not very promising; certainly not promising enough to assume this will definitely be possible some day (let alone soon). See the result about symbolic model checking (basically the cost of proof that is allowed to exploit linguistic constructs) that I mention in my post. It turns out that in the general case (this time, we're not talking about completely "random" programs, but "random" programs that can be expressed succinctly in some language), it is as hard as a proof that doesn't exploit language, and the difficulty was found to hold in practice (the paper I quote calls it an "empirical fact"), i.e., real-world programs do get close to the worst-case.

The goal of software verification nowadays isn't to find methods to verify general programs, but to find methods that catch a particular class of bugs (static analysis) or to prove arbitrary properties for specific domains or small programs (model checkers). The PLT approaches mostly focus on end-to-end verification, and don't currently attempt to make it affordable for "ordinary" programs. They're trying to make it as affordable as high-assurance testing (the kind done at NASA). In the seventies, the hope was that formal methods would one day allow us to prove arbitrary correctness properties of ordinary software. This is no longer the goal of the verification community today, despite the great achievements in some areas.

[1]: Even when the informal proof is not just "in mind", but on paper, written by experts and peer reviewed: https://brooker.co.za/blog/2014/03/08/model-checking.html
I view twitter as a canary in the coal mine also.

It will be interesting to see the consequences of a major drop in twitters valuation.
Zoho takes a dig at Salesforce
I've written a few daemons now, and the files haven't been a lot more complicated, and the extensions have been obvious (I need to give this process some capabilities, ok set CAPABILITY_BOUNDING_SET).

Systemd being responsible for daemonising also removes several corner cases I could screw up on daemon implementation and saved me time.

All in all I had a much easier experience that I did with similar tasks on SysV.
Online PHP Debugger
Perhaps they're Court Jesters?

It wouldn't surprise me to hear some tech company has hired comedians to entertain the staff.
I see that there is a llvm backend at https://github.com/adapteva/epiphany-llvm, but it hasn't been updated in a while. Are there any plans on upstreaming/contributing and maintaining a backend for llvm?
This is it! Very lean and has sensible functionality, defaults.
Sadly, Microsoft threw in the towel in the consumer space, and is now in enterprise-milking mode. Just look at the wording on the products.

They've been actively chasing away customers. Google is giving unlimited photo storage to Pixel phone buyers. Last year Microsoft took back the 15 GB it had given to Lumia phone buyers.
Define "unskilled". I would say that even if software developer does not have a degree he or she still needs to be quite smart.

Now imagine typical blue collar worker having IQ below 100, who dropped from high school (as they often do) learning advanced technical concepts like network protocols, dozen of JS frameworks, not to mention higher order functions and macros.

That's the issue with technical advancements: there are more and more jobs for people with high IQ and vast knowledge, and less and less jobs for people who can only work with their muscles, not brains.
According to Google 999999999999999 – 999999999999998 = 0
> over other decentralized databases

Can you share some example?
HR Departments Can Start Generating Revenue with Data Analytics
Is visa sponsorship available for this role?
Not any time soon for native app that is more than serving web content.
No, I meant it. I wrote the service files for a number of services and they usually come down to exactly this. Sometimes they require more attention if you want to get more out of systemd. For example socket activation requires proper handling in the app's source code. And if you want to use cgroups, you have to know how they work.

But in practice, the description of all of that is still simple. Have a look at your service descriptions in /usr/lib/systemd/system - there will be a few services with crazy dbus activation and a long list of options, but most of the others are quite simple and the extra options are only to make it work better, not to make it work in general.

And being able to simply set things like NoNewPrivileges, MemoryDenyWriteExecute, and Protect* without going into LSM profiles is a great simplification.
Not best in class, but better than Amazon.com...
Does it get as bad as OpenSCAD? I found that anything even remotely complex using OpenSCAD brings the machine down to a crawl. And I'm on an overclocked 5930K with 64GB ram ;-)

I'd be very curious to see a couple screenshot of your project! I used Google Sketchup to do landscaping last year around my house; I wonder how this would compare...

sketchup plan: https://goo.gl/photos/Qc5mEnFiFm9UWBvv8
reality: https://goo.gl/photos/Gn66MSc8UPshR3CC8
ASCII Image (for React)
The idea that you can't allow cameras because actual realistic video footage would be deceiving speaks of the delusion that exists in the food industry - "family farms" included. A reality where animals can regularly accidentaly kill their own offspring as a circumstance of how they are being kept is crazy and the idea that their movement should be restricted even more is truly insane.

Whenever I feel like having a Kebab I check Youtube for some food industry reality check and watch how these fairly intelligent animals are treated. Usually cures me of that need.
They could just charge an annual subscription. If people love and need Twitter to the extend they claim, $20 per year should be to much to ask. For business accounts they could go high, $250 should be reasonable.

As a bonus, charging a yearly fee would greatly reduce the need for moderation and pretty much solve the problem of "fake followers".

The problem of cause arises if it turns out that Twitter isn't actually providing most people any real value for the subscription.
The elm community is definitely growing. I see posts here almost daily about it, and if you really want to write it full time the positions are out there.
That's the problem, they were too good.

Developers like hackable systems with bugs and problems they can solve, this is how they get "experts", bigger communities grow, more posts exists, the project get more attention.
E.g. WordPress, it is not one of the most used CMS out there because it is the best.

But, not always the best system is the winner.
How can we expect for humanity to explore space, if the majority is "nannied" from comprehending technology ?
Should a hacker be surprised by floating point math?
It's also not going to kill their phone business, at all.
Well, my parents were neither lazy or ignorant, they had top-of-the-line phones because I would pick them for them, but neither one of them could tell you which model they had, my mum knew she had an iPhone, and my dad knew he had an HTC. They were too busy running a business and putting food on our table to care about specific model of their phone, as long as it worked. My mum doesn't even know or care what car she drives exactly, apart from the fact that it's a silver nissan and it needs diesel fuel, because again, she's too busy making sure her 120 employees get paid on time each month and that the business keeps on running.

I don't know, I just have a massive issue with you calling people who don't know their phones lazy/rich/ignorant. It's really not fair.
That's a great concept: The fact that a list of {name, email, mobilephone number} allows you to effectively re-create your own network wherever you want is pretty cool.

I read the open/closed in the article as less about that and more about the fact that e.g. I can't push a twitter post to Facebook without Facebook specifically putting that function into Facebook. I also can't combine the comment streams from Twitter and Facebook. That's the kind of openness that I thought the article was referencing.
This is very sad. RethinkDB is my favourite database engine of all time.

I have huge respect for the RethinkDB team - They've put the product above everything else and they've made it accessible to as many developers as possible by making it open source.

I think that in spite of this announcement, I will likely continue to use RethinkDB.
https://blog.twitter.com/2016/announcing-the-twitter-trust-s...
How Class-Based Programming Sucks (2011)
In my experience, Apple Maps is almost a decade behind Google Maps in many places outside the U.S. and a few other countries. Google Maps beats Apple Maps not only in the map content, but also by having live traffic indications and turn-by-turn navigation. They're not even in the same league to compare elsewhere.
Assuming that the reason for the practice is correct, one explanation could be that the pigs that we raise for food are very different from the pigs that survived before that practice.
"Needles are scary."

Well, actually... no, I don't find needles scary.

To be scared is an emotional response, and you can't really tell pother people what their emotions are.
Big Data in Russia
Ask HN: What are the best Bay Area programming meetups?
Specifically for someone looking to learn. I'm in Oakland and pretty open as far as languages go.

What meetups do you guys go to?
The doodle theorem, and beyond
I thought you meant NNTP.
The learning curve is a weekend of reading.

Elm is much SIMPLER than js, but not as EASY for you because it is new.

If you are at all familiar with compilers, types, and functional programming it should all be review anyways.

If not then you are missing a big part of your education and I would question your capabilities as a programmer.
I tried a picture url, and it's hung with "loading.." showing.
I should have added that I had this process with multiple nexus devices, thus my "shop" was google. I would expect them to handle the pixel phones the same way.
Why not PEER? It's catchier, a common English word, and even kinda fitting given RethinkDB's distribution capabilities. And it has much nicer connotations than the MEAN stack.
I'll forgive the application size, because I like it. I hope there are plans to add tabs, because the current approach is a bit clunky, you can switch between open windows with Ctrl+Tab but the windows are independent.
Yup. Plus they have negative 2 billion in retained earnings, a lot of long term debt, about 20% of total assets are goodwill and intangibles, and if they eventually have to do a stock offering to raise capital it will be a bloodbath for current holders.
Someone? You shouldn't pick an opensource project hoping someone motivated picks it up soon after it's abandoned. The primary company going down is usually it, especially when the project hasn't even picked up enough community yet.
That doesn't makes sense, the only reason race would matter is if we're not using all other available information

For example, imagine if income perfectly explained default rates. Then in that case, the race of the person wouldn't matter at all given income.

P(default | race, income) = P(default | income)

The only time this equality would be false is if race was being used as a proxy for another variable that isn't being collected.

Imagine If incomes were lower for certain races, in that case the algorithm would be biased in favour of those discriminated people, not against them.

P(default | discriminated race, income = X) < P(default | ~discriminated race, income = X)

this article goes into more detail https://www.chrisstucchio.com/blog/2016/alien_intelligences_...
Can someone explain how this is a debugger?
WW3 I ALWAYS WANTED TO KILL a CHRISTIAN
A quick look at the numba docs suggests that it doesn't parallelise any better than regular python - so there's one of my problems.

Numba also seems to be restricted in the functionality it offers, e.g. currently looks like no user defined types so good for hot loops but not your whole codebase. If you touch the python C API it suggests it can't do full JIT compilation, i.e. sounds like this would happen with any C-extension library code outside the range of supported numpy features. No strings?...

I'd love to be shown wrong about this.
Update: I just dug into it some more and there is a specific Copy to Markdown (shift+command+c) command so that does make it a bit more interesting for me as a command+tab paste / fix / shift+command+c way of debugging markdown hell. Apologies for the initial error.
ECDSA and DNSSEC
Yeah, it's hacks built on top of hacks, and even with all its complexity, it still doesn't come close to the state of the art in print layout and type-setting from centuries ago (although that's not just the fault of CSS).

But the sort of talks that the writer is talking about annoy me too. CSS is rubbish but most people know that already. It's unimaginative and lazy to constantly repeat it. However rubbish it is, we still have to deal with it for the moment.

These days I just think of CSS as a low-level language that is best left to compilers and so on. In the same way I don't want to hand-code Abstract Syntax Trees, I don't want to write CSS when I can use a higher-level alternative that spits out decent CSS.
Maybe someone should learn to take a joke... I consider myself a 'real' ( what does that even mean ) software developer - working on web-sites/apps since 15 years - starting my path doing web-design, adapting css as it came out... IT WAS IMPRESSIVE AND AWESOME ( because there hasn't been anything good before )...

But I have to say i am still learning and running into stuff i have done a 1000 times - unable to understand why this is working - only to uncover one statement which breaks everything... BECAUSE CSS HAS TERRIBLE INTRANSPERANT CONCEPTS AND QUIRKS ( Not all are its own faults, looking at you IE ). Also some of them have arisen because it's not used what it was made for - styling documents of text... Not all the fancy stuff we miss-use it today.

CSS is an old friend here to stay - he can for sure take a joke ( sometimes a beating ) and so should you. I usually enjoy these talks :)
If you just select all and copy a lot of formatting is lost. However, you can go Edit > Copy As Markdown (shift+cmd+c) and that keeps all formatting, even headings
I also have a database with schema per tenant. In the tenant code I set the schema. I like it and would like to see more information as well.
One issue, I think, is that it does not have full isolation and no easy sharding.
As sad by another commenter, I plan to distribute my schemas on multiple servers when neccessary, like the sharding approach.
As someone who uses NixOS now and then, I disagree with you. Right now, NixOS itself is for expert users. The installation itself will be problematic for non expert users.
Well, then all browser vendors are to blame, because the experience with Apple browsers is no better or worse than any other browser for serious web-based apps.
Dfdrt
Oh wow, I didn't know about `systemctl mask`. I've been fighting with a computer that takes forever to boot because of nfs, even though I do not want nfs enabled. I was trying to use `systemctl disable` to no avail, but `mask` looks like it'll actually do the trick.
The battery itself has a controller to prevent overcharging.
I very much doubt the OS can override that.
How  of Getting There with Your Team
I've basically decided systemd isn't for me and have uninstalled it from my systems. The last straw for me was a recent security issue:

https://www.agwa.name/blog/post/how_to_crash_systemd_in_one_...

Which made me re-evaluate systemd. Fundamentally creating a monolithic tool to take over from many small single purpose tools seems counter to the UNIX philosophy, and makes it harder to hack on my (mostly desktop/laptop) systems.
That's not much of a guarantee. First, you're relying on everyone acting rationally. I hope they would, but humans often act irrationally, especially if grudges or money is involved.

More important is your assumption that the decision would even be made by Google. Outside forces such as governments may force Google's hand.

> able to say

It doesn't matter what is said. If Google had sufficient deniability (perhaps an NSL gag order? or a sufficiently high purchase price?), they can say user personal data is secure while sending it outside their control.

--

The only guarantee that would be believable is if they indemnified their users against any future damages derived from their data collection, and there is no way Google (or any company) would willingly accept that kind of liability.
It might help you debug some PHP function if you don't have php environment on your machine
I've not looked closely at systemd yet, but my initial attempts with using sysctl

sysctl has nothing to do with systemd though.
From the article:

The value of stuff made in America reached a record high in the first quarter of 2016, even after adjusting for inflation.

It's not that the U.S. doesn't make things anymore, it's that there aren't endless jobs in making things.
Version 1 of the Enterprise Case for Node.js Presentation
There is less acquisition and IPO from tech company this year compared to last year. I think more VC are more cautious on their money and taking less risk hence the flow of money has decreased, not necessary bursting the bubble. Just lesser startup without a profitable roadmap.
Needs '[video]' appending to this title
A 5.4 Gbps real time quantum random number generator with compact implementation