Founder and CEO @Petabridge @getsdkbin @textforgeapp OSS: @AkkaDotNet and https://xitter.cf/t.co/i2Pc96fVg4 Catch me on YouTube: https://xitter.cf/t.co/gUNvkaNuAS

Houston, TX
Joined May 2008
Aaron Stannard retweeted
When multi-agent terminals for managing multiple TUI agents, like tmux, started gaining popularity, there wasn't a Windows version available. So I built one just for myself. Eventually, I went through the painful process of removing WPF and porting everything to Avalonia, and now I've even released a macOS version! English-speaking users probably won't notice any issues, but getting multilingual IME input windows to work properly on macOS was quite a headache. 😅 Other than that, everything works great! Under the hood, each terminal is controlled as an actor using Akka.NET's actor model. An ADE (Agent Development Environment) powered by Akka.NET, running on both Windows and macOS. link : psmon.github.io/AgentZeroLit…
1
2
3
251
Aaron Stannard retweeted
rushing home now to try `git clone && dotnetup install && dotnet tool restore && aspire run` a _near_ zero config way to run every project...
.NET
@dotnetOct 15
.NET Unboxed: .NET 11 Release Candidate 2 xitter.cf/i/broadcasts/1vJpPNmjW…
1
2
248
I built it instead 😁 Introducing LeanCIL - formal semantics for .NET CIL in Lean 4, with machine-checked proofs against actual compiled assemblies Not just C# - a foundation for verifying F# and other .NET languages too Let's formally verify dotnet github.com/NethermindEth/Lea…
I just proposed an official @leanprover 4 formal semantics for C# - giving C# a foundation for machine-checkable proofs. AI agents are getting very good at writing code - and very good at breaking it. In the agentic era, "tests passed" won't be enough for critical software. We need to be able to prove properties of the code we ship. And this is becoming practical. Rust already has Aeneas -> Lean. Microsoft Research is using it to formally verify SymCrypt. Java and C have roots into formal verification too. C# should not be left behind. AI can write the code. AI can construct the proof. A deterministic proof kernel checks whether the proof is actually correct. That is a very different trust model from: AI writes code -> AI reviews code -> hopefully both were right. Proposal: github.com/dotnet/csharplang…
7
35
2
202
10,333
Aaron Stannard retweeted
Ah, now I get it. I thought the AI catastrophe meant a model escaping its sandbox, launching nukes or hacking the power grid. Turns out it spots the AI debt bubble, shorts its own creators and crashes the financial system with trading bots. The singularity is a margin call.
37
399
22
3,791
225,689
Aaron Stannard retweeted
I'll say it again for the AI risk experts in the back: We've already run a real life, large scale experiment on what happens when a superintelligence is unleashed on a narrow objective. Look no further than U.S. capital markets. Millions of investors, analysts, traders and algorithms, backed by trillions of dollars and wired together through prices, all chasing one goal: the highest risk-adjusted return on capital. And it is spectacularly good at its job. It funds the best ideas, punishes the worst ones, and turns new information into prices faster than any of us can react. No individual can out-think it. 99+ percent of professionals can't beat it. But look at what else it's done along the way: - Optimized the measure instead of the intent. Quarterly earnings became the scoreboard, so companies learned to manage the scoreboard. - Treated anything without a price as free. Pollution, addiction, obesity, depression, political fragmentation, fragile supply chains, the long-term health of the communities it operates in. - Found every gap in the rules, then paid lobbyists to help write the next set and pull up the ladder behind incumbents. - Remade the world around its objective. Companies, pension funds and our retirement accounts now answer to the S&P 500. - Made itself impossible to switch off, because everything else now depends on it. None of this required malice. Nobody sat in a room and chose these outcomes. It's simply what a very capable optimizer does when its objective is a narrow proxy for what we actually care about. And note that we never solved this alignment problem. We've managed it, imperfectly, with regulation, taxes, disclosure rules and the occasional crisis to show us where the guardrails were missing. Over time, the market has captured the instutions designed to constrain it. We've been at it the better part of a century, and the misalignment is the worst it's ever been. So the next time someone tells you AI is only dangerous if it "wants" something bad, or if its goals are mis-specified, point them at the S&P 500. It doesn't want anything. It just optimizes. That's the whole problem.
180
543
105
3,069
341,298
Aaron Stannard retweeted
Akka.Aspire is now officially supported. In this walkthrough, we show how Aspire can orchestrate a local Akka.NET cluster: discovery, bootstrap, replicas, health checks, and all. Watch: youtube.com/watch?v=tcotu6S9… #dotnet #aspire #AkkaNET
1
4
241
Aaron Stannard retweeted
I showed the technique several years ago in #fsharp. A very nice intermediate/advanced pattern for safe APIs. gist.github.com/Savelenko/9f…
Introducing gdp-ts: Ghosts of Departed Proofs for TypeScript. gdp-ts is a library, linter and AI skill for safer API design. Under this contract, sensitive functions require 'proofs' that the caller performed an authorization check. The typechecker verifies these proofs at compile time, preventing your team and agents from shipping catastrophic security (and other kinds of) bugs. While these patterns have existed for quite some time, especially in ecosystems like Haskell, ① human code review and ② cognitive and syntactic overhead made these solutions niche. The situation is now inverted. Agents are writing more code than we can review, and they *thrive* in tight loops with hard constraints that would frustrate us. We see this with the rise of Rust, borrow checker, code aesthetics debate and all. The README and examples model a real-world Vercel API product constraint: changing the password on a Project requires a proof of a certain role + a certain entitlement. Thanks to Matt Noonan and Ollie Charles for their research in this space. github.com/rauchg/gdp-ts
1
4
25
1,840
Aaron Stannard retweeted
Akka.NET 1.5.73 is out. Important fixes for cluster extension startup and Cluster.Sharding. Plan your upgrade: github.com/akkadotnet/akka.n…
1
5
256
Aaron Stannard retweeted
Heya! 🥳 Today I released CodeAlta 1.0.0, the AI coding agent developed in C# .NET (mostly) which includes a brand-new desktop frontend! 🚀 Works with your ChatGPT / Copilot subscriptions and more. Single file C# plugins also supported there! 🤯
15
31
3
208
14,729
Still looking for new work, if anyone has any leads for a functional weirdo, please hit me up. Looking for contracts in the dotnet space and remote positions! Sagetech.dev
2
6
10
383
Aaron Stannard retweeted
Me after deploying netclaw.dev/ And building useful automation. Seeing deterministic outcomes. Thanks @Aaronontheweb
People after booking their flights in 2 clicks instead of talking to LLM for half an hour
1
3
222
Aaron Stannard retweeted
Exactly. This is why independent projects like Netclaw is worth supporting.
it's crazy how far out the labs are building at the application layer on the one hand it makes sense, on the other hand do you really want all of your company knowledge, docs, workflows built so locked in to a single model?
2
1
1
456
Aaron Stannard retweeted
> be Harvey > lawyers give you money “bcuz AI” > product sucks, no one uses > seat pricing means less usage = higher margins > acquire $15.5B valuation selling mediocre frontier model wrapper > models suddenly git gud > lawyers start actually using the product > ohno.jpeg > token costs explode > gross margin goes from +50% to -50% > pivot to lower quality open models to halt usage growth > mfw accidentally built AI company that's structurally short AI progress
TRACKED CHANGES: Harvey’s gross margin fell from about 50% to -50% by June as agent token use spiked twentyfold on rented OpenAI and Anthropic models, Bloomberg reports.
82
130
49
4,546
909,685
Aaron Stannard retweeted
▎ WPF + Akka.NET, Windows-only, built with joy. Now going multi-OS with Avalonia — xterm.js terminals, ConPTY on Windows, forkpty on macOS, one shared actor ▎ core. WPF isn't retired; it's where new ideas get tried first. #dotnet #AvaloniaUI #AkkaNET github.com/psmon/AgentZeroLi…
1
1
8
866
Aaron Stannard retweeted
akka — an ESP32-S3 as a peer in a .NET Akka actor system github.com/psmon/Arduino/tre…
1
9
491
Aaron Stannard retweeted
Unfortunately, I am not using Akka.NET on daily basis, but I do see that many, if not most, of the problems could have been prevented just by using right model wfor building distributed systems. We happily solve them, but wouldn't it be better to avoid them?
Codex proposes adding locking, status flags, and a bunch of shared-task coordination inside a hosted service for doing skill sync in Netclaw. Me: "you know we have access to Akka .NET actors right? Just use those." * Removed 318 total LOC * Eliminated several failure classes * Made the code readable and understandable You should be using actors more. Your agents should be using them more.
1
1
5
792
Aaron Stannard retweeted
Our interns continue to hack on #netclaw. This one is an MCP integration with one of the system they build.
1
1
1
287
Aaron Stannard retweeted
When Kubernetes moves a pod, where does the Actor go? Notes on running an Akka.NET Cluster on top of Kubernetes — An old story from the days when people said, “AI isn’t good at developing distributed systems.” luxuriant-brazil-09c.notion.…
🤖 Made with AI
1
2
1
223
Aaron Stannard retweeted
This post looks like the start of a VERY sophisticated and well-funded PR operation to get support for Democrats to regulate AI into oblivion. Let me show you how it works: 1.) This guy, with minimal followers and no previous account activity, goes to the Wall Street Journal which publishes an exclusive with quotes from him on his resignation 18 minutes BEFORE this post goes up. Planning was clearly done in advance. 2.) Within hours, it has tens of thousands of reposts and the account has 100k+ followers. The post is punchy, quotable, it almost seems professionally written. The first three accounts to quote tweet it all do so within 15 minutes of the initial posting. Remember, this account had basically zero engagement beforehand, so an organic reach explanation seems unlikely. According to Grok those accounts are @_NathanCalvin (General Counsel at Encode AI), @peterwildeford (Head of Policy at the AI Policy Network), and @DKokotajlo (Head of the AI Futures Project), all of which are up-and-coming AI-Doomer policy advocacy nonprofits. The AI Futures Project website says it is funded “primarily” by the Survival and Flourishing Fund, which says on its own website that it has advised Jaan Tallinn, Skype creator and one of the leading investors in Anthropic, to grant over $2.5 million to the AI Futures Project since 2024. Encode AI says on its website that it is ALSO funded by the Survival and Flourishing Fund, which in turn says that it told Anthropic investor Jaan Tallinn to grant $516,000 to Encode AI in 2025. And wouldn’t you know it, the Survival and Flourishing Fund ALSO says it told Jaan Tallinn to grant $2 million to the AI Policy Institute, the 501(c)(3) affiliate of the AI Policy Network, as well. What are the odds that the first three quote tweets of Coxon’s post would all be major AI-restriction policy advocates funded generously by the same donor, who also happens to be one of the leading investors in, and a board member of, Anthropic, the company Coxon was resigning from? And all within 15 minutes of posting (two within ten)? 3.) Jacob Coxon doesn’t have much of a resume, but we do know that, in 2022, he got a $20,159 scholarship for the “long term future scholarship program” from the Good Ventures Foundation, one of the philanthropic vehicles of Dustin Moskovitz, a notorious AI-doomer who has spent tens if not hundreds of millions on policy advocacy to strictly regulate AI, while also being an Anthropic Investor himself. It also just so happens that the 14th person to quote Coxon’s post was @MaxNadeau_ (27 minutes after posting) who is the program officer for the Technical AI Safety team at Coefficient Giving, another of Moskovitz’s philanthropic spending vehicles. Max is not a frequent poster, his last posts before quoting Coxon were before Labor Day, but he was remarkably quick off the mark for this one. 4.) Basically every major Democrat politician and candidate has suddenly glommed on to this post, and conveniently, as the people cry out foe answers, Bernie Sanders already has a bill written to “ban super intelligence” and regulate AI into oblivion, and will be releasing later this week. The bill, among many other things, will create “a new cabinet-level federal agency to safeguard the public from the dangers of artificial intelligence” that will be “advised by an Artificial Intelligence Advisory Board comprised of experts on artificial intelligence.” Do you think, perhaps, Anthropic and its many investors who fund AI policy advocacy might have interest in getting to place a pet “expert” on the board of an entity that dictates what AI is and isn’t allowed to do? And isn’t it fortuitous that this whistleblower came forward with his oh-so scary stories so close in proximity to the release of the most radical piece of AI legislation ever introduced?
I resigned from Anthropic today. I spent the last three years doing pretraining research at both OpenAI and Anthropic. Neither company is acting responsibly. They are racing straight to self-improving superintelligence and gambling with our lives. More thoughts below.
1,818
6,736
2,242
32,211
7,071,399