Linear Logic and Permutation Stacks–The Forth Shall Be First | Hacker News Reader