SearcharxivSearch

arXiv subjects

Matteo Marescotti

Publications and source records attributed to Matteo Marescotti.

2 recordsLinked to original sources

WhatsCode: Large-Scale GenAI Deployment for Developer Efficiency at WhatsApp

The deployment of AI-assisted development tools in compliance-relevant, large-scale industrial environments represents significant gaps in academic literature, despite growing industry adoption. We report on the industrial deployment of WhatsCode, a domain-specific AI development system that supports WhatsApp (serving over 2 billion users) and processes millions of lines of code across multiple platforms. Over 25 months (2023-2025), WhatsCode evolved from targeted privacy automation to autonomous agentic workflows integrated with end-to-end feature development and DevOps processes. WhatsCode achieved substantial quantifiable impact, improving automated privacy verification coverage 3.5x from 15% to 53%, identifying privacy requirements, and generating over 3,000 accepted code changes with acceptance rates ranging from 9% to 100% across different automation domains. The system committed 692 automated refactor/fix changes, 711 framework adoptions, 141 feature development assists and maintained 86% precision in bug triage. Our study identifies two stable human-AI collaboration patterns that emerged from production deployment: one-click rollout for high-confidence changes (60% of cases) and commandeer-revise for complex decisions (40%). We demonstrate that organizational factors, such as ownership models, adoption dynamics, and risk management, are as decisive as technical capabilities for enterprise-scale AI success. The findings provide evidence-based guidance for large-scale AI tool deployment in compliance-relevant environments, showing that effective human-AI collaboration, not full automation, drives sustainable business impact.

cs.SE

Integration of Superforms and Super-Thom Class

We address the basic problem of constructing the Thom class for a supermanifold. Given a cohomological class of a supermanifold and the restriction of the supermanifold to its bosonic submanifold, the Thom class gives a prescription to define the integral over the bosonic submanifold in terms of the integral over the entire supermanifold. In addition, we provide some new interesting examples of supermanifolds obtained by extending a given bosonic manifold, we discuss the construction of superforms of special type (which transform as Berezinian under change of supercoordinates) and we define the de Rham cohomology. We review the construction of the Thom class in the conventional geometry and we discuss the extension to the supermanifolds. Then, we compute explicitly the Thom class for the case of CP^{(1|2)} and, as expected, the result is singular. We provide a regularization technique to handle the fermionic Thom class in practical applications. We conclude with some remarks about Calabi-Yau spaces and their embedding into super-CY.

hep-th