Viewing profile — ejenk

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. …

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), wit…

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, …

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 (as…