| | The inconceivable types of Rust: How to make self-borrows safe (2024) (polybdenum.com) |
| 127 points by birdculture 12 days ago | past | 35 comments |
|
| | PolySubML Is Broken (polybdenum.com) |
| 1 point by fanf2 14 days ago | past |
|
| | PolySubML Is Broken (polybdenum.com) |
| 1 point by todsacerdoti 14 days ago | past |
|
| | X Design Notes: Pattern Matching I (polybdenum.com) |
| 2 points by ibobev 73 days ago | past |
|
| | X Design Notes: GADTs (polybdenum.com) |
| 2 points by ibobev 79 days ago | past |
|
| | X Design Notes: Unifying OCaml Modules and Values (polybdenum.com) |
| 35 points by todsacerdoti 83 days ago | past |
|
| | Subtype Inference by Example (polybdenum.com) |
| 27 points by azhenley 5 months ago | past | 10 comments |
|
| | Designing type inference for high quality type errors (polybdenum.com) |
| 83 points by PaulHoule 6 months ago | past | 17 comments |
|
| | Designing type inference for high quality type errors (polybdenum.com) |
| 1 point by fanf2 6 months ago | past |
|
| | You Need Subtyping (polybdenum.com) |
| 71 points by speckx 8 months ago | past | 94 comments |
|
| | Designing type inference for high quality type errors (polybdenum.com) |
| 1 point by mayoff 9 months ago | past |
|
| | Four limitations of Rust's borrow checker (polybdenum.com) |
| 191 points by todsacerdoti 11 months ago | past | 184 comments |
|
| | The ineffable types of Rust: how to make self-borrows safe (polybdenum.com) |
| 1 point by fanf2 on Oct 23, 2024 | past |
|
| | The Inconceivable Types of Rust: How to Make Self-Borrows Safe (polybdenum.com) |
| 4 points by marvinborner on June 27, 2024 | past |
|
| | The Inconceivable Types of Rust: How to Make Self-Borrows Safe (polybdenum.com) |
| 4 points by thunderbong on June 7, 2024 | past |
|
| | What are GADTs and why do they make type inference sad? (polybdenum.com) |
| 2 points by thunderbong on March 4, 2024 | past |
|
| | Identifying Rust's collect:<Vec<_>>() memory leak footgun (polybdenum.com) |
| 180 points by muglug on Jan 18, 2024 | past | 122 comments |
|
| | I came second out of 999 in the Salem Center prediction market tournament (polybdenum.com) |
| 1 point by tedsanders on Aug 28, 2023 | past |
|
| | Fixing the Next 10k Aliasing Bugs (polybdenum.com) |
| 2 points by zetalyrae on July 14, 2023 | past |
|
| | Tokio, FuturesUnordered, and the Thundering Herd Problem (polybdenum.com) |
| 1 point by Dowwie on May 17, 2023 | past |
|
| | Fixing the Next 10k Aliasing Bugs (polybdenum.com) |
| 2 points by lukastyrychtr on March 10, 2023 | past |
|
| | Fixing the Next 10k Aliasing Bugs (polybdenum.com) |
| 7 points by todsacerdoti on March 6, 2023 | past |
|
| | Fixing the Next Thousand Deadlocks (polybdenum.com) |
| 5 points by lukastyrychtr on July 29, 2022 | past |
|
| | An Unfortunate Experience with Rust (polybdenum.com) |
| 2 points by lukastyrychtr on July 1, 2022 | past |
|
| | An Unfortunate Experience with Rust (polybdenum.com) |
| 3 points by EntICOnc on June 30, 2022 | past |
|
| | An Unfortunate Experience with Rust (polybdenum.com) |
| 3 points by metadat on June 26, 2022 | past | 1 comment |
|
| | An Unfortunate Experience with Rust (polybdenum.com) |
| 4 points by alainchabat on June 26, 2022 | past | 1 comment |
|
| | Implicit Overflow Considered Harmful, and how to fix it (polybdenum.com) |
| 40 points by danny00 on Oct 4, 2021 | past | 59 comments |
|
| | How copying an int made my code 11 times faster (polybdenum.com) |
| 1 point by harporoeder on Aug 9, 2021 | past |
|
| | When zero cost abstractions aren't zero cost (polybdenum.com) |
| 166 points by harporoeder on Aug 9, 2021 | past | 97 comments |
|
|
| More |
