quamserena Karma 196 Created 8 months ago About Author of quamserena.com Recent Submissions 1. ▲ My experience with Lean 4 for general programming (quamserena.com) 6 points · 4 months ago · 0 comments 2. ▲ Referential Transparency (quamserena.com) 1 point · 5 months ago · 0 comments All submissions on HN · View profile on HN