Looking for software work starting in 2027, Pittsburgh or remote, low- or no-AI preferred. I think of myself as a generalist; I have worked up and down the web stack, as an SRE, and on a few “large” systems. I also have a deep TCS background and I’m learn

Looking for software work starting in 2027, Pittsburgh or remote, low- or no-AI preferred. I think of myself as a generalist; I have worked up and down the web stack, as an SRE, and on a few “large” systems. I also have a deep TCS background and I’m learning type theory. Résumé is here: https://www.okahn.net/resume.pdf #getfedihired