Adam Langley retweeted
Tariffs are external locus of control wussy stuff. A straight subsidy to low agency, lazy elites.
American stagnation is not about anything foreigners are doing. It's about us overregulating the domestic real economy.
American stagnation is not about anything the Fed has done. It's about us overregulating the domestic real economy.
American stagnation is not about low science funding. It's about us overregulating the domestic real economy.
Every other thesis about American stagnation is wrong. It's about us overregulating the domestic real economy.
Adam Langley retweeted
How Chrome is planning on rolling on the final standardized version of Kyber / ML-KEM security.googleblog.com/2024…
Adam Langley retweeted
So let me get this straight. She is Black Widow and sued Disney, so you thought after she turned you down you'd mimic her voice without her and that would go how exactly?
Adam Langley retweeted
IN CASE YOU MISSED IT:
The EU — in private — amended draft digital identity regulation to create a legally-mandated surveillance backdoor in HTTPS.
Over 300 academics & tech experts TODAY publish an open letter calling on the EU to fix this + follow web standards instead:
Hot on the heels of #ChatControl and in the name of “identity” and “consumer choice” the EU seeks the ability to undetectably spy on HTTPS communication; 300+ experts say “no” to #Article45 of #eIDAS #QWAC alecmuffett.com/article/1081…
Adam Langley retweeted
We're pleased to announce the first official release of Lean 4!
Release notes: github.com/leanprover/lean4/…
Post on the community blog about future release cycles: leanprover-community.github.…
Adam Langley retweeted
Very cool: Chrome Beta (≥115.0.5748.0) supports post-quantum key exchange behind a feature flag.
Adam Langley retweeted
🔑🧵 iOS 17, macOS Sonoma, and passkeys (1/n)
Password manager apps can now save and sign in with passkeys across the entire OS — all apps and websites — by integrating with the AuthenticationServices framework's updated Credential Provider Extensions! developer.apple.com/document…
Adam Langley retweeted
It's time for passwords to get an upgrade. We've rolled out support for passkeys to sign in to Tailscale, for an even more secure log in experience tailscale.com/blog/passkeys/
Adam Langley retweeted
Functional Programming in Lean is now done!
This is an online book on using Lean 4 as a programming language that doesn't assume you already know Haskell, Rust, Coq, Idris, or Agda.
Thank you to everyone who provided feedback along the way!
leanprover.github.io/functio…
Android 14 supports 3rd-party passkey providers via its Credential Manager[1] and here's 1Password showing it working.
[1] android-developers.googleblo…
Passkeys are coming to 1Password for @Android soon!
Starting with Android 14, sign in securely on sites in @googlechrome and also create, store, manage, and sign in to to your favorite apps directly in 1Password.
Adam Langley retweeted
NEW: I’m not sure people fully appreciate how dire the US life expectancy / mortality situation has got.
My column: enterprise-sharing.ft.com/re…
And some utterly damning charts.
1) at *every* point on the income distribution, Americans live shorter lives than the English.
Adam Langley retweeted
This open letter — ironically but unsurprisingly — further fuels AI hype and makes it harder to tackle real, already occurring AI harms. I suspect that it will benefit the companies that it is supposed to regulate, and not society. Let’s break it down. 🧵futureoflife.org/open-letter…
Adam Langley retweeted
Hyrum’s Law applies, even when you take into account Hyrum’s Law.
Go's map iteration order is random to prevent dependence on its order. Then someone made a load balancer depend on its randomness. But it wasn't random enough.
news.ycombinator.com/item?id…
Adam Langley retweeted
First release of libjade, a library for (post-quantum) crypto written in the jasmin programming language and aiming at high-assurance PQC: github.com/formosa-crypto/li…
Joint work of many people as part of formosa-crypto.org/.
