Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @definfo 4 hrs 42 mins 40 mins Coq, Nix, Rust, C++, Python, YAML, Typst, Bash, Makefile, … 🇨🇳