morrowind

joined 2 years ago
MODERATOR OF
[–] [email protected] 4 points 6 hours ago

Anyoke tried it? Xkcds are pretty well known

[–] [email protected] 1 points 9 hours ago

Did you actually look at the problems or even furher down the page before making these sweeping statements? Simply transforming it into formal mathematical language does not make the problems trivial. These aren't arithmetic problems.

Despite failing the two problems, it did better than the majority of the contestants, who are some of the most talented math students in the world.

The only major catch was it did not finish in the alloted time, since it went on for days. But once the method has been established, that's a performance problem.

Deepmind is one of the most respected labs in the AI space, far before the modern generative ai trend. They're not some random grifters.

[–] [email protected] 2 points 14 hours ago

Only if you're a coffee drinker

[–] [email protected] 1 points 14 hours ago (1 children)

It could be used in a mixture of experts type situation

[–] [email protected] 3 points 18 hours ago (1 children)

I know there's a strong anti AI sentiment on lemmy, but I would advise reading at least the article, if not more details before denouncing it

 

Today, we present AlphaProof, a new reinforcement-learning based system for formal math reasoning, and AlphaGeometry 2, an improved version of our geometry-solving system. Together, these systems solved four out of six problems from this year’s International Mathematical Olympiad (IMO), achieving the same level as a silver medalist in the competition for the first time.

[–] [email protected] 7 points 18 hours ago

Thank you - > thank me

[–] [email protected] 9 points 18 hours ago

Shitposting is just default lemmy community now

It is kinda funny though

[–] [email protected] 2 points 18 hours ago

I'm not making a note for each todo. Also Joplin seems to lack any advanced reminder functionality such a recurring reminders. But more generally and importantly and generally there's a dozen notetaking apps that offer various levels of todo functionality, but all the bloat and extraneous functionality that comes with being a notetaking app just gets in the way. I'm only going to use such an app if it removes friction from my life, not adds to it

[–] [email protected] 1 points 1 day ago (1 children)

It's not free. But I don't want self hosted and Foss is more a nice to have than a requirement (for me)

 

I've been using Microsoft todo for a good while now after failing to find any decent private todo tools some while back. To my disappointment, there seems to be nothing much, perhaps with this one exception.

Everdo is one I recently ran into. It is focused on a the “Getting Things Done” Methodology, but if you are uninterested in that you could presumably ignore the extraneous stuff. It offers a local-network sync (pretty unique) as well a hosted E2EE (if I read it correctly) cloud sync service. You can see more here https://help.everdo.net/docs/sync

Privacy policy seems fine https://everdo.net/legal/#privacy-policy

It is local first, albeit on some internal database, not local files

[–] [email protected] 12 points 1 day ago (2 children)

Bro hasn't heard of a selfie

[–] [email protected] 2 points 1 day ago (4 children)

States and cities have higher ones already

12
submitted 1 week ago* (last edited 1 week ago) by [email protected] to c/[email protected]
 

~~Gif is very small due to lemmy.ml size restrictions. I can probably put a higher res one on youtube if ppl want to see.~~

edit: made it reasonable size by changing it to mp4

9
It's up (social-cdn.vivaldi.net)
 
-1
submitted 2 weeks ago* (last edited 1 week ago) by [email protected] to c/[email protected]
 

@ 334, 374

link to template: ~~https://i.imgur.com/EJfvf6l.png~~

It chose the wrong colors, I'm making it a brighter red & watermelon for the in-between pixels

Edit: template changed

142
submitted 1 month ago* (last edited 1 month ago) by [email protected] to c/[email protected]
 
 
view more: next ›