• 0 Posts
  • 125 Comments
Joined 3 years ago
cake
Cake day: June 18th, 2023

help-circle
  • No. A geometric progression (u_n) with ratio r and first term a satisfies:

    For every n, u_n = a × r^n.

    Ratio r and first term a are fixed, exponent n varies. The sequence (u_n) does grow (or decrease) exponentially fast.

    At least that’s what the English definition is, and in my first language as well. If there is one in which “geometric” means “power function”, I’d actually be curious to know.


  • it might as well be real

    I’m not in these devs heads, but I guess that’s the point. Providing something that’s real enough (as a toy model, you’re not going to clean room blender with this…) to get the discussion started and see what we can do against that kind of practice which will definitely become a real threat in the future if left unchecked.

    At least I hope that’s the intention rather than “lulz”.




  • It does, but it’s really not a good package manager especially compared to pacman. I have had it routinely break the path of some executables it updated, I always need to restart it after it closes the terminal when it updates it, and it sometimes just launches the updater of the app and you still need to click through the dialog boxes.

    It is more convenient than having nothing, I guess, but it always takes much longer than a pacman update. And it sometimes fails for no apparent reason.

    That being said, the person you’re replying to may end up having a nasty surprise if they keep doing pacman -Sy instead of pacman -Syu. That’s at least one problem that you probably wouldn’t have with Winget, admittedly.



  • Textbook Microsoft move. Thanks for the link, that was an interesting, if disgusting, read. I loved in particular that they were difficult about reimbursing his travel. You’d think a multi billion dollar company would be able to pay for however much a plane ticket and possibly a hotel stay was…

    That’s not the first time I hear something like that from a big company. I saw a talk by Matt Godbolt (compiler explorer) mentioning that NVidia took more than a year to pay him some contribution they said they would for the CUDA support. Can’t remember the figure, but it was ridiculously low.


  • TriangleSpecialist@lemmy.worldtoMicroblog Memes@lemmy.world•windows quality
    link
    fedilink
    English
    arrow-up
    52
    arrow-down
    1
    ·
    edit-2
    11 months ago

    Winget is such a half-assed effort. Updating the terminal? Terminal shuts down and you need to open it and run the update again. Updating something else? Maybe it’ll change the binary location and not update the path, just for fun (happened twice with LLVM stuff for me). This update failed for some reason? Try to run update again only to be told no updates are available.









  • Just in to say, I know exactly what you mean, and I love the subject, to the point I did a PhD in pure maths. The whole “golden ratio” in nature, and a lot of other adjacent stuff, leaves me indifferent at best, and really irritates me at worst. It’s often cheapo mathy wank to feel clever when you talk to your friends. There is nothing wrong in being interested in it, but I’d hope someone into maths would eventually go beyond that.

    I also am not a fan of several very useful branches of maths, like calculus, but it’s a tool you need to have. Some people love it though, and I scratch my head at it as much as you do, if not more probably, because I have had to use it so much.

    There are probably as many reasons to find maths beautiful (or ugly) as there are people, but for me it boiled down to the fact that:

    • with relatively few assumptions, we can logically and iteratively build an abstract machinery that is consistent (well, with caveats…);
    • a lot of these abstract theories provide good enough frameworks for other sciences to base theories on and be successful at explaining the world with these (I could talk about the fifth axiom of Euclid, non-euclidian geometries, and how we eventually arrive to something that is a formal setting for the theory of relativity for hours, it’s fascinating);
    • it provided me with abstract objects that I could reason about, explore in different ways, and with different points of view, until something clicked and I got to understand the objects better;
    • some proofs, even of quite complex theorems, have such a simple and elegant initial idea (when others can feel quite forced), that it is hard not to marvel at how things fall neatly into place (sometimes…).

    So to me maths provided a setting in which things worked and made sense, and you could essentially just enjoy an endless supply of puzzles in that setting, whose solutions you could formally prove.

    Unlike a lot of maths nerds, I don’t necessarily think that that’s totally limited to maths though. I think most people do their abstract thinking and puzzle solving on whatever it is that they find beautiful. Or I hope they do, it’s a wonderful feeling. The formal aspect of proofs though (and I don’t necessarily mean computations), that’s the unique thing that can set it apart.




  • I’ve moved to England 5 years ago. I can confirm a worrying amount of people don’t care for food at all here.

    Instead of a nice meal, when they want to enjoy a convivial moment, they burn shredded black leaves in boiling water, add milk to it to cover the terrible taste, and call that tea. And if you don’t ruin it in the exact specific way that they designed, they get angry (but they don’t understand why e.g. Italian and French people are so particular about their traditional recipes).

    Send help.