The author links to their timer script, which links to what looks like dotfiles[1].

The author uses awesomewm (window manager), and loads the default font[2]. Default font is noto sans[3].

edit: add missing 'h' to start of ref 1.

[1]: https://github.com/madprops/awesome-setup/blob/f8557150941ce...

[2]: https://github.com/awesomeWM/awesome/blob/b13ac3e34d7702778a...

[3]: https://github.com/awesomeWM/awesome/blob/b13ac3e34d7702778a...

Yes but mostly to narrow the solution space. I usually end up comparing glyphs from the subset.

I think this one fits the most. It's also a popular Google font, so would make sense for a developer to use it. Thanks!