skysight-inc/HackerNews huggingface dataset:
So from what I understand, Google is litigating this in public, but their lawyers, such as Mr. Verhoeven, are redacting everything on their side they don't want public. This makes it sound like Google is doing this in public mainly to hurt Uber as much as possible in the court of public opinion. Am I wrong in interpreting Google's actions this way?

Sounds like this and many other conflicts Google had with Mr. Lewandowsky over the years should have been dealt with in arbitration. This just looks like Google acting out a vendetta against Mr. Lewandowsky. They tolerated his actions when he worked for them and even after he left to work for himself, but turned against him once he joined a competitor.

While on paper, it doesn't appear that Mr. Lewandowsky is a saint, Google doesn't look good here either. Google's behavior here should give any engineer pause about considering Google as a place to work. California doesn't allow non-compete agreements, and this looks like Google attempting to achieve the effects of a non-compete through litigation. "If we can't hire and keep Mr. Lewandowsky, then we'll make sure our competitors can't either."
They are suing Uber because they claim it is using the technology in their product. Since Uber bought Levandowski's company, it is morally equivalent to Uber having hired Levandowsky to spy on Google.
startup = high/exponential growth
Unix is a poor implementation of the Unix philosophy. Just like QWERTY is an awful keyboard layout, etc. This is yet another case where we are steeped in tradition. It would be fantastic if we could just instantly overcome these shortcomings, but it's difficult enough to make an OS compatible with the ones we already have. With manufacturers like Nvidia and Broadcom keeping such a tight control over their drivers, it's difficult enough to even make an OS!

It would be fantastic to have a more cohesive environment, especially in (and including) the shell, but most people are happy with the status quo.

Even worse than *nix tools, there is really no environment outside the realm of text-based UI that follows the Unix philosophy. A GUI that does just one thing, let alone well? Ha. AFAIK, there is no existing way to create GUI software that can cohesively inter-operate with the expressive power that pipes and subshells give command-line tools.
How were you able to identify that there is/was a need for farm accounting software?
Here is a good link from Robert C Martin (author of clean code) for the question : How doeas the presence of neural nets impact the deve lifecycle in Agile environment http://blog.cleancoder.com/uncle-bob/2017/03/16/DrCalvin.htm...
Which dream is not dead? Wayland? It's definitely not dead, as Wayland has both GNOME and Red Hat behind it. Ubuntu decided to roll their own (Mir) instead of also going with Wayland.
The entire basis of the article is wanting it to not be a fork. If they have a majority of miners, they are in theory able to set the rules for actual bitcoin.
Workday | Full Stack Developer | SF | Full-time, ONSITE | https://www.workday.com/careers

Workday makes software that runs businesses. Our suite of products spans from HR to financials, recruiting, and training, and is used by the best and largest companies in the world, including Wal-Mart, Netflix, Patagonia, Sony, Toyota, Visa, and Yale University.

We’re looking for full-stack developers to join our Media Cloud team in downtown SF. You will help us build our video player and new interactive media tools. We value collaborative, kind, and thoughtful people above all else.

We work mainly in TypeScript (client and Node.js), SCSS, and HTML with a modern stack of tools backing it. We’re looking for candidates with at least 2 years professional experience in software development, and some JavaScript experience.

Our company has an $18B market cap and, along with competitive pay, offers a full array of benefits:

- Health, dental, and vision with several high-quality options
- Unlimited vacation (and we don’t pressure you not to take it!)
- 401(k) with some matching
- Work/life balance
- Maternity/paternity leave
- Employee Stock Purchase Plan (ESPP)
- Life insurance
- Charitable gift matching
- Subsidized gym membership
- Commuter benefits
- Free snacks

Full job description + application: https://workday.wd5.myworkdayjobs.com/Workday/job/USA-CA-San...

Or email me directly: charlie.stigler@workday.com
Why the new iPads are delayed (10nm yields)
I'm a perfect example of this being the case. I'm a .NET developer by trade and I have very few complaints about it, but I only run Windows as a VM at home because I don't want it anywhere near my personal life.
What Google really wants is to prove that Uber is using the technology in the product it is developing. So the question is how Google will go about trying to prove that, and what Uber would need to do to prove it is not.
Is there a decent UCRT/CRT installer yet? One that doesn't require pre-requisite Windows Updates first?

I'm still using VS 2012 because of the nightmare of releasing C++ based software that uses the UCRT (believe it or not, not everyone is on Windows 10/2012 R2 yet).
>So he should give up his 5th amendment right to fend off an accusation? I don't think so, that doesn't sound like justice to me.

Note that this is really complicated because this is a civil trial, with a different standard of guilt (preponderance vs. beyond a reasonable doubt), and where invoking the 5th Amendment can definitely be held against you. If this were a criminal trial- and he did it correctly- invoking the 5th Amendment could not be used against him, but in civil case, it most definitely can be used against you.
I was dealing with this just yesterday funny enough. We didn't really like the idea of using `load()` to bring in a new file. I'll prefix the rest by saying we haven't actually implemented this yet, so YMMV. Our goal was to have a separate deploy pipeline that wasn't dependent on the test step (for various reasons I won't go into).

We decided on creating a new job of type pipeline, and pointing it at a script named `Jenkinsfile.deploy`. It has a few parameters, namely `BRANCH`, that can be manually set, or passed in from another job. We can then move our deployment steps from the main Jenkinsfile into this new one, and still version control the lot.

Major caveat is that the deploy step is not compatible with organisation scans (multibranch/pr), but that's fine for our use case. We usually want to trigger our builds manually based on the branch.
>> The fact is that our brains have been so incessantly bombarded with propaganda from different places that we start noticing it even when none exists. In other words, Apophenia.

An interesting point. I would say that everyone does have something they want you to believe - even if it's just pure skepticism - That's the point of teaching, after all (or you just find it fun to talk). We are trying to share what we believe is true, even if that belief is that we can't definitively say anything is true. I used to think such a stance as equality for both ends was being open-minded, but to some people (especially those with a firm opinion, be it wrong or right), I came across as promoting what they considered horribly wrong. They think that alot of (um, all of their) ideas are provable, definitive truth, so arguing against that point is - at least to them - "indoctrination" of a different kind.

Funny how that all works out, no?
There is some truth to this. People outside the Bay Area might not be aware of the slow and careful progress google has been making in creating a safe self-driving car. Compared to the Uber approach of just YOLOing the prototypes onto the streets of San Francisco it has gotten very little press.
I would think the vast majority of cash deposits are under $10k, so I assume what they mean is repeated deposits of close to, but slightly under, $10k.
Alt+` (or whatever key is above tab, if you have non-US keyboard) toggles between windows of the same app. I don't know if there is key combination to toggle between all windows, though.
Willy. Nilly.
Sure, it's not a well defined term with a universally agreed upon definition, but now we're just arguing semantics.

You like to define it as a new, for-profit business. Seems reasonable. However, I found that many others use the term to specifically refer to the kind of high risk, high growth company that meet the investment profile of typical venture capitalists.

It seems obvious that the good people of startup school are using the word startup in the latter sense. And honestly that sense of the word seems more common. Most people refer to what you do as bootstrapping, not a startup.

But is it really that interesting to have an argument over the definition of startup?

I don't think anyone at startup school is against bootstrapping. They're probably not against enterprises either. The event just has a focus.
>while you would be left with 2/n - 1/(n^2) of BB

For those like me who didn't immediately understand where this came from:

P(atleast one of two boys satisfies the condition)
= 1 - P(neither of two boys satisfies the condition)
= 1 - [P(a boy doesn't satisfy the condition)]^2
= 1 - [1 - P(a boy satisfies the condition)]^2
= 1 - [1 - 1/n]^2
= 2/n - 1/n^2
IoT Drama Hits Solar Inverters with Revealing Data
They claim that they knew this happened more than a year ago. The veracity of their logs, or at the very least the chain of custody of those logs, should seriously be called into question at this point.

They should have litigated against Mr. Lewandowsky after he founded Otto using documents they claim to know he stole more than a year ago.
If curious I would have gotten the question with Try and Either wrong (because I forget), and I don't really use Scala Streams so I don't know without looking at the API doc. The others would have been fine for me but all of that is besides the point...

It was also not my point at all that an engineer that knows how to build a construct like an IO monad in Scala, but doesn't understand traits/abstract classes (which would be funny and hard to find I imagine) would be preferable to anyone else...

And furthermore, I agree that we live in a world where teams and projects get hosed by architect astronauts. But that isn't the point either...

The point, my angry friend, is nothing more than the observation that I, with my skill set, would do exactly what I said: Be unable to answer all those correctly in an interview, and in the process I would not have been asked anything that would flesh out many of the other skills I have. Skills relevant to the language in question and, arguably, more empowering to an organization than those listed.
Yep. They are part of ESA and other consortia that have flown satellites (e.g. GAIA and ASTRO-H) however their involvement seems primarily around data processing and analysis etc, not the design or build of space-bound hardware.
Awesome work! We've been migrating to Jenkins v2 and blue ocean over the last couple of weeks. The new experience is way way better.

Does the 1.0 release offer much that wasn't in the previous version?

Edit: Answering my own question. No, the 1.0rc4 -> 1.0 is just a version bump.
Because your phone will never have the raw power that you can pack into a larger form factor? Granted, after a certain point this may only be relevant for specific tasks.
The problem is that a lot of small businesses just naturally make a lot of transactions in cash and then have to deposit that money in their accounts.

Well, the problem is an aggressive government more interested in taking from citizens than proving wrongdoing.
Fair enough. Forgot about that essay.

I'm more of a linear growth type of person but that's likely a product of my end market.
While always left-leaning, PBS was much more balanced in the past. These days, most of their invited guests are either NYT, or WaPo reporters and they have become - sadly - increasingly unbalanced, leftist propagandists.

Being critical of a current administration is fine, but leaving out stories which don't fit their narrative is just... propaganda. No other way to describe it. Not that Fox News and the other right wing sources don't do the same thing, but I thought we could expect higher standards from PBS/NPR. Not anymore - so I stopped supporting them (after 25 years of solid and faithful financial support).

This sad commentary applies to all media - there just isn't a single, reasonably balanced source of news anymore. I guess being truly fair and balanced (and no, Fox News ain't it :-)) just does not sell anymore. Perhaps having 6 huge corporations owning all major media (PBS excepted) has something to do with it
There are many, i can't name all of them here but a few old ones are listed in my HN profile.
Well, part of Uber's strategy was to subsidize rides with VC funding until they could have fleets of self-driving cars to provide rides at truly low costs (and thus efficient unit economics).

We'll see how well that plays out in light of the Waymo lawsuit.
Try Steam for Linux. It runs about half the games in my library (and runs them well with a 2016 radeon gpu + FOSS hardware drivers)
A vendetta against Mr. Levandowski? Google paid him $120 million, and he then took that same technology for another multi hundred million dollar payday from Uber. Mr. Levandowski's avarice is basically something I can't really comprehend.
I've wondered if cell phones have led to fewer altercations on subways as people spend more time focused on them, giving them less reason or chance to argue and fight with others.
This was a good read and quite heavy. I'm not sure what the takeaway is though.

What can we learn from such a tragedy that might help others? A trend in such stories seems to be a period of increasing isolation from everyone but in many cases none of the cut out people do anything about it. I find it hard to understand how the family of the wife can just accept losing contact like that, but I've not been in this situation so what do I know?

Either way, grim stuff. At least the deaths were quick and they didn't seem to really suffer that much.
Prolog lists are predicates, like pretty much everything else in the language. Lists have the functor '.' (the dot) and two arguments, a term and a list, so they're defined recursively.

Frex, this is a list:

.(a, .(b, .(c, .(d, []))))

'[]' is an atom that stands for the empty list.

Normally however we write lists like this:

[a,b,c,d]

Which is syntactic sugar used in the vast majority of Prolog code.

The easiest way to think of it is that a list is a pattern, consisting of two square brackets enclosing any number of terms. You can't really call functions on it, but you can pass it as an argument to other predicates, and match it to other patterns.
Living in New York for 2012-2015: it felt like there was about a 50:50 split on Lyft vs Uber.

Lyft doesn't seem to have even near that sort of penetration in other cities from what I've experienced.
Not really. If the marginal convenience and cheaper price of ride sharing firms led more drunk people to use them then it would be ride sharing that did it. Also, since there have always been taxis, it would have been a big coincidence to observe the statistical difference at the same time as the rise of ride sharing. Obviously, "ride sharing" is a bad description, but so what? The word "cab" is left over from horse drawn carriages.
> I would argue that Gnome's pursuit of a novel interface is very much about choice.

As long as you don't try to choose e.g. vertical panels instead of the forced top panel.
That makes me feel even less guilty about using adblockers and news aggregators primarily. They are stuck in the past, and the less we validate them in that and reinforce them in the opinion that this works, the better. We do need publishers, but we don't need publishers that are stuck on hating their users and each other. So maybe if enough people won't cooperate with their business model, somebody with money will get the message and disrupt them. I feel somewhat bad about it because innocent people may lose jobs on the way, but change is obviously needed, and it doesn't look like it will happen without disruption.
It is not a waste of time. Stop trying to match it to programming languages you already know and try to think in the abstract.

This example is about a list. But you could be very well telling the system about relationships between car parts instead. Or git commits.

Gerrit provides an actual real world use case: https://gerrit-review.googlesource.com/Documentation/prolog-...
Also "no remote" of course, and then... what would you call this?

I'm at a place that is heavily into IRC. Documentation goes in a mediawiki wiki. There is also video conferencing and email. You could almost call it "remote first", except... all of this is happening on a non-Internet network and nearly nobody is at home. It's separate offices connected over encrypted links. The few people at home (mostly due to health and family issues) need special hardware to get on the network, along with separate non-Internet computers.
I'm not sure what you mean by this last sentence. But Git always computes the SHA1 of incoming objects (that's how it knows that the SHA1 is; the other side doesn't send it). And it likewise confirms that it has every object which is referenced by the newly fetched history.

The fsckObjects settings are entirely separate from the SHA. They are about syntactic and semantic rules in the objects themselves (e.g., well-formatted committer name/dates, tree filenames that don't contain "/", etc).
The medallion is a huge cost, that alone might be enough - not to mention economies of scale, logistics expertise, data collection value, uber pool network effect, etc.
ROBO-ONE Hosts First Ever Autonomous Biped Fighting Tournament
It's reasonable for it to be used against Mr Lewandowsky, but is it reasonable to use it against his employer?

Many people have their opinion on whether Uber is evil or not, but any employer that forces you to give up a right that Constitution affords you if you're potentially facing criminal charges sounds evil to me.

If the court wants him to testify in a civil case instead of asserting his 5th amendment right, they should find a way to guarantee immunity or that he won't face criminal charges.

OJ Simpson pleaded the 5th too and then later took the stand because the criminal case was litigated before the civil case.
Oz regulator hauls Apple to court over iBricks
I was taking about the ability to debug code. Various IDEs/compilers have sometimes issues and bugs on multistatement lines in DWARF/etc. I've worked on a low level debugger, so it was a big problem, even few years back.
Also called "structuring" - intentionally making small transactions to avoid the oversight that comes with large ones [0].

[0]: https://en.wikipedia.org/wiki/Structuring
What I mean is that "convergence" benefit is not same UI on different devices out of pure whim, but the ability to use the same application from phone directly or using desktop monitor mouse and keyboard.

I don't mean the interfaces should actually be different. Just that "the same interface" is not the motivation by itself.

Unified interface would be good for that. If the interfaces are actually different, the app could be adopted automatically by its UI framework, or by "window manager", etc.
That's the point I was trying to make. If you experience a literal network partition between the driver and the rider, what should be the correct response from Uber?

I was definitely in the right place, but my phone died. Is it the correct response to assume the rider is either not at the right place or was and has moved on?

I don't think that's the right approach. We wouldn't do that with a distributed system. A node in a network that isn't getting response from other nodes--particularly slave nodes--doesn't mean the node is down. It might just be busy with something else. You don't know. Assuming that it's not accepting data is the wrong way to handle this scenario. It's a problem.

In this case, I'd call it a committed write that wasn't successfully transmitted to the rest of the system. I was told a driver was on the way. I was there, and the partition tolerance said, "Aww fuck this guy." to Uber's system. That's pretty bad.

If you want to think of it in human terms or in business terms, that's fine. But I think that CAP theorem is the best way to handle these situations from a tech point of view.

The driver didn't need to contact me. All the driver had to do was go to the agreed location and pick me up. But Uber prevented that by cancelling the trip when my phone was no longer in service. That seems broken to me.
Me too, please post!
Another language reminiscent of Prolog is Clingo (web repl: https://potassco.org/clingo/run/).

It's a lot like Prolog, but it's based in answer set programming, which gives you nice guarantees like "doesn't matter what order you write the rules in" and "always terminates".
Has this other evidence even been presented yet?

edit: given that even a simple question was downvoted, I can only conclude that there are likely a lot of Google employees downvoting anything that doesn't support Google's side in this dispute.
Then talk to investors to take investment.

I don't think its unreasonable that someone who takes a risk on giving you money in your infancy to realise your product should get some equity or something else from it that's more than just a "preorder".
My biggest issue with the macOS way is that there are edge causes when using Spaces. The biggest being "stand-alone" Chrome apps like Signal Desktop are still tied to Chrome, even though they get their own icon and a separate place on the Dock. CMD-Tab'ing to Signal Desktop might just send me to a Chrome window. Ugh.
Good points and true.

I really enjoy a lot of what YC puts out, especially the philosophy that growth is the ultimate no-BS filter. That was eye opening for my when u heard Jessica Livingston talk about it.

All-in-all, my initial comment is likely misplaced given the nature of startup school.

But I do believe that most businesses should aim for, and be happy, with linear growth.
One other thing i like about it (though i never use it personally) is that it is highly configurable, so much so that people use it do all sorts of things like run membership sites, optimizepress for sales letter pages, landing pages, etc. It can transform into anything with the right plugins than remain just a blogging platform.
You would think that, but that's not what is happening. A gas station was doing ~$800 per day and got grabbed. This is the type of stuff the really makes people lose faith in a rational system.
> consider Mate, the forked continuation of Gnome 2.

I suggest Xfce. It does the Gnome 2 thing better than Gnome 2 ever did. The default colors, theme and background image look dated, though, but are easy to change.
I can absolutely confirm that they were both enjoyable and very useful. Stephen's courses have reached the level of "buy without thinking" for me.
Thanks for the support and great to hear that you are taking the time to upgrade!

We've shipping a lot of bug fixes in the last few releases and the integration of the editor into the Pipeline creation process when you choose Github, which landed in rc1. I recommend upgrading your Blue Ocean ASAP :)