1. A AI says you’re right, formal methods say you’re wrong 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 b 10/16 15:40 ♡
3. W Why your platform team shouldn't build an AI context layer (even though they probably could) 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-h 10/16 01:00 ♡
4. Y Your next job doesn’t have a title yet: Emerging role skills Q&A with Cory Hymel of Andela While the whispers say that everyone is becoming a generalist, that's not where headcount is going. 10/15 01:12 ♡
5. W Why Your Sandbox Never Quite Matches Production (And Why That's Fine) Sandbox testing works best when you stop chasing production parity. Learn what environment drift actually costs and which parts are worth fixing. 10/14 00:35 ♡
6. K Keep calm and call clone with Rust 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 10/13 15:40 ♡
7. B Beyond the AI noise: How Stack Overflow is rethinking tech hiring 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. 10/12 22:00 ♡
9. T Taking a look under your agent’s hood Ryan is joined by Yanbing Li, Chief Product Officer at Datadog, to talk about applying observability to non-deterministic AI agents, blurring the boundaries between software develo 10/09 15:40 ♡
10. P Production-grade LLMs and agents: a field guide A maturity model for taking agents from an impressive demo to a system people can depend on — with a self-assessment and the map to a deep-dive on each layer. 10/09 04:22 ♡