News for hackers. Stuff that matters.

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

Re:$30M Raised to Redo the CPU by enygmata on Wednesday November 11, 2026 @07:49AM (#50452787)
Is their "interaction net" approach to computation related to Gerald Sussman's propagators in any way?
[ Parent | on HN ]
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 ]