deltaonenine

11 ms·

1.
by deltaonenine 4y ago
>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 anim
2.
by deltaonenine 4y ago
>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 Du
3.
by deltaonenine 4y ago
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. Heck Faye
4.
by deltaonenine 4y ago
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.
5.
by deltaonenine 4y ago
I logged in to comment to say I absolutely despised the dub. https://www.youtube.com/watch?v=sBdxUNk1wR4 Do not watch the dub.
6.
by deltaonenine 4y ago
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 have to have interva
7.
by deltaonenine 4y ago
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 create a new lan
8.
by deltaonenine 4y ago
>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 things are tryi
9.
by deltaonenine 4y ago
just pass a const reference. It's immutable anyway.
10.
by deltaonenine 4y ago
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 wants.
11.
by deltaonenine 4y ago
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 haven't r
12.
by deltaonenine 4y ago
I use it in the colloquial sense. Disordered, random.
13.
by deltaonenine 4y ago
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. Lmk
14.
by deltaonenine 4y ago
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 time. Why do things beco
15.
by deltaonenine 4y ago
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 languages can enforce st
16.
by deltaonenine 4y ago
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 everything is immu
17.
by deltaonenine 4y ago
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 an
18.
by deltaonenine 4y ago
>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 like FP or
19.
by deltaonenine 4y ago
It's like listening to a flat earth advocate.
20.
by deltaonenine 4y ago
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 imperative programmin
21.
by deltaonenine 4y ago
It's from the US. Sees candy boxes are loaded with random chocolates and you won't know what the chocolates contain until you put one in your mouth. The quote was made famous by an old US movie starring Tom Hanks. The movie is cal
22.
by deltaonenine 4y ago
Metrics to drive up numbers are the way forward. You need to test theories and prove them with data and experiments. THIS is what is expected in a report; and I see nothing I expect in this report. Everything you see here is NOT sophisticat
23.
by deltaonenine 4y ago
No no. You made a mistake. I'm not calling you that at all. I'm saying the description of the ai, when replaced with more humanized terms sounds like a description of a slowish human being in terms of mental capacity. This is stil
24.
by deltaonenine 4y ago
It's magic. You can't see it. But the fact that we have to probe a machine for these results means the result was not predictable or expected. That's magic. I think people are biased. What makes me think this? Because some of
25.
by deltaonenine 4y ago
You know what's compelling about this? What's compelling is that this AI figured it out faster then many humans would've. I don't think you can call this thing sentient, but it is equally naive to say that this thing is