A bit off-topic, but what font is used in the video/animated GIF? | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

zephyrfalcon on Jan 23, 2017 | parent | context | favorite | on: Announcing Pipenv

A bit off-topic, but what font is used in the video/animated GIF?

kenneth_reitz on Jan 23, 2017 [–]

Operator Mono! https://www.kennethreitz.org/essays/test-driving-a-200-progr...

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact