[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"sanity-4xcA8CBvm3SUhCjT3WaWTaiycTd8rG8JLCk8SYbaMtU":3},{"data":4,"sourceMap":-1},{"_createdAt":5,"_id":6,"_rev":7,"_type":8,"_updatedAt":9,"blog":10,"body":49,"issue":90,"links":91,"previewText":148,"publishedAt":149,"questions":150,"sign_off":207,"slug":228,"title":231},"2026-10-16T20:58:45Z","ed4d0797-236a-4bf9-a2ac-4fb4de3cf78f","6rCfk3Qi9E4cF2H1C5xQv6","newsletterOverflow","2026-10-23T18:47:15Z",[11,17,21,25,29,33],{"_type":12,"description":13,"link":14,"promotion":15,"title":16},"newsletterOverflowStory","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","https:\u002F\u002Fstackoverflow.blog\u002F2026\u002F10\u002F16\u002Fformal-methods-say-you-re-wrong\u002F?utm_source=iterable&utm_medium=email&utm_campaign=the-overflow-newsletter",null,"AI says you’re right, formal methods say you’re wrong",{"_type":12,"description":18,"link":19,"promotion":15,"title":20},"Most engineering teams capable of building an internal AI knowledge system think they should. But six months later, it's a platform team's full-time job. Building an in-house AI context layer costs more money and energy than you think. ","https:\u002F\u002Fstackoverflow.blog\u002F2026\u002F10\u002F15\u002Fyour-team-shouldnt-build-an-ai-context-layer\u002F?utm_source=iterable&utm_medium=email&utm_campaign=the-overflow-newsletter","Why your platform team shouldn't build an AI context layer (even though they probably could)",{"_type":12,"description":22,"link":23,"promotion":15,"title":24},"While the whispers say that everyone is becoming a generalist, that's not where headcount is going. ","https:\u002F\u002Fstackoverflow.blog\u002F2026\u002F10\u002F14\u002Fyour-next-job-doesn-t-have-a-title-yet-emerging-role-skills-q-and-a-with-corey-hymel-of-andela\u002F?utm_source=iterable&utm_medium=email&utm_campaign=the-overflow-newsletter","Your next job doesn’t have a title yet: Emerging role skills Q&A with Cory Hymel of Andela",{"_type":12,"description":26,"link":27,"promotion":15,"title":28},"It’s gotten exponentially harder to identify talent that we feel is a good fit for our teams at the top of the application funnel. ","https:\u002F\u002Fstackoverflow.blog\u002F2026\u002F10\u002F12\u002Fbeyond-the-ai-noise-how-stack-overflow-is-rethinking-tech-hiring\u002F?utm_source=iterable&utm_medium=email&utm_campaign=the-overflow-newsletter","Beyond the AI noise: How Stack Overflow is rethinking tech hiring",{"_type":12,"description":30,"link":31,"promotion":15,"title":32},"Ryan sits down with Josh Triplett, member of the Rust Leadership Team at the Rust Project, to chat about how the borrow checker delivers compile-time memory safety without garbage collection overhead, why Rust consistently ranks as developers' most loved language by providing psychological safety for complex systems, and how strict compiler constraints make Rust an ideal target for AI coding agents.","https:\u002F\u002Fstackoverflow.blog\u002F2026\u002F10\u002F13\u002Fkeep-calm-and-call-clone-with-rust\u002F?utm_source=iterable&utm_medium=email&utm_campaign=the-overflow-newsletter"," Keep calm and call clone with Rust",{"_type":12,"description":34,"link":46,"promotion":47,"title":48},[35],{"_key":36,"_type":37,"children":38,"markDefs":44,"style":45},"5bf952281806","block",[39],{"_key":40,"_type":41,"marks":42,"text":43},"2e11bf32684f","span",[],"At Raytheon, work on advanced technologies that shape tomorrow's capabilities.",[],"normal","https:\u002F\u002Fcareers.rtx.com\u002Fraytheon?utm_medium=newsletter&utm_source=stackoverflow&utm_campaign=rtx-talent-acquisition&utm_content=newsletter-ad",true,"Not Every Engineer Gets to Work on What's Next",[50,58,65],{"_key":51,"_type":37,"children":52,"markDefs":57,"style":45},"dbd973b57be0",[53],{"_key":54,"_type":41,"marks":55,"text":56},"4bed1e546b3c",[],"AI has democratized much of our technical world, giving us access to skills and information without ever having to actually learn them. But just because you can do anything nowadays doesn’t necessarily mean you should. But we don’t have to go back to the stone ages (read: the pre-AI days). Sometimes, combining our traditional ways of working with our new ways of working is all we need to do to create really great software. ",[],{"_key":59,"_type":37,"children":60,"markDefs":64,"style":45},"e489cbd8ad73",[61],{"_key":54,"_type":41,"marks":62,"text":63},[],"For example, we sit down with Quint’s Gabriela Moreira to explore why formal methods like TLA+ are essential for catching system design flaws before writing code, and contributor to the Rust language, Josh Triplett, chats with us about how Rust's strict compiler constraints provide the psychological safety needed for complex systems (and AI coding agents). On the blog, we’re exploring the build vs. buy trolley problem—and why building in-house isn’t always the right answer—and taking a long and hard look at the future of tech jobs with a Q&A with Andela’s Cory Hymel and a little self-reflection on how we hire at Stack Overflow.",[],{"_key":66,"_type":37,"children":67,"markDefs":89,"style":45},"e1654ec5baef",[68,72,77,81,85],{"_key":69,"_type":41,"marks":70,"text":71},"a876fc0d3036",[],"Elsewhere on the web, we’re diving into whether NDAs cover AI tools, how much non-determinism ",{"_key":73,"_type":41,"marks":74,"text":76},"f9ba84355eda",[75],"em","actually ",{"_key":78,"_type":41,"marks":79,"text":80},"20eb5ee9cc90",[],"matters in your codebases, and hhow likely those new system1 decision models are to pick saving humans over saving themselves in the trolley problem. In this case, just because you ",{"_key":82,"_type":41,"marks":83,"text":84},"c4488f416222",[75],"can",{"_key":86,"_type":41,"marks":87,"text":88},"65a52da72795",[]," read all of this in the links below, definitely means you should.",[],352,[92,106,120,134],{"_key":93,"_ref":94,"_type":12,"description":95,"link":104,"promotion":15,"title":105},"d37bc26acdea19357c4555ed2711838b","228cb659-ff13-4fc2-ad48-73bf505ca4ee",[96],{"_key":97,"_type":37,"children":98,"markDefs":103,"style":45},"a4b9801f0cf1",[99],{"_key":100,"_type":41,"marks":101,"text":102},"8672f559e978",[],"…Or sometimes it does, sometimes it doesn’t?",[],"https:\u002F\u002Fsklar.rocks\u002Fnon-determinism-doesnt-matter\u002F","Non-determinism doesn't matter",{"_key":107,"_ref":108,"_type":12,"description":109,"link":118,"promotion":15,"title":119},"decbba8818058f7b8a115b5fbeb789b7","3f9287e4-358d-4ada-a3bf-695d7f872267",[110],{"_key":111,"_type":37,"children":112,"markDefs":117,"style":45},"3a311787bc4c",[113],{"_key":114,"_type":41,"marks":115,"text":116},"a01f9e1f3d59",[],"Triple bend buses are the next automotive frontier.",[],"https:\u002F\u002Fwww.theautopian.com\u002Fyou-wont-believe-the-incredible-engineering-that-allows-articulated-buses-to-bend\u002F","The incredible engineering that allows articulated buses to bend",{"_key":121,"_ref":122,"_type":12,"description":123,"link":132,"promotion":15,"title":133},"dc079db5451d7c06f1a10ee0e0406bac","d0b404cb-4322-4b4f-acc2-d514fd13f39f",[124],{"_key":125,"_type":37,"children":126,"markDefs":131,"style":45},"8442ce69edc9",[127],{"_key":128,"_type":41,"marks":129,"text":130},"b2cf49fa4fde",[],"Looks like we need to implement governance and observability into our automated trolley levers.",[],"https:\u002F\u002Fzachlandes.com\u002Ftrolley-problem\u002F","Jev meets the Trolley Problem",{"_key":135,"_ref":136,"_type":12,"description":137,"link":146,"promotion":15,"title":147},"af5a228a2e7024beffdeaa3317c47e32","0b56bad7-57d1-413c-8efd-4b97c8a1f840",[138],{"_key":139,"_type":37,"children":140,"markDefs":145,"style":45},"beba65bb5d89",[141],{"_key":142,"_type":41,"marks":143,"text":144},"11859ce9ec93",[],"Ah, the beautiful landscape of Doom.",[],"https:\u002F\u002Fwww.jamesfmackenzie.com\u002F2026\u002F10\u002F13\u002Fi-love-software-rendering\u002F","I love software rendering","The tech job market, Dunning-Kruger leadership, and AI trolley problems","2026-10-22",[151,165,179,193],{"_key":152,"_ref":153,"_type":12,"description":154,"link":163,"promotion":15,"title":164},"3adfa57d5c6fd999747b21a26fe90c89","4ee79545-e6c4-4487-8271-54dfed78374d",[155],{"_key":156,"_type":37,"children":157,"markDefs":162,"style":45},"44b88a4d0f9a",[158],{"_key":159,"_type":41,"marks":160,"text":161},"3e1fe5ce3819",[],"This team leader could use a healthy dose of imposter syndrome.",[],"https:\u002F\u002Fworkplace.stackexchange.com\u002Fquestions\u002F203803\u002Fteam-leader-exhibits-a-strong-dunning-kruger-effect-and-makes-everyone-waste-tim?utm_source=iterable&utm_medium=email&utm_campaign=the-overflow-newsletter","Team leader exhibits a strong Dunning-Kruger effect and makes everyone waste time. How to stop this?",{"_key":166,"_ref":167,"_type":12,"description":168,"link":177,"promotion":15,"title":178},"90dab4de699e3f43711f43c05b1a3687","19c141a6-3512-48cc-8e5a-61b18e17f837",[169],{"_key":170,"_type":37,"children":171,"markDefs":176,"style":45},"0c6ee9ec4574",[172],{"_key":173,"_type":41,"marks":174,"text":175},"dd54027994f2",[],"“Acquired knowledge is still something worth having.”",[],"https:\u002F\u002Ftex.stackexchange.com\u002Fquestions\u002F767175\u002Fwhy-should-i-continue-learning-latex?utm_source=iterable&utm_medium=email&utm_campaign=the-overflow-newsletter","Why should I continue learning LaTeX?",{"_key":180,"_ref":181,"_type":12,"description":182,"link":191,"promotion":15,"title":192},"cd4b03955c6adea7cdcf6fdbabdf83a0","1bd75421-49c0-4410-bd95-345a8218f702",[183],{"_key":184,"_type":37,"children":185,"markDefs":190,"style":45},"4a4d8d964d35",[186],{"_key":187,"_type":41,"marks":188,"text":189},"9659ed8aceab",[],"And this is why you should never input sensitive information into your AI tools.",[],"https:\u002F\u002Flaw.stackexchange.com\u002Fquestions\u002F115743\u002Funder-california-law-can-using-an-external-ai-tool-to-debug-confidential-python?utm_source=iterable&utm_medium=email&utm_campaign=the-overflow-newsletter","Under California law, can using an external AI tool to debug confidential Python code breach an NDA?",{"_key":194,"_ref":195,"_type":12,"description":196,"link":205,"promotion":15,"title":206},"8bf0ba2ab2bc773f911b53504ae20ed2","43d89774-0c07-4e5a-94eb-eb5edf7b4eaa",[197],{"_key":198,"_type":37,"children":199,"markDefs":204,"style":45},"a69558bee366",[200],{"_key":201,"_type":41,"marks":202,"text":203},"1b4f059cc513",[],"These grammarians are compliant to a fault.",[],"https:\u002F\u002Fenglish.stackexchange.com\u002Fquestions\u002F640718\u002Fcompliant-with-or-compliant-to-a-regulation?utm_source=iterable&utm_medium=email&utm_campaign=the-overflow-newsletter","“Compliant with” or “compliant to” a regulation?",[208],{"_key":209,"_type":37,"children":210,"markDefs":224,"style":45},"f88a167938f7",[211,215,220],{"_key":212,"_type":41,"marks":213,"text":214},"5206a8848c3e",[],"More context won’t fix your AI systems. Accurate knowledge will. ",{"_key":216,"_type":41,"marks":217,"text":219},"d4955a45c06f",[218],"488c247805dd","Join us on Thursday, October 29",{"_key":221,"_type":41,"marks":222,"text":223},"8e7a055165b2",[]," for a live look at why Stack Internal is the trusted knowledge layer for your AI tech stack.",[225],{"_key":218,"_type":226,"href":227},"link","https:\u002F\u002Fstackoverflow.co\u002Fevents\u002Fstack-internal-launch-webinar?utm_medium=email&utm_source=braze&utm_campaign=the-overflow-newsletter&utm_content=webinar-footer",{"_type":229,"current":230},"slug","issue-352-just-because-you-can-doesn-t-mean-you-should","Issue 352: Just because you can, doesn't mean you should"]