An Example of a Sad Google Account Recovery Failure and Its Effects(lauren.vortex.com)151 points by PrimeMcFly 3 years ago | 97 comments
LLMs could be, but shouldn't be compilers(alperenkeles.com)104 points by alpaylan 8 months ago | 112 comments
Writing x86 SIMD using x86inc.asm (2017)(blogs.gnome.org)67 points by transpute 2 years ago | 38 comments
Rosser's Theorem via Turing Machines (2011)(scottaaronson.blog)59 points by dargscisyhp 2 years ago | 8 comments
Intro to TLA+ for the LLM Era: Prompt Your Way to Victory(emptysqua.re)126 points by zdw 5 months ago | 27 comments