Howardism · Vol. 03Plate II · No. 02
Entity, tagged.
Notes21TagEntityOldest17 Apr 2026Newest23 May 2026
Every article tagged entity, newest first.
| Title | Summary | Date |
|---|---|---|
| AlphaProof Nexus | DeepMind framework for LLM-aided Lean proof generation; four agents (basic→full-featured); proof-sketch + EVOLVE-BLOCK interface; SafeVerify | |
| Andrej Karpathy | Co-founder OpenAI, ex-Tesla AI, Eureka Labs; coined "vibe coding," Software 1/2/3.0, "ghosts not animals," "agentic engineering"; originated the LLM-wiki pattern this vault runs on | |
| Campfire | AI-native ERP (YC S23) pulling customers off NetSuite; custom foundation model + agent platform; Series B (Accel/Ribbit); doubling ARR/quarter since Q4 2024 | |
| Fiona Fung | Leads engineering + product for Claude Code and Cowork at Anthropic (ex-Meta/Microsoft); "what served you prior may no longer"; rewrote team norms for the AI-native org | |
| Google DeepMind | Google's AI lab; built AlphaProof Nexus; Gemini models, AlphaProof, AlphaEvolve; opens the AI-for-mathematics domain in this wiki | |
| John Glasgow | CEO/founder of Campfire; 10yr corporate finance; founder-led-sales advocate; long-horizon "last job I'll ever have" | |
| Lean | Proof assistant whose compiler mechanically verifies every step; the `sorry` placeholder enables proof sketches; mathlib maturity gates the reachable frontier | |
| Claire Vo | Host of the "How I AI" interview series (ChatPRD); interviewed Thariq Shihipar; runs a parallel component-visualization practice for non-technical stakeholders | |
| Thariq Shihipar | Engineer on the Claude Code team at Anthropic; "HTML is the new markdown" and "compute allocator" framings; three HTML-first workflows | |
| Chloe Li | Lead author of MSM paper (arXiv 2605.02087); Anthropic Fellows Program; designed all specs and experiments | |
| Claude's Constitution / Model Spec | Anthropic Model Spec / Constitution by Askell et al.; document specifying Claude's values + hard constraints (SP1–3, GP1–2); now also a direct training input via MSM | |
| Anthropic | AI safety company / vendor of Claude; mission-as-tiebreaker culture; ~30–40 PMs across teams; Mike Krieger leads Labs round 2 | |
| Boris Cherny | Creator of Claude Code at Anthropic; phone-driven workflow with hundreds of agents; primary advocate of `/loop` primitive; "coding is solved (for me)" thesis | |
| Cat Wu | Head of Product for Claude Code and Cowork at Anthropic; primary articulator of AI-native product cadence and engineer-PM convergence | |
| Claude Code | Anthropic's agentic coding product; created by Boris Cherny late 2024; TypeScript/React; CLI/desktop/web/mobile/IDE surfaces; central tool across all 2026 sources | |
| Cowork | Anthropic's non-code knowledge-work agent product; sibling to Claude Code; output is decks/inbox/dossiers; same MCP/computer-use primitives | |
| Matt Pocock | Independent AI-coding educator; built Sandcastle library; smart-zone/grill-me/tracer-bullets pedagogical framing; "bad code bases make bad agents" | |
| Mythos Model | Anthropic preview-tier frontier model; gated for safety; used internally alongside Opus 4.7; descendant expected to ship publicly later | |
| Hermes Agent | Nous Research's CLI agent + Gateway daemon (Telegram/Discord/Slack/WhatsApp); AGENTS.md/SOUL.md context split, bounded memory files, DM-pairing auth, container-as-security-boundary model | |
| Symphony | OpenAI's open-source agent orchestrator (March 2026): turns Linear into a control plane for Codex, per-issue workspace, daemon-driven, SPEC.md-as-product, hedged 500% landed-PRs claim | |
| Claude Opus 4.7 | GA frontier model from Anthropic; direct upgrade to 4.6 at same price; literal instruction following, 1.0–1.35× tokenizer inflation, new `xhigh` effort, first post-Glasswing safeguards |