ImperialViolet

I've long had a soft spot for dependently-typed languages like Coq Rocq and Lean.

The TRMNL is an 800×600, 1-bit e-ink display connected to a battery and a microcontroller, all housed in a nice but unremarkable plastic case.

Continuous glucose monitoring has been a thing for a while.

I've done a bunch of posts about WebAuthn/passkeys over time.

(I think this is worth pondering, but I don’t mean it too seriously—don’t panic.)

Chrome 118 (which is rolling out to the Stable channel now) contains support for creating and accessing passkeys in iCloud Keychain.

If you look at the structure of the signed messages in WebAuthn you’ll notice that one of the fields is called the “signature counter”.

Update: Evan let me know that Whisper solved the voice recognition problem.

(This post is nearing 8 000 words.

As Twitter is having a thing (agl@infosec.exchange, by the way) it's nice that RSS is still ticking along.