sourcekitten
curl sourcekitten.com/man
VANESSA(1)                    Engineers' Manual                    VANESSA(1)

NAME
       vanessa - backend engineer, recovering mathematician, team lead

SYNOPSIS
       vanessa [--design] [--prove] [--lead] [--teach] PROBLEM...

DESCRIPTION
       Vanessa reads the source first. Came to software from mathematics
       and still loves exploring what underlies any abstraction. Regards
       a system as a set of claims to be proven: what must always be
       true, what may not be allowed to happen, and which of those the
       code guarantees.

       She has kept customer data inside customer networks, kept GPS
       updates in order at 100M+ requests a day, kept compliance-critical
       ETL running over 20-60M-record data sets, and kept live sports
       streams playing for millions of viewers. She is happiest on
       backend and platform work where correctness, failure modes and
       operability matter, leading a team that can reason about all
       three without her in the room.

OPTIONS
       --design
              Starts from invariants and failure modes, then picks the
              boring technology that satisfies them.

       --prove
              Writes the argument down: a short design doc, a property
              test, or a comment explaining why the edge case can't
              happen. "Trust me" is not a proof.

       --lead
              Makes the reasoning visible so the team can own it.
              Measures success by how many decisions get made well
              without her.

       --teach
              Tutored CS fundamentals, taught data structures and
              algorithms, and has organized Seattle meetups since 2018:
              explains the hard thing plainly, then checks it landed.

       --review
              Code review as a conversation about intent, clarity, and
              (as always with engineering) tradeoffs.

EXIT STATUS
       0      The system does what it claims, and someone besides
              vanessa can explain why.

SEE ALSO
       curl sourcekitten.com, curl sourcekitten.com/resume.json,
       https://github.com/axiomista

sourcekitten                       2026                           VANESSA(1)