this is a classy monospaced font used by computerphile the youtube channel in their thumbnails and code showcases

OCR-A  Vorgeschlagen von sjh 

There seem to be various renderings of the typeface, including one preinstalled in MS Windows. So the one I offered is one of many. It does have the on-the-baseline comma and the double-struck brackets

thanks!