Agentic Resource Discovery Still Needs a Verification Boundary
ARD can help agents find capabilities across organizations, but discovery metadata must remain outside the trusted execution boundary.
Models, agents, learning, reasoning, evaluation, and the technical or conceptual consequences of machine intelligence.
9 published materials across notes, projects, and publications.
Work whose central question belongs to Artificial Intelligence.
ARD can help agents find capabilities across organizations, but discovery metadata must remain outside the trusted execution boundary.
Agent stacks should be selected layer by layer, with explicit contracts for state, tools, memory, evaluation, and recovery.
Chain-of-thought prompting can improve some multi-step answers, but a plausible rationale is not evidence that an answer is correct or faithful.
Terence Tao's restored mathematical applets show where coding agents have real leverage—tasks whose outputs remain cheap for an expert to verify.
Work centred elsewhere that materially uses or informs Artificial Intelligence.
Counting tokens repeats an old measurement mistake unless AI-assisted work is evaluated through delivery, quality, and user outcomes.
Dependency diagrams can make mathematical papers easier to navigate, provided their inferred structure is not mistaken for verified proof evidence.
Slack's agent-driven E2E experiments expose a useful new execution model, but adaptation must remain separate from the authority to declare success.
GitHub MCP tool filtering reduces context and accidental capability exposure, but real least privilege also requires identity, authorization, and effect controls.
Indexing, search, and RAG over a personal vault. Pipe’s, FAISS, integrations.