Viewing profile — permcu
permcu
HN member- Joined
- Mon, Jan 27, 2025, 7:56 AM UTC
- HN karma
- 3
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About permcu
Imagining text-based-interfaces by advancing lisp. The most powerful computing environment right at your cursor (simple & dense)
Recent public activity
-
comment
Comment #42838991
There exists a rich theory about duality in computation, a forgotten twin of lambda calculus: sequent calculus https://ps.cs.uni-tuebingen.de/publications/ostermann22intro... I rec…