>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't talk like people in anime? No,…
>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 are silly. Mickey Mouse and Donald Duck…
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 of what cowboy bebop was intended to be.…
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 the talking doesn't sound forced.
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 the mile. Athletes who train for the mile…
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 does not have types. What you can do is…
>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. What he wants ALREADY exists and these…
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 types literally encompasses everything he…
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 information theory. This type of understanding…
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. That should help you get the intuition.…
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 logical consequence of probability and…
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 range of tradeoffs. Essentially these…
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 functional programming language, because…
>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't talk like people in anime? No,…
>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 are silly. Mickey Mouse and Donald Duck…
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 of what cowboy bebop was intended to be.…
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 the talking doesn't sound forced.
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 the mile. Athletes who train for the mile…
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 does not have types. What you can do is…
>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. What he wants ALREADY exists and these…
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 types literally encompasses everything he…
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 information theory. This type of understanding…
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. That should help you get the intuition.…
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 logical consequence of probability and…
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 range of tradeoffs. Essentially these…
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 functional programming language, because…