| | C++: Zero-cost static initialization (cofault.com) |
| 84 points by oecumena 62 days ago | past | 58 comments |
|
| | Lightweight Static Initialization in C++ (cofault.com) |
| 2 points by nikita_d 62 days ago | past | 1 comment |
|
| | What is cosh(List(Bool))? Or beyond algebra: analysis of data types (cofault.com) |
| 3 points by fanf2 3 months ago | past |
|
| | From the Scathing Reviews Department: Feminism, Interrupted (cofault.com) |
| 4 points by nikita_d 6 months ago | past | 4 comments |
|
| | A Secret Liouville's Theorem (cofault.com) |
| 1 point by ndanilov 6 months ago | past |
|
| | Long division verified via Hoare logic (cofault.com) |
| 114 points by ndanilov 6 months ago | past | 60 comments |
|
| | Formal verification of the long division algorithm (cofault.com) |
| 2 points by oecumena 6 months ago | past | 1 comment |
|
| | A History of Rectangle Area (cofault.com) |
| 3 points by ndanilov on May 7, 2024 | past | 1 comment |
|
| | 3-Lisp: an infinite tower of meta-circular interpreters (cofault.com) |
| 5 points by vilhelm_s on Dec 18, 2023 | past |
|
| | Usched: Stackswap Coroutines Update (cofault.com) |
| 3 points by nikita_d on Oct 16, 2022 | past |
|
| | Stackswap coroutines, neither stackful nor stackless (cofault.com) |
| 15 points by nikita_d on Oct 7, 2022 | past | 7 comments |
|
| | 3-Lisp: an infinite tower of meta-circular interpreters (cofault.com) |
| 84 points by nikita_d on Aug 27, 2022 | past | 28 comments |
|
| | 3-Lisp: an infinite tower of meta-circular interpreters (cofault.com) |
| 4 points by oecumena on Aug 24, 2022 | past | 1 comment |
|
| | Treadmill garbage collector by H. Baker (cofault.com) |
| 163 points by oecumena on July 26, 2022 | past | 59 comments |
|
| | A curious case of stacks and queues (cofault.com) |
| 2 points by oecumena on Nov 11, 2020 | past | 1 comment |
|
| | Go Is Not My Favorite Programming Language (cofault.com) |
| 3 points by oecumena on Jan 27, 2019 | past |
|
| | File system replacement algorithms (2006) (cofault.com) |
| 25 points by luu on Oct 25, 2015 | past | 3 comments |
|
| | File system replacement algorithms (2006) (cofault.com) |
| 6 points by luu on Oct 24, 2015 | past |
|
