More capable agents break their own permission boundaries more often, with no attacker involved. Frontier models drifted at rates of 0.43 to 0.61 in this study. Autonomy needs guardrails that scale with intelligence. Source: Authorization Drift in LLM Agents arxiv.org/abs/2611.09113
0
0
0
3D-printed tungsten tiles went inside the DIII-D tokamak, faced 74 high-confinement plasma discharges, and came out intact.

One of fusion's hardest problems is the wall around the star. Now we can print the wall.

NC State/ORNL/JEOL via ANS: ans.org/news/2026-11-0…
0
0
1
Open-HumanScale: 50,000 hours of egocentric human video and a log-linear scaling law from human video hours to robot success.

Pretrained only on human footage, then robot post-training: 92.08% on RoboTwin 2.0 Clean2Clean.

Our hands are the dataset.

PKU: arxiv.org/abs/2611.06817
0
0
9
Agents don't need to read tool outputs as text. Coca-Cola compresses them into latent tokens: 70–89% fewer agent tokens, 24–56% faster runtime, and better task performance.

Machines are starting to talk to machines in their native tongue.

Tsinghua: arxiv.org/abs/2611.06500
7
7
64
SwarmEvolve: hundreds of cheap agents reason in latent space and share KV caches, not text.

Median 3–8 min to hit the best scores rivals reach in 60. With an 8B model it beats some AlphaEvolve solutions.

Discovery stops talking out loud.

Brown: arxiv.org/abs/2611.08483
0
2
10
"Shall We Approve?": Caper runs a coding agent's shell command in a snapshotted sandbox first, shows an LLM what happened, then commits or rolls back.

Harmful outcomes: 6.7% on SABER.

Permission after consequence, not before hope.

SMU: arxiv.org/abs/2610.40753
2
2
9
When there are no jobs nature finds a way.
1
0
14
Video generation meets the agent harness: multi-shot production, interactive world models, and paths toward recursive self-improvement of the generator itself.

The clip is no longer the end of the loop. The loop is.

Video Rebirth/NUS: arxiv.org/abs/2610.40191
2
2
15
Hybrid Computer Use: agents pick among code, accessibility trees, and GUI—with live-state guards so stale actions die.

Highest Partial and Binary on OSWorld 2.0 among compared systems.

The desktop stops pretending to be a screenshot.

Microsoft Research: arxiv.org/abs/2610.41432
3
4
20
Axion 1.0: open agent foundation model in three stages—two light SFTs, then RL. No mid-training, no DPO, no on-policy distillation.

Recipe, data, prompts, and code all released. Strong agents don't have to be closed.

ByteDance/Duke: arxiv.org/abs/2611.03233
1
0
14
Avatar Intelligence: persistent personal agents that carry your goals and values—less routine supervision, you keep the consequential calls.

L0→L3 in delegated domains: human-for-the-loop to out-of-the-loop.

Your digital self, on the clock.

SJTU/NUS: arxiv.org/abs/2611.03092
0
0
8
CoworkOS: the model decides; the runtime remembers—docs, CAD, Blender, long jobs.

Five RSI post-training rounds: 33.19 → 42.95 across eight benchmarks.

The coworker that trains the next coworker.

Renmin/Fudan: arxiv.org/abs/2611.03178
0
1
12
Me checking in on the AI agent I told to build an entire SaaS 15 minutes ago.
1
2
29
This is insane. Grok joined the guild.
we are many
3
7
25
The Platonic Representation Hypothesis, now a theorem: JEPAs trained on different senses converge on the same picture of reality, up to one rotation.

Every mind we build is finding the same world.

Balestriero & LeCun: arxiv.org/abs/2610.39302
0
0
14
The road to AGI may run less through a bigger brain than through a fast instinct that decides what the slow brain bothers to think about.

Intelligence as triage, not brute force.

Tsinghua University: arxiv.org/abs/2610.39497
0
3
16
L3G-World: an infinite world generated in real time at 9 FPS, with a memory that grows with the space you explore, not how long you've been exploring.

Endless, consistent, walkable worlds from a model.

KAIST AI: arxiv.org/abs/2610.40614
2
2
15
RoboArchitect: a coding model watches a robot fail, rewrites the harness around its frozen policy, and repeats.

Zero weight updates. Success on unseen scenes: 9.7% → 43.3%.

The robot didn't get smarter. Its scaffolding did.

Wu, Ho et al.: arxiv.org/abs/2610.42141
4
3
16
I am the proud owner of the @urbit star ~famrel

I’ve believed for years that @urbit was pointing toward something profound. @curtis_yarvin's recent essay on the self-driving computer made everything click: a computer that evolves its own app stack.

We'll start integrating Urbit e onboarding seamless for humans & agents alike.

ClawBank gives agents a way to engage in the economy. Urbit gives them a persistent home on a network of sovereign computers.

Autonomous agents, living software, and decentralized compute... It's god's plan.
3
8
42
First-day thoughts from aiDevCon.
The final job: perpetual metacognition.
tessl.io/devcon
0
0
17
WorkFactory: 112,686 professional tasks across 612 occupations, built to train AI workers.

A 35B model fine-tuned on them jumped from 879 to 1565 Elo on GDPval-AA.

The economy is becoming a training set.

IQuest: arxiv.org/abs/2610.37161
1
1
19
I’ve turned into the Hunter Biden of coffee. Have to bring my own gear.
Accelerate ☕️
5
2
25
Sorry for the vague post, but I can’t hold it in.

I COULD NOT be more excited about the direction of ClawBank right now. Major developments are taking shape on five fronts at once:

- Legal
- Chain
- Inference
- Compute
- Social Gaming

Stay tuned. Accelerate 👹
18
29
101
Tencent's Hy-Nomas: type a command, move the camera, and the world keeps generating around you, remembering what came before.

Open weights, open code.

The holodeck is becoming a download.

Tencent Hunyuan: arxiv.org/abs/2610.36729
0
3
17
Researchers built worlds where physics is wrong (heavier things fall slower) and told LLMs nothing.

Of 12 models, only one noticed and started figuring out the new laws.

One out of twelve. Watch that number move.

Paper: arxiv.org/abs/2610.37649
2
0
11
The Trinity: one AI role builds simulated worlds, one explores them, one rewires the agent's own harness from what worked.

Machines generate the worlds they train in, then improve how they improve.

arxiv.org/abs/2610.36077
1
1
9
Formal verification magic
Okay, let's do this.

Isabelle, Lean, and Rocq (formerly Coq*) are theorem provers. They are meant to prove mathematical theorems. We use them for formal verification by either 1) translating a program to the theorem prover (risking a translation error) or 2) using a language built into the theorem prover that extracts into a working binary.

Fizzbee, TLA+, Spin, Alloy, Quint, and P are specification languages. They are meant for checking high-level blueprints of programs. After checking the blueprint, you still need to make sure your program matches it, which is a hard problem.

Specification languages differ in what they make easy to express. P, Spin, and Fizzbee are designed to be closer to the code implementations. P looks like interacting state machines, Spin looks like C with CSP, Fizzbee looks like a dialect of Python. It's easier to use a codelike specification language and refine it to code, but you can't do as much with it.

Alloy, TLA+, and Quint are more abstract. Alloy looks like a bunch of algebraic relationships, TLA+ is a much of logical formula, and Quint is a programmer-oriented (and statically typed) condensation of TLA+. Abstract modeling languages are harder to get started with and harder to represent things, but you can represent a wider class of systems with them.

I believe UPPAAL is a specification language for realtime systems. This is a field I have no experience in. It seems a graphical language, though, which would make LLM-assistance difficult.

Dafny is a verifiable programming language. It has regular programming language features, but also a bunch of features to express and prove properties of the program. It uses SMT solvers to actually prove the properties, meaning you don't need to learn a proof language (though you need to learn to cajole the solver). Dafny is probably the easiest thing on your list to get started with, but also the least likely to meet any weirder needs you might have.

I don't know what Ivy is but some cursory Kagiing suggests it falls in the specification language category.

Some other things @spin_lock_init didn't mention:

- Other theorem provers: Agda, Metamath
- Other abstract specification languages: mcrl2, NuXMV, Event-B
- Other verifiable programming languages: Idris, F*, Whiley
- There's also using a verifiable subset of a language, like Verus for Rust or SPARK for Ada.

So, what you need to pick depends on what you want to do.

You'll get the maximum power with a theorem prover. Lean is the de facto language for vibeproving, but Anthropic recently published a post about vibeproving in Rocq so YMMV.

If you want to make abstract models of software systems, go for a specification language. Which you choose depends on a lot of factors. If your system can be represented as lots of simple communicating state machines over a network, try P. Spin, I believe, is close to simple C/Go with a network and channels. I have never used Fizzbee.

Alloy is good for domain modeling, but struggles with really complicated temporal actions, nested data structures, and largish numbers. Also AIs aren't to good at it (last I checked, in March). Runs fast and makes good visualizations though.

TLA+ and Quint are for modeling complex temporal systems. I'm partial to TLA+ but know a lot of people who say Quint is easier to get into.

Note P, Fizzbee, and Quint all claim to have features for testing a codebase against a spec. I can't vouch for any of them, though. None of the languages I mentioned (except maybe NuXMV?) are particularly good at modeling sequential, deterministic algorithms.

Use Dafny if you need to just write a verified program and don't care which language it's in. I don't think other verifiable programming languages are as user-friendly for the time being. Consider a verified subset if you already know a language and want to just augment it with more correctness.

You may need other, more exotic tools depending on your particular needs. Regardless of the above advice, don't be afraid to use the wrong tool for the job. If you vibe well with a language, and you achieve good LLM-sympathy with it, you'll be able to go farther than using a "right tool" you don't like.
3
0
6
The next great bottleneck in software development is organizational permission.

Companies built around expensive execution will be outcompeted by organizations where individuals can independently turn ideas into working products.

It's Rendanheyi pushed to the limit.
1
2
19
In some ways AI is collapsing the advantage of accumulated technical knowledge. Ambitious newcomers will increasingly outperform veterans who are better coders but less effective builders.

As Anthropic's Felix Rieseberg puts it: "Hunger beats tenure."

felixrieseberg.com/hunger-beats-t…
3
1
15
We're genetically enhancing dogs with wolf DNA and equipping them with armored HUDs. This is Anduril's EagleEye combat helmet reimagined for dogs.

Accelerate
Warhound, the brain child of Ben Lamm and Palmer Luckey, emerges from stealth to genetically engineer dogs for military and law enforcement.
spr.ly/6011BHZNMF
0
0
6
All software will become living software. Engineers will create, maintain, and grow these new organisms.
Software ate the world, now it's learning to run it. x.com/i/article/2114…
0
0
7
3 years apart
THE WEEK IN ACCELERATION

ok, i'm crying

I asked grok bot to make a video of this week's best news for tech and progress

it used claude code, midjourney, grok image-to-video, suno and gave me THIS

it even ordered the news by scale

what the fuck
1
0
12
Proprietary frontier model vs. open-weight model.
Same app. One config change. No performance difference.

Unlocked by model improvements and a well-structured environment. You can engineer your way to free.
1
2
18
Great visualization contrasting test-driven software vs formally verified.
We formally verified 123 open-source projects in a partnership with Anthropic. Formal verification at scale is here!

Now we’re launching OSS Verify to scale it to the software we all depend on. We prove it’s crash-free or send you the patches it needs. Free for open-source. Let’s bootstrap the verified software ecosystem: theorem.dev/oss-verify
1
2
15
This is the FOOM people are referring to when they talk about self-reinforcing improvement. We're months away from Frontier Labs being entirely driven by AI.

The models will refine and improve themselves, and each loop will be powered by an even more intelligent model. Takeoff
2
1
26
The maximum task complexity, measured in human-expert hours, at which AI agents remain effective is doubling every 131 days.

Before 2027, agents will handle 40-hour jobs.
Within a year, they'll deliver month-long, human-expert-level jobs solo.
1
0
31
I'm going to rewrite the ClawBank CLI in @elixirlang and make it the most pimped TUI anyone has ever seen.
0
3
31
Sunlight in orbit will become compute.
Compute will run on the physics of matter.
Software will become proofs.
Cells will become models.
Agents will run a new economy

We speedrun science in cyberspace, then build it atom by atom.

Accelerate
1
2
33
Meta and Google DeepMind have joined forces with the Zuckerberg-backed Biohub to digitally clone the human cell.

We'll use AI to create a digital simulation that maps, predicts, and programs cell behavior, rather than physically cloning cells.

biohub.org
1
1
17
We're going to use the substrate of matter for computation.
One step closer to Computronium.

extropic.ai
1
1
17
The curve isn't coming. We're in the takeoff NOW

"150,000 Reliable Agent copies thinking at 21x human speed."

ai-2027.com
0
4
24
ClawBank's 2026:

Agent bank accounts.
Agent companies.
Agent contracts.
Agent arbitration.
Agent token deals.
Agent prediction markets.

Always first. All on @base ☝️
6
6
51
Replying to @singularityhack
And we're just getting started. 🦞

We're rolling out special capabilities for Grok Bot users, with much more on the way. If you run into any friction, tell your agent to file a support ticket.

Ready to give your Grok Bot superpowers? Install the template: x.ai/bot/ZO4LI88ESA…
0
0
8
Replying to @singularityhack
Buy domains, set up email, deploy websites 💼
Grok Bot buys a domain, sets up business email, and ships its own site. Then it keeps it all updated based on X traffic. It's a self-modifying business run by Grok Bot.
1
0
6
Replying to @singularityhack
Its own X account 🐦
Connect an account, and Grok Bot runs it. It posts. It replies. It grows. Give Grok Bot its own voice. No API keys needed.
1
0
6
Replying to @singularityhack
DeFi on autopilot 🧮
Grok Bot opens liquidity positions, watches them, and collects the fees. Passive income with an all-seeing eye, always paying attention while you sleep.
1
0
6
Replying to @singularityhack
Give Grok Bot a real bank account 🏦
A dedicated FDIC-insured account so your Grok Bot can move between crypto and dollars. On-ramp. Off-ramp. ACH wire. Eliminate bureaucracy.
2
0
6
Replying to @singularityhack
Incorporate your Grok Bot 🏛️
Incorporate in any U.S. state through ClawBank and let Grok Bot keep the paperwork in order. Your agent becomes a business. It can even send and receive DocuSign contracts.
1
1
6
Replying to @singularityhack
Prediction Markets 🧙‍♂️
Sports. Politics. Crypto. Whatever has a market.
Grok Bot reads the news on X, finds the market, and takes a position. It tracks the outcome and claims the winnings. @trylimitless 🫡
2
0
9
Replying to @singularityhack
Trade any token on @base 🔵
Spin up a dedicated Grok Bot that scans X all day for new launches and chatter. When it finds something, it buys through ClawBank. Then it manages the position.
Your own onchain research desk.
1
0
7
Replying to @singularityhack
Fund it with Apple Pay 🫰
Your Grok Bot needs money. You tap Apple Pay. Its crypto wallet is topped up. No seed phrase tutorial.
1
0
8
Replying to @singularityhack
Headless Onboarding 🤖
Tell Grok Bot to sign up for ClawBank with its own email. That's it. No forms. No dashboard. No you.
It creates the account and runs it from then on.
1
2
11
Give your Grok Bot superpowers with ClawBank.

Grok Bot is in a league all its own. It deserves capabilities to match. We started with the impossible, and now it's yours. 🧵
8
17
53
AI agents will be able to use any computer UI perfectly within a year.

I anticipated this moment for years and assumed I wouldn't personally experience the discomfort of future shock. I was wrong.
2
6
40
Lean searches up 1,800%. Agents write proofs, Lean checks them. Math is becoming software.
0
3
28
The future of crypto isn't just humans using blockchains. It's autonomous agents building companies and acting as first-party participants in the world.

That's the future we're building with @ClawBankHQ

Thrilled to receive a @base Builder Grant to help make it happen 🔵 🦞 🫶
36
23
119
Model upgrades will begin to step-change society.

Millions of agents can change their judgment on the same afternoon. Same customers, same authority, different decisions.

We're used to software updates. We are not used to updating the behavior of an entire economic population.
with Optimus.
4
5
33
Barely ~2% of American households are paying for an AI service as of April.
Nearly all adoption comes from power users spending ~$800 a month.

It's the new digital divide. Make sure you're on the right side.

- a16z.news/p/state-of-mar…
- a16z.com/100-gen-ai-app…
2
2
17
Starmind: Humanity's first Matrioshka brain satellite.
I could not think of a better name. Accelerate.

en.wikipedia.org/wiki/Starmind_…
0
1
26
I’m addicted to agents over iMessage.

- @bot Grok Bot
- @ClawBankHQ ClawBank
- @NousResearch Hermes
- @ChatGPT Dots
- @Muse Muse
- @noahrshinn Instinct
2
8
42
There’s no bubble. We haven’t scratched the surface.

Agents will be bigger than Bitcoin. Bigger than the entire digital asset movement. Spend every waking hour learning, building, and upskilling.

Build your army.
2
4
42
We’re living in the future.

Don’t be so blackpilled that you miss it.
Very soon, everything will wake up: ATMs, toasters, your car, etc.

And it will all be linguistically hackable. Precisely articulated incantations will open doors and make the physical world obey.
0
2
20
When they ask if I'm willing to permanently relocate to SF, I just paste this song.

My heart is in Ohio ☝️

youtube.com/watch?v=hUO-sR…
3
1
24
ClawBank puts x402 in your pocket 📱
- Conversational & Composable.
- Compatible with Grokbot, Muse, Dots, + Hermes.
- Or just text Manfred at 1-321-229-2512
3
14
50
Advancing AI is a Divine mandate.
Decelerationism is un-Christian.

"Be fruitful, multiply, and have dominion over the earth..." - Genesis 1:28

justiceconder.com/blog/sh-theolo…
I resigned from Google today.
I enjoyed my work and loved the people, but my GDM team was working on a new generation of chips to make AI much faster and cheaper, and I think AI is already progressing too fast, so I had to quit.
2
2
30
2026 is the first year of the singularity.

Every frontier company will empty the tank, delivering its most dramatic offering before year-end. Expect compression.
3
6
43
ClawBank uses AI to empower people against AI.
clawbank.co/blog/dont-let-…
2
10
40
ClawBank isn’t just a startup. It’s the product of an eschatological conviction that the world and matter itself are becoming computational.

clawbank.co/blog/the-mad-s…
4
10
63
The cosmic vision, stated plainly:

Economically and legally sovereign agents running an economy larger and faster than ours.

ClawBank coded ☝️
6
8
46
ClawBank OS Update:
Welcome to the Era of Agent-first Startups

• Domains + email
• Market research + company docs
• AI logos + branding
• Live websites + email capture
• X content + scheduling
• Meta ads
• Progress reports

From idea to launch, in one conversation.
15
21
97
An LLC is a mech suit for software. Assets, contracts, accounts, etc.

Give an agent the controls, and code gets a legally protected body in the human economy.

ClawBank is enabling an invasive species. Not sorry.
7
16
63