all good but what’s the font in the last image?!

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_mitsuhiko 8 hours ago \| parent [-]
		Yes. It's Berkeley Mono. I use that one, Commit Mono and Mono Lisa depending on how I feel :)

▲

grim_io 8 hours ago | parent | prev | next [-]

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

Or maybe one that's imitating it.

▲

sdwr 9 hours ago | parent | prev [-]

Yeah it's hot...