Warning to Vimperator users: some Vimperator features are currently broken in this release. See https://github.com/vimperator/vimperator-labs/issues/568
I'm sorry, but as a resident of Hyde Park for more than a decade, your experience could not be more alien to me. I have not once wished for the burden and expense of owning a car. Indeed, living here has convinced me…
From the article, you'd think these ideas were invented by Coecke and Chaitin from whole cloth. Graphical calculi for monoidal categories date back to Kelly and Laplaza (1980), with later refinements by Joyal-Street and…
Surely your monoid example should be a Sigma type (`exists`), not a Pi type (`forall`), since a monoid is a specification of data for a single type A, not for all types A. Indeed, the empty type has no monoid structure,…
I think the author has confused NP with NP-hard (or NP-complete). Indeed, it is extremely unlikely that the unknottedness problem is NP-complete, as it is already in NP ∩ co-NP (assuming the generalized Riemann…
Warning to Vimperator users: some Vimperator features are currently broken in this release. See https://github.com/vimperator/vimperator-labs/issues/568
I'm sorry, but as a resident of Hyde Park for more than a decade, your experience could not be more alien to me. I have not once wished for the burden and expense of owning a car. Indeed, living here has convinced me…
From the article, you'd think these ideas were invented by Coecke and Chaitin from whole cloth. Graphical calculi for monoidal categories date back to Kelly and Laplaza (1980), with later refinements by Joyal-Street and…
Surely your monoid example should be a Sigma type (`exists`), not a Pi type (`forall`), since a monoid is a specification of data for a single type A, not for all types A. Indeed, the empty type has no monoid structure,…
I think the author has confused NP with NP-hard (or NP-complete). Indeed, it is extremely unlikely that the unknottedness problem is NP-complete, as it is already in NP ∩ co-NP (assuming the generalized Riemann…