Microsoft Research introduces GridSFM, an open foundation model designed to accelerate power grid analysis. By combining open data, machine learning, and physics-based modeling, GridSFM provides millisecond-level approximations of AC Optimal Power Flow (ACOPF) solutions, enabling faster scenario evaluation, planning, and research for increasingly complex energy systems.
Rania Khalaf, Chief AI Officer at WSO2 and formerly a long-time leader at IBM Research, shares a framework for a role that is still being defined. She covers the Scientist, Architect and Coach focus areas, how the balance shifts by company type and AI maturity, and why she measures AI adoption, agent readiness and market signals instead of token counts. She also addresses the need for CEO backing and the question of who should own AI.
Leonardo de Moura discusses Lean's journey, from its strict "cathedral model" of core development to its current extensibility. He reveals insights from the Collatz exploit, showcasing AI's role in uncovering kernel vulnerabilities and the critical need for robust formal verification. The conversation highlights AI's transformative impact, from generating complex, optimized code (like the zlib proof) to its limitations in true creativity, emphasizing the enduring human responsibility in defining specifications, curating knowledge, and maintaining trust in an AI-assisted future for software and mathematics.
A live talk from the Lenny and Friends Summit with OpenAI's Tara Seshan and Nan Yu and host Claire Vo on building AI products when both technology and user expectations change rapidly. Topics include shipping imperfect features (the ChatGPT "toggle"), the 2 to 3 month model-capability horizon, enterprise absorption limits, single versus multi-agent design, platform layering with computer use as a fallback, working with research through evals, direct user relationships, and predictions for voice, proactive agents, and hardware.
David Lomet presents latch-free notices as a way to make index trees scale under high contention. Notices let contending threads elect a single winner early, so that the expensive work of consolidating pages, splitting nodes, and merging nodes is done once rather than redundantly, while the notice also guards the state being replaced and routes concurrent updates. The talk covers latch-free basics with CAS, the cost of delta chains, and detailed walkthroughs of consolidation, splits, and merges in the Bw-tree.
Atlassian's Tamar Yehoshua explains what the AI builder era looks like for product managers in a company of more than 10,000 people. Using Confluence, RovoClaw, and Jira as examples, she covers when PMs should write code and prototypes, when they should steer the team instead, and how Atlassian is building AI fluency in its PM organization.