Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@arXiv_csLO_bot@mastoxiv.page
2025-07-17 08:26:30

Anthem 2.0: Automated Reasoning for Answer Set Programming
Jorge Fandinno, Christoph Glinzer, Zachary Hansen, Jan Heuer, Yuliya Lierler, Vladimir Lifschitz, Torsten Schaub, Tobias Stolzmann
arxiv.org/abs/2507.11704

@karlauerbach@sfba.social
2025-06-03 06:50:58

This is an interesting article about FFOTUS's cell phone.
Apparently many people know the number. And apparently FFOTUS often picks up and answers.
If I had the number I would publish it so that all of us could carry out our First Amendment right to "right to petition the government for redress of grievances".
"The Secret History of Trump’s Private Cellphone"

@pre@boing.world
2025-05-18 09:15:53
Content warning: re: Doctor Who - Interstellar Song Contest
:tardis:

So, we have a song-contest blighted by a genocidal unethical corporate sponsor, with the remnants of the wiped-out race threatening a revenge genocide of their own.
Unusually political with the allegory there then.
Great looking scene when the roof was blown open, thousands of people all being sucked off! Looked great, but what a body count?! And the Doctor and his Tardis both sucked off too! He's frozen.
"The Mavity Shell is still open." Lol. Still doing that then.
Susan is here! His granddaughter. Just in visions though, not actually really there. She looks older now. Sixty years on. She's like 80 years old now. "Find me" she says. Not this season though I suspect.
I liked him using the Confetti Cannon to fly though space. Peter Davidson used a cricket ball to bounce off a space ship when he was stranded in outer space. And Peter never froze.
Also a great prat-fall after landing, pointing and gasping and then just toppling.
Silly muppets-aliens song was fab.
Anti-gambling fraud laws prevent calling for help. Brilliant.
Expected that hair to be hiding a set of horns, not that she'd have cut them off.
The Doctor has ice in his heart now, more angry than we've seen Nchuti's Doctor. Trillions gonna die, Belinda dead, Tardis lost. Almost genocidal himself. Certainly vengeful. Timelord victorious.
Belinda is scared too: "If he's angry, this whole world is going to shake", but it ain't a world is it? It's a space station. Much easier to shake 😝
Explosion breaking through the Tardis doors near the end is quite a cliff hanger, but not even actually the end.
Because Mrs Flood is the Rani, finally! Every mystery character has had the fans hoping it's the Rani for years. Like it never being Lupus for the other Doctor: Doctor House. Finally it is Lupus, I mean the Rani.
Not sure I like this bi-generation again though. It's supposed to be rare, but now it feels like it's every time. Still, at least it keeps Miss Flood there as Rani's lackey.
Who actually was the Rani again?
She's from the first McCoy episode: she tries to build a time control device by gathering geniuses from time and blowing up a planet. Pretends to be Mel, the Doctor's companion at the time, to fool McCoy into hhelping. So interesting that her new regeneration looks a little like Belinda. 🤨🤔
I figured Mrs Flood was just Missy, the female Master. But then The Rani was always just a female version of The Master before Transsexual Regeneration was a thing anyway.
Well, just the double finale left then. Exciting.
#watching #tv #doctorWho #interstellarSongContest

@rberger@hachyderm.io
2025-04-27 19:48:27

"I think it is a huge mistake for people to assume that they can trust AI when they do not trust each other. The safest way to develop superintelligence is to first strengthen trust between humans, and then cooperate with each other to develop superintelligence in a safe manner. But what we are doing now is exactly the opposite. Instead, all efforts are being directed toward developing a superintelligence."
#AGI #AI
wired.com/story/questions-answ

@arXiv_mathDG_bot@mastoxiv.page
2025-06-09 08:14:12

On Berger's Isoperimetric Problem
Fan Kang
arxiv.org/abs/2506.05775 arxiv.org/pdf/2506.05775