Tech

Why 'externalized' proofs of cyclic trait impls does not work

Hacker News (Newest) By vinhnx Oct 12, 2026 · 11:15 AM 8 views 0 comments

Article URL: https://smallcultfollowing.com/babysteps/blog/2026/10/10/modular-vs-external-proofs/

Comments URL: https://news.ycombinator.com/item?id=50058573

Points: 1

# Comments: 0

Hacker News (Newest) Original story · smallcultfollowing.com

How does this story make you feel?

Discussion (0)

No comments yet. Start the conversation!