abhv

i hope we first lose people who post dumb essays on twitter.

at least he agrees that "he can't see the future"

there is just as much evidence for the opposite stance: AI can help us improve and formally verify every security reduction we use. As long as math allows some kind of trapdoor function, AI can help us produce the best crypto we can achieve from it.

This is a very impressive result. Bravo to that team.

I don't understand the negativity here.

He is a top expert on a security topic. Running Android platform security gives him an opportunity to have incredible positive impact for many people---which he did for a decade.

People weigh trade-offs.

At the beginning, he may have had high ambitions to deploy interesting, research-forward ideas to Android; at this point, he has accomplished a lot of that. Maybe now, he is considering other factors.

Guessing that people are only money-driven or have made some decision because of threshold personal wealth is awful, especially if you do not know them.

Almost all academics I know (I am one also) are driven by personal curiosity, intellectual ambitions, a need to identify and solve problems, and a strong desire for positive contribution. I know Rene and believe this to be true of him.

How to Stop Worrying and Start Using AI

20+2 (conditional support) versus 7.

22/29 = 76% in some form of "yea"

That feels like "rough consensus"

(1) in this case, an identity issuer provides the source of truth identity information. Examples include state DMV, your passport (you can try "Id pass" in Google wallet), etc.

(2) One of the goals of this project was to layer ZK on top of current identity standards that DMVs already issue, so that gov orgs don't have to change what they currently do to support the strongest user privacy. One example format is called Mdoc.

(3) The user holds the identity information on their device only. No other copies. The user's device makes the zkp proof on-device. This was one of the major technical challenges.

(4) The relying party (eg a website) runs the zk verification algorithm on the proof that is produced by the device to ensure soundness.

(5) Yes, the user can use any compatible implementation to produce the proof. We have open-sourced our implementation and we have a spec for the proof format that others can also reimplement.

-- ID passes in UK, Arkansas, Montana, Puerto Rico and West Virginia. -- ZK technology for age assurance.

successive keys on adjacent rows of your qwERTy keyboard

If you owe the bank $10m, the bank owns you. If you owe the bank $10b, you own the bank.

This is a case study for an undergrad statistics or responsible journalism class.

* for traffic see the small note "all values rebased to 100" they are likely hiding the significance of the increase

* for the app downloads graph: does the 30x gap say anything? are there seasonal reasons that can explain why every Jan1--Feb4 has more DLs than Feb4--Mar11 ? e.g., new phones?