‹ BackHN Continuity

Thread

Learning another language may be one of the best ways to keep your brain healthy

140 points · 120 comments · nativeit

  1. UltraSane · · focus · HN ↗
    Learning Lean 4 and trying to prove something using it is extremely mentally stimulating.
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.