samoyy Karma 11 Created 7 years ago Recent Submissions 1. ▲ SMT-Based Reasoning About the Fast Inverse Square Root (bohlender.pro) 5 points · 2 years ago · 0 comments All submissions on HN · View profile on HN