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. She came to software from
       mathematics and still treats a system as a set of claims to be
       proven: what must always be true, what may never happen, and
       which of those the code actually guarantees.

       She has kept live sports streams playing for millions of
       viewers, kept GPS updates in order at 100M+ requests a day, and
       kept customer data inside customer networks. 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. Asks "what
              must stay true here?" before "why is this line long?"

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)

$ curl sourcekitten.com