I wanna say Berkeley Mono [1] because it's what I use and it looks very familiar, but I'm generally bad at font stuff. I typed out the text from the image and looked at it side by side and didn't notice anything obviously different, but some glyphs also have multiple variants so who knows.

[1] https://usgraphics.com/products/berkeley-mono

The @ sign makes me think it's https://usgraphics.com/products/berkeley-mono

Or maybe one that's imitating it.

Yeah it's hot...