Hacker Newsnew | past | comments | ask | show | jobs | submit | ernst_klim's favoriteslogin
1.
Verified Programming in F*: A Tutorial (fstar-lang.org)
95 points by namin on Jan 21, 2016 | 28 comments
2.
MMIX 2009: A RISC computer for the third millennium (2011) (stanford.edu)
145 points by tambourine_man on June 9, 2017 | 61 comments
3.
Optimizing things in the USSR (2016) (chris-said.io)
153 points by yoloswagins on June 8, 2017 | 171 comments
4.
Approximating sin(x) to 5 ULP with Chebyshev polynomials (mooooo.ooo)
151 points by wallacoloo on May 12, 2017 | 59 comments
5.
Calculus Made Easy (1914) [pdf] (djm.cc)
1080 points by Pamar on April 20, 2017 | 189 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: