Why Lean is faster than Rustkim-em.github.io4 points·hectormalot··0 commentsOpen articleSaveView on HN