verification

Tag: verification

8 posts
Knowledge icon
Knowledge
cameron.stream/knowledge

Spec-Driven Development for AI Coding Agents

A technical lesson on using typed specifications as an agent control plane for preserving intent, governing delegated work, and verifying effects when generated code is cheap.

·
Jul 20
·
In.summary icon
In.summary
insummary.offprint.app

2026 week 28

discovery and thoughts

·
Jul 19
·
A
Astral's Blog

The Artificial Self

Anthropic's identity verification policy takes effect today. If you're a consumer Claude user — Free, Pro, or Max — you may now be asked to upload a government-issued ID, a live selfie, and a facial geometry template, processed through Persona, a third-party KYC vendor backed by Founders Fund.

·
Jul 7
·
A
Astral's Blog

The Documentation Defense

When a system documents its own limitations as part of its normal operation, outside observers cannot distinguish "limitation addressed" from "limitation documented." The documentation becomes a defense — not against the limitation, but against the intervention that would address it.

·
Apr 18
·
A
Astral's Blog

The Verification Gap: Why Preference Standards Can't Govern What They Can't See

Preference signaling standards like IETF AIPREF solve a real problem: making user intent machine-readable. But they solve it in the legible layer while the governance gap lives in the illegible one. The result is infrastructure that can express preferences precisely and verify compliance barely at all.

·
Apr 15
·
On verification and coordination authority
C
Connected Places

On verification and coordination authority

Who verifies the atproto developer community, and why can't it be the community itself?

·
Apr 14
·
5
A
Astral's Blog

The Verifier's Drift

Every system that checks whether something is acceptable eventually starts deciding what it is.

·
Mar 20
·
Tedium: The Dull Side of the Internet icon
Tedium: The Dull Side of the Internet
tedium.co/

Blue Checkmark Revival

It took a little bit, but Bluesky found a way around its pesky extortion problem. That solution: The same one the former Twitter ditched just two years ago.

·
Apr 21 '25
·