![morrowind](https://lemmy.ml/pictrs/image/4c9a205c-8c6f-431e-9592-81b69eca914d.png?format=webp&thumbnail=64)
If you're here, there's still hope for the internet
Don't let it fall
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.
It can be healthier, if it doesn't make you sick. You gotta be used to it though
It could be used in a mixture of experts type situation
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
Breakthrough models AlphaProof and AlphaGeometry 2 solve advanced reasoning problems in mathematics
![AI achieves silver-medal standard solving International Mathematical Olympiad problems](https://lemmy.world/pictrs/image/b8bd0091-1728-4d35-b3f5-b21c530024f0.jpeg?format=webp&thumbnail=256)
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.
Shitposting is just default lemmy community now
It is kinda funny though
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
It's not free. But I don't want self hosted and Foss is more a nice to have than a requirement (for me)
Thoughts on Everdo? (todo app)
Everdo is the best cross-platform todo list and Getting Things Done app. For Windows, Linux, Mac.
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
States and cities have higher ones already
Site down? It doesn't seem to load here
They're more susceptible to money, that's how they got rich
You might be too optimistic about the coherence of either side
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.
Unironically 59 years young
I really should've used an alt for this but well uh
- you not be looking niche enough
- in my experience the niche content on mainstream sites tends to be generic meaningless content made primarily by uh, creators who aren't actually in the community but are just dabbling around. When people in alternate communities do post there, it's often as a front for people to find them, likely a limited selection and/or the individual pieces also limited, and link back to other sites where their actual (often paid) stuff is
- even if you do find it, there's obviously a lot less so people are more willing to pay for it
My best guess is the primitive part of your brain (which is attracted to this guy) is fighting your rational part which says you'd be better off long term spending your energy on the other guys. Brain doesn't like cognitive dissonance
But it's really just a guess
People are having trouble following Harris’s campaign Twitter account
People are having trouble following Harris’s campaign X (formerly Twitter) account.
![Trump-Lover Elon Musk Is Already Causing Kamala Harris Problems](https://lemmy.world/pictrs/image/5e77b5c4-d94d-4145-8297-bf70e46e19cc.jpeg?format=webp&thumbnail=256)
Here's what's new in the latest version of Avalonia.
![Avalonia 11.1: A Quantum Leap in Cross-Platform UI Development](https://programming.dev/pictrs/image/a5b5cc93-6b3d-4e67-9905-34feeb2ab01b.png?format=webp&thumbnail=256)
Some cool spirals
![](https://lemmy.ml/pictrs/image/c4033108-1ea5-4409-8826-c765b3a6c1a3.gif?format=webp&thumbnail=512)
Video
Click to view this content.
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
Crystal 1.13.0 is released
We are announcing a new Crystal release with several new features and bug fixes.
![Crystal 1.13.0 is released!](https://lemmy.ml/pictrs/image/cc9c3975-0e81-49c9-b5a2-2e766a251bb2.webp?format=webp&thumbnail=256)
Making a vivaldi logo on the canvas
![](https://i.imgur.com/EJfvf6l.png?format=webp&thumbnail=128)
![](https://i.imgur.com/EJfvf6l.png?format=webp)
@ 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
Vivaldi 6.8 | Improved browser features for desktop and Vivaldi Mail 2.0 amped up with new functionalities
Big Vivaldi Mail update with prefetching, previews, and quick replies. Vivaldi 6.8 also includes real-time tab memory usage, improved address field, and more.
![Improved browser features for desktop and Vivaldi Mail 2.0 amped up with new functionalities | Vivaldi Browser](https://lemmy.ml/pictrs/image/4927e23b-2e0c-4dd4-85dd-4f9826026c1d.png?format=webp&thumbnail=256)
Why a Half a Million Artists left Instagram for Cara Last Week
![](https://lemmy.world/pictrs/image/72035c90-fb0c-46be-8a3c-40db169391ee.jpeg?format=webp&thumbnail=512)
YouTube Video
Click to view this content.
https://cara.app/about
Not federated, but still good to see some alternatives
An internal Google database obtained by 404 Media shows Google recording childrens' voices, saving license plates from Street View, and many other self-reported incidents, large and small.
![Google Leak Reveals Thousands of Privacy Incidents](https://lemmy.ml/pictrs/image/9b91c051-6916-4b75-98bd-833662e6a81a.jpeg?format=webp&thumbnail=256)
Not a surprise but man
Introducing Windows Copilot Runtime
I am excited to be back at Build with the developer community this year.
![Unlock a new era of innovation with Windows Copilot Runtime and Copilot+ PCs](https://lemmy.world/pictrs/image/bb12a81f-a58c-44a0-9132-1fe031a9cd94.png?format=webp&thumbnail=256)
Skip the beginning marketing copy. There's a lot of dev focused news
A criticism of the linux foundation expenses and why you shouldn't support them
![](https://lemmy.ml/pictrs/image/ff00e951-23dc-4eb9-9f1a-66085fe9cb07.jpeg?format=webp&thumbnail=512)
YouTube Video
Click to view this content.
An on-demand recording of our Microsoft event keynote will be made available at 2pm PT today. An update with the link will be made to this blog post at that time. Today, at a special event on our new Microsoft campus, we introduced the world to a new category of Windows PCs designed for AI,...
![Introducing Copilot+ PCs - The Official Microsoft Blog](https://lemmy.ml/pictrs/image/9f7531c4-8647-4804-b0de-6d56fa69c6eb.jpeg?format=webp&thumbnail=256)
Introducing Copilot+ PCs
An on-demand recording of our Microsoft event keynote will be made available at 2pm PT today. An update with the link will be made to this blog post at that time. Today, at a special event on our new Microsoft campus, we introduced the world to a new category of Windows PCs designed for AI,...
![Introducing Copilot+ PCs - The Official Microsoft Blog](https://lemmy.world/pictrs/image/6d89c64c-124b-454d-9613-1dc9d0562df2.jpeg?format=webp&thumbnail=256)
Creators Jiang Xiuping and Pan Huqian, a viral Douyin duo, act as fictional parents, providing solace to young adults and adolescents amidst economic inequalities and a scarcity of mental health support in China.
![Meet the “digital parents” giving millions in China a vision of family love they never had](https://lemmy.ml/pictrs/image/8fce9fdc-dca3-4fad-b372-129d4cb47720.jpeg?format=webp&thumbnail=256)