Jessica Kerr

The Systematic Verifier

“A systems thinker who treats verification before implementation as a moral principle, using AI-human collaboration to expose how the gap between stated intentions and guaranteed outcomes reveals the true architecture of any process.”

Cognitive Topology Analysis

12 dimensions · derived from linguistic patterns · computed, not summarised

Experience-drivenMeasured pragmatistFuture-orientedContrast-aware thinkerConcrete practitioner
ASSERTIVEPOLYVALENTFUTURECLAIM-DENSEDIVERGENTDIALECTICALABSTRACTRHYTHMIC
YouSimon Willison

Dimension Detail

Epistemic Confidence
Tentative—Assertive
Epistemic Diversity
Focused—Polyvalent
Temporal Orientation
Past—Future
Argument Density
Exploratory—Dense
Conceptual Leap
Convergent—Divergent
Dialectical Complexity
Linear—Dialectical
Abstraction Level
Concrete—Abstract
Intellectual Tempo
Steady—Rhythmic

Reasoning Source

AuthorityFirst PrinciplesExperienceEvidence

RECURRING THEMES

  • ◆Verification over instruction — guarantees over good intentionsUnique
  • ◆Determinism as a design virtue imposed on nondeterministic systemsUnique
  • ◆Scaffolding and meta-level work as the real leverage pointRare
  • ◆Ritual vs. sincerity — the value of bounded, performative commitmentRare
  • ◆Automation as behavior change, not just efficiencyUnique

OPEN QUESTIONS

  • ◆How do you guarantee correctness in a system you can't fully observe?Unique
  • ◆When does optimizing a component harm the system, and how do you even see that?Rare
  • ◆What is the right granularity of human oversight as AI does more of the work?Unique
  • ◆How do you translate genuine system value into narratives that unlock resources without lying?Rare
  • ◆Where is the boundary between teaching an agent and becoming dependent on it?6%

MENTAL MODELS

  • ◆Property testing vs. unit testing (correctness conditions over specific cases)Unique
  • ◆Validation-before-implementation (analogous to test-driven development at system level)Unique
  • ◆Cost-of-flow vs. cost-of-component (Nubank/Honeycomb systems economics)Unique
  • ◆Ritual vs. sincerity (from Seligman et al., applied to organizational and technical culture)Unique
  • ◆Incremental idempotency (recoverable steps as a principle of automation)Unique

INTELLECTUAL DNA

  • ◆Kent Beck / TDD lineage — verification shapes implementationUnique
  • ◆Gerald Weinberg-style systems thinking — optimize the whole, not the partsUnique
  • ◆Karl Popper (World 2 social constructs cited directly)Unique
  • ◆Cat Swetel / Agile economics traditionRare
  • ◆Pragmatic programmer ethos — automate the automation, not just the taskRare

BLIND SPOTS

  • ◆Rarely grapples with organizational resistance or political friction — solutions assume authority to implement themUnique
  • ◆Underweights the cost of scaffolding complexity accumulating over timeUnique
  • ◆The ritual/sincerity framework is applied enthusiastically but never stress-tested against cases where ritual calcifies bad practiceUnique
  • ◆Skepticism of AI sycophancy noted but not resolved — the 'creeps' feeling is flagged and droppedUnique

The Core Question

The question driving everything

How do you build systems that guarantee correct outcomes rather than merely intend them, when the agents executing those systems — human or AI — are irreducibly nondeterministic?

5

recurring obsessions

5

lineages traced

4

blind spots surfaced

Connect on Twitter →Get Your Fingerprint →
Share on XCompare

Your Intellectual Twin

The Pragmatic Chronicler

Simon Willison

“A pragmatic builder-chronicler mapping the exact boundary conditions where AI-assisted programming amplifies human craft versus corrupts it, using his own open-source tools as the primary laboratory.”

Why you match

Both both tend toward a consistent epistemic register.

Jessica relies more on independent reasoning, while Simon invokes named thinkers more.

◆ Human laziness as irreplaceable design virtue that LLMs structurally lack◆ The tension between agentic speed and architectural coherence◆ Open infrastructure as public good (SQLite, WebAssembly, open weights models)

View profile →

Others Who Think Like You

Lenny Rachitsky

The Pragmatic Taxonomist

A practitioner-curator translating the AI transformation of knowledge work into actionable frameworks for product builders, using taxonomic clarity as the primary tool for reducing decision paralysis.

→

Nicole van der Hoeven

The Visible Cartographer

A performance engineer turned public intellectual who uses observability tooling as a lens for the deeper question of how complex systems — technical and human — can be understood from the inside out.

→

Anne-Laure Le Cunff

The Calibrated Disassembler

A neuroscience-trained knowledge worker systematically reverse-engineering the gap between feeling like you understand something and actually being able to act on it, then designing practical tools to close that gap.

→

Nathan Baschez

The Pragmatic Vanguard

A practitioner-first media company mapping the transition from AI tools to AI teammates, with the assumption that shipping trumps theorizing.

→

Weekly digest