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