Leaderboard · TLA

Hours Coded Manual Coding AI Coding AI Spend

Get the weekly leaderboard

The front page of this leaderboard, delivered every Monday. No other emails.

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @hayatroid 15 mins 2 mins Markdown, Gleam, Python, Bash, Nix, JavaScript, Terraform, TLA, Erlang, … 🇯🇵
Last modified 3 hours ago at 2026-08-16T09:21:43Z