News for hackers. Stuff that matters.

A comment on $30M Raised to Redo the CPU. Parent comment

Re:$30M Raised to Redo the CPU by xgk on Wednesday November 11, 2026 @09:57AM (#50454228)
Interaction nets are a representation of proofs in Girard's linear logic and have well-understood proof-theoretic properties.

https://en.wikipedia.org/wiki/Interaction_nets

[ Parent | on HN ]

There are no comments on this comment yet.