[-] morrowind@lemmy.ml 1 points 20 minutes ago

That's funny I already used notesnook and then found this. That said, so you really need your desktop always awake, or will it automatically sync when possible, like syncthing

[-] morrowind@lemmy.ml 8 points 1 hour ago

Man isn't even pretending to hide it anymore.

[-] morrowind@lemmy.ml 1 points 1 hour ago

I have a bit of a different set of standards than you.

(I was typing a longer answer but this is an old argument)

[-] morrowind@lemmy.ml 5 points 13 hours ago

Anyoke tried it? Xkcds are pretty well known

[-] morrowind@lemmy.ml 1 points 16 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.

[-] morrowind@lemmy.ml 2 points 21 hours ago

Only if you're a coffee drinker

[-] morrowind@lemmy.ml 1 points 21 hours ago

It could be used in a mixture of experts type situation

[-] morrowind@lemmy.ml 3 points 1 day ago

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

0

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.

[-] morrowind@lemmy.ml 9 points 1 day ago

Thank you - > thank me

[-] morrowind@lemmy.ml 9 points 1 day ago

Shitposting is just default lemmy community now

It is kinda funny though

[-] morrowind@lemmy.ml 2 points 1 day 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

19
submitted 1 day ago by morrowind@lemmy.ml to c/privacy@lemmy.ml

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

[-] morrowind@lemmy.ml 27 points 1 day ago

He often does the reverse, paying people exorbitant sums to do mundane things like spending 3 days in a circle. He practically started and got famous of that genre.

815
156
submitted 1 month ago* (last edited 1 month ago) by morrowind@lemmy.ml to c/lotrmemes@midwest.social
373
straight rule (lemmy.ml)
submitted 1 month ago by morrowind@lemmy.ml to c/196@lemmy.blahaj.zone
113
submitted 1 month ago by morrowind@lemmy.ml to c/linux@lemmy.ml
65

https://cara.app/about

Not federated, but still good to see some alternatives

172
submitted 1 month ago by morrowind@lemmy.ml to c/privacy@lemmy.ml

Not a surprise but man

20

Skip the beginning marketing copy. There's a lot of dev focused news

-31
submitted 2 months ago by morrowind@lemmy.ml to c/linux@lemmy.ml
-8
submitted 2 months ago by morrowind@lemmy.ml to c/technology@lemmy.ml
-16
Introducing Copilot+ PCs (blogs.microsoft.com)
submitted 2 months ago by morrowind@lemmy.ml to c/technology@lemmy.world
view more: next ›

morrowind

joined 2 years ago
MODERATOR OF