Skip to content
Better HN
Top
Best
Ask
Show
New
Jobs
Search
⌘K
hiker | Better HN
hiker
179 karma
Joined February 21, 2007
84 submissions
Recent submissions
1
Why Types Matter [pdf]
(opens in new tab)
(github.com)
PDF
2
hiker
9y ago
0
Save
2
The MPFR Library: Algorithms and Proofs [pdf]
(opens in new tab)
(mpfr.org)
PDF
1
hiker
9y ago
0
Save