Interactive 位-Reduction

https://news.ycombinator.com/rss Hits: 17
Summary

ExamplesStarterLamping ALamping BList Head惟 (Non-Normalizing)Y (Non-Normalizing)Two Squared TwiceErasure vs SharingReplicator DecayGraph Coloring螖-Nets (2025)位-Calculus (1936+)Absolute levels (default)Relative levelsLinear (L)Affine (A)Relevant (I)Full (K)0/0GitHub

First seen: 2025-11-27 08:35

Last seen: 2025-11-28 03:39