A monad is a monoid in the category of endofunctors, what’s the problem? 7 years ago
All those words are in various categories.
HN user
nubslayer
-10 karma
Posts0
Comments12
No posts found.
The Case for Transmissible Alzheimer's Grows 7 years ago
I think some of it may be communication of "mental illness".
Seems like all language would be "category theoretic".
and means you have to define things like the tensor product of abelian groups properly before you can even define a ring
Hmm, someone managed to do it at Wikipedia:
"In mathematics, a ring is one of the fundamental algebraic structures used in abstract algebra. It consists of a set equipped with two binary operations that generalize the arithmetic operations of addition and multiplication. Through this generalization, theorems from arithmetic are extended to non-numerical objects such as polynomials, series, matrices and functions."[0]
I'm saying that harvesting energy while coasting is probably not efficient.
wut
It's possible to get in an 'envelope' behind another car and get pulled along with it.
Coasting is better then regen'ing, pretty sure.
If you regen, you have to slow down, only to have to speed back up again, but at a worse efficiency loss than just coasting.
If it is harmless to humans then it wouldn't seriously harm any biome relied upon by humans, it seems.
I don't really have an OSX computer to use it on, so it's not that useful to me. I could probably make the same or better in a few hours.
Not sure exactly what you mean by wrong or meaningless programs. (edit3) I'm not sure it's possible to write a meaningless SQL statement.
Edit: it seems like the authors don't see it as that useful. I think the page said they are still looking for use-cases, or something. Have you contacted them?
Edit2 (fta): "However, as of Jan 2019 we’re tabling the project until we have a concrete, motivating use case to inform further development."
It's useful, but one still basically needs to plan ahead, look up commands, and imagine things.
It would be more useful if it weren't an OSX-only closed source demo.
Maybe I missed something, but it seems like you still need to click around and look up commands in a list and figure out which to pick before clicking.
just make it a site-wide or page-wide option?
seriously, if you just want video on your tv, just filter all video elements out of your browser and let those who want video to have that
why would I want to click to watch a video if I put in a link to a video/video-site?