Alex Kessinger

Happy to report that myself and @davidnoelromas are rebooting the Staff Eng podcast.

podcast.staffeng.com/posts/were-bac…

This next season will focus on AI. These tools promise 10-100X productivity gains, but many engineers (and other practitioners) don't know how to learn them—especially as things change weekly. We're interviewing practitioners: what actually works, what failed, what they had to unlearn. Looking for guests who are doing their work with AI.

DM if you are interested in being a guest

New episode: @JWondrusch from Block joins me and @davidnoelromas to talk about what actually changes when agents get good enough to do the work. The 60-service monorepo migration that convinced him the ceiling moved, and why "raising ambition" is now a real coaching conversation.

youtube.com/watch?v=S8nMzp…

You're all 100x engineers...now what?

> frontier models might make you a 10x engineer but they also give your org all the problems of a company 10x bigger. The security debt, the audit trails, the blast radius. You move faster and inherit more.

Checkout the Latest Staff Eng Podcast with Karla Burnett (@tetrakazi), @davidnoelromas and myself. youtube.com/watch?v=eZBIuo…

Formal verification might allow LLMs to write safer code, but it's not 100%.

From "Lean proved this program was correct; then I found a bug."

Overall the code base was well crafted, but:

> The two bugs that were found both sat outside the boundary of what the proofs cover.

kirancodes.me/posts/log-who-…

From the skill:

> The most important section is Drafted vs Sent. Every time you rewrite an AI draft before sending, save both versions. The gap is the voice.

Smart. It's a mini self improvement loop.

github.com/getlago/inside…