kp995 Karma 9 Created 8 years ago About email: kunal [at] kp9 [dot] in site: https://kp9.in Recent Submissions 1. ▲ The Semantic Police: Stop or my compiler will prove a theorem (kp9.in) 1 point · 1 month ago · 0 comments All submissions on HN · View profile on HN