skysight-inc/HackerNews huggingface dataset:
From another source to provide some colour:

> According to a lawsuit filed today in federal court in California, Waymo accuses Anthony Levandowski, an engineer who left Google to found Otto and now serves as a top ranking Uber executive, stole 14,000 highly confidential documents from Google before departing to start his own company. Among the documents were schematics of a circuit board and details about radar and LIDAR technology, Waymo says

> The lawsuit claims that a team of ex-Google engineers used critical technology, including the Lidar laser sensors, in the autonomous trucking startup they founded, and which Uber later acquired

I was confused as to what stealing a patent actually meant:)

Waymo has also posted this....

https://medium.com/@waymo/a-note-on-our-lawsuit-against-otto...

From this post...

> Recently, we received an unexpected email. One of our suppliers specializing in LiDAR components sent us an attachment (apparently inadvertently) of machine drawings of what was purported to be Uber’s LiDAR circuit board — except its design bore a striking resemblance to Waymo’s unique LiDAR design.

> We found that six weeks before his resignation this former employee, Anthony Levandowski, downloaded over 14,000 highly confidential and proprietary design files for Waymo’s various hardware systems, including designs of Waymo’s LiDAR and circuit board. To gain access to Waymo’s design server, Mr. Levandowski searched for and installed specialized software onto his company-issued laptop. Once inside, he downloaded 9.7 GB of Waymo’s highly confidential files and trade secrets, including blueprints, design files and testing documentation. Then he connected an external drive to the laptop. Mr. Levandowski then wiped and reformatted the laptop in an attempt to erase forensic fingerprints.

Ooops, that does sound bad after a first read.
Mitch and Freada have already well accomplished "changing the world." Travis has many years to go yet before he can even be considered to be in the same league.

As they say, GIGO. Feel free to take on garbage investors, but don't be surprised if your probability of success goes down as a result.
You can use something like StayFocusd to force yourself off it. It won't allow you to reach the distracting websites no matter what you do. Forced boredom.

Though personally I've found if I just log out of facebook and my personal email, that helps. I can't open a tab and have rewards in less than 2 seconds. The extra few seconds to type in a password slows me down enough to just close the tab again and get back to work.
Learning to Love Our Robot Co-Workers
Homotopy Type Theory axiomatizes weak omega groupoids; it gives you formal rules you can manipulate to reason about weak omega groupoids. This is exactly the same way, say, ZFC axiomatizes sets of sets of sets… "You're allowed to shuffle symbols in these ways, and the results of doing so we shall call theorems".

There's not an intrinsic sense in which sets are "foundational objects" and groupoids aren't; yes, you can encode groupoids as set structures with certain properties, but in just the same way, you can encode sets as groupoid structures with certain properties. Or, for example, you can encode points and lines using coordinates and Dedekind cuts of rational numbers or what have you, but you can also do Euclidean geometry without first developing some theory of real number arithmetic in that fashion, just directly axiomatizing the relevant properties of points and lines.

Any formal system gives you some basic rules to work with; as long as you can communicate and understand the rules, you're good to go. You don't need any other prerequisites.
Tell me more about your morning dump!
They had to, since changes cannot break backwards compatibility with the legacy web.
> It is constitutionally impossible

It is merely a piece of paper, containing stuff that was the pinnacle of political thought centuries ago. It is not the will of god almighty. It is merely the operating system of this country's laws, and we upgrade OSs all the time - when they're too old, start glitching, and crash your apps all day long.

Stop worshiping a piece of paper with some old words on it.
GV is generally very arms length of google itself, in fact when I've pitched them they specifically say as much. They'll make investments that are supportive to the google mission generally, and sometimes that investment is a hedge I would imagine.
And then you put PHP tags in that content at the end, and change the .htaccess file to process *.jpeg as PHP scripts, and your webshell looks benign until someone has that in mind looking through the account.
Solidity is not a "variant of JS".
lol, its always extra amusing when someones sarcastic, negative, unfunny, and smug comment is immediately disproved.
Trump says abortion and transgender bathroom use should be a states issue, then what about recreational marijuana?

His lapdog Chris Christie even called it months ago when he said "enjoy it while you can..."
I wouldn't have thought so.

Laravel 5.4 shipped a month ago with browser integration testing and Webpack by default, now Rails has the same.
States rights is a ruse. The heart decides, and the head justifies. People use states rights when it is convenient, and toss it aside when it contradicts their other beliefs.
Neo4j vs. Dgraph – The numbers speak for themselves
Actually it's the Bitcoin Price Index ATH that was $1165.89 (Nov 2013), while the Coinbase ATH was $1175 (Jan 2017).

Both ATH were surpassed in the last hour.
>"Uber was already beating taxis in limited markets without any subsidies."

How were they "beating" taxis? On price? Are you actually beating something if you are cheaper but losing money?

The links you are posting are really fluff pieces. This one is some reporter's anecdotal summary of spot prices for two particular destinations in a single city. This is no way a serious piece of business journalism.

You keep making statements about the specifics and extent of the subsidies but you don't actually know this do you? And none of the links you have posted support these assertions you are making about these subsidies or lack of them.
Bitcoin Reaches All Time High
Maybe it'll land the guy a job if he show it off during an interview. Who knows? I like it, it's neat.
Kotlin has been on my list of new languages to investigate for a minute, just haven't really found a use case for another JVM language that isn't really pushing the envelope. (That's not a dig, it seems like a nicer iteration of java all around, I just don't have many major grievances with java for doing java-y things.)
My solution is a variant of the pomodoro where I work in 50-15-50-15- blocks of time. In the 50 minutes i use coldturkey which blocks all access to social media though i hardly ever use it.

I think 15 minute break is necessary because it helps you to refocus and also prevents backache.
I thought everyone already deleted that app...
In terms of "business model", clearly Apple is the one I'd trust the most, Google/FB the least, and Amazon in the middle. But I agree with laws the way they are, it's very problematic. Either the tech needs to change, or the law -- I have a lot more confidence we'll finally see a (not really re)-surgence in privacy protecting consumer tech.
Thanks for taking time to lay that out. I've felt like I was living in some alternate reality the last few years every time someone trots out that saying as an excuse to duck responsibility.
You just made my heart happy. I've been hoping for an updated and backwards compatible coffeescript update for a while. Glad to see it is coming along.
Great sentiment, but I don't suppose anyone had the brilliant idea of actually divesting their holdings in Uber, rather than just talk-talk-talking? Wanting them to change, and being in a positon to profit from the status quo, are kind of mutually-contradicting are they not?

Looking for any investor with enough integrity and conviction to send a stronger message... I know, dream on, plus who would buy anyone out at this ridiculous level of overvaluation?
Good move! The more they tighten their grip, the more states will slip through their fingers with relegalization backlash.
Not the poster, but I think he means that Uber is the very wolf we've become too desensitized to recognize.

But I have not seen the endemic spiteful complaints he has. My impression is this place is full of wolves that are seldom called out.
Incident report on memory leak caused by Cloudflare parser bug
There is continual progress on standardization of methodology, but it takes a while. People have vested interests in using their protocols, and there often valid disagreements about what is actually the best protocol.

Nevertheless, these kinds of standardization documents are important. But only as long as deviations from these standards are not discounted when justified theoretically.
I'm nearly 100% certain the comment was sarcastic.
What did people expect? I'm sure trump is surrounded by people who have fully bought into the 'gateway drug' myth. The worst is somehow claiming this will aid in the fight against opioids. What a joke!
Boycottdocker.org is taken down
Rights are a ruse. The heart decides, and the head justifies. People use rights when it is convenient, and toss them aside when it contradicts their other beliefs.
>But Spicer said that there is a big difference between medical and recreational marijuana, commenting that “When you see something like the opioid addiction crisis blossoming in so many states around this country, the last thing we should be doing is encouraging people.”

Pretty mind-numbing to see people still peddling gateway theory. Is there any real link between recreational pot and opioid addiction in any meaningful, causative way?
The problem I see with these accounts is that as a "former" employee you necessarily have a bias. Maybe you got fired, maybe you got burned out, but I'm not surprised you are angry at them and it's hard to weigh exactly the value of your opinion.
>Still, assuming light speed travel, Firefly's inhabited planets are still a heck of a lot closer, since the crew doesn't seem to noticeably age between the half dozen or so star systems that they visit

My understanding is that Firefly does not have FTL travel at all, in fact that makes it rather unique among spaceship sci-fi. Also, they're in a single (though very large with multiple stars) system. They get around quickly because their ships are a lot faster than our slow-ass chemical rockets, but they're still traveling at sublight speeds, which is why it takes days or weeks to get places, instead of mere minutes (for example, at lightspeed, it would take less than 6 hours to get to Pluto). Notice that, in the show, they took paying passengers, and it took a fair amount of time to get between the "outer worlds". It was a lot like cargo ships of yesteryear, rather than modern airplanes, as far as travel time. They don't have tech to halt their metabolisms for the same reason we don't: they haven't invented it yet.
Why?

In what sense is it off-topic?
Someone is going to implement file storage using this. :)
I have a pretty bright-line rule: investors should not be publicly critical of portfolio companies or founders. This situation does test it, but in general I think investors, founders, and society are better off with that rule than without it.

(Doesn't apply to public companies, since you're appealing to potential co-investors. Doesn't apply in cases of criminal/etc. behavior when a founder or manager is replaced.)
https://www.kernel.org/doc/Documentation/vm/overcommit-accou...

The default is to allow "sensible" overcommit whatever that means. From my experience whatever "sensible" is, really is sensible and I haven't had issue with that. You can also set it to allow all memory allocations, even "silly" ones (i.e. allocate 100GB memory on a system with 10GB RAM); or to refuse overcommiting memory.
> This smells like underlying bias to me, I'm afraid. Crying wolf in many of these areas has frequent negative impact -- hell, speaking out with good cause has negative impact.

It said in a mocking sense, but given the benefit of a doubt - it's difficult to read intention.

> Who wants to volunteer to be at the centre of the next ethics in game journalism storm?

Lot's of people. Not everybody of course. There's lot of sociopaths/psychopaths that exist undiagnosed amongst us. I don't think that has any value in the argument as we really don't know this person.

> But this specific action -- choosing to no longer use the services of a company -- does have few repercussions, which does make it a good way to protest.

Ha! PR is one of the most important aspects to a company. Why do you think Google is so successful? Perception often outweighs truth.

> This could have been worded more felicitously, sure. Substitute "those negatively affect by the oppression and those sympathetic to them" and the point stands.

It was just a throwaway point about your default stance. We all have unconscious bias, I'm not holding it against you. My point was that we should all be aware of it.

> As others have said, it seems you didn't look at the facts here.

I've now read a lot of articles regarding this topic (it's interesting isn't it?).

> the original point is not about the author, it's rejecting the idea that people are only able to delete their Uber accounts to protest the patriarchy because the very patriarchy they're protesting doesn't exist.

> This is exactly the behaviour you'd expect under a really oppressive system: given a low-risk way to protest the oppression, people take it. Women and those sympathetic to the cause of equality can easily delete their accounts and take alternatives, so they do.

But this isn't by definition evidence of that structure existing. Simply agreeing or disagreeing with a point of view can lead to the same outcome. And with "a really oppressive system", I would expect to see a much more solid foundation to the accusations.

Signs this may be false:

- No evidence of communications

- No witnesses to the events have come forward

- No names of the people involved

- No pursuit for legal rights

- Disabled comments on blog

- Uber directly addressing the blog (if they knew they were in the wrong, they would want this to go away)

- HR woman didn't sympathize with her accusations

Signs this may be true:

- Uber had an internal meeting regarding the accusations

- Uber are conducting an internal investigation

- Uber's history of being a tough working environment

It's simply not conclusive yet.
This can't be the end...
Why would miners want larger block sizes? Don't small block sizes increase their fee revenue?
Would this work over salt water
Thanks for your feedback! I, too, would have loved if we could have spent more time with the guests and pick their brains for longer, but scheduling was already tough as is.

We definitely did go with the informal, unedited approach; a format I also love. The majority of these interviews were done in one take and unscripted, with heavy emphasis on conversation. Hopefully that came through and didn't take away too much from the content.

Perhaps further down the road we can find a way to make longer content.
It's kind amazing that Google keeps reiterating how their incredible security protects your data, and that even employees are extremely carefully monitored. Yet their confidential trade secrets were taken by a dude who seemingly didn't have access to them as part of his job (since he had to go install the software) and a portable hard drive.

The post also says he talked about replicating their technology at a competitor with colleagues months before he actually stole the data too. Generally if you work on something confidential, and you start talking about taking it elsewhere, someone reports it or something.

Sidebar question if there are any armchair lawyers around: While I expect Uber to lose this lawsuit based on the type of evidence being claimed here, is it also possible for Uber to sue the supplier for leaking their confidential data back to Google? Because that seems like an incredible lapse of confidentiality in itself. Or will the notion that it wasn't legitimately their confidential data in the end, make Uber's own claim void?
This quote from the article indicates the opposite effect, actually! I'd like to see the study that concluded this, but it's an easy statement for me to believe.

> "As for connecting marijuana to the legal opioid crisis, Spicer has it exactly backwards. Greater access to marijuana has actually led to declines in opioid use, overdoses and other problems."
Very idea?
Companies sue other companies they have relationships with fairly often.

For example, Samsung is still a hardware supplier to Apple, so Apple is suing its own supplier in the Apple v. Samsung case.
Thank you! I have no patience for videos or podcasts.
So first things. Just like there are traditional and Roth IRAs. there are traditional and roth 401ks. Same standards apply, traditional 401ks are pre-tax and you pay income tax on withdrawals, roth 401ks are post tax and you wont pay tax on withdrawals.

Traditional 401ks can easily be rolled over into traditional 401k (but you most likely wont want to do this, as I'll get to later) and Roth 401k's can easily be rolled over into Roth IRAs (no harm in this unless the 401k custodian has some really good funds available to you).

An important thing to understand about a traditional vs roth calculation is that when you put money into a traditional 401k/IRA you save at your marginal rate (vs putting the same money into a Roth). i.e. if your federal rate is 28% and your state rate is around 10% (say you live in NYC or CA), you save 38%. In retirement, while you would be paying taxes on the withdrawal, the taxes will be spread through every bracket, not just your highest hence its very likely that its going to be less than 38% in total taxes even if tax rates go up in the future. Further, you can have a significant level of control over your future taxes as can move to a state that has no taxes in retirement, a flexibility that you might not have during employment.

If you're single and make over 133K you are ineligible for the Roth in a normal manner. There's a good chance as a software engineer you'll reach this level at some point. This is where the "back door" roth contribution comes in and why I would reccomend not rolling over a traditional 401k into an IRA

There is no income limit on contributing to a traditional IRA (though there are limits to the "pre-tax benefit", but that and there's no income limit to convert a traditional IRA into a Roth, you just have to pay taxes on what you haven't paid taxes on already (i.e. either the pre-tax benefit you got or the growth since you put it in). This is a free way for those with higher incomes to gain the benefits of roth contributions (especially as those who are ineligible to contribute to a Roth are already paying taxes on their traditional contribution. But this also goes to why you probably don't want to convert your traditional 401k into a traditional IRA at a later date. It will prevent you from benefiting from this backdoor contribution mechanism.

So with this said, for me, my 401K is traditional and my main IRA is roth. I keep one traditional IRA opened to do the backdoor, but as soon as the contribution clears it is immediately converted into my roth.

This is a lot to take in and its good that you are thinking about these things today.
I generally use my feet to open doors actually. It's not at all hard and with touchless faucets and toilets I pretty much only touch paper towels.
The revolution started from tea taxes being too high also had the backing of the richest people at the time in what would become the US.

The automation revolution also has the backing of the richest people in the world.

I don't think a populist movement was behind the revolution nor here.
Principled free-software license enforcement
I sold all my bitcoins for almost nothing during the crash :(
So throw the phone in a gift box and tell them you're bringing it to a friend who lost theirs because of the exchange rate. Plausible deniability, right? Throw your SIM card into an old Nokia 3310 if you're worried about them thinking you don't have a working phone...
How to build a Personal Wellness coach with craft ai
Cloudflare Reverse Proxies Are Dumping Uninitialized Memory
I work with principal investigators phd/mds at upenn automating some of their data analysis pipelines.

They have all have secret checklists for bs detection in papers they read. Certain labs set off red flags to them or certain techniques being too fuzzy or easy to mess up.

Every one seems to have their own heuristics, and no one seems to take any article at face value anymore.

I hear PI's say stuff is unreplicable all the time.
>One of my scale numbers is, everything between Jupiter and the Sun masses less than 2 Earths -- Venus, Mars, Mercury, the Moon, and all the asteroids mass less than the Earth.

Is that correct? Venus alone is about 90% the size of Earth, and Mars roughly 33%. It really seems like all those bodies put together should be greater than 1 Earth mass (but less than 2 Earth masses).
Hrm, can't really agree with the premise, I feel like the backend not being fast enough should never have been a significant reason to write an SPA.
I really wish I'd kept the $11,000 (USD) worth of Bitcoin I bought at $7!
the current uber hating seems like hive mind.

without a doubt, the stories coming out of uber are not good. but i work at a unicorn and can unequivocally state that things are not vastly different here -- few to no female devs (and other specific roles too), little diversity, plenty of sexism, lots of politics, and huuuge assholes abound. if any of our stories happened at uber, it would be front page news. and my guess there is plenty of this around the industry.

these firms get away with bad management by turning it around on employees... "if you see a problem, find a solution and fix it". this cuts both ways... no one blocks you from doing what you think is important (which is great), but equally no one steps in to play the role of mgmt when it matters (which sucks).

in uber's case, the negative side to this culture is more on view than anywhere else. uber may be amongst the worst of the tech companies when it comes to this, but i certainly don't think they are an outlier.
One of the feature I really liked is specifying anchors and size constraints for all elements of the ui. This is so intuitive and behaves so beautifully that I'm at loss why it wasn't done like that in CSS and in all of the IDE gui designers that came after Delphi.
It's just as likely that they aren't doing this because they bought into the gateway drug myth, but because they are waging a culture war.

You can't make it illegal to oppose the president, but you can make half the people opposing the president criminals for smoking.
Yes but the things they mentioned would be bizarre to control for the other way.

Would you expect the tests to be done, then again but with both rats hearing the person upstairs installing a new microscope, then with a regular fire alarm, etc?

Describing the food given is quite a step away from describing how frequently the fire alarm goes off.
Especially because some of the "states' rights" issues involve state legislatures overruling more local jurisdiction--case in point, transgender bathroom law.
I'd prefer some real rust bindings instead of screwing around with qml.
Also Segwit will only give us the block size increase when people transfer their existing bitcoin funds to new Segwit wallets. This is expected to be a slow process so any block size gains probably will be too gradual to be helpful.
Fuck, they got me.