Srikanth Sastry
Srikanth Sastry

I am Srikanth Sastry. I am currently an engineering lead at Meta working on privacy infrastructure. Before Meta, I was a software engineer at Google in Cambridge, MA, and before that a postdoctoral associate with Nancy Lynch at CSAIL, MIT. Prior to that, I received my PhD from Texas A&M University.

My professional interests include distributed system design, software engineering processes, and building engineering teams. I also maintain a digital garden — a collection of evolving ideas and notes that complement my blog posts.

In a previous life, during my years in academia, I worked on distributed systems, networking, fault tolerance, and algorithm design and analysis. My list of publications are available on DBLP.

Recent Writing

All 69 posts →
The Hidden Directive Gap

The Hidden Directive Gap

Spec-Driven Development shifts the job from writing code to defining what correct means. But it hides a trap: the spec looks stable until you change the model. The fix is to treat spec and code as co-artifacts and use the new model as an observer.

11 min

From the Garden

All 107 notes →

AI Collapses the Economic Moat of Clean-Room Reimplementation

🌳

The copyleft moat was never purely legal. It was economic: compliance was cheaper than reimplementation. AI collapsed that cost.

ai-open-sourcereplicatorcopyleft

AI Reviewing AI: Shared Blind Spots

🌳

AI models reviewing AI-generated code share systematic blind spots with the generator, creating gaps that neither side detects.

guardrail-erosionai-reviewblind-spots

AI Security Cost Asymmetry Favors Closed Source

🌳

AI equalizes the defender's security cost across open and closed source but varies the attacker's cost by source availability. This inverts Linus's Law.

ai-open-sourcesecuritycost-asymmetry

Align Alerts to SEV Criteria

🌳

Alerts should fire at or near the threshold where an SLO breach would occur, not well before.

operationsalertingmonitoring

Architecture Orphaning

🌳

Architecture orphaning is the phenomenon where architectural decisions fall between layers that neither specs nor AI agents can govern.

software-architectureAIsuggestible-actor

Backward Compatibility for Leaky Abstractions

🌳

When a framework leaks implementation details (like serializing arguments at schedule time but loading code from HEAD at execution time), changing a function signature breaks the assumption that old code calls old signatures.

software-engineeringbackward-compatibilityleaky-abstractions

Categorical Ambiguity of AI Agents

🌿

AI agents resist relational stabilization because their social cues are rich but inconsistent.

human-ai-interactionsocial-cognitionontological-ambiguity

Directive gap closure is indistinguishable from aligned confabulation

🌿

When iterating on a spec, convergence against a model's confabulation pattern is indistinguishable from convergence against intent.

suggestible-actorspec-driven-developmentdirective-gap

Relational Mode Oscillation in Human-AI Interaction

🌿

Users of LLMs unconsciously oscillate between five relational modes — Director, Trainer, Partner, Student, Consumer — within single interactions, often within minutes.

human-ai-interactionrelational-dynamicscognitive-load

Reverse-Pass Observer Role

🌿

Using the model as observer that describes deviations rather than judge that declares conformance.

suggestible-actorspec-driven-developmentevaluation