skysight-inc/HackerNews huggingface dataset:
I get that evaluation is always implicit (or at least implicitly assumed to happen). My quarrel is with "evaluation == program == computation", and even more with the reverse: "a number == computation that would produce the number, therefore number == computation".
This is one basis of the fentanyl crisis in BC, eg http://www.theglobeandmail.com/news/british-columbia/north-v...
I remember Tavis tweeted Friday night asking for a cloudflare engineer to contact him, and everyone joked that the last thing you want on a Friday evening is an urgent message from tavis ormandy.
Or your education.
HoTT doesn't build on any notion of omega groupoids; at the lowest level it's a collection of typing and computation rules which one can apply successively to do proofs and constructions. The resulting constructions can be interpreted as talking about properties of spaces. The rules themselves are very stripped-down and abstract when viewed in a homotopical light, like "every path can be retracted to an endpoint" or "the interval has two points and a path between them". Originally the basic rule for reasoning about paths ("path induction") was intended to allow construction of equality proofs between elements of types. Later people discovered that equalities can be interpreted as paths in spaces (and equalities of equalities as homotopies and so on).

Remarkably, the four typing rules of equality suffice to generate all homotopical reasoning in classic HoTT. However, they aren't enough to prove univalence as a theorem, or at least no one knows how to do it. If we switch to cubical type theory, we get considerably more structure which allows us to prove univalence. But cubical type theory is also "synthetic" and builds up notions of spaces from ground-up.
The title is "Alphabet's Waymo Alleges Uber Stole Self-Driving Secrets". I hope the mods can change the HN article's to that.
I don't know where you get the idea that you can't just pretend you're running in RAM forever. If you look at the main goal of EROS you can see that is the point.

Check out http://wiki.c2.com/?TransparentPersistence
Yea, the title here is off. The lawsuit is over stealing secrets, not patents. Patented information is involved, it seems.
Other people are saying this in other ways in the thread, but the race is what someone makes of it. If what someone cares about is their place, and that's all that's important, I can see how what I wrote could be black and white. But for a lot of people, especially as the race distance gets longer unless one is on the podium one's place really doesn't matter for a race to be important, and it isn't worth caring much about whether someone is cheating.
> I was confused as to what stealing a patent actually meant

Indeed. The current title of the article is

> Alphabet's Waymo Alleges Uber Stole Self-Driving Secrets

Secrets, not Patents. If patents was the original title perhaps the author was confused.
Could a mod change the title to "Alphabet's Waymo Alleges Uber Stole Self-Driving Secrets", which is what the Bloomberg article says (for now)?
Deelo – A Google/Siri Hybrid
I mean, most of her claims she explicitly mentions having a paper trail. There is probably many legal reasons why she couldn't directly posted the private email and Slack conversations to her personal blog. However, no one is stopping Uber from presenting evidence contrary to her narrative.
Apologies. Yes, I meant it in the general sense.
Neither this thread nor the Cloudflare blog post include concise steps for customers who were exposed.

There's an argument for changing secrets (user passwords, API keys, etc.) for potentially affected sites, plus of course investigating logs for any anomalous activity. It would be nice if there were a guide for affected users, maybe a supplemental blog post.

(and yet again: thank you Google for Project Zero!)
Autocorrect replaced "having an actual keyboard on your phone where you could just type in exactly the letters you actually meant", which was the really nice way things worked before the iPhone came along and destroyed the market for BlackBerry-style devices. Alas.
Interesting idea but there's the issue of similar sounding words when communicating orally. "gab, with a 'b' or gap, with a 'p'?". There's a number of these occurrences in this word list.

An alternative is Oren Tirosh's mnemonic encoding [0] project. It has 1633 words that were chosen specifically because they are short (4-7 characters), phonetically different, easy to understand over the phone, and recognizable internationally.

[0]: http://web.archive.org/web/20090918202746/http://tothink.com...
Step 1) MITM the entire Internet, undermining its SSL infrastructure, build a business around it

Step 2) leak cleartext from said MITM'd connections to the entire Internet

I recently noted that in some ways Cloudflare are probably the only entity to have ever managed to cause more damage to popular cryptography since the 2008 Debian OpenSSL bug (thanks to their "flexible" ""SSL"" """feature"""), but now I'm certain of it.

"Trust us" doesn't fly any more, this simply isn't good enough. Sorry, you lost my vote. Not even once

edit: why the revulsion? This bug would have been caught with valgrind, and by the sounds of it, using nothing more complex than feeding their httpd a random sampling of live inputs for an hour or two
That was my tweet believe it or not. I had to turn notifications off on my phone because out of nowhere it was getting bombarded with shares/likes...
Agreed. I use Eclipse daily and Android Studio, fresh install, one project, feels mybe 50% as fast as Eclipse with several plugins, several projects open.

The delay between typing and actions is just too much.

Maybe I'll try it again when Android Studio v3 comes out.
Why We Need to Stop Obsessing Over CEO Pay Ratios
There's something very wrong in the world when the people who invent things aren't the main beneficiary of their own inventions.

Edit: A guy downloads 9.7GB of other people's work, walks off with it, and sells it. Flushing years of work from hundreds of engineers down the toilet. You down voters really support that? Amazing.
$500 per 4hrs, is $125/hr; a working year is about 2000 working hours, so if sustained it's about $250K/year, not $750K.

OTOH, what was actually referenced in GPis $500/hr, which sustained is $1M/yr.
> stole 14,000 highly confidential documents from Google before departing to start his own company

Did they lock down access or were they all on google docs?
That argument to UberClient() looks like an API token. Did you mean to leave it in there for the world to use?

https://github.com/jaebradley/uber-cli/blob/master/src/servi...
What part of the Constitution gives the United States power over marijuana, recreational or not? If it required amendments to outlaw alcohol and slavery, why doesn't it require an amendment to outlaw marijuana?

If the United States have no power over marijuana, then the several states, or the people thereof, retain it.
Judge: No, feds can’t nab all Apple devices and try everyone’s fingerprints
> Ah but did you witness it?

Of course not. The comment I was replying to was saying (paraphrased) that this is typical, every company has these kinds of accusations, and I'm disagreeing and saying no, this isn't typical, either she made all this up out of whole cloth or Uber is an especially bad outlier.

> But is a "claim" evidence and should we assume it is by default "truth"? This is the crux of the issue.

That is emphatically not the issue, no one in this thread suggested that she should be believed (or disbelieved) uncritically. This stuff is murky enough to discuss without strawmen!
It will be interesting to see what happens if a recreational drug user mounts a defense based on the 10th amendment -- that the federal govt has no jurisdiction over intrastate drug use.

100 years ago, we thought a constitutional amendment was necessary to ban a substance within a state.
This to me is a really compelling argument, I wish this approach was more common.

A nitpick:

> I laugh at the idea that scientists...have a "huge monetary incentive" to push this "agenda"

I'm guessing a bit at what you're thinking here, but I think it could be argued that not losing your job could be considered a "huge monetary incentive". I've certainly experienced extreme "peer pressure" to sign off on something that I disagree with before, the idea that office politics literally doesn't exist in the field of science seems quite unlikely to me.
Depends, are you asking about the parent poster's statement literally, or are you asking about the more general point of finding investors who have principles and integrity and are willing to hold you to them?
Well, it's pretty easy to say that math started with the counting numbers. It's not much more of a reach to say that when we were counting some collection of things, we were counting the elements of a set. So saying that sets are the foundation of mathematics is, historically, quite natural.

Weak omega groupoids? Not so much.

[Edit: Excellent ELI5, though. Thanks.]
I think this is a good idea. Not because I think it's good policy, but because the current situation is ridiculous and promotes the uneven application of law. I don't believe federal possession statutes are constitutional, and even if they were I don't think they're good policy, but laws should either be enforced or struck from the books.
Transitioning to stronger hash function in BitTorrent
I think you're right. I read the book first and the movie was disappointing, while the friend with me who hadn't read the book was pleasantly surprised.

A fun alternative is the unabridged audiobook, read by the author. Now that is great fun on a long drive!
Our CNAME pointing to github pages was down on Cloudflare today with a 1014 error. I'm guessing they broke some other stuff while scrambling to fix this privacy issue? Not a good day for them.
I have a very different take - I'm a co-founder of a Kapor portfolio company & sent Mitch & Freada a note today thanking them for speaking up. I want investors who are patient and supportive (and my experience with the Kapors has been excellent in this regard), but also investors that hold portfolio companies accountable when necessary.
Isn't it illegal to comment on matters before the court or due to appear before the court?
How does Google build such forsenics? Do they have spyware monitoring all their company laptops?
Donald Trump Doesn’t Want Your Opinion on the Media… Just Your Money
Is it possible a majority of miners sell their block rewards immediately and have little investment in the long term success of Bitcoin? I know they have hardware investments to recoup, so I'm sure there are many sensitive variables in their financial equations.

If their hardware is viable for an altcoin then it seems like increasing the Bitcoin block size would not be in their best interest. Why not maximize shortterm Bitcoin profits and hedge long term profits with altcoins?
The Supremacy Clause is immaterial, because while — yes — federal law overrules state law, that only matters if the law itself is constitutional. The Congress has no authority to ban marijuana from intrastate trade: that power is simply not given to it anywhere.
Because Uber hired experienced people from CMU (who probably also brought gigabytes of files with them).
Independent experiments and controls. AKA, literally the basis of experimental science.

Let's say you want to know where a protein localizes in a cell, of a given tissue, in both mutant and wild-type organisms.

* Immunolocalization. You develop antibodies to the protein of interest, fix and mount tissue, perfuse it with the antibody, and use a secondary antibody to make it detectable.

* Fluorescent tagging. You make a construct with your protein fused to a fluorescent protein. Usually this involves trying a few different tagging strategies until you find one that expresses well. Then you can make a stable transgenic, or try a transient assay. If it works, then you see some nice glowy confocal images. Be careful, though, as the tagging can affect protein localization.

* Fractionation. In some cases, you can get a rough idea by e.g. extracting nuclei and doing a simple Western blot to see where the protein shows up.

In the real world, you might start with the FP-tag and see that your protein is absent from the nucleus in your mutant. Which would be cool, and interesting in terms of figuring out it's function. If that was presented as the only result, I'd reject the paper and think the authors are terrible investigators. I'd want to see, at least, some nuclei preps that detect the protein in the WT, and don't in the mutant. I'd love to see immunos, too, as FP often does mess up the localization.

You can take it even further and start doing deletions. You take the protein and crop bits out to see what happens. You should see stuff like removing the NLS makes it stop going to the nucleus. That's a good sanity check and a sign your methods are working. You can also try to mess with active sites, protein-protein interaction domains, etc. etc. All within a theoretical model of what you think is going on in the cell.

Ultimately, the difficulty of replication isn't that troublesome. An inability to do so is, but science has never been easy. That's what you sign up for, and that's why you need to read papers critically. You get a sense of distrust for data unless there's really solid evidence of something. And when you find that solid evidence, you get a big smile and warm feeling in nerd heart.
I have never even thought of that as a use. Interesting! Gonna try this next time I'm at elevation.
I have doubts what was stolen was actually any of the secret sauce. An interface board for a lidar unit is probably one of the most simple things on the list.

The actual self driving software, and more importantly, all of the collected data from the waymo fleet would have been the key.
Larger block sizes allow more transactions, so although per-tx fees will be lower, there will be more transactions.

The computational costs of larger block sizes are borne on the entire network, however the effects are most severe for miners as larger blocks tend to increase the profitability of large geographically-close pools in comparison to small pools [1]. This is why segwit is only an increase to ~2.1MB.

[1] http://bitfury.com/content/5-white-papers-research/block-siz...
Places like Austin, Atlanta, Provo, etc., were not "underserved" relative to Bay Area cities before Fiber. I lived in Atlanta in 2007--we had the same Comcast packages you could get anywhere else.

The difference between Atlanta and Menlo Park is not that Comcast had better service in Menlo Park. It's that Atlanta is in a low-regulation red state and was willing to give tons of concessions and waive requirements it imposes on everyone else.

Moreover, deployment in most Fiber cities has gone forward without litigation. There was no major litigation in Kansas City, Provo, etc. I think the OTMR lawsuits are stupid, but pointing to them as the reason why Google is pulling back on fiber is willful blindness to the obvious. Google is pulling back on fiber because there isn't enough money in it.
Law Enforcement Using Facebook and Apple to Data-Mine Accounts of Protesters
I'd like to see you enter a Google data center and try to steal data.
Phase 3 is Profit!
How does such a simple bug not get picked by auto tests, ci or end to end tests? I am baffled. Since we are behind cloudflare, I am not sure what I should tell my manager now. I lack the technical know how to parse that extremely technical article. Are we supposed to just assume all our traffic that passed via cloudflare is possibly compromised?

It's also a bit sad that travis has to contact cloudflare by twitter. Seriousy?

Edit: https://twitter.com/taviso/status/832744397800214528 is the tweet in question
Would you use this product?
A Marketplace for live learning, help, and advice.

Through webinars and one-to-one sessions, the app allows seekers to get real-time help via voice or video chat on anything from math and essay writing to development, marketing, and start-up advice.

It's more than you think!

Features in the live session include an interactive whiteboard, text editor, code editor, and screen sharing. So you can collaborate better.

So the question is would you use this product if you found the ideal expert for you?
I nearly snorted my morning coffee when I read:
> Shit's legible and gets your f...ing point across (if you had one instead of just 5mb pics of hipsters drinking coffee)

So good. For the record I'm a programmer, not a hipster. ;)
How could he possibly justify the loss in income and jobs which is a cornerstone of his platform? Someone should present the economic opportunity cost to him in a very clear manor and I think the decision will become clear.
A Glimpse into GitHub’s Bug Bounty Workflow
How can I find such co-op apps?
This sounds like you're going after similar things as mindfulness meditation.
There is a US News article[1] that references a study by the AJPH[2].

[1] https://www.usnews.com/news/articles/2016-09-15/study-opioid...

[2] http://ajph.aphapublications.org/doi/abs/10.2105/AJPH.2016.3...
Also, r/politics is just basically an anti-Trump subreddit now. Long also, it was a neutral political news reporting sub with a policy for not editorializing the titles of submissions.

Bias, no matter which side of the aisle it strays to, is just a turn off.
I haven't seen a single bitcoin exchange that is stable and trustworthy enough to put your money in (Mt. Gox used to be the biggest and most reputable and we all know how that turned out). Converting from your real currency in to and out of bitcoin is still very difficult. Almost every exchange gets hacked sooner or later or gets shutdown due to government regulations.
Had to edit title to meet HN length requirements. More accurate alternatives welcome!
... for a small fraction of users.
> The best thing would be if one could prove a mathmatically incompatible set of counter functions where data colliding in the hash of one function would prevent the other function from validating correctly.

I'm a rank amateur, so this is completely outside of my wheelhouse, but this sounds suspect. I don't think you can make hash collision impossible, even with multiple functions, unless the combined hashes contain as much data as the originals or the combined functions have restricted inputs. The point of hashes is making collisions hard, not mathematically impossible - the latter is, I believe, itself impossible.

Like I said, I'm totally unqualified to speak on this, so I may well be missing something here.
remember YC's bluster about the Cruise co-founder lawsuit, right before they had to settle for dozens/hundreds of millions?

Is this a guess?

http://www.businessinsider.com/car-startup-cruise-settles-le...

A representative for Guillory declined to discuss the settlement amount, but said the terms were "mutually agreeable." As part of the settlement, the parties have both agreed to dismiss their lawsuits.
Gotta reboot the system.
I think he already has a job at BoingBoing.
Not a lawyer, but did go to law school. I definitely see why the author of the original paper found this interesting (and it's infinitely more interesting that 99.9% of law journal articles). I also agree that it's an arguable loophole that should be closed.

That said, there's an entire branch of law related to moving trials amongst jurisdictions, oftentimes to venues with very, very tenuous relationships to the crime. If any part of the crime took place somewhere that had an ability to seat a jury (and judges have ruled that things like purchasing an item used in the crime can qualify in some cases), the prosecutor wouldn't have much trouble getting it removed there.
What kind of employee would download 14K files to a personal drive right before quitting? It is trivially easy to watch what files get copied over to external drives.

I think you can follow the money trail here and find some answers for sure. Now if Uber/Otto has a clause that prohibits employees from bringing in confidential data from previous companies, how can they be held liable? Does Google have to prove that those stolen documents were actually used in Uber designs?
> One of the advantages of being a service is that bugs can go from reported to fixed in minutes to hours instead of months. The industry standard time allowed to deploy a fix for a bug like this is usually three months; we were completely finished globally in under 7 hours with an initial mitigation in 47 minutes.

Great, that makes me feel so much better! I'm sorry, don't try to put a cherry on the top when you've just leaked PII and encrypted communications.

Additionally, most vendors in the industry aren't deployed in front of quite as much traffic as CloudFlare is. It's a miracle that ProjectZero managed to find the issue.
1KB = 1000Bytes? Fuck Off.
But the relationship between block size and per-tx fee is based upon the amount of competition between txs, not absolute tx volume. So if the block size is raised high enough to accommodate the current rate of txs with no competition, the fees don't just fall proportionally: they fall to near-0.

The higher the tx backpressure, the higher the fees. The larger the block size, the lower the pressure regardless of overall tx volume.
Look for hung mds (spotlight indexer) threads. They can get hung up and fail Un-gracefully with some files.

I had a client whose app generate PDFs that would cause this to happen.
Services like TransferWise and Xoom are great, provided both parties have access to good banking services. But, a lot of the remittances market is people working in a foreign country sending money back home to people who may well be unbanked. Some of the startups targeting that market, using bitcoin as the transfer layer, are pretty interesting.
> but all adults I know that are actual sufferers from ADHD to the point of disrupting their adult lives, struggle to find treatment, with the usual excuse from doctors being that the meds are "too dangerous" (then why give it to the kids by the boatload?)

Not that I'm excusing this, but aren't most ADHD drugs powerful stimulants that are similar to street drugs? Adults would have the autonomy to abuse them, but most kids would not, and that might one way that they're "dangerous" for adults but not children.
Step "What does secure mean anyway") SSL terminate even sites that are not sending data to Cloudflare securely
Direct link to the complaint: https://drive.google.com/file/d/0B7dzPLynxaXuQjY3dkllZ2ZKb0k...
There are 1000s of businesses in Washington State, employing 1000s and generating 100MM+ in tax revenues.
> It will be interesting to see what happens if a recreational drug user mounts a defense based on the 10th amendment -- that the federal govt has no jurisdiction over intrastate drug use.

It's already been tried and failed with medical marijuana, Gonzales v. Raich (2005). And, for that matter, commercial wheat farming, in Wickard v. Filburn (1942).

It's unlikely recreational marijuana would result in a different result.
Maybe it's not a loophole... maybe it's by design... and maybe that's why it hasn't been fixed!

/Sarcasm, but not totally
Is it just me or is the font on medium.com super blurry?

Also, how did google know he downloaded all the stuff through some software?
Infringement of patents (the ’273 patent, entitled “Microrod Compression of Laser Beam in Combination with Transmit Lens")
That may be true, but we've come a long way. Coinbase insures all currency they store in online storage, and offline storage is significantly more secure and less hackable. USD in Coinbase accounts is FDIC insured too! It's not perfect, but we've certainly come closer to a safer exchange world.