Submissions from polybdenum.com

		1SubML: Plan vs. Reality (polybdenum.com)
		1 point by fanf2 3 days ago \| past \| discuss
		1SubML: Plan vs. Reality (polybdenum.com)
		1 point by ibobev 5 days ago \| past \| discuss
		The inconceivable types of Rust: How to make self-borrows safe (2024) (polybdenum.com)
		127 points by birdculture 4 months ago \| past \| 35 comments
		PolySubML Is Broken (polybdenum.com)
		1 point by fanf2 4 months ago \| past
		PolySubML Is Broken (polybdenum.com)
		1 point by todsacerdoti 4 months ago \| past
		X Design Notes: Pattern Matching I (polybdenum.com)
		2 points by ibobev 6 months ago \| past
		X Design Notes: GADTs (polybdenum.com)
		2 points by ibobev 7 months ago \| past
		X Design Notes: Unifying OCaml Modules and Values (polybdenum.com)
		35 points by todsacerdoti 7 months ago \| past
		Subtype Inference by Example (polybdenum.com)
		27 points by azhenley 10 months ago \| past \| 10 comments
		Designing type inference for high quality type errors (polybdenum.com)
		83 points by PaulHoule 10 months ago \| past \| 17 comments
		Designing type inference for high quality type errors (polybdenum.com)
		1 point by fanf2 11 months ago \| past
		You Need Subtyping (polybdenum.com)
		71 points by speckx on March 26, 2025 \| past \| 94 comments
		Designing type inference for high quality type errors (polybdenum.com)
		1 point by mayoff on Feb 18, 2025 \| past
		Four limitations of Rust's borrow checker (polybdenum.com)
		191 points by todsacerdoti on Dec 22, 2024 \| 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
		More

HN For You