HNHacker News
TopNewBestAskShowJobs

samoyy

11 karma · joined January 16, 2018

submissionscomments

SMT-Based Reasoning About the Fast Inverse Square Root

bohlender.pro·5 pts·samoyy·
0