Modeling and Verification of Keeta's Consensus [pdf](xescu.re)12 points by xescure 2 months ago | 1 comments
Finding and Understanding Bugs in C Compilers (2011) [pdf](users.cs.utah.edu)23 points by djoldman 1 year ago | 3 comments
New Nick Bostrom Paper: Optimal Timing for Superintelligence [pdf](nickbostrom.com)74 points by uejfiweun 8 months ago | 79 comments
Neural networks that learn non-linearity without activation functions [pdf](tahabouhsine.com)17 points by mlnomadpy 1 year ago | 4 comments
![Screenshot of allbrainsbelong.org: A Collection of Chronic Medical Conditions Common in Autistic and ADHD Adults [pdf] (2023)](https://hn.urlbox.com/shots/renders/2026/4/25/18d86d32-e0cb-49ce-b064-86439cc33c08.jpg)
![Screenshot of xescu.re: Modeling and Verification of Keeta's Consensus [pdf]](https://hn.urlbox.com/shots/renders/2026/8/15/c4f7c7ee-390e-440d-9eb7-7fe6df04a3ee.jpg)
![Screenshot of users.cs.utah.edu: Finding and Understanding Bugs in C Compilers (2011) [pdf]](https://hn.urlbox.com/shots/renders/2025/9/30/5edac97a-385c-4174-8ab5-c8100d3249aa.jpg)
![Screenshot of nickbostrom.com: New Nick Bostrom Paper: Optimal Timing for Superintelligence [pdf]](https://hn.urlbox.com/shots/renders/2026/2/13/f4191050-97ee-4419-8247-30400bbdeec4.jpg)
![Screenshot of tahabouhsine.com: Neural networks that learn non-linearity without activation functions [pdf]](https://hn.urlbox.com/shots/renders/2025/8/3/6867fd91-fd75-4e6c-8067-1db64b2042f1.jpg)