skysight-inc/HackerNews huggingface dataset:
I'm not an author but this property with respect to a universal 'semimeasure' holds in the limit as time goes to infinity, as do most stated properties of logical inductors. The fact that they're computable is academic.
Read the article, it's all about how Israel is going above and beyond its data-sharing partnership with Facebook to unfairly impose censorship rules for behavior that they themselves are guilty of. Hypocrisy at its finest.

There are more links to sources in the article.
I kind of dislike the change that happened a couple of months ago, where instead of going to CI straight from the homepage to see if the build in the only project that is actually using CI is successful, I now have to go to the project (they are sorted by the recent activity, so I have to chase the one with the CI), then into Pipelines, and, from that screen, I can't see which branch was built, so I need one more click to get into the Builds tab.

Other than that, I'm perfectly satisfied with the design.
The Chinese must be must richer than I thought, considering that 85% have the "luxury" of not owning a car.
>Facebook should follow one rule - any post that is illegal should be removed. How do they decide what is illegal?

They don't. The government does. Which is why even that simple rule is submission to an external, uncontrollable force. The right approach is to sort out your own internal values (free speech, or rule of law, or whatever) and act accordingly to that internal principle.

For example, if you believe certain speech should not be censored, and officials in the country you operate in disagree, you can cease operations or fight back. This approach has been taken by many in China.

Or, if you acknowledge the legitimacy of the local government, and your values say that means ALL its edicts and claimed jurisdiction, then you might collaborate fully.

Or there might be something in the middle. The point is that your internal values guide, not anything else. Retain personal sovereignty and/or corporate responsibility.
Sony Promises VR Music Video, Other Entertainment Content
That does seem like a good solution to let you do this kind of invalidation in userspace. Thanks.
I've been experimenting with an alternative ranking based on activity (score + comments per hour) and found some interesting stories because of it.

I did notice there's definitely a very long tail of stories that get little attention.

Feel free to play with it and provide some feedback -

http://beta.frontpageping.com
True, but Adblock Plus is GPL:
https://hg.adblockplus.org/adblockplus/file/tip/COPYING

That qualifies as Open Source under any reasonable definition of the word [1].
So being Open Source is no argument for or against either Adblock Plus or ublock origin, because both are.

[1] https://opensource.org/licenses/gpl-license
Clintons pardon of Marc Rich happened on his last day in office.

I seem to recall the Wikipedia article speculating on the checks and balances available if Marc Rich actually did return to the US

You should check that out
Found via Billboard Biz but it's an AP story; not intending to dupe or blog spam. Figured subject is of interest overall.
Developer love - awesome :)
Jeff Hawkins has some pretty heterodox theories of intelligence, many of which are not backed up by modern neuroscience. Furthermore, as neuroscience advances, the similarities between so-called artificial neural networks and actual neurons are rapidly receding. Much of the current success of convolutional neural networks is (loosely) inspired by a particular part of the anatomy of the eye, but non-visual processing and abstract reasoning seems to take place under much more complicated patterns that ANNs may not be able to replicate as easily.
I look at the project list and I think the great majority are not dead and abandoned. They are not the hottest list of tech but they are stable and used.
https://en.wikipedia.org/wiki/Edwards_v._Aguillard

"Edwards v. Aguillard, 482 U.S. 578 (1987) was a U.S. Supreme Court case concerning the constitutionality of teaching creationism. The Court ruled that a Louisiana law requiring that creation science be taught in public schools, along with evolution, violated the Establishment Clause of the First Amendment because the law was specifically intended to advance a particular religion."

In the spirit of the OP's article, let me say that I wholeheartedly agree with you, but you might want to look at this from another perspective... ;-D
And I love the 2^8 give aways...
Interesting ... with section("text"), it crashes. With section(".text"), it works, but spews out this:

<gibberish>.s: Assembler messages:
<gibberish>.s:155: Warning: Ignoring changed section attributes for .text

However, it does compile and work :/
I'm not the original poster but some of us prefer Mercurial's workflow to git's, so a migration tool, while nice to have as an option, isn't what would help win customers like us. (I do like the direction that GitLab is taking, though.)

As an aside to the general HN readership, are there any good Mercurial hosts other than BitBucket?
reCaptcha definitely does contribute to google's bottom line.

Google is involved in making it harder to scrape the web for the average person. They are involved in most web standards. If you go in to most robots.txt files, they have root forbidden for user-agent: *. But you can be sure that Google is whitelisted.

Google has a vested interest in making it harder for the average person to scrap the web. This is because they position themselves as a repository of information. This is a clear case of wedging yourself in the middle.
> Yes and not just their media but also their politicians. The UK society seems to be much more critical of Israel than the US or continental Europe.

well US is crystal-clear on this - they let Israelis do almost anything they want. Build biggest concentration camp post WWII? sure, no problem (the irony in this case is slightly beyond ridiculous). Europe probably goes +-in same footsteps. I mean, it's the only +- western society that for sure won't go jihad way against west in very lucrative and rich region. they need them and vice versa, business as usual.

that said I must say I have big respect for them for striving in such a hostile environment. or maybe it's exactly because of that - growth due to challenge and whatnot
Then we should really get around to stop treating it like one.

But on a more serious note, the opinions of Supreme Courts have very strong moral force, express well-fashioned legal reasoning, and are frequently cross-cited between nations.
I think such publication is very important. I have no idea at all if open source search engines could ever work.

But if they can, I think a big part of it would be separation of the crawl index and the UI / prioritisation etc. Different people can work on those two ends of the problem and apply different philosophies.

Search only forums? Reject porn using XYZ method? Great! But they can all use the same database, or pick from the a common community of databases.
I might add: From my point of view, they are more often than not unnecessary. As a single without children living in a european city, the occasions where I really 'needed' a car come down to: change of residence and buying big chunks of material -- like e.g. wood. With a supermarket, several doctors, my bank, and even a police station in about 5-10 min. walking distance, the usage of a car in everyday life routine would be definitly too cumbersome.
Fox Sports Streams College Football Match in VR
That makes a lot more sense. Thanks for clarifying.
> This all adBlock making money by blocking ads and then showing their own ads is becoming ridiculous and unethical.

I think they've mentioned that a site owner signs up on AdBlock Plus marketplace to sell ad space on their _own_ site.

It will be just another ad marketplace with one exception: AdBlock will make sure that these ads are shown to people who uses the extension. They also promise to allow only "acceptable ads" on the marketplace.
Adblock = product = make money. Products don't stand for things.
No doubt it depends on what car your driving, but those seem like pretty crazy high maintenance costs. Over the past ten years, I've spent anywhere from $60-$400/year on maintenance. I drive about 30k miles a year. "Brakes and belts" are for me something you do every 100k miles. Oil changes run about $30, with a new filter. The only other regular maintenance item is the engine air filter, which runs maybe $10. Every couple years I end up buying new tires, but I've known people that made it 8+ years on one set.

Altogether, with taxes, fuel, car payments, and insurance, it costs me about $400/month to have a car which I don't think is terrible.

It would be nice to spend less on transportation, but I really can't imagine life without a car. Even if I lived in a major city with great public transport - I can imagine using public transport to commute, but I'd still want a car. Of course, where I live now, having a car is absolutely mandatory. I've always kind of shaken my head at the HN comments that suggest I could just ride a bike or something - even if I moved right next to my job site (no thanks), for probably eight months of the year the weather is hot enough that even a slow walk will leave you absolutely drenched in sweat. And maybe I'm crazy, but I prefer going to the grocery store for an hour once every two weeks as opposed to dropping by every day...pretty tough to do without a car. And then there really is the abstract freedom aspect - I can take off and go anywhere, anytime. Coordination is never a factor.

And as you say, I can live in a much lower CoL area with my car. Which also helps in that there's much less traffic than in a big city, so driving a car is more enjoyable. I have a 30 mile commute wherein I can drive as fast as I want except for the last mile. :)
The author created a number of "Promoted Posts" on Facebook, for different age groups and relations. Then they send a series of requests to FB on behalf of the visitor. FB rejects them, but because they amount of time they take varies depending on whether they would see the promoted post or not, the site owner can use the time that FB takes to determine if their visitor would have seen the promoted post—and thus, whether they meet the demographic criteria for it. In my case, the promoted post that the site owner created to show to 36-year-olds took longer than the one for 35-year-olds and 37-year olds. Thus they concluded (correctly) that I'm 36.
Feel free to read my sources currently at the bottom of this page where Facebook had to admit that their moderation was clearly biaded against Israel as late as in January this year.
> I don't understand what you mean by "all the automation they do is first order".

I meant that the tactics of Coq that do reasoning for you, and the internal/external provers of Isabelle, are first order. I was probably partly wrong: you are right that some of them do use higher-order unification. But when in Coq I use "auto" or "omega" or whatever tactic to solve a goal, no higher-order tableaux are in use as far as I know. I have to massage the goal until I get it into a form that is palatable to the first-order automatic provers. Similarly, when I write an Isabelle proof like "from A have B by X; from this have C by Y; hence D by Z", the proof methods X, Y, Z are first order, often off-the-shelf SMT provers. Alternatively, there are also some built-in methods that use simple equational reasoning with higher-order unification, yes.

Let me know if I'm wrong about the details of this! Anyway, none of this means that you cannot prove complex higher-order stuff in these systems. You just can't do it automatically.

And, coming back to the start of this subthread, I don't think Mizar is really different in this regard.
I live in Moscow, the shortest eTaxi ride costs less than USD $2 - less than what I paid for a bus ride while living in Vancouver
The secret sauce for a testable, maintainable and documented ETL
It measures the time a request to Facebook requires (which is exposed by the API, even if content, content size, ... are not). Facebook requests that a user is not allowed to see return quicker, so you can test if a particular post is visible or not to the visitor. combined with the ability to create targeted Facebook posts, that are limited by Gender, age and/or geographic location, you can find out details about the user you shouldn't be able to know.
Not to mention the status boost of being rich enough to not need to own a car.

Not owning a car in the current year is pretty much the "don't own a TV" of the last couple decades. Everyone competes to status signal the hardest how they support it, but when the rubber meets the road (ahem) its emperors new clothes time and almost everyone does the opposite of the signalling.

Something often not discussed is the opportunity cost of not owning a car. Not being able to have hobbies other than drinking at college bars, for example. Not being able to leave the city, not being able to travel, or visit a real park. Sorry can't take that job or promotion because I gotta live 5 minutes walk from the leased apartment. Sorry can't go out on that date, can't you just go with me to the college bar again? The cost of the parochial tunnel vision of never meeting people outside walking distance.
I found traffic to be a huge impediment to Zipcar in NYC. I needed to really pad out reservations to ensure I did not return the car late (which was then wasteful because I was overpaying). Zipcar in SF and Chicago have been way more pleasant.
For me car ownership as a millennial is about "working smarter" and saving HUGE amounts of time and hassle.

I own two cars. They're not essential (indeed one is a "fun car"...) - I live in a city and use public transport to get to and from work and get most of my groceries delivered so I could live without if I wanted, but why would I want to make my life harder and more boring?!

The time-savings of car ownership alone are through the roof, not to mention the huge convenience factor. There are several trips I do often that take under 5-10 minutes in a car, but take 30-40 on public transport/buses. I can get to the shops and buy 10 bags of groceries and be back home again and unpacked in 30 mins, but on a bus it would take 30 mins to even get there! (and then I'd realistically only be able to carry say 4 bags home with me on the bus and not have anything frozen). I estimate that car ownership saves me 45-60 minutes on this sort of trip that I do frequently - you cant put a price on that sort of convenience & time-savings.

How much more code or other fun stuff could you do with an extra 3 or 4 hours a week?

Of course there are instances where public transport is faster too (like getting into Central London) so for me it works to have the best of both worlds - use whichever makes sense. It does not need to be a polar decision.

Other millennials I work with or talk to often seem amazed that I have one let alone two cars - I dont think they realise how cheap it is to own and run a second-hand car. Get a 3 or 4 year old Honda or a Toyota that has been looked after and you'll only need to insure it, service it and put petrol/diesel in it. Up front cost will be £3-5K (and it will last many years and still be worth something when you sell it), annual running costs about £500 - fuel obviously varies, I probably spend about £300-400 a year on petrol.

So for me all in about £900 a year to run a car, or based on my average Uber fare of about £13, about 1.3 Uber trips a week if you ignore initial upfront cost.
Good grief. Wikipedia has a problem with pages that can only be evaluated by experts. They could be perfectly good, or they could be advancing an agenda. I noticed this with their page on the Analytic Hierarchy Process, which is a somewhat scammy group decision making technique promoted by a cult-like group of business consultants. (I've compared it to Scientology -- it has a charismatic leader and even uses special electronic gizmos to make you feel like it's more sciency.) It's hard to fix the page because nothing on it is wrong, exactly. But its sheer length and loving detail, and the utter lack of criticism or reference to alternatives, makes AHP sound way more legit than it actually is.
Don't forget the 22% VAT on goods and services lol
Codenvy has added it into Che - shipping in a few weeks. Red Hat is adding it into Eclipse. And IBM is adding it into Orion. There is collaboration from Microsoft, Mulesoft, Salesforce, Zend, IBM, Red Hat and Typefox around the language services and proposal.

The big piece that is missing is a language server registry so that any tool can discover, install and register locally a language service. That will come next.
This is MIRI; they do really interesting theoretical philosophy and worryingly small amounts of practical research.
8. A constantly connected world via text/snapchat/instagram makes actually getting up and going to visit someone less of a necessity.
So read the article blanking out the word "Israel".

It doesn't matter what country it is.

Or put another way, if you support this, you also (whether you realize it or not) support China, Iran, the UAE, North Korea, etc. etc. etc. doing the same thing. Think you don't? Just wait for the arguments after one of those does something awful.
You are right that pricing on costs is not how it should work. A better pricing would be based on the value created. In this case however the value created correlates to the man hours saved (vs. e.g. managing instances manually without the tool). And since manually managing a large instance is not more work than managing a smaller one, there is no additional value created, so the pricing logic is unreasonable.
Well said ;-)
I'm really excited for this master plan. I would love to have a just one tool to do most of the job (c9.io would be a better alternative to Koding btw). As of now, Gitlab seems to come the closest when it comes to that vision.

That said, Issue Tracker and Issue Board could be developed further to be more in line with Jira and Trello/clubhouse.io

Apart from that, I love gitlab and keep up the great work!
Jonathan Zittrain on Why the Internet Matters
Having lived a big chunk of my life in both the US and a Scandinavian country, I would say that taxes are a lot more complicated in the US. There is no way you can do your taxes in the US without the help of special computer software (e.g. turbotax) or help from professional accountants.
> Apparently my point didn't get through.

You seemed to be complaining about the kinds of posts that are getting upvoted these days on HN. Although you didn't specifically address this particular post, others here did. I thought you might be chiming in to support these complaints, but it wasn't clear to me, which was why I asked.

I'm glad I was wrong.
Has anyone actually tried to implement Ranums ideas?
5 TIPS TO FOLLOW WHEN WRITING a GRANT FOR YOUR WEBSITE PROJECT
> Our intend is to make it easy and possible to use only part of GitLab, whilst integrating with your other tools. ... if you want to use something else for anything, it'll work with GitLab.

If that's your intent then my statement is not operative, great. But your other public statements imply (to my reading) the opposite of what you say in your comment. For example, from the announcement:

> We prefer to offer an integrated set of tools instead of a network of services or offering plugins for the following reasons:

and some comments from your colleague theunquietone:
> We believe in a single solution from idea to production.

and when someone commented "Makes for a tough pitch at an established shop"
he replied: "We hope to create tools and resources to make that pitch and migration easier."

It's early days so you have time to clarify/refine your story.
That was because Uber and Lyft threw a tantrum about having to get proper background checks for their drivers. They're not banned from the city; they could come back at any time if they agree to use real background checks.

The SSN-based background checks Uber and Lyft use are way too easy to defraud by using a fake SSN. Fingerprint background checks are much more secure. I don't get the complaints: I had to get a fingerprint background check when I legally changed my name two years ago. Big whoop. It cost me about $40 and a few weeks of waiting (and I got the actual fingerprinting done at lunch, so I didn't miss any work), and I don't care because it meant I could finally use the name I go by on official stuff.

What Uber and Lyft did is straight out of the 19th-century robber baron playbook: they responded to sensible regulation by boycotting the entire local market. That's not how a good corporate citizen behaves; it's abusive and monopolistic behavior.
Brain-sensing technology allows typing at 12 words per minute
It's ironic since I can't escape ads promoting Banksy exposition in one of the hgih porifle expo houses.
I think for newbs who want to learn the fundamentals of web dev w3schools is a good resource. Even the people over at w3fools admit it. For a deeper dive though clearly MDN is the winner.
Neat! What could I do with that?
Why is it unethical? What ethical principle is being violated? (These are not rhetorical questions.)
Show HN: A high throughput java executor service
> They really think that shouting red stuff at my face will make me spend time and money ?

Much like SPAM, they wouldn't pay for it if it didn't work.

Unfortunately.
I have lived (and still do) in Canada and spent the past 18 years with access to the full suite of channels that American TV has to offer. It is largely the only TV I have access to (though not solely because I still have the internet after all). In the past couple of years I've limited my consumption to the point of avoiding it because it has become so bad.
I can't believe I had to scroll this far down to find someone bringing this up.

I work for a boss that went to a management school where they taught him a "retain/improve" method: first tell people which behavior they should retain, to stroke their egos, then tell people how they can improve, which is what you actually want them to do. So every time I hear praise come out of his mouth, I immediately get cynical and think "that's not what he really thinks, he's just saying that because he's been trained to say things like that first."

TL:DR of the original article is "show empathy to people." Empathy is not the same thing as flattery, and poor management doesn't know the difference.
Sounds like our experience when Tutum, now "Docker Cloud" decided to go out of beta with a pricing model that punished users with many containers, and little data/usage. Like startups..

We jumped to Rancher.
Email Marketing Best Practices to Improve ROI
7 Ways Companies Are Sending Bad Brand Message Online
Technically, it's not wrong because the statement is prefaced with 'To my knowledge'. Whether the author's knowledge is more extensive in the domain of the history of Apple's iPhone color offerings than the domain of mobile processor technologies implemented withing the industry does not alter the technical correctness of the statement.
Thanks for that, great read. . .
The "sensible argument" is that ads allow small "content creators" to "monetize" their content.

I think this is mostly a fallacy. I know of many developers, bloggers, musicians, film makers, etc who put their content out into the public domain because that's what they want to do. There are "monetizing" opportunities above and beyond advertising that seem to work well, but the lowest common denominator, and by inference, the lowest form of media, are generally ad-driven.

People argue with "yeah, but what about game of thrones and silicon valley". I reply with "yeah, but what about keeping up with the kardashians, jersey shore and the latest CSI franchise".

The gold / dross ration is 1 / 99. We can easily lose most of the ad driven content in the world without losing entertaining content.

I may be a statistical aberration though. I'm obviously not the "target audience".