There is ~3 order of magnitude more Python code in the internet than Lean code (... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		EvgeniyZh on Sept 14, 2024 \| parent \| context \| favorite \| on: Terence Tao on O1 There is ~3 order of magnitude more Python code in the internet than Lean code (200GB vs 200MB in the stack v2). You can't tune it "the same way"

agumonkey on Sept 14, 2024 [–]

Fair point but a lot of python code is redundant and low quality.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact