• 1 Post
  • 61 Comments
Joined 1 year ago
cake
Cake day: June 22nd, 2023

help-circle
  • Wait, if you can (or anyone else chipping in), please elaborate on something you’ve written.

    When you say

    That means they can engineer a solution to any problem that has already been solved millions of times already.

    Hasn’t Google already made advances through its Alpha Geometry AI?? Admittedly, that’s a geometry setting which may be easier to code than other parts of Math and there isn’t yet a clear indication AI will ever be able to reach a certain level of creativity that the human mind has, but at the same time it might get there by sheer volume of attempts.

    Isn’t this still engineering a solution? Sometimes even researchers reach new results by having a machine verify many cases (see the proof of the Four Color Theorem). It’s true that in the Four Color Theorem researchers narrowed down the cases to try, but maybe a similar narrowing could be done by an AI (sooner or later)?

    I don’t know what I’m talking about, so I should shut up, but I’m hoping someone more knowledgeable will correct me, since I’m curious about this





  • Hey dude, I’ve been looking for you for so long, since my Dad stole your bike and that was a turning point in my life, since I made a point of stealing your son’s bike.

    It is said that this will continue for generations until the seventh son of a seventh son, who’ll transform into an upside down toothless vampire who likes garlic.

    In order for this prophecy to come true, please ensure all your progeny keeps buying bikes.

    PS Welcome to Lemmy!







  • I stopped using Windows in 2008 (juggling between a mixture of Linux and Mac OS). One of the reasons, is that at that time I thought Windows was legitimately a mess.

    Over time, I thought it got a bit better when seeing it on friends’s computers.

    Due to laziness, Windows 11 got installed on my office computer (which I use 1% of my time) and I thought it was honestly pretty good (as in, I never thought about switching back, but it was fine to use it when necessary).

    Now that they plug in ads, I’ll certainly want to switch back /s




  • I was scrolling down to see if anyone said this, since it’s been the case for me so far. I have to say lately I’ve seen a raise in unfriendliness (not referring towards me, but in general), but I suppose it’s inevitable.

    I’m still really happy with how people interact with me and with each other, and I haven’t felt that on Reddit for a while (am referring to both pre APIcalypse and after, though I now visit Reddit rarely)