Viewing profile — deltaonenine

>I didn't say that it can't be serious, many cartoons are serious, but even if it's serious that doesn't mean it's like how normal people talk. You do know that Japanese people don…

>I don't see much of a difference between calling it a Japanese cartoon and an anime. In English they're called cartoons, so I think that's a non-issue It's a huge issue. Cartoons …

Comical in the wrong sense, as in it's so bad it's funny. The sub is more serious sounding and is a reflection of what the directors vision was. The english version is a mangling o…

The dub is comical and has bad acting. The pacing and the tone is completely off from how normal people talk. The japanese, even though I don't understand it, has a better tone and…

I logged in to comment to say I absolutely despised the dub. https://www.youtube.com/watch?v=sBdxUNk1wR4 Do not watch the dub.

This is real and scientifically validated. The first person who ran the 4 minute mile changed the game by using intervals. Prior to that everyone trained for the mile by running th…

When talking about these things there is a meta level we are targetting that you're not understanding. Types exist at a meta level and are part of the language. Assembly language d…

>What he want's are languages that explore making them ergonomic at the language level. This is exactly what dependently typed languages like coq and idris are attempting to do. Wh…

just pass a const reference. It's immutable anyway.

No he wants two things. Those 6 different things have isomorphisms and can be reduced down to two things. Think of it like 1*2 && 2. Both expressions are isomorphic. Dependent type…

I understand one aspect of it in terms of probability. However another aspect of it eludes me as well, as I described in my last paragraph. There's also a third angle from informat…

I use it in the colloquial sense. Disordered, random.

12345 is less plentiful then 32415 or 32154 or .... What we considered "ordered" has less possibilities then "unordered" not just in a string of 5 numbers but for most systems. Tha…

Entropy. It was hard for me to understand this arbitrary rule of things becoming less ordered over time. Was this just a fundamental natural law? The answer is no. Entropy is a log…

Basically the man wants two opposite things. He wants contracts which is basically dependent types. These rules live in types and already exists in agda, Idris and coq and has a ra…

2. Copying memory around to enable to facilitate these immutable structures is SLOW. This is categorically wrong. You actually don't know what you're talking about. In an functiona…