skysight-inc/HackerNews huggingface dataset:
Couple of weird things about Prolog: It's a pattern-matcher, in much the same way Haskell is -- but Prolog invented it first. Thus the first rule tries to match the args you give it, and if you give it the literals [] and 0, it just says "True" or "Yes" (depending on which Prolog you're using). If you give it something it cannot match to [] and 0, it will try the second clause and assume the first arg is a list with a head and a tail, and the second arg is an integer.

The other weird thing is that Prolog functions can often run backwards. If you ask Prolog

?- list_length(Foo, 4)

it will hand you back a list of 4 elements that it just made up on the spot. This is why Prolog rules are considered generalizations of functions: They don't have explicit inputs vs. outputs. They're relations, not functions.

This stuff blew my mind when I first encountered Prolog and it changed forever how I thought about programming.
$78.4 billion in personal wealth. 94% held in Amazon, which is currently sporting a $433b market cap, up 50% in the last year and trading at a generous 200 times earnings.

I hope he sells more than he needs, faster than he needs, before this latest bubble (slight or extreme is open for debate) gives out. I wouldn't have guessed that Blue Origin could cost him ~$1 billion per year to subsidize. I'm glad he's doing it, very few people on the planet could afford to; of those that could, fewer still would care to.
If you stuck a Microsoft logo on it...

:-/
When he talks about millions of people working in space, what jobs is he talking about? Primarily resource mining?
Sadly, I'm late to the party & you've shut down access by the time I found your post here.

With regards to your question about use-cases, I've used Windows based web-VDI's in the past to run Chrome-based BTC trading bots & execute long-running operations where I wouldn't have otherwise been able to from home/office due to uptime constraints outside my control.

Also, I was unaware that it was even possible to deny new connections based on load average, until I saw you mention having done so. Sounds handy & I'll certainly be Googling to figure out how to do the same.
Time and Space in India, 50M to 50,000 BCE
I find PowerShell a delight to script in, but terribly cumbersome to use interactively. The exact opposite is true for me when it comes to Unixy shells. I think part of the staying power (whether intentional or not) of composition via character streams is that in a text-based environment, humans also operate on character streams. We can structure things in machine memory as objects or lists or whatever, but when the information hits our meat cameras it's all just characters. When I run a command, the output I see is what I'll get when I pipe it somewhere.

I feel like PowerShell is a step forward in the sense that it's a new thing with a more consistent design than the cobbled, creaky Unix environments we've become accustomed to. But at the same time I feel like it throws away one of the most intuitive aspects of the Unix interactive shells (character streams).
I literally know no one who watches ota. I tried for a while but was quickly confronted with ota quality programming (or lack thereof). The digital antenna is in a box somewhere.
I'm an Apache attack helicopter
The rest of the site is all the same, so I doubt it.
Nope. Just another struggling government (see Ireland/EU) trying to extract capital from successful US corporations. -edited-
Exactly what I was thinking. When I access Jenkins, after having installed Blue Ocean, I'm still greeted with the traditional UI and the "Open Blue Ocean" button.

I do see the option in my user settings page but I don't understand what it's for. What is this "notifications URL"?
I just realized how stark the prisoners dilemma here between Uber and Levandowski is. Based on what Alsup was saying today that if Uber can't produce counter-evidence by May 3rd, they are staring down the barrel of a preliminary injunction, they're damned if they fire him and damned if they don't.

1. Levandowski remains at Uber. Keeps asserting his fifth amendment rights, which means that Uber can't present evidence to thwart Googles theft claims. Judge files a preliminary injunction, sad trombone, no self-driving cars for Uber.

2. Uber fires Levandowski. Now, he has no reason to protect Uber, the incentives for him are to avoid criminal prosecution. He could even do a deal with Google or a prosecutor to cooperate in the civil case in exchange for avoiding criminal prosecution. Uber is then likely to lose the actual case, sad trombone, no self driving cars for Uber.

As others have pointed out, the stakes for Uber are incredibly high, they missed the china train and if they can't catch the self-driving-car train, then their $50+ billion valuation is up in smoke.

Man I wish I could be shorting Uber right now.
So that's what confused me to begin with as well.

I think the main thing here depends on your interpretation of how the parent is chosen.

Let's say the question is the same, but we relax the requirement that the boy is born on Tuesday. Do you think the probability that the other child is a girl is 2/3 or 1/2?
No. She is on the hook for the money. It's a huge liability. AFAIK, that's the only way IRS allows this.
The Expanse is fantastic. It and Legion are my two current top TV picks for the season.
It'd be a lot easier to believe he only had noble goals if he didnt get multiple 9 figure pay days out of it.
Manufacturing for one thing. He has spoken on numerous occasions about wanting to offplanet manufacturing to space for multiple reasons. The question of course, is whether by the time we could be doing large volume manufacturing in space, if it isn't far more likely to be done by robots.
My feeling is that statistics figures based on feelings are probably at least 60% wrong.
There's a difference between considering details that have been entered into the record by the parties, and saying "oh I saw X in the newspaper". I assume in that case the plaintiff took the President's statements and put it in their filings.
High-Performance, Scalable and Reliable IPFIX and SFlow Collector (Open Source)
Those things are not illegal per-se but can be signals of things resulting from illegal transactions. So, they are more a heuristic --but not following procedure because it can be used to evade detection is made illegal.

The one thing I don't understand is why some of those figures rarely keep up with inflation. I think they should. 10,000 isn't what it used to be.
That's why Google has been phasing out Chrome apps for a while now.
Yeah, on the other hand people seem to use "uber" to mean "hired car" in the same way kleenex and xerox mean their unbranded equivalents
Congratulations on the new release!

Jenkins: 2.46.1
Blue Ocean: 1.0.0

I click on "New Pipeline", enter the GitHub token, select organization, select repository (without Jenkinsfile in it) and then after a while this message shows up:

--
Pipeline Creation Pending...
Pipelines are still waiting to be created.
You may now return to the Dashboard to check for new pipelines.
--

I don't see any errors in the log file or in the browser console.

Any insights?

EDIT: In the traditional UI, I see a new job was created for my GitHub organization but it has no repositories (probably due to missing Jenkinsfile?)

I had to click the "Show more" button on Blue Ocean 10x until I reached the end of my job list (when I was looking for this new pipeline that would have been created).
Interesting to note from the pdf titles that they use Wordperfect. I didn't even know it still existed.
Uber's PR team would be rejoicing right now! It is great that technological advances have both positive and negative effects, and some times, the positive effects saves a ton of lives.
Wouldn't that be illegal? And can't power companies modify mechanical meters as well, if defrauding their customers is their goal?
"ls" is oriented for human viewing, not composition with other tools. It's admittedly bad at that.

But there's "find", and there's the convention of separating filepaths with a null character. Because null cannot occur in a filename, this is an unambiguous list.

Programs do "take arguments" (another unambiguous list of null-terminated strings, if you quote them). Like when you specify a command to find with "-exec", for it to run for each file. That's another fine way to do composition.

Another example of composition by arguments is "sudo". It switches to root, then runs the arguments as a new process. Another example is ssh, it runs the arguments as on the remote server, and stdin and stdout still work. Check it out:

tar -c testdir | ssh devbox sudo tar -C /opt -xv

That created an archive from a local directory and wrote it to stdout, into ssh which ran sudo on the remote system, which ran tar, which changed to /opt and extracted an archive from stdin. None of those tools have special handling for each other, but they all work together. "Interesting" filenames in the archive are no problem here either.
These have always been the rules and Apple sure charge enough of a premium in Australia (14% more pre-tax) to cover the additional costs.

Plus it seems intuitively correct to me - using a third party repair to refuse service on a completely unrelated issue is anti-consumer and all round garbage behaviour which has somehow become accepted as the norm in mobile phone handsets.

Also, (and apologies for the tangent) I'm not sure how you'd describe a country whose last recession was 25 years ago is "struggling" (regardless of my personal issues with Australian politics).
It's a civil case, not criminal. You only need a perponderance of evidence and if you invoke the 5th it's perfectly legal to make an adverse inference against you.

How would lawsuits work if that wasn't possible? Civil lawyers aren't able to use as many powers in evidence gathering as prosecutors. If uber's current tactic was allowed then every company would hire a designated employee who would have a paper trail of all the company's misdoings lead to him. That employee then pleads the fifth, the company does a shrug, and that's the end of the lawsuit
I'm not sure what you were referring to with GTK2, but MATE uses GTK3 and preserves the Gnome 2 look.
5-year-old Kepler GPUs are the best you can get in the cloud right now, and that's Nvidia's fault. So it's releavant to compare against them.
Space X 'getting competition'?

You do realize the 'old' rocket companies haven't gone anywhere. Yes, Space X:s success is astounding but let's not get myopic about it.
>Some rule breakers are good others are bad.

True. Maybe I just idolized this guy cause he was both smart and stuck it to the man.

>I'm confused as to why he didn't finish college online or something when they found out?

I don't know what the rules are on that. Even if it were possible by this time he already tried to forge documents and otherwise lie his way through. Even before the fraud the man didn't really have to many allies in administration.

Also the district didn't even have the balls to tell us (the students) why our teacher disappeared one day. I had to learn it through another teacher in a private conversation outside the school.

Really just screw public school in general. The whole place was 95% waste of time followed by a "congratulatory" piece of paper.
The edge of reason: When logic fails us(2013)
Green Chef | Software Engineer | Mountain View, CA | Full-time, ONSITE | https://jobs.lever.co/greenchef/47055562-e1cf-4274-8b1e-8e1f...

Green Chef delivers organic meal kits to your door every week or on the schedule of your choice. The Central Technology team performs a mix of devops and development. Our tools include MongoDB, Docker, Nomad, Consul, JavaScript/NodeJS, AWS, PostgreSQL, Saltstack, and more. We enable the rest of the engineers at Green Chef.

Interview process involves meeting everyone (4 people) from our team and some technical discussions -- the process is still evolving.
Superheroes Ring Fighting
I appreciate the tech very much, but the visions of "Millions of people working in space"? I have no desire to be a part of that but I do wonder what they'll be working on?

And "Living on Mars". No thanks, I'll pass on that too. I can certainly see the thrill of the ride described though and who wouldn't want to be weightless for 4-5 minutes? But the market for that carnival ride is about as big as the number of cars Ferrari sells each year so I don't get that.

One can call this a "steppingstone" tech for now if they choose but it's more likely to be a cliff unless there's something of real value here. Even if we go out on a limb and say all this is really a way for the wealthy to escape the planet they'll find there's no place close enough to go so even that doesn't make sense.

No, none of the above makes sense to me yet so there must be something more fueling this race than what's being said.

And hey, isn't there also a downside to poking holes in the upper atmosphere and/or ozone depletion? How long do we let someone profit off the effects of that?

I honestly don't know the answers to those questions but I do wonder about them.
I certainly believe people who say they want to cut PBS simply because they don't like it, or don't see it as the government's province. But in the context of trying to balance the federal budget over time, PBS is beyond a micro-optimiziation (if, indeed, it would not actually backfire in the long term). I'm willing to assume that anyone who puts it on their shortlist is being disingenuous about their motives.
Here's my intuition. Let's say you have 1000 coin flippers. They flip a coin 10 times, and none of them has any special powers, and the coin is fair. Some of them will get an equal number of heads as tails, but there's a good chance you'll get tsome who get 9 or 10 heads, and also some who get 9 or 10 tails. As the probability to get 10 heads in a row is 1/1024, if you see one or two guys how get only heads, or only tails, you will attribute that to the natural variability of the outcomes.

Now imagine that these are not coin flippers, but some guys who have some skills to do something, but the outcome has a large variability nonetheless. For example running backs in the NFL league. There are running backs (RB) who average 2 years per carry (ypc), and others who average 5. 5 ypc is stellar by the way, 4 is very good, 3 is decent, and 1 or 2 not so much. But obviously, RBs get a different yardage for each carry. Now, let's say you follow the first 4 games of the season and get the average ypc for each RB. You would like to predict for each RB the average ypc for the rest of the year. The classical statistical estimation is that the current average is the best estimator for the future average, but from the extreme example with the coin flippers above, we know that this is not quite the case. Using a bayesian estimation, we get that a better estimator is if we move the current average towards the overall mean. This is called a shrinkage or James-Stein estimator. In the case of the coin flippers, you move the average all the way to 1/2, and that estimator is correct. In the case of the running backs, you don't shrink that much, and it's a cute exercise in math to see how much you shrink if you assume some distributions around the overall ypc for RBs in the league and around the ypc of an RB given his average ypc.

If you want some further intuition, think of the Sports Illustrated curse. It was observed that NFL players who make it to the cover of the SI magazine are generally "cursed", i.e. they don't do as well after as they did before. One amusing case is the (former) New England Patriot Jonas Gray, who made the cover of SI after a phenomenal game with the Indianapolis Colts in 2014 (201 rushing yards, 4 touchdowns), but then he showed up late to work and was promptly benched for the rest of the season. Generally though, players don't do anything stupid like that, but simply "regress to the mean". That regression to the mean is what explains the shrinkage estimator, and the Stein paradox.
A government of a country that leads the USA in almost every public measure and index, including democracy, quality of life and life expectancy. Certainly it can't match the USA in prison population, military size, murder rate, or size of ego. One that tries through consumer laws to ensure that people are not taken advantage of by huge corporate interests seeking to only maximize their profits.
Battery life of Laptops
I'm not really sure where to start here.

Why does any story need to have an agenda? I didn't get one from this, and I would be hard pressed to find an agenda from most of the fiction I read either.

This is the story of a whole family's life and how they died. You think it's pointless to read or publish it? Why?

'Pay grade' statements weaken your statements fatally so we'll ignore them.

I'm not looking for gratification or some shortcut to a solution for a problem I'm not trying to solve but I can't understand what you're trying to say here..

Are you saying I'm wrong for thinking about what to learn from this terrible tale? Should the only people commenting on things outside their field only be allowed if they're willing to have a field of independent experts backing them up? Eh?
They should cricizd the police for civil forfeiture.

But that would be against law-and-order policy by Trump's administration.

Hmm.
The reversibility of Prolog computations was a big eye opener for me too back when I first encountered it. I recently wrote a post about relational programming using Prolog and Mozart/Oz as examples https://bluishcoder.co.nz/2017/03/20/relational-programming-...

Another interesting language in the same domain is Picat http://picat-lang.org/
"Please don't bait other users by inviting them to downvote you or proclaim that you expect to get downvoted."

https://news.ycombinator.com/newsguidelines.html
As a (junior|mid|senior) developer you can influence the direction of your team
There is a built in function for it in Prolog. But when it's presented as an example of how to implement it in the same way that list classes are often used as examples in OO languages even if they language implementation includes one.
Comcast Scolded for Misinforming Directv Ads
Cloudera will soon be a publicly held mostly-open source company valued well over a billion dollars.

Hortonworks is already public and almost fully-open source, although their market cap is under a billion ($670MM today).

Edit: I missed that the billion refers to revenue, and that RedHat is >2 billion. That's extremely impressive! These data platform companies are doing well, but I think they're still doing far under a billion in annual revenue.
Can anyone give examples of the kinds of problems prolog is ideally suited to? I took a course on it at university. It looked interesting but I didn't really "get it". It might be worth another look now I have a bit more experience under my belt. I've got a lingering feeling it would solve a certain kind of problem very easily.
Magix Music Maker 2016 Crack and Serial Number [Get Here]
Oracle aside, .NET core is open source and I don't see today's Microsoft pulling the same crap as Oracle did with Google.
If I try to look at this from Apple's side, I can sort of see the logic: the problem stems from the OEM Touch ID sensor being replaced with a mismatched (or entirely third party) sensor during a screen repair, which screws with the hardware security chain on the device and generally makes it difficult to troubleshoot problems even if they seem unrelated.

This is an issue inherent in trying to apply consumer rights laws that were written (or at least initially conceived) when the KitchenAid mixer was the pinnacle of household technology to the age of smartphones.

As a consumer, I would love to have a better legal framework for situations like this. As a guy who has manufactured and sold a mass market tech hardware product, I have no idea how to realistically make that work.
I did.

We talked it over, decided I would do the test suite.

I started, found the bad practices, and showed how I could turn it into a fully automated system, new versions could be tested against, and if it works, it could output binaries for every system.

The response was, 'No don't do that. I like doing it manually. Means I can check for breakage.'

Followed by my PRs and issues being closed, and my emails bouncing.
My problem with documentation isn't so much that the nix language is so hard, but that a nix's package configuration's is (obviously) not the same as upstream.
I see there's now an update form in the MOOC now. It has four fields—metric, value, growth and notes. Are there any pages on the site offering guidance on how to get the most out of the MOOC?

In what cases should the primary metric be "other"?
Having cash can be suspicious and there's cases where agents just confiscate the money until you prove it's​ "clean". There was an article here years ago where they did this to poker winners - even had a website where cops traded tips. Follow target around, wait for some cause to pull them over, then take the cash.
> I guess, the point was, if list is a built-in construct, the function length should be also built in.

It is built in. No need to write your own length predicate. The quoted example is an illustration of a possible implementation.

(Cue boring discussion of "built in" vs. "defined in the standard library".)
This is the issue of the newspaper the kids published: https://issuu.com/emilysmith41/docs/march_17
I wish the US and Canada would relax zoning restrictions. I've spent the last decade or so in Japan and the UK and it's just so much better. Admittedly, when you are young and going out clubbing then you want access to the big city. But for quieter/older people, just having access to a decent restaurant or pub within walking distance of your house is amazing. These days my wife and I might go out to the big city maybe once a month or two, but at that frequency booking a hotel is feasible. Every other time we go out we stay in our neighbourhood because there are really great places to go -- even though I live in a tiny town. In Canada, you really do need to live downtown if you want any kind of social life outside of your house.
Hey Oliver, congrats! What do you see as your unique competitive advantage against in a competitive fields filled with well funded giants.
> I do wonder what they'll be working on?

Why, they'll be driving SpaceUbers, doing the laundry, delivering food, walking the dogs, etc of all the techies debugging the asteroid mining robots, of course.
Gnome was getting better without Canonical exactly because nobody was trying to "converge" it - linux ecosystem gains from randomness and branching.
Now new centralized efforts to "canonicalize" will dumb it down again.
This is a good opportunity to let people know it
It's not he accessibility of ride-sharing services that is doing this, it is the ride-sharing services policy of artificially low pricing to facilitate rapid growth that is responsible. Those $9 rides are not sustainable. When the prices go back up to sustainable levels we will see many of these benefits evaporate.
What is invitation of Ehsan system?
JavaScript is disabled through the Freenet proxy but it's possible to use the Freenet API to access the raw data and have a proxy that doesn't disable JavaScript. It would be possible to do something very ZeroNet like but with Freenet as the backend.

ZeroNet doesn't really use the torrent protocol. It has its own file sharing service that it runs to receive requests from other users for files. It uses the torrent trackers to map site addresses to IP or onion address.

You know what you're serving initially but the site author can add any files they choose and you'll start serving them if you've visited the site and are seeding it. You have no control over malicious sites that decide to store arbitrary data.