Comment by VMG

fair, but we are approaching the point where it gets difficult to tell where the human still is involved

for all intents an purposes, the paper as well as the lean repo could be full LLM output with zero human involvement