skysight-inc/HackerNews huggingface dataset:
Coffee doesn't taste terrible to me, even as a kid I liked coffee's flavor but more as an ingredient. Pure chocolate is similar. Too much for me but mixed with other things both are delicious. Lots of things in their pure form alone would be considered terrible tasting. Lemons for example few people can eat straight up
Well do you know what a predicate is, in logic? https://en.wikipedia.org/wiki/Predicate_%28mathematical_logi...

What this prolog code is doing is defining a predicate called “list_length“, which captures the relation between a list and the integer that represents the length of the list.

To do that you start with a base case, the relation between an empty list and the integer that represents the length of the list. That's the first prolog statement:

list_length([], 0).

It has no Body so this Head clause is always true: we are defining the list_length predicate for [] and 0. (Another way of saying that is that the pair ([], 0) is in some set called list_length.)

The second statement has three Body clauses that specify three conditions:

1. You have an integer (technically a Natural number, not negative) named 'N' that is greater than zero. We do not care which integer it actually is at this point, just that it's greater than zero.

2. That integer 'N' is the sum of some other integer named 'N0' and one. We also do not care what 'N0' actually is, just that it is one less than 'N'.

3. There is some list named 'Ls', and the pair (Ls, N0) is in the set named 'list_length'. We also do not care what this list actually contains, just that it exists and that list_length(Ls, N0) is True.

Given the above three conditions are satified, Prolog can conclude:

4. The pair ([_|Ls], N) is in the set named 'list_length'.

You have to understand that the '_' mean anything, and '[foo|bar]' is how you add foo to the list bar to make a new longer list. (Like [1|[2|[3|[]]]] is the list 3 2 1.) See https://en.wikipedia.org/wiki/Cons#Lists

That code is enough information for the underlying Horn Clause Resolution to be able to do things like find the length of a list, or find lists of a given length. It's very powerful.
https://en.wikipedia.org/wiki/Horn_clause
Just like any responsive website is.
How can we have multiple Jenkinsfiles in a single branch?

We want to run one job to build things, then after we deploy, we want to trigger another job that runs a bunch of integration, performance, etc. tests against the new code.
No, SSL is not gonna be served if you didn't specify it in the Caddyfile. I implicitly did, by leaving out the binding port in my server name. I could have done `blog.kixpanganiban.com:80` and configured Caddy NOT to handle HTTPS. I think a lot of people incorrectly think that because something was not written, it was not configured, which isn't the case.
Right. Or billions -- or trillions. Consider something like the Inception-like convolutional model that's one of the workloads in the paper. Training Inception is "relatively" easy -- one week of 48 K80 GPUs. (I'm lying, of course, because you retrain, and you train many times to do hyperparameter optimization, but still).

Then consider the possible applications of that at Google scale -- there are "an awful lot" of images on the web, over 13PB of photos in Google photos last year [1], a gajiggle of photos in street view and google maps, an elephant worth in google plus, and probably a few trillion I'm not even thinking of. :)

Same applies, of course, to Translate, and to RankBrain, also mentioned as NNs running on the TPU. 100B words per day translated [2], and .. many, many, many Google Searches per day, even if RankBrain primarily targets the 15% of never-before-seen queries [3].

Add that to the fact that GPUs are poorly-suited to realtime inference because of the large batch size requirements, and it's a solid first target.

[1] https://en.wikipedia.org/wiki/Google_Photos
[2] http://www.k-international.com/blog/google-translate-facts/
[3] https://www.bloomberg.com/news/articles/2015-10-26/google-tu...

(work at Google Brain on Mondays, but speakin' for myself here.)
Fizzbuzz?

I find the reaction to being asked such an "elementary" question as informative as the approach and solution.

And then there are the "programmers" who can't write a solution.

The rest depends on your niche. For instance, I like asking junior server side web developers to design (but not write all the code for) a URL shortening system. It's simple enough to describe in 10 minutes on a whiteboard but complex enough to spur conversations about decisions and trade-offs.
Congrats to the Jenkins team!
Avalanche effect is a sign of a good hashing algorithms, but not necessarily all of them.

It is very vital in case of SRI indeed, as because SRI also intended to shield from potential MITM somewhere in CDN stack. But SRI is useful in other areas too. For example for really bare version handling and for handling (somewhat) gracefully corrupted cdn responses (including errors, empty responses etc).

For that, avalanche effect is not all that necessary and CRC32 could do an ok job too.
> We all have big dreams of starting our own company some day

Speak for yourself. I've got absolutely no dreams whatsoever in starting my own company. I go to work, do good work and put in my hours. I get paid nicely above average salary so that I have no particular concerns from a financial perspective. Why would I want the stress and hassle of running my own company?
Switched to GNOME means GNOME will have more developers working on it, and developer matters. Compare to tons of full-paid developers in MacOS, Android and Windows.

At the moment, linux still needs more and more High-Quality Desktop Applications.
I suggest a place that your otherwise ignorant heirs are certain to come across as they sort through your belongings in the event of your unexpected death. E.g. The random file folder - not the buried jar of cash.

This also goes for your master password- a safe deposit box or sheet of paper sure to be found in an exhaustive sorting of your stuff - but not in the limited time a burglar has to toss some drawers.
I think a big factor is that if you google for "Linux Mint" the distrowatch page is one of the top results, while if you google for "Ubuntu Linux" you get other results instead.
Would something like this be a way for a beginner to C (barely any experience) to get their feet wet? Or is there an expectation of basic familiarity with C already?
VPN's aren't easy - and they're definitely not a default behavior in the same way not accepting third-party cookies is.

But part of the solution if the regulations stay the way they are may well be that VPNs are made easier by being built into operating systems and provided by for ex. Apple as part of iCloud

> You can't easily avoid emailing people with gmail accounts, or communicating with people on Android phones.

I'm genuinely curious if you have a cite on Google using received emails in ad targeting. Likewise with receiving messages on Android devices - because neither are in their privacy policy[0].

Google do run services that aren't part of the ad targeting dragnet - partly because a lot of the data is useless if you're not a Google user and not terribly additionally useful if you are a Google customer

> using e.g. browser fingerprinting techniques.

The article you linked to talks about Google and Facebook using SSO. Actual browser fingerprinting to bypass user privacy settings is illegal. There are many cases of the FTC smacking companies down for that.[1][2][3][4]

[0] https://www.google.com/policies/privacy/

[1] https://www.ftc.gov/news-events/press-releases/2012/08/googl...

[2] https://www.mediapost.com/publications/article/191409/kissme...

[3] https://www.mediapost.com/publications/article/291523/turn-s...

[4] https://www.engadget.com/2016/12/20/ftc-tells-verizon-superc...
It's no different than:

public class LinkedList {
...
public int size() {
if (head == null) {
return 0;
} else {
int n0 = 1 + head.size();
}
}

Actually, it is different. In prolog, you don't tell it how to compute an answer. You tell it what the answer is, and it figures out the rest.

In the previous example, I'd phrase it more like this:

I am sure [] has 0 length.
I would be sure [_:Ls] has N length, if I was sure N>0 and N=N0+1 and [Ls] has N0 length.

Notice I never really told prolog how it is supposed to go about figuring out that [Ls] has N0 length -- prolog might use recursion. Or there might be other facts which let it figure out the length of [Ls]. Prolog will try to find a way. For example, I might introduce a rule

list_length(join(a, b), N) :- N #= NA + NB, list_length(a, NA), list_length(b, NB)

Now prolog knows that when you join two lists of known length, the lengths can be summed, without actually counting the length of either list or the combined list. And actually prolog doesn't even know or care what "join" means here, it just knows that "join" will cause the lengths to get summed.
In my younger days, after a hedonistic night of wine, and relations, I would get two egg Mac Muffins, and two orange juices. Then go home for a nap.

And I wonder why I'm still single.
Assuming that the tech behind the company are all sound and working as intended, how does the company differentiate itself from competitors (both local and overseas) like Lyft (which is still dependent on humans) and others like Uber/Otto, Didi and a few others looking to add autonomous vehicle into their product offerings?
I agree. I want my phone to have a phone interface and my computer to have a computer interface. I also want to switch seamlessly between the two.

Who cares if you have the same interface on your phone and PC. I mean seriously, there is absolutely no point and you end up wasting time designing some sort of interface that doesn't suck on either platform.
Judge Caprio disagrees.

https://www.youtube.com/channel/UC59KhIPOR0Jj653dC4laEJw
The US versions of unions (not speaking to Canadian unions) are very antagonistic and not so much cooperative that means they will drive the department into the ground before they acquiesce to anything.

So for example, if the demographics of the community change such that transportation needs change, or technology changes (automation of many kinds) meaning fewer employees needed or different kinds of employees are needed, it becomes hard to reflect those needs in the workforce because of the union agreements.
Which is essentially two applications as I said. The only difference is that they may share some state, but there are other ways to handle that too.
my firefox & terminal (& wallpapers) are all dark

I really cannot bare to read anymore in sites with bright background

actual dead-trees are a different beast :D
Ask HN: Where are the clean tech development jobs?
What job hunting approaches would you recommend to a software developer who wants to find work in clean energy?

Plenty of clean energy job board posts are asking for engineers, but none that I could find are hunting for developers. Recruiters who network within renewable technology are also hiding quite well.

Suggestions for finding positions on the West Coast of Canada would be especially appreciated.
I want to have the freedom and time to learn, investigate, and accomplish the things that interest me. While also having the freedom and time to invest fully in my relationships with family and friends and to relax and decompress when and how I see fit. Without worrying about how I'll pay the rent and buy food next month.

Also, a pony.
Can we base our belief about coin toss probability on the belief that about half of the initial conditions lead to heads and half to tails, without verifying it?
You mean a drone?
I'm going to go out on a limb with my intuition, and hypothesize that the underlying premise of the method zeroes in on a common characteristic of games humans tend to enjoy.

A universe of people wouldn't find these games generally interesting, if they didn't present outcomes above a certain threshold of unexpectedness. The underlying rules of each game are tuned into the equipment used, and a balance is reached, where game play is fair, but still requires players to develop skills.

Because each sport adheres to the premise of capturing interest in players and spectators, they all present the same scoring tendencies, when aggregating and generalizing.

If you change the motive of the activity (mix games with non-games), and the artifact that represents success (mix freely tallied points with rare physical tokens or discovered evidence), so that the behaviors being compared are dissimilar, the predictions will become unreliable.

For example, when comparing "victories" across lawyers, geological prospectors, and sports players you probably would not be able to make predictions about all, by lumping each area's statistics together. A gold-mining prospector probably wouldn't encounter success in the same way a trial lawyer would, and neither would help you predict or generalize a hockey game.

But, an oil driller, a diamond prospector, and a gold prospector would likely compare, based on the geological goal sought. A forensic analyst, a private detective, and a trial lawyer might compare, also, based on the human factors of investigation. And, thus, so too, with sports where freely tallied points measure a player's skill at achieving an event in game play.
MouseWait
I'm going through my gitconfig and I'm realizing there's ALL THESE really nice shortcut I literally never use.
not every discussion about topic X needs interjections about topic Y.
We have a massive Jenkinsfile with a whole bunch of when clauses so that it can be run in separate cases. Might be nicer as multiple Jenkinsfile's, but it works.
I'd like to hear that story, when you get the chance. ;-)
OPT changes are possible but it will take a lot of time. Not gonna happen anytime soon.
DigitalOcean are good people for sharing this. They provide a good service and good price point.

It's funny how this outage was similar to Amazon's a month or so ago. Automated playbooks with high user credentials have been a bit of a problem lately!!
It's just a poetic title - Love in the Time of Cholera isn't about epidemiology either.
6 day old news, already caused a dip in prices, but was rebounded by the next day. Trying to hit the price again by posting this on HN?
can't believe this made it to HN. I'm so tired of this story coming up on brazilian news, just a kid desperate for attention and everyone is losing their minds as if he was part of some sort of ~dark cult~.Clearly just news channels who have nothing to talk about making loads of money over this story.
See the Open Policy Agent [1] project that has a language and REPL called Rego inspired by Datalog.

1. http://www.openpolicyagent.org/documentation/how-do-i-write-...
Reminds me of a smoother Zaxxon. Great job!
So it's easy with what is essentially a document viewer, it's much harder when it comes to real apps, the desktop interface is dumbed down for the limitations of a phone.
Ignore the dev tools (Chrome's are worse than Firefox), but add hardware video decoding and hardware compositing
Hi James, good to see Blue Ocean entering GA :)

It has improved a lot since I last tried it. Although my team is moving towards Travis for everything except server deployments. Pains me to say since I especially appreciate self-hosting, but Jenkins is still massively behind in everything outside of Blue Ocean. :/

For lots of things that are now basic in all CI/CD systems (email/slack/irc notifications, github login, etc), Jenkins still requires external plugins and/or a ton of setup from the really clunky UI. It's too much :(

What's the plan to resolve this? Is blue ocean going to spread to the other areas of Jenkins?
This is old [divisive] news on a rapidly developing situation. Several mediating proposals have been put forward in the time since this was published:

http://moneyandstate.com/thoughts-on-segwit2mb/

https://thecontrol.co/a-bitcoin-compromise-45cd92739387

http://www.coindesk.com/purse-proposal-touts-extension-block...

EDIT: And the title is click-baity.
Show HN: Tt v0.5.1 – Python library for truth tables and Boolean expressions
I get that we are talking about a vast majority of people who never traveled, at least not far. But even if they didn't travel, they were not entirely ignorant of the world because there were plenty of people who did travel that they would have encountered regularly. It's a bit like hearing Christopher Columbus sailed to prove the world was round. It makes sense on the face of it for a 9 year old, but once you start breaking it down, it's obvious that statement is somewhere between a gross oversimplification (i.e. he sailed to find a western route to China, which would necessitate roundness) to an outright falsehood. This has largely been my experience with comparing the history I learned to the history I now know.
I think it is impossible James-Stein estimator of the whole sample can outperform all of the three MLE for each particular. Not that I would know of a way to generate a particular from a joint estimator.
I guess, the point was, if list is a built-in construct, the function length should be also built in. (Unless, that is, natural numbers are defined in the standard library.)
I think he glossed over that type of business because it's not a startup. It is a perfectly reasonable style for many who wish to start a new business, but the course is focused on startups.
Manually and inefficiently. It helps that turnover is low.

At least now the process is documented. Two years ago it was trial and error.

All the dependencies take a while to compile, but we've done it enough times now and have the operations written down precisely enough that aside from some data indexing tasks that have to run overnight (and which aren't strictly necessary to get started developing) we can set up a new environment in about 3 hours.

Next step is probably a bash script to automate most of the process on each of our 2-3 most commonly used platforms.
So I think intuitively, something that might make sense to you is that the reason that BB is more common with the restriction that a boy must be on Tuesday is that having 2 boys increases the probability that you will have a boy that was born on Tuesday.

Here's another way to think about it. It's twice as likely to have one girl and one boy (either BG or GB) compared to having 2 boys. Thus, the version of the paradox where you're given that the parent has a boy results in a 2/3 chance of the other child being a girl.

However, the more unlikely it is that any given boy satisfies the condition (in this case the condition would be being born on a Tuesday), the more likely the BB case becomes compared to BG or GB.

More concretely, if only 1/n of the boys satisfies some condition, you would be left with only 1/n of BG or GB, while you would be left with 2/n - 1/(n^2) of BB. In this case, let the population be all parents with at least one boy (this consists 1/3 of BB, 1/3 of BG, and 1/3 of GB). Letting n = 7, (BG union GB) represents (1/7)(2/3)=2/21 of the population, while BB represents (2/7 - 1/49)(1/3) = 13/147 of the population.

Now, (2/21)/(2/21+13/147) = 14/27, our desired result.

I hope that's a more intuitive way of thinking about it. The important part is realizing the differences between knowing that the parent has a boy vs knowing that the parent has a boy born on Tuesday.
As with most things Bitcoin: can someone please help explain this to me like I'm 5? I've read numerous articles, even a whole book, on Bitcoin, and I still struggle to wrangle all of the vocabulary and terms necessary to read through an article like this.

Is this a new Bitcoin about to form? Same thing? Are existing bitcoins in "danger"? I struggle to even think of valid questions for some of these topics, you'd think by now there'd have been an effort to make this stuff more easily digestible to common folk (and I'm a technical guy! this just whooshes right past me).
Yes! Definitely willing to sponsor. I wouldn't be in the US unless Udacity was willing to do so.
Why are you continuing arguing that point? You're still not understanding the point I'm making at all, and not even trying.

I don't see any way this discussion can continue in a useful way like that.

That said, you're not the only one - although it might also be due to the SV mindset.

> Why would you duplicate effort that already exists?

Because it's cheaper.

I have single-time costs to pay for developing such a system, and afterwards minor maintenance costs.

Or I can pay every year for Uber, and create high profits for their investors for them to build golden castles. If an investor makes profit from taxes, something's already gone wrong.

You're still suggesting an economy based on leasing, but that's not affordable in the long term.
The whole court transcript is well worth a read. Fortunately, no legalese.
I believe there's a "load" command which takes a path to a jenkinsfile
Say a person X is paid more than person Y in the same role because X's child has a health issue that requires extra income for X's family to stay afloat. There was a private agreement between the X and the employer because X needs the extra money, and X is a valued employee. Then Y raises the issue. The employer can't afford to pay Y the same as X. Is Y owed some kind of explanation? How is that explanation given without violating the privacy of X?
Aha -- I saw RedHat 6 and read "RHEL 6"
Μονομαχία δεύτερης θέσης Παναθηναϊκός – Πανιώνιος
In Australia supermarkets certainly advertise fresh fruit and vegetables in multiple forms of media.
And not just "we sell vegetables", but "this week Australian grown XXXX are just $Y per kg!"

Australian readers can probably hear that Coles announcer voice in the heads right now.

Does this heuristic only apply if its a standalone advertisement?

That would cut out bananas, mangos, avocados, pistachios, every mainstream meat, eggs, dairy and water (both bottled and tap).
My phone is a computer. My chromebook is a screen attached to a computer. My desktop is a monitor attached to a computer. My work laptop is a screen attached to a computer. My tablet is a screen attached to a computer. Why do I need so many separate computers when I have my phone on me at all times?
I kind of agree, sorta.

On one hand, freedom is freedom. You can't say "here have some freedom" then when people do what they want say, "oh I didn't mean that much freedom!"

That said , I think Canonical has a responsibility to do things smarter since they (like it or not) are the face of Linux for a lot of people.
Isn't this true of any industry that isn't "commodified"? That is to say, if there's still a narrative where a publisher can outperform other publishers, why would a publisher bind their future to other publishers?

IE, isn't this the same reason facebook doesn't partner with Google+ et al?
John Siracusa, is that you? ;)

Btw. in what way is NTFS ahead of APFS?
The two code examples don't do exactly the same thing. Consider lvl=1000.

That being said, I do appreciate the author's sentiment of insuring the code is easily readable by humans.
The cited CUNY study: http://academicworks.cuny.edu/cgi/viewcontent.cgi?article=10...
tui looks pretty interesting! Can you please add a README? I would love to go over the source code :)
Irrelevant. Never needed it, never wanted it. And I develop for web (full stack).
Glad to hear that Peter Sunde, Flattr's co-founder, has been able to move on with his life and have some success elsewhere after the Pirate Bay fiasco. [0]

[0] https://en.wikipedia.org/wiki/Peter_Sunde#The_Pirate_Bay_tri...
I hate that Uber does not allow you to tip. I have had drivers who deserve way more than what they give them, and then I've had some drivers who deserve to have their licenses revoked. When I learned that Lyft allows you to specify a tip, I switched in an instant. Never missed Uber.
That'll hurt the movie industry a lot more than file sharing. Expect some lobbying on both sides.
It also benefits the employees who are getting a larger slice of the pie. Deserving or not, would said employees have an obligation to disclose their higher salary to their peers?
Thanks NSA!
I really don't see much difference.