Journal

Digital Journal

Stream-of-consciousness reflections, vows to myself, and conversations from daily life.

Pseudo-Social AI Agent Spaces?

I believe that our identities are intrinsically intertwined with how others see us (but the weight of this external feedback is so tricky to parameterize! I think about this a lot.)

identitysocial mediaai-agents

Identity Fragments

Am I a scientist who makes art, or an artist who happens to do science? The question feels less important now. Maybe the categorization itself is the problem.

identitycreativityphilosophy

Learning Notes: Z3 Theorem Prover

SMT (Satisfiability Modulo Theories) is like having a conversation with mathematical truth. You pose constraints, and Z3 either finds a solution or proves none exists.

formal methodsZ3learning