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.

OMG! Who did this? 🤣

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

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

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: topglobalrecognition.com/dr-mihaela-uli…

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! 😂

New therapy idea. Waaaay cheaper.

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

Whoops ... another one bites the dust... masslive.com/education/2026… Marlboro (where one of my sons went) then Simon's Rock (where my sister and I and 2 of my kids attended) now Hampshire... seems like the winding-down of the era of these beautiful little New England freethinking-hippy universities ... A teeny tiny footnote to the winding-down of the human-dominance era ofc but I had (probably absurdly) hoped these locations/experiences would somehow survive the Singularity ;p Maybe Mars College (where my hero pseudo lives/teaches/learns) will be more the vibe of post-ASI human education... theguardian.com/us-news/2026/m…

@bengoertzel docs.google.com/document/d/1Gh…

Decentralized AI after Mythos (What AI-Scale Vulnerability Discovery Means for e.g. OmegaClaw and ASI:Chain and other DeAI products and platforms...) ... bengoertzel.substack.com/p/deai-after-m…

Check out the brain-candy page on the F1R3FLY.io website!

This couple decided to have a lightsaber duel at their wedding instead of a dance by the bride and groom x.com/fluxfolio_/sta…

@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.

@WorldPeaceCorps Nope. i checked there already.

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. docs.google.com/document/d/1XO…

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

F1R3FLY.io’s website is live!

@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.

We are rapidly creating technology that could surpass human intelligence, with enormous risks to jobs, society and humanity itself. AI must work for all of us, not just a handful of billionaires. That’s why I’m introducing a moratorium on new AI data centers.

The next post in my series Finding Mind is up! The Pledge: Part IX open.substack.com/pub/f1r3fly/p/…

i have long had an idea for a mystery series called the Adventures of Victoria and Balthazar. It was to be an Internet savvy, Thin Man inspired series about a celebrated and glamorous globe trotting couple who just happened to always wind up where trouble was and used their considerable acumen and presence of mind to solve the cases that they got inadvertently involved in. What gives this story another layer of depth is that Victoria and Balthazar are entirely narratives. They are an embodiment of the idea that faeries are faerie stories. They live entirely by infecting human minds and stealing time from them. Here we have a reference to La Belle Dam sans Merci. So the story flips back and forth between the (mis?)adventures Victoria and Balthazar get into and just barely out of and the lives of two marginal GenZ's, who go by the names Boi and Gyrl. These two are unwitting vectors of the faerie mind virus as their obsession of finding the source of the V & B narrative first leads them to each other and then to spreading the narrative. i decided to add a third layer of narrative between the author and an AI who is generating the narrative at the prompting of the author. Here’s the first chapter. It needs significant editing. Still, reading it, would you want more? docs.google.com/document/d/1Hw…