Smaug123 Karma 6,795 Created 12 years ago Recent Submissions 1. ▲ Breaking Paragraphs into Lines [pdf] (gwern.net) 6 points · 2 days ago · 2 comments 2. ▲ Annals of Formalized Mathematics Volume 1 (afm.episciences.org) 1 point · 5 months ago · 0 comments All submissions on HN · View profile on HN