[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"sanity-gNd07Om9y3B-dlILOXHQ9vlLLznLZwQF10DeZ4mncV0":3,"sanity-a7E9oagyfR8YCLFnlIR8IMZ65z9nXuqRhP9O18j8S7w":213},{"data":4,"sourceMap":-1},{"latestPodcast":5,"latestReleases":14,"post":39,"recent":188},[6],{"_id":7,"publishedAt":8,"slug":9,"sponsored":12,"title":13},"2ebc4597-984e-45d4-9b81-cb2a0046cdb8","2026-10-13T07:40:00.000Z",{"_type":10,"current":11},"slug","keep-calm-and-call-clone-with-rust",null," Keep calm and call clone with Rust",[15,21,27,33],{"_id":16,"publishedAt":17,"slug":18,"title":20},"7a2d88e5-ee53-4f7c-a46e-47bed1cebadf","2026-09-30T16:00:00.000Z",{"_type":10,"current":19},"anyone-can-start-building-verified-knowledge-with-stack-internal","Anyone can start building verified knowledge with Stack Internal",{"_id":22,"publishedAt":23,"slug":24,"title":26},"12c6a8a7-135f-401f-ac1a-1c26c33e69c0","2026-09-03T16:00:00.000Z",{"_type":10,"current":25},"security-control-and-accessibility-si-2026-6","Elevating security, control, and accessibility: Stack Internal 2026.6",{"_id":28,"publishedAt":29,"slug":30,"title":32},"adcf1bca-3295-4ac5-9b3c-23f337974190","2026-07-30T15:10:00.000Z",{"_type":10,"current":31},"introducing-stack-internal-new-platform-experience","Your trusted knowledge layer: Introducing Stack Internal's new platform experience",{"_id":34,"publishedAt":35,"slug":36,"title":38},"eb5b66eb-9410-4329-83bb-22bbff39402a","2026-04-28T13:00:00.000Z",{"_type":10,"current":37},"turn-scattered-knowledge-into-trusted-intelligence","Turning scattered knowledge into trusted intelligence: Stack Internal 2026.3",{"_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":187,"visible":145},"2026-10-16T05:55:47Z","79fd2f91-286a-43e4-a32b-1898dcc57eb5","Y0XyX012dQD2qRySZhwMAF","blogPost","2026-10-16T05:57:14Z",[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},"488caf775597","embed","https:\u002F\u002Fart19.com\u002Fshows\u002F2355b740-4531-4071-a3ab-5907a95a36d3\u002Fepisodes\u002F47d91d5c-bacb-4c1e-8335-8d7c1a0fc7c4\u002Fembed",{"_key":68,"_type":69,"children":70,"markDefs":81,"style":85},"bd2c49c062ac","block",[71,77],{"_key":72,"_type":73,"marks":74,"text":76},"cc67a58ea348","span",[75],"b798bb328372","Quint",{"_key":78,"_type":73,"marks":79,"text":80},"13068bc14de0",[]," is an open-source, executable specification language and toolchain based on TLA+ that enables engineers to model, simulate, and verify system behaviors using an intuitive, programmer-friendly syntax.",[82],{"_key":75,"_type":83,"href":84,"reference":12},"link","https:\u002F\u002Fquint.sh\u002F","normal",{"_key":87,"_type":69,"children":88,"markDefs":111,"style":85},"6a8f99275d76",[89,93,98,102,107],{"_key":90,"_type":73,"marks":91,"text":92},"1ae94d0f3f07",[],"Connect with Gabriela on ",{"_key":94,"_type":73,"marks":95,"text":97},"2fb3c77a2b5f",[96],"01fc8da8ed7a","LinkedIn",{"_key":99,"_type":73,"marks":100,"text":101},"9c7f47ddc41e",[]," and ",{"_key":103,"_type":73,"marks":104,"text":106},"b7c0cbcb95d3",[105],"232205c43f99","X",{"_key":108,"_type":73,"marks":109,"text":110},"00a435d7baa8",[],".",[112,114],{"_key":96,"_type":83,"href":113,"reference":12},"https:\u002F\u002Fwww.linkedin.com\u002Fin\u002Fbugarela\u002F",{"_key":105,"_type":83,"href":115,"reference":12},"https:\u002F\u002Fx.com\u002Fbugarela",{"_key":117,"_type":69,"children":118,"markDefs":140,"style":85},"6dd3af50bb76",[119,123,128,132,137],{"_key":120,"_type":73,"marks":121,"text":122},"37da82c99f3f",[],"Congrats to Populist badge winner ",{"_key":124,"_type":73,"marks":125,"text":127},"5c117f0a8a63",[126],"af557bc0e3d1","Alex K.",{"_key":129,"_type":73,"marks":130,"text":131},"6f0d151b9153",[]," for winning the badge on their answer to ",{"_key":133,"_type":73,"marks":134,"text":136},"cb0580e2df9c",[135],"54a6bace19d4","SQL Server: Select Top 0?",{"_key":138,"_type":73,"marks":139,"text":110},"9bcadaf75f16",[],[141,143],{"_key":126,"_type":83,"href":142,"reference":12},"https:\u002F\u002Fstackoverflow.com\u002Fusers\u002F246342\u002Falex-k",{"_key":135,"_type":83,"href":144,"reference":12},"https:\u002F\u002Fstackoverflow.com\u002Fquestions\u002F6033957\u002Fsql-server-select-top-0",true,"2026\u002F10\u002F16","Ryan is joined by Gabriela Moreira, CEO at Quint, about why formal specification languages like TLA+ are essential for catching system design flaws before writing code, how Quint brings developer-friendly syntax and executability to formal methods, and the ways trace validation and model-based testing can verify AI-generated code against real-world production data.\n",{"_type":53,"alt":149,"asset":150},"The Stack Overflow Podcast cover art",{"_ref":151,"_type":56},"image-e35a0c5eb319e7928c9ac0a2c2c782d29e644876-3120x1640-png","2026-10-16T07:40:00.000Z",{"_type":10,"current":154},"formal-methods-say-you-re-wrong",[156,164,168,172,179],{"_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":183,"slug":184,"title":186},"2025-03-13T21:04:14Z","31b00780-2ccb-4728-94b5-5d49523b724c","NFSu21L50a7MuzwvSjbUx8","2025-03-13T21:04:21Z",{"_type":10,"current":185},"agentic-ai","agentic AI","AI says you’re right, formal methods say you’re wrong",[189,195,201,207],{"_id":190,"publishedAt":191,"slug":192,"sponsored":12,"title":194},"8a557f3b-f430-4aa8-9417-3ccae2c581ed","2026-10-15T20:39:29.484Z",{"_type":10,"current":193},"mcp-standardized-tools-now-we-need-the-infrastructure-around-them","MCP standardized tools. Now we need the infrastructure around them.",{"_id":196,"publishedAt":197,"slug":198,"sponsored":12,"title":200},"f9482176-a574-4c5e-858c-e38018f2891d","2026-10-15T17:00:00.000Z",{"_type":10,"current":199},"your-team-shouldnt-build-an-ai-context-layer","Why your platform team shouldn't build an AI context layer (even though they probably could)",{"_id":202,"publishedAt":203,"slug":204,"sponsored":12,"title":206},"6f51dd12-6bbb-44da-b831-d5d4eafe9de0","2026-10-14T17:12:00.577Z",{"_type":10,"current":205},"your-next-job-doesn-t-have-a-title-yet-emerging-role-skills-q-and-a-with-corey-hymel-of-andela","Your next job doesn’t have a title yet: Emerging role skills Q&A with Corey Hymel of Andela",{"_id":208,"publishedAt":209,"slug":210,"sponsored":12,"title":212},"c077fd51-c06a-4456-882b-25580ea3f1b2","2026-10-13T16:35:35.665Z",{"_type":10,"current":211},"why-your-sandbox-never-quite-matches-production-and-why-that-s-fine","Why Your Sandbox Never Quite Matches Production (And Why That's Fine)",{"data":214,"sourceMap":-1},{"count":215,"lastTimestamp":12},0]