Axiom Verge is $4.99 on US eShop buff.ly/VFPYshA
November 7, 2026 at 5:03 PM
Axiom Verge is $4.99 on US eShop buff.ly/VFPYshA
this is literally axiom and me (i'm in the blue)
November 5, 2026 at 4:18 PM
this is literally axiom and me (i'm in the blue)
November 5, 2026 at 1:01 AM
Axiom Math wants to keep AI slop out of mathematics
Axiom Math wants to keep AI slop out of mathematics
As AI floods math with unchecked proofs, Axiom Math is betting on verification. The startup’s AI agents just formally verified the Stacks Project, one of the field’s biggest libraries.
techcrunch.com
November 5, 2026 at 4:20 PM
Axiom Math wants to keep AI slop out of mathematics
November 7, 2026 at 5:04 PM
It's because they're all 12 years old. It's amazing how much this axiom has held.
November 5, 2026 at 7:26 PM
It's because they're all 12 years old. It's amazing how much this axiom has held.
obviously this axiom doesn't apply to political thought!
November 7, 2026 at 7:00 PM
obviously this axiom doesn't apply to political thought!
The Four Seasons Axiom: mistakes must become policy, because real men never make them.
White says he's flying to meet with Trump on Monday to discuss whether he'll become the White House press secretary.
UFC's Dana White confirms talks with Trump over White House press secretary job
YouTube video by Associated Press
www.youtube.com
November 8, 2026 at 12:40 PM
The Four Seasons Axiom: mistakes must become policy, because real men never make them.
The political axiom that the president’s party loses Congressional seats in the midterms is well-known and true.
Another rule of thumb, though, is that Members are at their most vulnerable in their very first reelection campaign.
This majority, of this size, is likely fleeting. Use it immediately.
Another rule of thumb, though, is that Members are at their most vulnerable in their very first reelection campaign.
This majority, of this size, is likely fleeting. Use it immediately.
When MN Demss gained a 1 seat majority in the state senate this is what they did.
YOU. ACQUIRE. POWER. TO. USE. IT.
YOU. ACQUIRE. POWER. TO. USE. IT.
November 5, 2026 at 1:38 PM
The political axiom that the president’s party loses Congressional seats in the midterms is well-known and true.
Another rule of thumb, though, is that Members are at their most vulnerable in their very first reelection campaign.
This majority, of this size, is likely fleeting. Use it immediately.
Another rule of thumb, though, is that Members are at their most vulnerable in their very first reelection campaign.
This majority, of this size, is likely fleeting. Use it immediately.
Axiom Math wants to keep AI slop out of mathematics. ~ Aditya Mehta.
techcrunch.com/2026/11/05/a...
#LeanProver #ITP #AI4Math
techcrunch.com/2026/11/05/a...
#LeanProver #ITP #AI4Math
Axiom Math wants to keep AI slop out of mathematics | TechCrunch
As AI floods math with unchecked proofs, Axiom Math is betting on verification. The startup’s AI agents just formally verified the Stacks Project, one of the field’s biggest libraries.
techcrunch.com
November 7, 2026 at 10:51 AM
Axiom Math wants to keep AI slop out of mathematics. ~ Aditya Mehta.
techcrunch.com/2026/11/05/a...
#LeanProver #ITP #AI4Math
techcrunch.com/2026/11/05/a...
#LeanProver #ITP #AI4Math
This is known as the Axelrod Axiom.
My longstanding belief is that whatever you think about Obama’s beliefs, his immense political talent dragged a lot of utter dipshits to national prominence who now appear nightly on cable news panels under the assumption that they somehow engineered his win despite them being utter dipshits
November 5, 2026 at 4:08 AM
This is known as the Axelrod Axiom.
🎵axiom á la Phants🎵
November 6, 2026 at 10:42 PM
🎵axiom á la Phants🎵
When I see Steven Miller, I am reminded of this axiom
November 6, 2026 at 8:30 PM
When I see Steven Miller, I am reminded of this axiom
Axiom Math formalizes Stacks Project 📐
Axiom Math, a $1.6 billion startup, announced it formally verified the Stacks Project, a huge mathematics library, into 16 million lines of computer-checked code.
Building a verified foundation for AI agents turns out to be a massive undertaking.
Axiom Math, a $1.6 billion startup, announced it formally verified the Stacks Project, a huge mathematics library, into 16 million lines of computer-checked code.
Building a verified foundation for AI agents turns out to be a massive undertaking.
November 6, 2026 at 9:06 PM
Axiom Math formalizes Stacks Project 📐
Axiom Math, a $1.6 billion startup, announced it formally verified the Stacks Project, a huge mathematics library, into 16 million lines of computer-checked code.
Building a verified foundation for AI agents turns out to be a massive undertaking.
Axiom Math, a $1.6 billion startup, announced it formally verified the Stacks Project, a huge mathematics library, into 16 million lines of computer-checked code.
Building a verified foundation for AI agents turns out to be a massive undertaking.
With the axiom of choice it is easy.
November 6, 2026 at 2:21 PM
With the axiom of choice it is easy.
Posit this block in your axiom
November 5, 2026 at 12:55 AM
Posit this block in your axiom
Couldn't think of a better last post before tomorrow
Fingers crossed that we carry on the wave✊🏻💚
#nzpol
Fingers crossed that we carry on the wave✊🏻💚
#nzpol
Rage Against The Machine - Take The Power Back! (The Machine is Failing)
YouTube video by Axiom Emissary
youtu.be
November 6, 2026 at 8:26 AM
Couldn't think of a better last post before tomorrow
Fingers crossed that we carry on the wave✊🏻💚
#nzpol
Fingers crossed that we carry on the wave✊🏻💚
#nzpol
dergs is bugs! Just putting axiom is his true form fr
November 7, 2026 at 2:41 AM
dergs is bugs! Just putting axiom is his true form fr
Same, but I checked Ryan’s replies. It was the Project Management axiom.
November 7, 2026 at 9:44 AM
Same, but I checked Ryan’s replies. It was the Project Management axiom.
getadmissor.com
No clear direction? Waiting is a decision too.
AXIOM: Beyond the Chart — Episode 03.
#AXIOM
No clear direction? Waiting is a decision too.
AXIOM: Beyond the Chart — Episode 03.
#AXIOM
November 5, 2026 at 8:44 PM
getadmissor.com
No clear direction? Waiting is a decision too.
AXIOM: Beyond the Chart — Episode 03.
#AXIOM
No clear direction? Waiting is a decision too.
AXIOM: Beyond the Chart — Episode 03.
#AXIOM
This proving Rick Wilson’s axiom of “There are two kinds of people - Those who hate Ted Cruz and Ted Cruz”.
November 5, 2026 at 3:57 PM
This proving Rick Wilson’s axiom of “There are two kinds of people - Those who hate Ted Cruz and Ted Cruz”.
NASA’s spacesuit vendor is working with Prada, backed by Donald Trump Jr.’s investment firm — and struggling to stay on track for a 2028 moon landing.
Houston, we have a wardrobe problem
NASA’s race against China to return to the moon depends on Axiom Space, a start-up with an uneven record and a Prada partnership. Its investors include a firm where Donald Trump Jr. is a partner.
www.washingtonpost.com
November 7, 2026 at 7:30 PM
NASA’s spacesuit vendor is working with Prada, backed by Donald Trump Jr.’s investment firm — and struggling to stay on track for a 2028 moon landing.
so I was thinking about this earlier, the "safe state underestimate" as an axiom re. polling is as dead as a doornail
Independents in safe red states did broadly worse than polling, but not Democrats! And Dems did well in their safe states.
Independents in safe red states did broadly worse than polling, but not Democrats! And Dems did well in their safe states.
If it's like those cycles, the Dems will beat the polling harder in the most contested states, with a smaller swing elsewhere.
It's not a given but it's an interesting thought, though it utterly fails in explaining VT, WV, SD, OK etc. polls showing promise. Just something I'm keeping in mind.
It's not a given but it's an interesting thought, though it utterly fails in explaining VT, WV, SD, OK etc. polls showing promise. Just something I'm keeping in mind.
November 7, 2026 at 3:33 AM
so I was thinking about this earlier, the "safe state underestimate" as an axiom re. polling is as dead as a doornail
Independents in safe red states did broadly worse than polling, but not Democrats! And Dems did well in their safe states.
Independents in safe red states did broadly worse than polling, but not Democrats! And Dems did well in their safe states.
Today's Axiom is the daily hidden-rule puzzle: test words and find the rule that fits. @enigame.de Play today's puzzle here: mindloftdaily.com/axiom
November 6, 2026 at 8:20 AM
Today's Axiom is the daily hidden-rule puzzle: test words and find the rule that fits. @enigame.de Play today's puzzle here: mindloftdaily.com/axiom