@veorq All BoringCrypto FIPS certs: boringssl.googlesource.com/boringssl/+/ma… (except for the latest ESV cert)
English
Adam Langley
3.3K posts
BoringCrypto not yet FIPS'd, right? aws.amazon.com/blogs/security…
English
@ptsi @shresbm @OfficialLoganK @Vish_owl (The model is automatically provided output instructions derived from the specified schema.)
English
@ptsi @shresbm @OfficialLoganK @Vish_owl Yes, the imposed ordering is a current limitation. However, there are other ways in which JSON examples in instructions can subtly conflict with the specified schema and so the best guidance may be to avoid including output examples in instructions.
English
On the Gemini API, for structured outputs we get a lot of feedback regarding non-strict schema adherence OR repeated tokens/gibberish output.
In a lot of these cases, the user is trying to pass the schema via text. If you instead switch to supplying the schema through the model config you will get strict adherence
#supply-schema-in-config" target="_blank" rel="nofollow noopener">ai.google.dev/gemini-api/doc…
English
@andrewb10687674 @OfficialLoganK You can certainly give instructions about the outputs, and mention the properties by name. It's just that concrete examples of JSON output can subtly conflict with the schema and seem to be best avoided.
English
@agl__ @OfficialLoganK how do I give examples then? Like what I wanted description to have SoME kINd oF WeIRd FoRMATTing?
English
I am online 7 days a week, ~8+ hours a day. If you need something as you build with Gemini, please ping me!
My email is lkilpatrick@google.com
English
@ptsi @shresbm It wants to follow the ordering in the examples, but is forced to follow the ordering of the schema. Making things required reduces the possibility that it'll try to output a property that's ordered before the current one. ai.google.dev/gemini-api/doc…
English
@andrewb10687674 @OfficialLoganK If you delete the JSON example in your instruction, I believe that quality will improve significantly. When using structured outputs, the model is always informed of the schema and so we recommend not including examples as they could conflict with it. #property-ordering" target="_blank" rel="nofollow noopener">ai.google.dev/gemini-api/doc…
English
@andrewb10687674 @OfficialLoganK The issue here is that properties are always ordered when processed by Gemini and, if an ordering isn't specified, then it's alphabetic. But your example has name first and the model is stuck because it wants to move on to the description but cannot because that comes first.
English
Adam Langley 리트윗함
Tariffs are external locus of control wussy stuff. A straight subsidy to low agency, lazy elites.
Eli Dourado@elidourado
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.
English
Adam Langley 리트윗함
How Chrome is planning on rolling on the final standardized version of Kyber / ML-KEM security.googleblog.com/2024/09/a-new-…
English
Adam Langley 리트윗함
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?
Bobby Allyn@BobbyAllyn
Statement from Scarlett Johansson on the OpenAI situation. Wow:
English
@Mr_TylerMorgan @StrongboxSafe @rmondello It might be a Thanksgiving project for me. However, note that browsers only discover that another provider exists when we see a credential from them at assertion time. I don’t know what the eventual strings will be, but a profile might label it “iCloud Keychain” until we do.
English
@StrongboxSafe @agl__ @rmondello Of course! I don’t know when the Chromium team will eventually fix it, but Adam might have a rough timeline. I can DM you his contact if you’d like.
English
Adam Langley 리트윗함
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:
Alec Muffett@AlecMuffett
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/108139
English
Adam Langley 리트윗함
We're pleased to announce the first official release of Lean 4!
Release notes: github.com/leanprover/lea…
Post on the community blog about future release cycles: leanprover-community.github.io
English
Adam Langley 리트윗함
Very cool: Chrome Beta (≥115.0.5748.0) supports post-quantum key exchange behind a feature flag.
English
Adam Langley 리트윗함
🔑🧵 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/documentation/…
English
Adam Langley 리트윗함
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/
English
Adam Langley 리트윗함
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/functional_pro…
English
@frgx @bradgirardeau @maxime_serrano @breditor I chatted with the team about this and this change was part of allowing uv=preferred to avoid requiring the local password on Macs without biometrics or in clamshell mode. This was a big plus for them but we hear you that you would like to avoid this extra UI step where possible.
English
@frgx @maxime_serrano Is it a context with an allowlist of credential IDs or not? Because in the later the problem is that the Touch ID dialog gives no indication about who you’re signing in as.
English
@maxime_serrano Yes please @agl__ 🙏🙏 this is a significant regression in usability of webauthn 😞
English