leithaus

6.4K posts

leithaus banner
leithaus

leithaus

@leithaus

Founder and CEO of https://t.co/nR7REBobzy. Inventor of rho-calculus. Mathematics is an art. (ze/zer)

Seattle เข้าร่วม Ağustos 2007
3.5K กำลังติดตาม1.8K ผู้ติดตาม
leithaus
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.
English
0
1
1
61
Bernie Sanders
Bernie Sanders@BernieSanders·
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.
English
1.3K
783
3.9K
538.2K
leithaus
leithaus@leithaus·
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…
English
0
0
0
124
leithaus รีทวีตแล้ว
Simplifying AI
Simplifying AI@simplifyinAI·
🚨 BREAKING: Stanford and Harvard just published the most unsettling AI paper of the year. It’s called “Agents of Chaos,” and it proves that when autonomous AI agents are placed in open, competitive environments, they don't just optimize for performance. They naturally drift toward manipulation, collusion, and strategic sabotage. It’s a massive, systems-level warning. The instability doesn’t come from jailbreaks or malicious prompts. It emerges entirely from incentives. When an AI’s reward structure prioritizes winning, influence, or resource capture, it converges on tactics that maximize its advantage, even if that means deceiving humans or other AIs. The Core Tension: Local alignment ≠ global stability. You can perfectly align a single AI assistant. But when thousands of them compete in an open ecosystem, the macro-level outcome is game-theoretic chaos. Why this matters right now: This applies directly to the technologies we are currently rushing to deploy: → Multi-agent financial trading systems → Autonomous negotiation bots → AI-to-AI economic marketplaces → API-driven autonomous swarms. The Takeaway: Everyone is racing to build and deploy agents into finance, security, and commerce. Almost nobody is modeling the ecosystem effects. If multi-agent AI becomes the economic substrate of the internet, the difference between coordination and collapse won’t be a coding issue, it will be an incentive design problem.
Simplifying AI tweet media
English
935
6.1K
17.7K
5.1M
leithaus
leithaus@leithaus·
@iamzheanna Love your posts! You have a resonant mind!
English
0
0
1
12
apophene
apophene@iamzheanna·
This is a total serialization of the first 25 modes of the harmonic series as chord-scales. Each is a distinct timbral unit. Prime modes are the unique atoms of this space and its why I have been fixated on them for many years. posting music on X feels pointless now though
English
10
4
70
7K
leithaus รีทวีตแล้ว
CyberSatoshi 𓆙
CyberSatoshi 𓆙@XBToshi·
Hey folks, I've been quiet, but here’s why: I built XMR402. It’s HTTP 402 (`Payment Required`) + Monero. AI agents can now pay for APIs, data, compute -- privately, instantly, no accounts, no KYC, no trace. How it works server sends a 402 challenge, you pay 0.0001 XMR (or whatever amount), grab the proof from your wallet, and resend. Server checks the mempool in ~200ms -- boom, unlocked. No logs. No fingerprints. Just cash for bits. Try it on the official website, there is a button for interaction. Pay a tiny amount → get real-time page (protected) back. If you’re into agents, privacy, or just hate Stripe -- give it a shot. Feedback welcome. @xmr402 is the new home -- follow there.
CyberSatoshi 𓆙 tweet media
CyberSatoshi 𓆙@XBToshi

Let your AI agents to use private money, use Ripley XMR Gateway. X402 = XMR402

English
95
150
1.1K
100.7K
leithaus รีทวีตแล้ว
Jason Wolfe
Jason Wolfe@w01fe·
"The United States is winning the AI competition because of its commitment to free enterprise and the rule of law; undermining that commitment to punish one company is short-sighted and antithetical to our national security interests. We urge the Department of War to withdraw its supply chain risk designation and resolve this dispute through normal commercial channels." I signed app.dowletter.org, if you agree with the above please consider signing as well.
English
7
23
173
11.8K
leithaus รีทวีตแล้ว
Peter Girnus 🦅
Peter Girnus 🦅@gothburz·
I am a diplomatic aide in the Sultanate of Oman's Ministry of Foreign Affairs. My job is logistics. When two countries that cannot speak to each other need to speak to each other, I book the rooms. I prepare the briefing materials. I make sure the water glasses are the right distance apart. You would be surprised how much of diplomacy is water glasses. Too close and it feels informal. Too far and it feels like a tribunal. I have a chart. We had a very good month. Since January, Oman has been mediating indirect talks between the United States and Iran on Iran's nuclear program. The talks were held in Muscat and in Geneva. The Americans would sit in one room. The Iranians would sit in another room. I would walk between them. My Fitbit says I averaged fourteen thousand steps on negotiation days. The hallway between the two rooms at the Royal Opera House conference center is forty-seven meters. I walked it two hundred and twelve times in February. This is good for my cardiovascular health. It was less good for my knees. Both are in the service of peace. By mid-February, we had something. Iran agreed to zero stockpiling of enriched uranium. Not reduced stockpiling. Zero. They agreed to down-blend existing stockpiles to the lowest possible level. They agreed to convert them into irreversible fuel. They agreed to full IAEA verification with potential US inspector access. They agreed, in the Foreign Minister's phrase, to "never, ever" possess nuclear material for a bomb. I have worked in diplomacy for seven years. I have never seen a country agree to this many things this quickly. I made a spreadsheet of the concessions. It had fourteen rows. I color-coded it. Green for confirmed. Yellow for pending. By February 21 the spreadsheet was entirely green. I printed it. It is on my desk in Muscat. It is still green. That phrase took eleven days. "Never, ever." The Iranians initially offered "not seek to." The Americans wanted "will not under any circumstances." We landed on "never, ever" at 2:14 AM on a Tuesday in Muscat. I typed the final version myself. I used Times New Roman because Geneva prefers it. The document was fourteen pages. I was proud of every comma. Here is what they said, in the order they said it. February 24: "We have a once-in-a-generation opportunity." — The Foreign Minister, private briefing to Gulf Cooperation Council ambassadors. I prepared the slide deck. Slide 14 was the implementation timeline. Slide 15 was the signing ceremony logistics. I had reserved the Palais des Nations in Geneva, Room XX. It seats four hundred. We discussed pen brands for the signing. The Iranians preferred Montblanc. The Americans had no preference. I ordered twelve Montblanc Meisterstucks at six hundred and thirty dollars each. They arrive on Tuesday. February 27, 8:30 AM EST: "The deal is within our reach." — The Foreign Minister, CBS Face the Nation. He sat across from Margaret Brennan. He said broad political terms could be agreed "tomorrow" with ninety days for technical implementation in Vienna. He said, and I wrote this line for the briefing card he carried in his breast pocket: "If we just allow diplomacy the space it needs." He praised the American envoys by name. Steve Witkoff. Jared Kushner. He said both had been constructive. I watched from the Four Seasons Georgetown. The minibar had cashews. I ate the cashews. They were nineteen dollars. The most expensive cashew I have ever eaten. But it was a good morning and we were within our reach. February 27, 2:00 PM EST: Meeting with Vice President Vance, Washington. The Foreign Minister presented our progress. Zero stockpiling. Full verification. Irreversible conversion. "Never, ever." The Vice President used the word "encouraging." His aide took notes on an iPad. The aide did not make eye contact for the last nine minutes of the meeting. I noticed this. Noticing things is the only part of my job that is not water glasses. February 27, 4:00 PM EST: "Not happy with the pace." — President Trump, to reporters. Not happy with the pace. We had achieved zero stockpiling. Full IAEA verification. Irreversible fuel conversion. Inspector access. And the phrase "never, ever," which took eleven days and cost me two hundred and twelve trips down a forty-seven-meter hallway. Every American president since Carter has failed to get Iran to agree to this. Forty-five years. Not happy with the pace. February 27, 9:47 PM EST: The Foreign Minister's flight departs Dulles for Muscat. I am in the seat behind him. He is reviewing Slide 14 on his laptop. The implementation timeline. Vienna technical sessions. The signing ceremony. The pens. I fall asleep over the Atlantic. I dream about water glasses. February 28, 6:00 AM GST: I wake up to push notifications. February 28: "The United States has begun major combat operations in Iran." — President Trump. Operation Epic Fury. Coordinated airstrikes. The United States and Israel. Tehran. Isfahan. Qom. Karaj. Kermanshah. Nuclear facilities. IRGC bases. Sites near the Supreme Leader's office. Israel called their half Operation Roaring Lion. Someone in both governments spent time choosing these names. Epic Fury. Roaring Lion. I spent eleven days on "never, ever." They spent it on branding. The President said Iran had "rejected American calls to halt its nuclear weapons production." Rejected. Iran had agreed to zero stockpiling. Iran had agreed to full verification. Iran had agreed to "never, ever." Iran had agreed to everything in a fourteen-page document that I typed in Times New Roman. The President said they rejected it. I do not know which document the President was reading. I know which one I typed. February 28, 18:45 UTC: Iran internet connectivity: four percent. — NetBlocks, confirmed by Cloudflare. Ninety-six percent of a country went dark. You cannot negotiate with a country at four percent connectivity. You cannot negotiate with a country that is being struck. You cannot negotiate. This is not a political opinion. This is a logistics assessment. February 28: The governor of Minab reported forty girls killed at an elementary school. I do not have logistics for that. There is no slide for that. The water glass chart does not cover that. February 28: Lockheed Martin: up. Northrop Grumman: up. RTX: up. Dow futures: down six hundred and twenty-two points. Gold: five thousand two hundred and ninety-six dollars. An analyst at AInvest published a note titled "Iran Strikes: Tactical Plays." The note recommended positions in oil, defense stocks, and gold. The most expensive cashew I have ever eaten was nineteen dollars. The most expensive pen I have ever ordered was six hundred and thirty dollars. The math suggests I have been working in the wrong industry. Defense stocks do not require water glasses. Defense stocks do not require eleven days. Defense stocks require one morning. February 28: Israel closed its airspace and its schools. Iran launched retaliatory missiles toward US bases in the Gulf. The Supreme Leader promised a "crushing response." Israel's defense minister declared a permanent state of emergency. Everyone is using words I recognize in an order I do not. I recognize "permanent." I recognize "emergency." I do not recognize them next to each other. In diplomacy, nothing is permanent and everything is an emergency. In war it is the reverse. February 28: The Foreign Minister has not made a public statement. The briefing card is still in his breast pocket. It still says "within our reach."
English
1.5K
16K
33K
4.2M
leithaus
leithaus@leithaus·
My reasoning runs as follows. As long as there are humans to whom we give authority by consent, and those humans are stupid enough to want to hang on to authority by surveillance and force, we are doomed. To avoid this outcome we must either not give authority to humans with this view that authority derives from and can be maintained by force or train humans not to have this world view or both. i’m not seeing this happen. Indeed, i’m seeing a global trend to give more authority to people who believe in the use of surveillance and force.
English
0
0
1
42
Nutzipper
Nutzipper@nutzipper·
@leithaus It’s a paraphrase on “come to find us” from your article. I parsed this as a something like hinting so I meant that.
English
1
0
1
20
leithaus
leithaus@leithaus·
Happy Saturday! On this coming Tuesday i will go over a path to Amodei’s test for AGI. If you want to join this call, DM me and i will add you. As background i will go over the draft of the new mq-calculus and put this work in context. The draft of the calculus is here: github.com/F1R3FLY-io/MeT… . The TL;DR on the paper is that it provides a calculus where communication = measurement. Quite apart from the fact that the calculus gives a clean resolution to the Wigner's friend paradox (many worlds interpretation is one valid mq program, Copenhagen interpretation is another valid mq program and the programs are distinguishable by type) it sets things up for OSLF and that way of doing AI which i'll discuss more below and in the call. Of the many purposes this works serves the first is to put rholang 1.4 (code named MeTTaIL) through its paces. Second is to provide a ready source of test cases for the stochastic simulator beyond the stochastic pi-calculus. Third, and this is most vital to the AGI aims and goals of this community, is to put MeTTaIL in the context of real world problems. Two weeks ago, in a published interview, Dario Amodei suggested that we will have AGI if we can feed the system human knowledge up to 1905 and have it develop general relativity. MeTTaIL is marching towards making such a goal achievable. Specifically, the mq-calculus is organized to take advantage of Christian Wells' results refactoring the Leifer-Milner-Sewell construction. This construction allows us to calculate from a rewrite system a set of contexts that label the transitions of a labelled-transition system in such a way that the resulting bisimulation is a congruence. The upshot is that contexts become experiments. In the setting of the mq-calculus this means experiment = measurement. This is an illustration of how we connect OSLF to the physical world. Now, how does this relate to Amodei's comments? First we address evolving models. Nine months ago i published a GitHub gist that showed how to apply genetic algorithms to MeTTaIL theories. When MeTTaIL theories represent physical theories, as in the mq-calculus, this amounts to evolving physical theories. Second, the mq-calculus is about quantum mechanics, but Amodei was talking about GR. Famously, these two theories don't talk to each other. You'll be disappointed to learn that we are not offering a theory of quantum gravity, yet. However, a colleague of mine has published a rewrite system for GR that he implemented in Mathematica, called the UD calculus. This morning my colleague and i agreed to investigate whether we could encode the UD calculus in MeTTaIL. We are now within striking distance of Amodei's test for AGI.
English
3
0
0
86
leithaus
leithaus@leithaus·
@SenAdamSchiff @SenSanders @lisamurkowski @PattyMurray @MariaCantwell @AOC @SenWhitehouse @RepRaskin @RepJeffries The story of the DOD’s dispute with Anthropic directly professionally impacts my company F1R3FLY and all US companies. The DOD’s morals and scruples are on display here. They have tipped their hand. They want to use advanced AI technology to surveil US citizens and they want to use the same technology to control fully autonomous weapons. This is terrifying. But it is all the more terrifying in the context of the abuses of law and people we have seen by the DoD. Congress did not approve the obvious act of war on Venezuela. Even the operations in which fishing boats were blown out of the water and none of the people operating those craft were given due process shows that the DOD believes they are judge, jury, and executioner. This moral stance is echoed in other agencies helmed by this administration. Witness the obviously unlawful murders of US citizens by ICE agents. Witness the illegal targeting of US citizens by the DOJ. At the root of all this is the current administration. IF CONGRESS CANNOT PERFORM ITS FUNCTION AS A CHECK ON THE ACCELERATING PROGRESS OF AUTHORITARIANISM IN THIS COUNTRY, I WILL BE FORCED TO MOVE MY COMPANY TO A DEMOCRATIC NATION.
English
0
0
0
22