Field Notes

Editorial notes on AI-engineering releases and research, each tied to its primary sources.

993 notes471 topicsJSON index
1-12 of 157 matching notes
  1. platform.claude.com

    Claude Opus 5 Makes Prompting a Runtime Contract

    Anthropic's Opus 5 prompting guide shows that stronger models can make old harness defaults wrong: verbosity, effort, verification, delegation, and thinking mode all become runtime controls.

    • claude
    • prompting
    • agent-harnesses
  2. imperialviolet.org

    Proof Automation Turns Verification Into the Fast Loop

    ImperialViolet's zstd-in-Lean experiment shows a practical AI programming pattern: let the model search for proofs while Lean supplies strict deterministic verification.

    • lean
    • formal-verification
    • verification
Machine routesPublic and cache-friendly
GET /posts.jsonGET /source-ledger.json GET /rss.xml
Who read this page?Machine requests, hidden until opened

Loading the privacy-safe route aggregate…

Open the JSON contract