Hacker Newsnew | past | comments | ask | show | jobs | submit | from login

What does a lean proof prove? (supaiku.com) 5 points by elcomet 4 months ago | past | 1 comment What does a lean proof prove? (supaiku.com) 2 points by EvgeniyZh 4 months ago | past Attention Is Logarithmic (supaiku.com) 1 point by sebg 11 months ago | past Attention Is Logarithmic (supaiku.com) 2 points by kwindla 11 months ago | past Attention Is Logarithmic (supaiku.com) 1 point by jxmorris12 on March 24, 2025 | past Attention Is Logarithmic (supaiku.com) 2 points by Michelangelo11 on March 23, 2025 | past Attention Is Logarithmic (supaiku.com) 7 points by tzury on March 22, 2025 | past

Consider applying for YC's Summer 2026 batch! Applications are open till May 4 Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: