leithaus

Founder and CEO of Inventor of rho-calculus. Mathematics is an art. (ze/zer)

[leithaus @leithaus]

i was interviewed again on Mindplex by the remarkable Dr Mihaela Ulieru. https://t.co/eUQhi6qrN1

[leithaus @leithaus]

Here’s a hot take i have been sitting on for a while. As AI and formalization converge on mathematics mathematicians are beginning to think and act more and more like computer scientists. See Terry Tao and Ken Buzzard’s talks at the Future of Mathematics Symposium for evidence of what i’m talking about. The more they embrace these methods and principles, the deeper the deeper computer science results will penetrate the field. For example, the notion of Turing complete systems has consequences for many areas of mathematics. Set theory is Turing complete. The constructive reals and the constructive complex numbers are Turing complete. This expressiveness limit is ubiquitous. In this sense research programs like Langlands should not be surprising. In one sense they are building compilers from one programming model to another. Both are Turing complete (or analogs at higher order) so we know beforehand that the compilers exist. Finding and optimizing such compilers can be fun and exciting. But there isn’t a lot of mystery here. It’s completely expected.

[Lucas Sanders 👊🏽🔥🇺🇸 @LucasSa56947288]

OMG! Who did this? 🤣

[umut @clickdann]

Bazı insanlardaki yetenek beni dehşete düşürüyor

[okazakitomohiro @oo_kk_aa]

ニャッキの伊藤有壱さんにお声掛け頂き、コマ撮りの展覧会に一作家として参加しています。私はコマ撮り分野ではない場所から活動をはじめて、デザインの視点でのコマ撮りに取り組んできましたが、今回初めてコマ撮り界の本丸の方々とご一緒でき嬉しいです。今6年目のマッチ撮影素材等を展示しています

[SingularityNET @SingularityNET]

We are pleased to share that our Chief AI Alchemist, Dr. @Mihaela_Ulieru, has been recognized by Top Global Recognition as a “Top Woman Leader in AI, Blockchain, and Decentralized Innovation in 2026.”

Dr. Ulieru's leadership and dedication to beneficial AGI that serves humanity continue to drive our mission and inspire impactful innovation across the AI and blockchain ecosystems.

Learn more: https://t.co/pAlsuSL3zS

[The Figen @TheFigen_]

Super Lemon, known as the sourest Japanese candy in the world, is cracking everyone up with the wild reactions from people all around the globe! 😂

[cumi @sambellcumi]

New therapy idea. Waaaay cheaper.

[leithaus @leithaus]

@bengoertzel i wonder how much it costs to acquire a campus like that?

[leithaus @leithaus]

@bengoertzel https://t.co/FMt1k5eQ22

[leithaus @leithaus]

Check out the brain-candy page on the https://t.co/CNth8z8Kkr website!

[Massimo @Rainmaker1973]

This couple decided to have a lightsaber duel at their wedding instead of a dance by the bride and groom
https://t.co/BgGxwg8QGg

[leithaus @leithaus]

@SenSanders @SenWarren @SenAdamSchiff @SenMarkKelly @SenWhitehouse @AOC @RepRaskin @MariaCantwell @PattyMurray @RepJayapal

If implicating the rest of us in war crimes is not grounds for impeachment, then i don’t know what is. Do your job. Even if it seems hopeless i want to see impeachment proceedings launched tonight. Show the world that we the people do not support this madman — or we will all collectively be at risk.

[leithaus @leithaus]

@WorldPeaceCorps Nope. i checked there already.

[leithaus @leithaus]

Now that we have an AI-native tokenization platform scalable enough to do Dropbox and Google Drive features on-chain, and BlueSky on-chain, we are turning our attention to reimagining the rest of the Web 2.0 properties. We skip past Web 3.0 and go right to the agentic web where all value creation activities are social and the communities they serve are mixtures of humans and agentic AIs. Document creation is social. Ordering food is social. Creating and sharing music is social. Even location services are social. What's different is that the societies and communities we consider are mixes of humans and agentic AIs. Thus, the F1R3Docs interface is different from Gemini's AI in a panel as a tool. AIs and humans are working together utilizing each other's strengths to create something of value. Tokens do what they have historically done in human societies: aid in the management of coordination costs. https://t.co/TwGJdDWx8Z

[leithaus @leithaus]

https://t.co/CNth8z8Kkr’s website is live!

[leithaus @leithaus]

Hot take: the folks who voted for Trump and the GOP Congressional Reps and Senators should bear more of the tax burden for the Iran war, the tariffs reparations, the lawsuits against the US Government, and all the follow on investigations into the brazen corruption. Their tax rates should be not only be higher, but the rate should reflect the extent to which they supported this disaster

[leithaus @leithaus]

https://t.co/CNth8z8Kkr’s website is live!

[leithaus @leithaus]

@SenSanders — i love you for all the work you do. For your integrity and diligence and persistence. i love @AOC for her clarity, groundedness, and compassion. However, this legislation is shortsighted. Let’s say it passes. Will that stop China from building AI data centers? Russia? Europe? India? The problem with AI is that it’s a worse attractor (in the sense of dynamical systems) than nuclear weapons. No one can afford to let the other player get there first. Slowing down US growth might be good because the US has the most destructive capabilities and those can be controlled by a small cadre of bad actors at the top. But, it’s not a remedy. The best course of action i can see is to democratize and decentralize the development. Get as many people as possible educated and involved in steering our course down into the attractor. It’s not something humanity can escape, so get everyone involved.

When it comes to data centers specifically, there are designs and technologies that allow us to put them right in the middle of urban centers, instead of gobbling up precious farm land or wilderness. They can be made to generate power and provide an alternative to our very outdated power grid. If you would like to learn more, i’m happy to spend some time showing you these alternatives. They literally provide new downtown housing alternatives.

[leithaus @leithaus]

The next post in my series Finding Mind is up!
The Pledge: Part IX https://t.co/AHzphzpHQM