Article URL: https://corentin-core.github.io/posts/ruxe-type-level-disjointness/
Comments URL: https://news.ycombinator.com/item?id=48681361
Points: 3
# Comments: 0
💡 AI analysis provides alternative perspectives on current events
Alto is funded entirely by readers like you. Your donation helps us continue delivering curated news from a right-wing Christian Nationalist perspective, powered by Gab AI.
Support free speech with official merchandise
Add Alto to your home screen for quick access to breaking news — no app store required.
Using Safari Browser
Using Chrome Browser
Join millions on the original and only true free speech social network.
We're not just another social network. We're a platform built on principles that matter.
All First Amendment protected speech is welcome. No algorithmic throttling or shadow banning.
We maintain a clean environment. Explicit adult content is strictly prohibited.
Third-world IPs are blocked. No scammers, no spam farms. Built for Western civilization.
Our users are our investors and customers. You're not the product being sold.
A decade of standing strong. Banned from app stores, banks—and still here.
We reject foreign censorship demands. Built by Americans, for free people.