Why 'externalized' proofs of cyclic trait impls does not work
Web page · https://smallcultfollowing.com/babysteps/blog/2026/10/10/modular-vs-external-proofs
First seen by Oriel on .
Metric trends
Last 30 days · Up to 120 recorded samples per source and metric · First and latest retained
Points
Score reported by the source.
- Lobsters: 16, latest observation ; +3 over observed period since
Comments
Comment count reported by the source.
- Lobsters: 0, latest observation ; 0 over observed period since
Aliases
| Source | External ID | URL |
|---|---|---|
| Lobsters | gytcvn | https://smallcultfollowing.com/babysteps/blog/2026/10/10/modular-vs-external-proofs/ |