Hacker News new | ask | show | jobs
by adamnemecek 2105 days ago
Attention really reminds me of focusing in proof theory https://ncatlab.org/nlab/show/focusing