Y
Hacker News
new
|
ask
|
show
|
jobs
by
taktoa
1999 days ago
It's not "linear" as in linear algebra (well, it is technically, but only in the abstruse sense that the category of the vector spaces and linear maps is a model of linear logic).