| | Reliably Allocating Pages in Linux (mazzo.li) |
| 5 points by yagizdegirmenci on Nov 24, 2021 | past |
|
| | Backing up WhatsApp data through the multi-device web client (mazzo.li) |
| 3 points by rostayob on Oct 28, 2021 | past |
|
| | Remote, encrypted ZFS storage server with NixOS (mazzo.li) |
| 5 points by rostayob on Oct 12, 2021 | past | 1 comment |
|
| | Speeding up atan2f (mazzo.li) |
| 245 points by rostayob on Aug 17, 2021 | past | 103 comments |
|
| | Beating the L1 cache with value speculation (mazzo.li) |
| 157 points by rostayob on July 23, 2021 | past | 53 comments |
|
| | When static makes your C code 10 times faster (mazzo.li) |
| 201 points by rostayob on July 4, 2021 | past | 108 comments |
|
| | Using GDPR to obtain one’s data as JSON (mazzo.li) |
| 182 points by rostayob on May 10, 2021 | past | 133 comments |
|
| | Quick and Dirty Backpropagation in Haskell (mazzo.li) |
| 3 points by rostayob on May 3, 2021 | past |
|
| | Threading Responsibly (mazzo.li) |
| 2 points by lmm on July 12, 2017 | past |
|
| | Agda by Example: Sorting (mazzo.li) |
| 35 points by lelf on April 16, 2014 | past | 14 comments |
|
| | Drawing graphs with Haskell (mazzo.li) |
| 6 points by sumapln on Aug 15, 2013 | past |
|
| | Agda by Example: Sorting (mazzo.li) |
| 2 points by lelf on Aug 11, 2013 | past |
|
| | Agda by Example: λ-calculus (mazzo.li) |
| 71 points by ColinWright on Aug 11, 2013 | past | 7 comments |
|
| | Proving sort correct in Agda (mazzo.li) |
| 1 point by rostayob on April 2, 2013 | past |
|
