skysight-inc/HackerNews huggingface dataset:
If enough engineers leave company A and join company B and all are working in the same field, I would expect at least some of those employees to have documents from their previous employer, even if only accidentally.

The fact that they've only found one document and only on the personal laptop of a single employee seems to suggest that they actually did a good job in due diligence.

Does anyone know how many former Waymo engineers now work at Uber?
Its possible to include and exclude different stages of the build with any criteria you like using the `when` block.

Referring to this example https://gist.github.com/i386/5bacc640574c6d79bb72cd9a1181a50... if I have a branch called 'feature/cool-feature' then only the stages Build and Test would be run. If the branch is called 'master', all stages in the Pipeline would be run.

'when' also supports environment variables and expressions and even multiple `when` blocks - see the docs at https://jenkins.io/doc/book/pipeline/syntax/#when
And the law in question specifically says

No person shall, for the purpose of evading the reporting requirements of section 5313 ...

But the report indicates that the IRS made no attempts to determine whether the supposed "structuring" was done for the purpose of evading the reporting requirements, and simply ignored any evidence the showed that the pattern of deposits had a legitimate explanation.
I have software that I need to run for about 5 years. It is certified on Red Hat Linux 6 not 7. I'm not unique. Heck, we had to keep copies of IE 6 running up until a year ago for one testing vendor[1]. I, like a lot of others, need stability and paperwork not new.

Frankly, having a lot of new companies adopting a mantra of "move fast, break things" makes me want to 'upgrade' less and less. I need stuff working at Monday at 1PM for the weekly test offering not some oops.

1) deep freeze or virtual machines are your friend.
Nope. Only the government and those who fund the government are allowed. Luckily, I don't have much money for them to take.
Jeff Bezos Is Selling $1B a Year in Amazon Stock to Finance Race to Space
>why not strive to transcend our need to be motivated by suffering?

If you can do so in a way that does not lead to stagnation, I am willing to hear you out. The only people I'm aware of who have transcended suffering are Buddhist monks, and... well, they are exactly models of trans-human progress. They mostly just sit quietly and keep to themselves.
Can confirm. Source: Grew up drinking Horlicks.
i think it's fine for them to go but it kind of spoils the competition in certain cases. imagine having a hackathon with a bunch of inexperienced people trying to learn and then one intense group of professionals comes and just crushes everyone.
come back :)
Disclaimer: My knowledge on this topic is not in depth (as I said, I'm still learning).

I haven't heard of Z3 but it says it's a theorem prover, so it would be comparable to systems like Coq, Isabelle, which are also considered programming languages, and then compared to Agda, Idris, and, last but not the least, Haskell.

So a distilled form of your question would be:

- How does logic programming compare to pure functional programming and programming based on type theory? For that I would probably try to read the following [1] before spending more time on it.

- How does Prolog compare to Haskell? For this I'd probably look at something like this [2]

I'm not too well-versed in the SML/OCaml/Haskell arena, but if I have to venture a guess, if we try to build a complex GOFAI system in prolog vs in haskell, the prolog system would have less amount of prolog code and most of the complexity would reside in the database of facts, whereas in haskell, all/most of the complexity would manifest in the form of haskell code.

Another difference would be that a logic programming system comes with a general purpose inference engine and you can build any expert system using it, but you have to provide the relevant knowledge base. Whereas Haskell comes with a custom-built inference engine (the Hindley-Milner type inference) that only knows about types (if you need to build an expert system in Haskell, you would first build a general purpose inference engine, and essentially a prolog-like system, before you do anything else).

On the flip side, Prolog program interpretation mechanism would probably be considered ad hoc, whereas Haskell program interpretation is based on type theory. So a Haskell programmer would probably have to worry less about program correctness.

[1] http://stackoverflow.com/questions/8297574

[2] http://stackoverflow.com/questions/1932770

EDIT: And theorem proving also connects to areas of model checking, specification languages, as well as compiler backend areas like operational/denotational semantics. Like I said it's a tangled web of many core CS areas.

EDIT 2: On further reading, Z3 is listed on this wikipedia page [3] as a constraint-programming (CP) library for an imperative language. The contrast between CP and CLP is mentioned on that page (as well as both Z3 and Prolog). (that also means Z3 is not really comparable to Coq, Isabelle as I said earlier. Coq, Isabelle are interactive theorem provers or proof assistants, not automatic theorem provers which is a lot harder to do). Another useful discussion [4]

[3] https://en.wikipedia.org/wiki/Constraint_programming

[4] http://cs.stackexchange.com/questions/14946
"So the basic premise of the article and this movement is that people assume that the default is for virtually everybody to be underpaid. So since there is obviously a Gaussian or poission distribution in salaries, then obviously some people will be above what "everybody gets paid"."

Except labor/capital share doesn't follow a gaussian distribution within a company. It's a ratio. It's perfectly plausible (probably likely, in fact) that salary transparency will increase wages for all employees.
or even better, avoid CDNs? it might even be cheaper when you account for the extra work... and faster when you don't have to load data from 10 servers to load just 1 web page
Australian regulator alleges Apple misled iPad/iPhone users over consumer rights
They have evidence that he stole documents from a competitor. Asking him to prove he doesn't have any of those documents or be fired seems perfectly reasonable.
Taxis and modern ride sharing services may appear to 'offer the same product,' but they do it in different ways. The accessibility of Uber and Lyft via smart phone apps put them worlds ahead.

Go back ten years. You need a taxi after leaving a social event. Your choice: bar, movie theater, wedding reception, whatever. Go stand outside in the wind/rain/snow/etc. on the corner of the intersection and hope that you aren't racially profiled and ignored by the driver and eventually someone will decide they want to pick you up... but for some strange reason they don't seem to turn on the meter and funny thing, when you arrive, the credit card machine is broken. This is the product that taxis have cultivated over decades of service.

Meanwhile, now, I sit inside protected from the elements, summon an Uber or Lyft on my phone quicker than it takes to call the taxi service (much less flag one down), and pay less than the taxi would have cost me. In my personal experience, I can get picked up by an Uber faster than I can even talk to a human being on the phone at a taxi dispatch.

You think this is the same service? It's not. Taxis are and have been a joke, and the evidence is in the walls they have built around themselves. The medallion system in New York as a prime example. What could be more absurd? What could be the logic, if not to fend off competition? Taxis have not offered the service that Uber and Lyft offer in decades, and even now that they are scrambling to roll out their own apps, they still fail to provide reliability. They have been playing by their own rules for so long, taxis completely lost sight of how to be a service industry.
And now that you know about it, you too can found guilty of structuring! ;)
Ive put just a couple of snaps here: http://imgur.com/a/QMhpf

I really must get round to sharing the source but it needs a bit of preparation.
Is there anything in particular is preventing you from moving to Blue Ocean? I'd love to know!

As for the Github links, as you mentioned a user can set their preferred UI (Blue Ocean or "Classic") in their user preferences easily. We do understand that this might be difficult for some administrators to swallow and are looking at a global option to turn that behaviour on/off [1]

[1] https://issues.jenkins-ci.org/browse/JENKINS-43205
There's this recent story which makes it seem likely the practices of asset forfeiture won't stay as they are for too much longer: https://www.theatlantic.com/politics/archive/2017/04/clarenc...
> When i discovered he was so happy about diluted beef stock, i was more than a little let down.

It's basically marmite for drinking.
Pushing very hard for it internally.
Uber drivers don't get a choice. Some do and try and skirt that system, but it's more obvious and they get in more trouble.
Great read though the title felt a little click baity.

Are credentials not verified when hiring someone? (especially for a public school) or was this a result of the board being lazy? Because if credentials are never verified, this might be hinting at a bigger problem.
> Sure, it's not a well defined term with a universally agreed upon definition, but now we're just arguing semantics.

The definition is pretty well agreed on. The version I like best is that a startup is a new business that's designed to arbitrage a temporary disequilibrium to produce extraordinary returns.

Other people phrase it differently, but claiming that, for example, your typical restaurant is a startup is unequivocally wrong.
It was a figure of speech :) Here's a great paper about the topic of complexity http://shaffner.us/cs/papers/tarpit.pdf if you feel like digging deeper.
Culture is descriptive, not prescriptive.

Companies with the "no asshole rule" have it backwards and are likely full of assholes, starting at the top.
The study was originally published in January. This article is being published in April.

I subscribe to the Economist and I enjoy it, but I am cynical about why this is being published now, amidst significant negative publicity for Uber.
> scones are dainty things associated with middle-aged women

Nothing dainty about what happens when you put scones, cream, and jam in front of a bunch of kids.
I wonder if this conclusion could be further validated using other signals like drunk driving arrests or the same set of statistics in other cities.
Microsoft made a mobile OS that didn't offer a compelling enough alternative to either iOS or Android.

iOS = Locked in ecosystem
Windows Phone = Locked in ecosystem

Android = Alternative to iOS
Windows = Alternative to iOS

On a technical level, Windows Phone devices performed around the same as iOS devices (fantastic), but lacked mainstream apps (the same problem as Blackberry) but without the backwards compatibility with Android apps.

Basically, Windows Phone was doomed to be the "not android, and not iOS" smartphone despite the great technical aspects of the OS.
Have you seen cloudron.io?
Many times, yes.
Good luck - drop by our Gitter room if you need any help convincing :)
Apple taken to court by ACCC over alleged consumer warranty misrepresentations
"These five heuristics might help you prove the existence of God!"
If there's sufficient interest, would like to write more about foundry in the future. It's an educational problem because almost no one writes about these things on the internet.
>The situation where A is sending to B something that's harmful to C cannot be dealt with by C's filtering and can only be addressed at a higher level in the system.

Huh? If C knows A's public key and the content is signed, why can't C filter A's content?
The relationship with a client is closer. Generally speaking the work is more bespoke and the level of trust between parties is higher. You see this when the product is not standardized.

A customer on the other hand is anonymous and you're relationship with them will generally end after the original sale.
Forecasting Markets Using EXtreme Gradient Boosting (XGBoost)
Automatic rifles blaze. Screams. Blood.
But in all fairness: CentOS
I downvoted you because–considering your strong opinions–it seems unlikely that this is a question asked in good faith. And even if, it is answered both in the article, as well as pretty much implied in the headline.

GOOG-ACCOUNTING-REF:3FX/ASTRO/15/TURFWAR/PROJECTSOROS
The article hints that civil forfeiture may be the mechanism used here as well - if i had to pick a single policy to change in the USA it would be civil forfeiture. It just seems so glaringly unfair, surely both sides of the aisle could agree on this one
It's also security.

That really productive remote "person" could be a whole team. Three people do the work, and another 25 are dedicated to espionage.
> even getting Flash in the browser was a huge pain in the ass

One thing that you have to remember is that what is easy and hard in Linux is different than what is easy and hard in Windows and MacOS.

Flash is one example. Since it is not Free and Open Source Software, the Linux distributions cannot redistribute it to you without risking being sued by Adobe. So if you want Flash you will need to jump some hoops.

On the other hand, if the software you want is in your distro's package repository then the installation experience blows Windows and MacOS out of the water.
"It’s more efficient if everyone stands on an escalator instead of some people walking on it,"

surely it would be even more efficient if everybody walked on escalators
Z3 is a theorem prover; it's a tool you would use to formally analyze a hardware logic design or a software program to ensure that it meets certain criteria (e.g. that it contains none of a certain class of security vulnerabilities). Theorem provers incorporate a lot of the same basic ideas as Prolog, but they're specialized tools (many have been written in Prolog). Prolog itself is a general-purpose programming language.
> but only systemd played the politics part

And that's why people are so against systemd. It's not a better system. Sure, it has some parts that are better, but it, as a whole, is worse. They were just able to play the politics game. Not sure why people always tout that as a positive.
I would not be surprised if Uber hired a company to astroturf their branding after the Lyft boycotts and constant negative hits to their image.

In fact, this is exactly something I see Travis doing to "fix" the problem.
I was travelling in Lombok a couple years ago, it's an island 70 km across, next to Bali in Indonesia, and stayed with a family. The woman of the house had never been off the island, and had only travelled to the capital city of Mataram (about a 45 minute drive from her village) on a handful of occasions. It's not uncommon for people in poorer parts of the world, even today.
The next fun experiment is to handle gigabyte files without undue performance troubles with a lively ui thread! This is where scintilla et al run into limits.
Why do you need them to be separate Pipelines? Because it is convenient or for other reasons?

Do you want everyone of these jobs in every branch that you create? In Pull Requests? Do you want all of these jobs to automatically trigger on every push the repo?

It's possible to do all of these steps in a single Pipeline but I'm curious why you would want to separate it?
Android Studio 2.2 Constraint Layouts for Beginners
Any paywall free source for this story?
With BB10 (Blackberry's OS) it was backwards compatible with most Android apps, but they didn't use the resources as well and slowed the phone down. If there was a native app, I always went with the native app.
For example: https://github.com/martanne/vis/blob/master/buffer.c

bool buffer_prepend0(Buffer buf, const char data) {
return buffer_prepend(buf, data, strlen(data) + (buf->len == 0));
}

Two function calls plus arithmetics plus step-return.

Depending on the debugger interface(eclipse with gdb, vs, etc), one will have to press some form of Step 1 to 4 times to advance the line. Depending on the complier that was supposed to provide correct debug info (GCC vs msvcc vs xlc) and bugs, these steps may or may not work.

It is short, but when you do multi platform code, a real pain to deal with.

Consider aix and Linux multiplatform code for one of my past projects. My choice would have been:
1. Step and maybe hit a bug, msg the complier team, proceed writing register values on paper.
2. Break up the line, recompile. Few minutes on Linux, over half an hour on aix.
Oh, that's interesting that you've applied to YC. How would the business model look for beaker browser?
That's not the slant I got from the article. Writing about Nigerian gangs running prostitution rackets is not what you do to persuade people that mass immigration from there is the answer.

I wonder if tech could help with the problems. If you had greater clarity on who was doing what to whom it could help the authorities.
What sort of distros do the folks use there? I would have assumed everyone would be using RHEL or Fedora.
Satori open live data portal – Satori Beta
http://archive.is/qDQRB
I think in some ways using flags to modify the behavior of a command is an elegant solution. The alternative is to rewrite a new version of "ls" for each sort of functionality you'd like.

Without flags you'd need "ls1", "ls2" etc. like you do with system calls ala. dup()->dup2()->dup3(), pipe() -> pipe2() etc.

Linux has gone further than some *nixs and started using flags to extend system calls as well see:
https://lwn.net/Articles/585415/
Nice non sequitur. Rather, the intention of my example is to point out privacy concerns for employees.
There have been some stories about execs at very large companies lying on their resumes from small things like being in certain organizations up to completely fabricating earning a degree or attending a particular educational institution at all.
That coffee is an acquired taste only because of its caffeine content sounds pretty specious to me. Do you have a source for that claim? I'm willing to bet you could still come to appreciate the taste of coffee only drinking decaf.
Downvoting without comment is like making a claim without evidence.
Someone else in this thread links to sources but it looks like in civil cases things can be subponead in a similar way to the criminal system.

Edit: Found it, https://news.ycombinator.com/item?id=14046529
Continue to be impressed:
https://assets.documentcloud.org/documents/3524990/Gov-Uscou...
https://assets.documentcloud.org/documents/3524989/d99f25c8-...
I don't think this (loaning a founder or senior exec money to purchase shares) is that uncommon a situation. When my previous start-up employer was purchased, I read through most of the deal docs, hundreds of pages. One of the things they mentioned is that the company floated several promissory notes to the CEO to allow him to purchase more company stock. It was peculiar enough that I made a note of it, but I never stopped to puzzle out why they did it that way. Possibly to avoid a tax liability at the time of the deal? Or to increase his compensation without actually increasing it on paper?
The case will proceed to expert witnesses in time. The 14,000 documents seem to be Uber's smallest problem in this case.
I remember VMS fans praising their proprietary ecosystem of commands. How's that working out for them?
Anything for you http://archive.is/qDQRB
I made a practice repo so you can practice working with Git bisect
DeepStack for Leduc Texas Hold'em
The site is a good example of what the article is complaining about.
Proration Calculator
Ey! I should probably check it out then, thanks

My Firefox updates for the past few years have solely consisted of checking the dev wiki inconsistently and the issue tracker each time there was a Tor browser security issue - so I'm prob missing other stuff to

That said, I can't wait for Mozilla to come back. The world needs Firefox.
I have no college experience, and no one has ever even asked. I've never once had to justify it or discuss it in an interview. Education is no where on my resume.
I was playing around with a combination of Pipeline and Job-DSL and created this as a POC:

https://gist.github.com/HRMPW/9b2a3ccbdc370e0a7c9cb541be229d...

This is a Job-DSL seed job written in Declarative Pipeline that pulls in your Organization based on a build parameter and creates two jobs for every repo:

1. A multibranch Pipeline job that is based on the Jenkinsfile that will work across all branches and PRs.

2. A deploy job for the repo that is defined in a "jenkinsfile.deploy" file in the repo. This isn't a multibranch job but can be run on any branch based on a parameter for the branch.

This is a very simplistic implementation but could be expanded on further.
Platforms should provide the opportunity to monetize your time in all sorts of ways. Ridesharing is just one example of ways people do it, and anything that adds liquidity to the overall ability to monetize time and existing capital is a good thing.

Everything else is just supply and demand. I don't see why we should stop anyone from ridesharing with the Uber platform, as long as the terms are clear enough. People are expected to think and make their own best judgments with these sorts of things, to some extent.
I think spacex getting some competition is good and healthy for the space market. Even though I like spacex a lot, monopoly isn't the preferred choice.

I was trying to find difference between blue origin and F9 and found these old articles. [0] [1]

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

[0]http://www.theverge.com/2015/11/24/9793220/blue-origin-vs-sp...

[1] http://www.popularmechanics.com/space/rockets/a18711/blue-or...
Right but is it fair? Should employees not get the same deal?
I've been taken advantage of by Uber drivers while drunk.

That said, when I woke up the next day^Wmonth and saw the charges and the loop-de-loops they took to get me home, I complained and Uber refunded me the whole fare, which I didn't even ask for. If this was a cab and even with a credit card charge (forget about cash) I would have just written it off.
Are there any features that could push it over the top?
I've written some tutorials and articles on http://buildwithreact.com. Hope they help!
In Prolog you can "run your logic backwards".

In Java you can declare a list "my_list" and then ask for its length as in "my_list.size()". You can do the same in Prolog. Given the above Prolog definitions, here's an example of computing a list's length:

| ?- list_length([13, 42], ListLength).

ListLength = 2

yes
| ?-

NOT VERY EXCITING.

But wait, you can run your logic BACKWARD. You can say instead, I have a list of length 2 -- what's inside the list??????

| ?- list_length(MyList, 2).

MyList = [_,_] ?

yes
| ?-

So that's strange. Prolog just gave us the form of an entity whose list-length is 2. And because we didn't say ANYTHING MORE SPECIFIC about the elements of the list, Prolog just gave us two placeholders for the items in the list ... '_' and '_'. Java can't do that out-of-the-box -- you can't say a list is size 2 and then ask for all the possible lists back.

In our backwards-running Prolog example, we might have attached other conditions to the elements of the list ... in which case Prolog would (possibly) not have returned placeholders for the elements of the list, but might have done further work to figure out proper values to put into the list to satisfy the further conditions we gave for them.
Thanks, I hadn't heard of that one!

Another very interesting language in the Prolog family is Mercury (http://www.mercurylang.org/), which has a more functional and static flavour than Prolog, and has a suite of compilers that can produce quite efficient code.
great work...
Calculate Table PDF Width and Embed Media Files inside PDF Document Using .NET
CloudNativeCon and KubeCon Europe 2017: an overview