2 ms·
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"
by EvgeniyZh 2y ago
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 2y agoFair point but a lot of python code is redundant and low quality.