kachnuv_ocasek Karma 2,125 Created 15 years ago About A Ptáčeḳ Recent Submissions 1. ▲ Why Lean? (leodemoura.github.io) 2 points · 4 months ago · 0 comments All submissions on HN · View profile on HN