camel-cdr Karma 2,238 Created 5 years ago Recent Submissions 1. ▲ A "proof" of Fermat's Last Theorem that fits the margin (blog.trailofbits.com) 8 points · 9 days ago · 0 comments 2. ▲ ISO/IEC DIS 26791-1 – The RISC-V instruction set manual (iso.org) 4 points · 25 days ago · 3 comments All submissions on HN · View profile on HN