site:eikopf.bearblog.dev - discu.eu

Hacker News

Newtyped Indices Are Proofs https://eikopf.bearblog.dev/newtyped-indices-are-proofs/ 0 comments 7/5/2025

Lobsters

Newtyped Indices are Proofs https://eikopf.bearblog.dev/newtyped-indices-are-proofs/ 10 comments 7/5/2025 plt , rust

Reddit

Newtyped Indices are Proofs https://eikopf.bearblog.dev/newtyped-indices-are-proofs/ 8 comments 9/5/2025 rust