{"url": "https://sub.xiliary.com/p/brendancodykenny/posts/78/if-ai-makes-code-cheap-to-write-should-we-choose-languages", "author": {"handle": "brendancodykenny", "name": "Brendan Cody-Kenny", "headline": "Technical Due Diligence for Software M&A", "url": "https://sub.xiliary.com/p/brendancodykenny", "photo": "https://sub.xiliary.com/p/brendancodykenny/photo?v=1790520774"}, "post": {"id": 78, "url": "https://sub.xiliary.com/p/brendancodykenny/posts/78/if-ai-makes-code-cheap-to-write-should-we-choose-languages", "kind": "published", "summary": "If AI makes code cheap to write, should we choose languages that make incorrect code harder to produce?", "verbatim": null, "details": ["Rust can be harder for humans to write, but its type system and borrow checker reject whole classes of mistakes. AI lowers the writing cost; the compiler still enforces the rules.", "That changes the trade-off: optimise less for ease of writing and more for what the language can check automatically.", "This doesn't prove correct behaviour. Types and borrow checking cannot tell us whether we built the right thing. We still need tests and outside-in verification.", "Stronger typing doesn't solve architecture either. Ousterhout's argument still holds: complexity must be managed, however cheaply we generate code.", "The opportunity is not just faster programming. It's making stricter constraints practical, so fewer mistakes reach runtime or human review."], "links": ["https://rustify.rs/articles/rails-world-2026-keynote-dhh-hey-rust-ai-agents", "https://www.youtube.com/watch?v=bmSAYlu0NcY", "https://www.hillelwayne.com/talks/crossover-project/"], "tags": ["ai", "rust", "software-engineering", "verification"], "happened_on": null, "created": "2026-10-21T06:32:15.566347Z", "edited": "2026-10-21T06:40:40.140929Z", "source": null}}