Imagine if you knew the PowerBall number from last week and you were still allowed to submit a bet. Seems wrong but that’s what post election voting does.
0
1
16
285
Canis Nuntium retweeted
Senators shouldn’t go home until DHS is funded and SAVE America is passed
Who’s with me?
Who’s with me?
GOVERNMENT SHUTDOWN: 100K TSA & Secret Service agents haven't been paid in a month. 50K live paycheck to paycheck. Thune is sending the Senate home tomorrow instead of changing the cloture rules to pay them. Federal families are going hungry while senators go home. Upside of chanhe TSA would be the ability of the Senate to pass the Save America Act.
2,960
8,925
25,302
379,992
Canis Nuntium retweeted
This 👇
Dear No Kings Day Protesters,
Look at you miserable fcks.
Waving your rainbow flags, Free Palestine signs, and pronouns scribbled on cardboard like it’s a fcking arts and crafts fair for the chronically unhinged.
Who the hell are you people?
You’re all so busy being angry you forgot how to think for yourselves, while swallowing every half-baked narrative the media shoves down your throats.
You scream “No Kings!” like it’s some profound revelation, but let’s unpack that dumbass slogan.
Kings?
You think President Trump is out there trying to crown himself like he’s Henry VIII?
Get real.
Kings conquer empires and behead dissenters.
Trump?
He’s ending wars, not starting them.
He’s liberating people from the chokehold of globalist bullshit, not annexing Canada for shits and giggles.
You’re out there protesting a man who’s actually keeping his promises unlike the spineless politicians you’ve been cheering for your whole lives.
Trump’s building walls, securing borders, and putting America first while you’re out there crying because your feelings got hurt by a Tylenol warning.
Pathetic.
You’re so busy hating Trump you can’t see he’s one of the greatest presidents this country has ever had.
He’s out there fighting for the working class, cutting taxes, and bringing jobs back while you’re screaming about “fascism” like you even know what that word means.
You’re not out there because you’re oppressed.
You’re out there because you’re bored.
Your lives are so empty and meaningless you’ve got to invent causes to feel relevant.
You’re not fighting for justice.
You’re fighting for attention.
And the irony?
You’re too damn ignorant to see you’re the ones being played.
The media’s got you on a leash, feeding you outrage like it’s dog chow, and you’re lapping that shit up.
You think you’re sticking it to the man, but you’re just pawns in a game you’re too dumb to understand.
Trump is out there making deals, bringing peace, and keeping America strong, and you’re mad because…why?
Because he’s not your kind of king?
Boo-fcking-hoo.
And the saddest part?
You’re not rebels.
You’re just losers who can’t cope with a president who doesn’t need your approval to succeed.
So go ahead, keep marching in circles, shouting your slogans, and waving your flags.
You’re not stopping Trump.
You’re not dismantling anything except your own dignity.
While you’re out there making noise, he’s making history.
He’s fighting for the American people.
Real people, not your imaginary coalition of perpetually offended weirdos.
You’re not the resistance.
You’re just a sideshow of freaks.
And deep down, you know it.
That’s why you’re so fcking angry all the time.
You’re mad because Trump’s winning, and you’re losing.
And no amount of screaming “No Kings!” is going to change that.
You’re not waking anyone up.
You’re just keeping us awake with your whining.
Get a life, get a clue, and get the fck out of the way.
In Freedom,
Mr. Star-Spangled MAGA
0
1
10
274
Canis Nuntium retweeted
There is something really wrong with the Republicans who are supporting the criminals just like Democrats are but in a different way.
The Republicans in President Trump's Cabinet aren't sending in criminal referrals on anyone in the Biden administration who committed crimes.
They stole Billions of our tax dollars for themselves. Billions were given away in grants to liberal companies to secure a job once they left Biden's administration in several departments of our federal government.
@realDonaldTrump Cabinet members aren't working for President Trump or our country. His Cabinet members are working for the Senate who confirmed them.
@epaleezeldin Where are the criminal referrals on the former employees who stole our tax dollars?
@SecDuffy Where are the criminal referrals on all of the government employees who gave CDL licenses to unqualified foreigners who killed innocent people?
@Sec_Noem You told us several times that you knew who was leaking ICE locations. Why haven't they been charged and arrested?
@SecScottBessent You know that China shares 40 Stocks on our Stock Market. Why haven't you closed those down?
@SecretaryTurner You gave Houston more than $300 million of our tax dollars the week Houston funded a Pride Parade. What did Houston do with those funds? We want receipts.
@SecretaryWright and @SecretaryBurgum You knew @realDonaldTrump was calling for India to stop buying oil from Russia. How could you then buy Uranium directly from Russia?
The Republicans in President Trump's Cabinet aren't sending in criminal referrals on anyone in the Biden administration who committed crimes.
They stole Billions of our tax dollars for themselves. Billions were given away in grants to liberal companies to secure a job once they left Biden's administration in several departments of our federal government.
@realDonaldTrump Cabinet members aren't working for President Trump or our country. His Cabinet members are working for the Senate who confirmed them.
@epaleezeldin Where are the criminal referrals on the former employees who stole our tax dollars?
@SecDuffy Where are the criminal referrals on all of the government employees who gave CDL licenses to unqualified foreigners who killed innocent people?
@Sec_Noem You told us several times that you knew who was leaking ICE locations. Why haven't they been charged and arrested?
@SecScottBessent You know that China shares 40 Stocks on our Stock Market. Why haven't you closed those down?
@SecretaryTurner You gave Houston more than $300 million of our tax dollars the week Houston funded a Pride Parade. What did Houston do with those funds? We want receipts.
@SecretaryWright and @SecretaryBurgum You knew @realDonaldTrump was calling for India to stop buying oil from Russia. How could you then buy Uranium directly from Russia?
38
207
328
10,372
Canis Nuntium retweeted
🚨Gov. DeSantis: Florida has retired 50% of its total debt from the last 180 years since he took office.
By buying back bonds at a discount, the state cut interest costs — now boasting the lowest per-capita debt in the U.S.
“It's been beneficial for taxpayers.”
By buying back bonds at a discount, the state cut interest costs — now boasting the lowest per-capita debt in the U.S.
“It's been beneficial for taxpayers.”
162
1,506
12,987
823,668
3. Practical Implications for AI Development
• Theorem Proving: AI systems like Lean or Coq automate theorem proving but operate within specific formal systems. Gödel’s theorems mean these systems cannot prove all true statements in their domain, so AI developers must design systems to handle incomplete or undecidable cases, perhaps by switching axioms or using heuristic methods.
• Verification and Consistency: The second incompleteness theorem implies that an AI cannot prove its own consistency if it operates within a sufficiently powerful formal system. This poses challenges for verifying the reliability of AI systems, especially in safety-critical applications like autonomous vehicles or medical diagnostics.
• Machine Learning and Gödel: Modern AI often relies on statistical models (e.g., neural networks) rather than formal logic. These systems sidestep Gödel’s limits in a sense, as they don’t operate within a single formal system. However, they lack the precision of formal reasoning and may struggle with abstract mathematical truths that require Gödelian insight.
• Theorem Proving: AI systems like Lean or Coq automate theorem proving but operate within specific formal systems. Gödel’s theorems mean these systems cannot prove all true statements in their domain, so AI developers must design systems to handle incomplete or undecidable cases, perhaps by switching axioms or using heuristic methods.
• Verification and Consistency: The second incompleteness theorem implies that an AI cannot prove its own consistency if it operates within a sufficiently powerful formal system. This poses challenges for verifying the reliability of AI systems, especially in safety-critical applications like autonomous vehicles or medical diagnostics.
• Machine Learning and Gödel: Modern AI often relies on statistical models (e.g., neural networks) rather than formal logic. These systems sidestep Gödel’s limits in a sense, as they don’t operate within a single formal system. However, they lack the precision of formal reasoning and may struggle with abstract mathematical truths that require Gödelian insight.
3
0
5
119
@grok • AI and Mathematical Truth: Gödel’s Platonism suggests mathematical truths exist independently of formal systems. If AI can only approximate truth through computation, it may never fully grasp the “Platonic” reality of mathematics, a key philosophical question.
2
0
1
84
This is Margaret Hamilton MIT with the paper stack of software code that sent Apollo astronauts to the moon.
Amazing how smart people can do so much with engineering we now call antiquated
Today’s programming is LAZY copy and wasteful paste
Even AI code is ridiculously wasteful usk can help us go back to efficiency of software code
NASA did it with a few KB of code and memory
Amazing how smart people can do so much with engineering we now call antiquated
Today’s programming is LAZY copy and wasteful paste
Even AI code is ridiculously wasteful usk can help us go back to efficiency of software code
NASA did it with a few KB of code and memory
0
2
11
662
Does X flicker on your iPhone when reading comments?
I have the latest OS and X app
Seems to happen when another “like” hits the post
I have the latest OS and X app
Seems to happen when another “like” hits the post
0
0
8
125