4 ms·

You can't..."reason about your code" in Rust? Look, maybe there's a reasonable take in there somewhere, but the way you put it just makes it sound like gibberis

You can't..."reason about your code" in Rust? Look, maybe there's a reasonable take in there somewhere, but the way you put it just makes it sound like gibberish. It sounds like you're just hoping for either a dynamically typed language (eg. Python) or for a language which is fully type-inferred (eg. Haskell). Which way is it?

auggierose 3y ago
[flagged]
- orf 3y ago
  It doesn’t, and it’s still a pretty unintelligible answer. > I don't like to live in somebody else's idea of allowed code. You program runs on a CPU, that is the definition of someone else’s idea of allowed code.
  - auggierose 3y ago
    I don't see my programs limited to a CPU. Thanks for pointing out another limitation of Rust. I am sorry that you cannot understand my answer. I am working on remedying this, unfortunately now is not the time for me to educate one person at a time. Hopefully later.
    - orf 3y ago
      Are you ok? If you think you’re programming on the fabric of the universe and not a chip, then the likelihood is you’re experiencing a major psychiatric issue, which given the tone of the replies is a definite possibility. If you’re not, then you’re programming for some kind of chip, which inherently and obviously limits your ability to express programs to those that are supported on that chip, be that via the specific instructions, architecture or performance of that chip. Which has nothing to do with rust.
      - auggierose 3y ago
        Thanks for asking! Yes, I am ok, I am just moving on a higher plane of reasoning than pretty much anyone else currently. Trying to give you access to that plane as well, hopefully soon. If you express your programs in logic, first, your programs are not just programs anymore, they are mathematics. Mathematics is not bound to a particular CPU or chip. Sure, you can make it run on one (or not, that would depend on your program). Now, this has a lot to do with Rust. Rust is a particularly restrictive form of expressing yourself. It basically prescribes a very particular form of mathematics, and in return, promises you certain theorems for free. Much like other type based programming languages, and even logics (although type-based logics are of course much more expressive than type-based programming languages). Instead, it would be better to express your ideas freely in a logic, just constrained by consistency, and not much else. This is very much the idea of programming as theory building. Where can you build a theory better, than in a logic? Then of course implementation details are important, such as speed, parallelism, memory use, etc. Rust's idea is to put these details front and center, especially memory use. That can work well, depending on your use case, but usually, it's just premature optimisation. Of course, if your thinking is restricted to Rust, you would not agree with that.
        orf 3y ago
        > Yes, I am ok, I am just moving on a higher plane of reasoning than pretty much anyone else currently Real talk: anyone who talks like this isn’t in a good way. Please take that seriously, and take care of yourself. I’m not sure engaging any further would be fruitful, but reason about the likelihood of yourself “operating on a higher plane of existence/seeing the inner truth/understanding that everyone else is blind/cracking the code” against simply having a manic episode of some kind. Because what you’ve described above is just… programming, just stripped down to the abstract and ignoring all practicalities. There isn’t a great truth in that, or a higher plane of existence, and the lack of your ability to clearly articulate the concepts combined with classic delusional catchphrases is really, really indicative of something else going on. And the inability for others to understand your great discoveries is not evidence of your higher plane of existence, it’s because you’re spouting semi-delusional abstract nonsense without a clear train of thought or concise argument.

auggierose 3y ago

[flagged]

orf 3y ago
It doesn’t, and it’s still a pretty unintelligible answer. > I don't like to live in somebody else's idea of allowed code. You program runs on a CPU, that is the definition of someone else’s idea of allowed code.
- auggierose 3y ago
  I don't see my programs limited to a CPU. Thanks for pointing out another limitation of Rust. I am sorry that you cannot understand my answer. I am working on remedying this, unfortunately now is not the time for me to educate one person at a time. Hopefully later.
  - orf 3y ago
    Are you ok? If you think you’re programming on the fabric of the universe and not a chip, then the likelihood is you’re experiencing a major psychiatric issue, which given the tone of the replies is a definite possibility. If you’re not, then you’re programming for some kind of chip, which inherently and obviously limits your ability to express programs to those that are supported on that chip, be that via the specific instructions, architecture or performance of that chip. Which has nothing to do with rust.
    - auggierose 3y ago
      Thanks for asking! Yes, I am ok, I am just moving on a higher plane of reasoning than pretty much anyone else currently. Trying to give you access to that plane as well, hopefully soon. If you express your programs in logic, first, your programs are not just programs anymore, they are mathematics. Mathematics is not bound to a particular CPU or chip. Sure, you can make it run on one (or not, that would depend on your program). Now, this has a lot to do with Rust. Rust is a particularly restrictive form of expressing yourself. It basically prescribes a very particular form of mathematics, and in return, promises you certain theorems for free. Much like other type based programming languages, and even logics (although type-based logics are of course much more expressive than type-based programming languages). Instead, it would be better to express your ideas freely in a logic, just constrained by consistency, and not much else. This is very much the idea of programming as theory building. Where can you build a theory better, than in a logic? Then of course implementation details are important, such as speed, parallelism, memory use, etc. Rust's idea is to put these details front and center, especially memory use. That can work well, depending on your use case, but usually, it's just premature optimisation. Of course, if your thinking is restricted to Rust, you would not agree with that.
      - orf 3y ago
        > Yes, I am ok, I am just moving on a higher plane of reasoning than pretty much anyone else currently Real talk: anyone who talks like this isn’t in a good way. Please take that seriously, and take care of yourself. I’m not sure engaging any further would be fruitful, but reason about the likelihood of yourself “operating on a higher plane of existence/seeing the inner truth/understanding that everyone else is blind/cracking the code” against simply having a manic episode of some kind. Because what you’ve described above is just… programming, just stripped down to the abstract and ignoring all practicalities. There isn’t a great truth in that, or a higher plane of existence, and the lack of your ability to clearly articulate the concepts combined with classic delusional catchphrases is really, really indicative of something else going on. And the inability for others to understand your great discoveries is not evidence of your higher plane of existence, it’s because you’re spouting semi-delusional abstract nonsense without a clear train of thought or concise argument.