

LLM mathematical proof exploits theorem proover bugs [to get false statement to be “proven” true]


LLM mathematical proof exploits theorem proover bugs [to get false statement to be “proven” true]

But the very next minute I proved he was wrong. For, just at that minute, a chap came along, and he thought that the Thneed I had knitted was great. He happily bought it for three ninety-eight.
I laughed at the Lorax, “You poor stupid guy! You never can tell what some people will buy.”
– The Lorax, Dr Seuss


Why not just destroy the drives? The mobo, cpu, ram, and PSU should be ok to reuse.


deleted by creator


God: creates a woman from a man


Peertube is great, I sometimes archive youtube videos I find to be important on it, like this one that was age-gated to require login.
NLG Know Your Rights reminder: Shut the fuck up! [National Lawyers Guild, Detroit & MI]


yt-dlp helps, but really people need to stop using YouTube and all other Google services


I hate the word migrants, it seems more dehumanizing to me than immigrants or refugees.
The word is found on this page 17 times.
This part seems particularly dehumanizing:
Vivas said migrants previously died in the attempt, with 60 bodies being spotted at sea in the last year.
How hard would it be to say" 60 people were found to have lost their lives attempting to cross the sea", and try to humanize the issue.
I think this wording is purposefully dehumanizing throughout the article.


I’m too lazy to click and read but I’m guessing this is some stupid gen ai shit
That’s how you know I’m not an llm


deleted by creator


I’m a cunt? I’m just encouraging you to follow your dreams.
You can even post anti-linux memes with that one other guy.
The dev made it so that if you used his frontend it would download a secret list of instances, communities, people, and words that they hand curated because he didn’t like them.
This had the effect of a ban list that the user was unaware of, but really it would be more accurate to call it a censor list. The dev was censoring the Fediverse.
He mostly censored things that were “left-wing” or “woke”, and he seemed to hate human rights advocates dispite having many alts on a star trek instance.
Later he effected a ddos attack within his “goodbye” message, although he is still quite active in the Fediverse and uses many alts to defend his own actions. One of those alts probably already posted a shit take on this post.


Would be cool, I am not a fan of how Mastodon handles Lemmy posts
Oh yeah? We’re you too woke? Did you suggest that trans people and immigrants deserve human rights? Did you imply that fascism or genocide is bad?
Or maybe you just enjoyed that the voices of people that did were silenced in secret?


Cool, honestly didn’t know.
I’m still going to call it the Fediverse because meta has tarnished the thread prefix


I like the info, but why are you calling it the threadiverse?
Is this somehow the official name and I just never heard it called that in the 3 years I’ve been here?
Is this meta propaganda?
Are instances getting dethrederated?
Graffiti was the social media of ancient Rome