permcu

↗ HN profile [ 37.3 ms ] full profile

Karma: 3
Created: January 27, 2025 (1y ago)
Submissions: 0

Imagining text-based-interfaces by advancing lisp. The most powerful computing environment right at your cursor (simple & dense)

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 recommend you check it out if you are at…

1y ago · view thread · ↗