Gwern Net

“Author of research proposal on measuring coding LLM perplexity scaling with codebase context size using Lean.”