>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…
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…
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 like FP but debuggers fail with FP because debuggers are imperative tools. There's a definite miss match in both UI and concept. It's not the fault of FP itself, it's more the fault that we haven't come up with such…
>I love pure functions, but in the end, I think it is just a tool. A solution to a set of problems, I'm tired of seeing this analogy everywhere. Everyone knows it, there's nothing new here. When we talk about things…
It's like listening to a flat earth advocate.
You and the other person don't understand. All data structures have types. EVEN lists of records that each contain further records. A type or a data structure is an orthogonal concept to FP, because types exist in…
>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…
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…
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 like FP but debuggers fail with FP because debuggers are imperative tools. There's a definite miss match in both UI and concept. It's not the fault of FP itself, it's more the fault that we haven't come up with such…
>I love pure functions, but in the end, I think it is just a tool. A solution to a set of problems, I'm tired of seeing this analogy everywhere. Everyone knows it, there's nothing new here. When we talk about things…
It's like listening to a flat earth advocate.
You and the other person don't understand. All data structures have types. EVEN lists of records that each contain further records. A type or a data structure is an orthogonal concept to FP, because types exist in…