txt.sour.is @<lobste_rs https://feeds.twtxt.net/lobste_rs/twtxt.txt> "**Newtyped Indices are Proofs** Comments ⌘ Read more"

Login

Join

feeds.twtxt.net

Wed, May 7 14:54 2025 (1y ago)

Newtyped Indices are Proofs
Comments ⌘ Read more

⤋ Read More

Participate

Login to join in on this yarn.