• 2 Posts
  • 52 Comments
Joined 1 year ago
cake
Cake day: June 29th, 2023

help-circle




  • You’re right that the theory is not about God, but explains the origins of the universe.

    How so? I don’t see what you mean here, it doesn’t explain anything, it just builds a level of assumptions on top of something, basically explaining something with an untested hypothesis.

    what I said about God is what I think is a logical conclusion.

    If you Agree to the premises I guess, but I don’t, so it explains nothing.

    If something has a beginning, then it must have been kickstarted somehow.

    Then who kickstarted god? Or does he/she/it for some reason get special treatment here? (This is special pleading)

    What kickstarted it is by definition its creator.

    If I kick a stone down a hill I did not create the stone even though I set it in motion.

    And this applies to our universe, in my opinion.

    Hmm, I don’t see how you evade an infinite regression here, unless you break your own rules and give one link in the chain an “eternal always existing” modifier. We don’t know that anything eternal exist, or even that our universe isn’t eternal (extisting eternally as a singularity before spreading or a part of a bigger multiverse that we cannot perceive)

    It is merely a statement that they must exist.

    It is just assuming that something must exist, since you’re building your logic on very shaky premises that we cannot prove.

    An effect must have a cause.

    Must it? Or have we just never seen the contrary (black swan fallacy) Who caused god? like I said before you can’t get away from that without special pleading.

    I apologize for sounding pretentious earlier, that was not my intention, but I can see how it came off as such. And apologize for misunderstanding your intentions as well.

    Water under the bridge :) No worries :)

    Also I notice you have some downvotes. Just want to clarify that it is not me.

    No worries, I don’t care about the votes, interactions are worth way more than someone clicking an arrow :)









  • sotolf@programming.devtoProgramming@programming.dev...
    link
    fedilink
    English
    arrow-up
    2
    ·
    11 months ago

    I was excited by rust, back when it used sigils instead of box and other keywords, it was an exciting language, I had some fun with it, but it wasn’t ready yet, so I went having fun with some of the languages in its family (ocaml, F#) And when I went back to rust some years ago to write a little tool for myself (https://codeberg.org/sotolf/tapet-rust) to try it out, and it was really cumbersome, and ended up rather slow. I really don’t like the rust syntax, and yes, that is kind of shallow, but there are so many bad choices, like a ; not being there rather than a return, it just doesn’t work for me. Error handling is decent, just that it’s syntactically cumbersome unless you use a package like anyerror, there are packages, so many packages, and what you wanted to make that is just a small tool now has 2 Gb + of build artifacts. I later found out about nim, and rewrote the tool in it, and got a more stable faster tool in a 3rd less code (https://codeberg.org/sotolf/tapet-nim) And the way to work in nim just fits me so much better.

    The thing about the rust pushing people (They are funnily enough mostly people that haven’t really used it for much yet, but went into the hype) is not that they are exited about a language, sure I can get that, it’s the way they are pushing it, they talk down about other languages, demand people rewriting things in a language they are exited about, I don’t like the slow compilation and the huge stuff. It’s just not me. Don’t get me wrong I know it’s a good language, just too low level for what I (and most people really) need and it getting pushed for places where it’s not really suited, I don’t really think it’s a good thing. There is also this push for cleverness in their libraries and code, and cleverness in code is always a red flag to me. So it’s not you rust, it’s me.





  • sotolf@programming.devtoProgramming@programming.dev...
    link
    fedilink
    English
    arrow-up
    1
    ·
    11 months ago

    For me it depends on the size, for small stuff like 1000-2000 lines of code that mainly I just work on alone, something like python is okay, if it is something longer, I miss types a lot.

    The thing is nim is more than just a typed python, it just works really well, I’ve had a lot of fun with it the two or so years that I’ve used it.

    But then again, I have a lot of fun testing out different languages, and don’t care about marketability, since I’m just programming as a hobby, and not as my profession, right now I’m playing around with picolisp, and it’s pretty fun :)