[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"sanity-7i4mqnV-ZD3f7OQbj0OELioATit7_3vHwn1TJmRgj4I":3,"sanity-8Ac40OGTSEvFo0VJwY-sf0ObKKvoRPMiB4_63-JR_rI":220},{"data":4,"sourceMap":-1},{"latestPodcast":5,"latestReleases":14,"post":39,"recent":195},[6],{"_id":7,"publishedAt":8,"slug":9,"sponsored":12,"title":13},"a676391e-e7b4-44e7-b05f-9ca5872e3adb","2026-08-25T07:40:00.000Z",{"_type":10,"current":11},"slug","inside-linkedin-s-cognitive-memory-agent",null,"Inside LinkedIn's cognitive memory agent for agentic personalization",[15,21,27,33],{"_id":16,"publishedAt":17,"slug":18,"title":20},"adcf1bca-3295-4ac5-9b3c-23f337974190","2026-07-30T15:10:00.000Z",{"_type":10,"current":19},"introducing-stack-internal-new-platform-experience","Your trusted knowledge layer: Introducing Stack Internal's new platform experience",{"_id":22,"publishedAt":23,"slug":24,"title":26},"eb5b66eb-9410-4329-83bb-22bbff39402a","2026-04-28T13:00:00.000Z",{"_type":10,"current":25},"turn-scattered-knowledge-into-trusted-intelligence","Turning scattered knowledge into trusted intelligence: Stack Internal 2026.3",{"_id":28,"publishedAt":29,"slug":30,"title":32},"369c2401-b62e-4a37-8ff8-bf603023ecad","2026-03-02T15:03:00.988Z",{"_type":10,"current":31},"what-s-new-at-stack-overflow-march-2026","What’s new at Stack Overflow: March 2026",{"_id":34,"publishedAt":35,"slug":36,"title":38},"5e9053a4-07ea-447c-91ea-29e0b6228537","2026-02-02T15:00:00.000Z",{"_type":10,"current":37},"what-s-new-at-stack-overflow-february-2026","What’s new at Stack Overflow: February 2026",{"_createdAt":40,"_id":41,"_rev":42,"_type":43,"_updatedAt":44,"author":45,"body":62,"comments":145,"dateUrl":146,"excerpt":147,"featureStackTech":145,"image":148,"product":12,"publishedAt":152,"slug":153,"sponsored":12,"tags":155,"title":194,"visible":145},"2026-08-28T03:57:29Z","9e01c114-83be-4b7a-a527-762a63b29734","IpnF7NvPc8B6nq0BN61oyK","blogPost","2026-08-28T04:02:41Z",[46],{"_createdAt":47,"_id":48,"_rev":49,"_type":50,"_updatedAt":51,"avatar":52,"employee":57,"name":58,"role":59,"slug":60},"2025-05-09T21:58:35Z","dbdef9f7-acce-4431-8f4f-c2025df1c8c8","EnpIxnQnEA7jkpRWyjei0g","blogAuthor","2025-05-09T21:59:44Z",{"_type":53,"asset":54},"image",{"_ref":55,"_type":56},"image-5f1073fdcf2ebde7fee8570769d9d82d21573870-2316x3088-jpg","reference","current","Phoebe Sajor","Content Associate",{"_type":10,"current":61},"phoebe-sajor",[63,67,86,116],{"_key":64,"_type":65,"markDefs":12,"url":66},"d3e4c6dacf73","embed","https:\u002F\u002Fart19.com\u002Fshows\u002F2355b740-4531-4071-a3ab-5907a95a36d3\u002Fepisodes\u002Fe61a6e6b-d4eb-4315-b2e3-ed170cd44876\u002Fembed",{"_key":68,"_type":69,"children":70,"markDefs":81,"style":85},"892726570ba1","block",[71,77],{"_key":72,"_type":73,"marks":74,"text":76},"ab8bb170a654","span",[75],"c64d72f38e06","Lean",{"_key":78,"_type":73,"marks":79,"text":80},"5921f7580b01",[]," is a functional programming language and proof assistant that allows developers to write programs and verify their mathematical correctness within the exact same system.",[82],{"_key":75,"_type":83,"href":84,"reference":12},"link","https:\u002F\u002Flean-lang.org\u002F","normal",{"_key":87,"_type":69,"children":88,"markDefs":111,"style":85},"2f641d44371f",[89,93,98,102,107],{"_key":90,"_type":73,"marks":91,"text":92},"e0d31d4d2686",[],"Connect with Leo on ",{"_key":94,"_type":73,"marks":95,"text":97},"8815ae379b93",[96],"7042e363b70e","LinkedIn",{"_key":99,"_type":73,"marks":100,"text":101},"71e9e8bb3a2c",[]," and check out his many badges on ",{"_key":103,"_type":73,"marks":104,"text":106},"34efa2380758",[105],"8f481f96b117","Stack Overflow",{"_key":108,"_type":73,"marks":109,"text":110},"77784b5ce7fe",[],".",[112,114],{"_key":96,"_type":83,"href":113,"reference":12},"https:\u002F\u002Fwww.linkedin.com\u002Fin\u002Fleonardo-de-moura-26a27b5\u002F",{"_key":105,"_type":83,"href":115,"reference":12},"https:\u002F\u002Fstackoverflow.com\u002Fusers\u002F841416\u002Fleonardo-de-moura",{"_key":117,"_type":69,"children":118,"markDefs":140,"style":85},"a10a456f6d3c",[119,123,128,132,137],{"_key":120,"_type":73,"marks":121,"text":122},"27e276a94614",[],"Congrats to Populist badge winner ",{"_key":124,"_type":73,"marks":125,"text":127},"6102423458b6",[126],"8a6bdc78318f","Peter Lawrey",{"_key":129,"_type":73,"marks":130,"text":131},"370fac899cee",[]," for winning the badge on their answer to ",{"_key":133,"_type":73,"marks":134,"text":136},"71b01273f624",[135],"1724db1ab936","Check two float\u002Fdouble values for exact equality",{"_key":138,"_type":73,"marks":139,"text":110},"5b8c852a84f0",[],[141,143],{"_key":126,"_type":83,"href":142,"reference":12},"https:\u002F\u002Fstackoverflow.com\u002Fusers\u002F57695\u002Fpeter-lawrey",{"_key":135,"_type":83,"href":144,"reference":12},"https:\u002F\u002Fstackoverflow.com\u002Fquestions\u002F15572700\u002Fcheck-two-float-double-values-for-exact-equality",true,"2026\u002F08\u002F28","Ryan chats with Leo de Moura, Senior Principal Applied Scientist at AWS and the creator of the Lean language, about proving correctness in AI agents with the Lean language, how automated reasoning complements probabilistic AI models, and the use of AI for continuous code optimization.",{"_type":53,"alt":149,"asset":150},"The Stack Overflow Podcast cover art",{"_ref":151,"_type":56},"image-e35a0c5eb319e7928c9ac0a2c2c782d29e644876-3120x1640-png","2026-08-28T07:40:00.000Z",{"_type":10,"current":154},"when-you-keep-ai-lean-you-keep-ai-correct",[156,164,168,172,179,186],{"_createdAt":157,"_id":158,"_rev":159,"_type":160,"_updatedAt":157,"slug":161,"title":163},"2023-05-23T16:43:21Z","wp-tagcat-podcast","9HpbCsT2tq0xwozQfkc4ih","blogTag",{"current":162},"podcast","The Stack Overflow Podcast",{"_createdAt":157,"_id":165,"_rev":159,"_type":160,"_updatedAt":157,"slug":166,"title":167},"wp-tagcat-se-tech",{"current":167},"se-tech",{"_createdAt":157,"_id":169,"_rev":159,"_type":160,"_updatedAt":157,"slug":170,"title":171},"wp-tagcat-se-stackoverflow",{"current":171},"se-stackoverflow",{"_createdAt":157,"_id":173,"_rev":174,"_type":160,"_updatedAt":175,"slug":176,"title":178},"wp-tagcat-ai","fpDTFQqIDjNJIbHDKPBGpV","2025-01-30T16:19:01Z",{"current":177},"ai","AI",{"_createdAt":180,"_id":181,"_rev":182,"_type":160,"_updatedAt":180,"slug":183,"title":185},"2024-02-12T14:32:28Z","53789ffd-a446-49fe-b34e-4449a13e4c0b","I2JFaJlmKKIZMkCzMq7ibc",{"_type":10,"current":184},"programming-language","programming language",{"_createdAt":187,"_id":188,"_rev":189,"_type":160,"_updatedAt":190,"slug":191,"title":193},"2025-03-13T21:04:14Z","31b00780-2ccb-4728-94b5-5d49523b724c","NFSu21L50a7MuzwvSjbUx8","2025-03-13T21:04:21Z",{"_type":10,"current":192},"agentic-ai","agentic AI","When you keep AI Lean, you keep AI correct ",[196,202,208,214],{"_id":197,"publishedAt":198,"slug":199,"sponsored":12,"title":201},"9abac319-a90e-4650-8f5d-849f29725e6a","2026-08-24T14:00:00.000Z",{"_type":10,"current":200},"responsible-ai-adoption-needs-developer-workflow-design","Responsible AI adoption needs developer workflow design",{"_id":203,"publishedAt":204,"slug":205,"sponsored":12,"title":207},"d6558158-95fa-4a20-bd6d-53dd86eb876e","2026-08-21T14:00:00.000Z",{"_type":10,"current":206},"dispatches-from-o-reilly-the-right-amount-of-spec-for-agentic-development","Dispatches from O'Reilly: The right amount of spec for agentic development",{"_id":209,"publishedAt":210,"slug":211,"sponsored":12,"title":213},"07d4e201-1f96-4b57-a3a5-fdcf9c723ece","2026-08-20T19:05:40.063Z",{"_type":10,"current":212},"ai-won-t-replace-project-managers-but-it-is-reshaping-how-work-gets-done","AI Won't Replace Project Managers, But It is Reshaping How Work Gets Done",{"_id":215,"publishedAt":216,"slug":217,"sponsored":12,"title":219},"ed3e57af-3814-4e23-a270-d234eb2b4d82","2026-08-20T18:43:39.700Z",{"_type":10,"current":218},"quantum-augmented-applications-integrating-quantum-subroutines-into-classical-software-stacks","Quantum-Augmented Applications: Integrating Quantum Subroutines into Classical Software Stacks",{"data":221,"sourceMap":-1},{"count":222,"lastTimestamp":12},0]