LAGRANGE (@lagrangedev) header
LAGRANGE (@lagrangedev) profile picture

LAGRANGE

@lagrangedev

DeepProve: a cryptographic receipt for every AI inference. now open source. Halo: autonomous coordination engine for the toughest conditions. @LagrangeFndn $LA

 Los Angeles
lagrange.dev
Joined May 2022
  • Tweets3.7K
  • Following237
  • Followers94.3K
901Media
Photo by LAGRANGE (@lagrangedev)Photo by LAGRANGE (@lagrangedev)Photo by LAGRANGE (@lagrangedev)Photo by LAGRANGE (@lagrangedev)Photo by LAGRANGE (@lagrangedev)Photo by LAGRANGE (@lagrangedev)Photo by LAGRANGE (@lagrangedev)Photo by LAGRANGE (@lagrangedev)Photo by LAGRANGE (@lagrangedev)Photo by LAGRANGE (@lagrangedev)
3 seconds of thrust. Then you glide. Somewhere above you: a drone. Pursuit is a free browser game. Find it on radar, fly into it, get on the leaderboard. Post your T+ time. pursuit.lagrange.dev/?utm_so…
2
7
2
35
138,892
LAGRANGE retweeted
LAGRANGE (@lagrangedev) profile picture
LAGRANGE
@lagrangedev7h
What’s the scariest thing a machine has ever told you? We’ll go first: “Task completed successfully.”
2
4
8
1,331
What’s the scariest thing a machine has ever told you? We’ll go first: “Task completed successfully.”
2
4
8
1,331
Somebody tells you the model was safe. The drone stayed in its lane. The agent bought what you asked for. Maybe. The question is not whether they are lying, because mostly they are not. The question is what happens if they are wrong, and how anyone outside the building would ever find out. Everything we build is an answer to that question.
1
4
9
1,628
The second one, from earlier this month. nitter.cf/lagrangedev/status/210…
LAGRANGE (@lagrangedev) profile pictureLAGRANGE
@lagrangedevOct 6
Every autonomous system reaches a moment where a person has to put their name under what it did. Not a dashboard. A signature. Someone accountable, saying this happened and here is how I know. We used to manage that by trusting whoever built it. That stopped working when the model started deciding before anyone could look, and the swarm started deciding a thousand times before anyone looked up. How do I know? Everything we build is an answer to that question.
3
199
Someone in the group chat has not replied for an hour. You cannot tell if they are busy or if their phone is dead, so you wait. Episode 10, the last one: a drone swarm has that exact problem and no way to ask. Under a minute, zero jargon.
2
4
1
11
2,045
Episode 9, if you missed it: more drones is not the answer, and the reason is how much each one is allowed to say. nitter.cf/lagrangedev/status/211…
LAGRANGE (@lagrangedev) profile pictureLAGRANGE
@lagrangedevOct 15
No meeting ever got faster when more people joined. Add one person and you add every conversation they are now in: six people make 15, fifty make 1200. Episode 9: why a swarm scales when every drone knows less.
1
1
3
265
The series, from the start: 1. What does jamming actually do? nitter.cf/lagrangedev/status/208… 2. Why is GPS so easy to deny? nitter.cf/lagrangedev/status/209… 3. Why is one drone easy, but fifty drones hard? nitter.cf/lagrangedev/status/209… 4. Can one shot take down a whole swarm? nitter.cf/lagrangedev/status/209… 5. What happens when a swarm loses half its drones? nitter.cf/lagrangedev/status/210… 6. What's worse than jamming? nitter.cf/lagrangedev/status/210… 7. Why can't one pilot fly fifty drones? nitter.cf/lagrangedev/status/210… 8. What does autonomous actually mean? nitter.cf/lagrangedev/status/210… 9. Why isn't more drones the answer? nitter.cf/lagrangedev/status/211…
LAGRANGE (@lagrangedev) profile pictureLAGRANGE
@lagrangedevSep 10
Take fifty drones. In most swarms, that's one leader and forty-nine followers. Which means one shot can take down all fifty. Episode 4: the difference between a real swarm and a light show, in under a minute. Zero jargon.
1
1
167
Over 450 missions flown, with pilots averaging more than 4 each. Must be something about TRY AGAIN. Congrats to PRIMAL MAVERICK for sitting on top of the leaderboard.
LAGRANGE (@lagrangedev) profile pictureLAGRANGE
@lagrangedevOct 22
3 seconds of thrust. Then you glide. Somewhere above you: a drone. Pursuit is a free browser game. Find it on radar, fly into it, get on the leaderboard. Post your T+ time. pursuit.lagrange.dev/?utm_so…
3
7
1,651
Ukraine's fields are full of hair-thin strands of glass. Each one is the trail of a drone flown down a fiber-optic cable, the one control link radio jamming can't touch. Ukraine has approved 231 new wired drone models this year. Every one ties a single drone to a single pilot, and the wire has no way of reaching the drone flying beside it. lagrange.dev/blog/ukraines-a…
Fiber-Optic Drones: Unjammable, One at a Time | Lagrange

Fiber-Optic Drones: Unjammable, One at a Time | Lagrange

The hardest drones in the war to jam are flown down a cable thinner than fishing line. They are brilliant for one pilot and one aircraft. They cannot help a group of machines agree on anything.

lagrange.dev
1
4
1
13
1,881
A month on, players have thrown nearly 8,000 attacks at the swarm, more than triple the one month mark. 67% of the people who start a mission finish it. How are players slowing the swarm: 84% jamming, 12% spoofing, 4% shooting. Most missions never shoot down a single drone. What did you reach for first? holdtheswarm.lagrange.dev
HOLD THE SWARM. A drone game.

HOLD THE SWARM. A drone game.

Beat the swarm's par if you can. The swarm doesn't break.

holdtheswarm.lagrange.dev
2
8
1
22
2,459
Tweak an AI model's weights and the proof of what it computed starts over from zero. @chbpap shows how dynamic zk-SNARKs update the proof when the model does.
1
7
2
17
2,645
The full version, including the Eurocrypt paper: nitter.cf/lagrangedev/status/211…
LAGRANGE (@lagrangedev) profile pictureLAGRANGE
@lagrangedevOct 14
A model gets retrained on a Tuesday and every proof about it has to start over. @chbpap, our chief scientist, walks through the Eurocrypt 2026 paper on proofs that update instead.
7
563
Every model launch arrives with a number. Almost none of them arrive with a way for you to produce that number yourself. That seems to be a continued product decision.
1
3
10
2,078
A reporter asked an AI agent to find him cheap eggs. It bought them. $31.43, including a $3 priority fee the agent added on its own, for one carton he never told it to buy. Now work out who pays when it is your card. lagrange.dev/blog/your-ai-ju…
AI Agent Purchases: Who Pays When Your Agent Buys Wrong

AI Agent Purchases: Who Pays When Your Agent Buys Wrong

The biggest names in American money have now written down who pays when your agent buys the wrong thing. Almost all of them say: not us. The one company that promised to cover you has not shipped it.

lagrange.dev
1
4
2
14
2,436
the fix for more drones isn’t smarter drones. it’s drones that know less about each other. finally, a place where being out of the loop pays off.
LAGRANGE (@lagrangedev) profile pictureLAGRANGE
@lagrangedevOct 15
No meeting ever got faster when more people joined. Add one person and you add every conversation they are now in: six people make 15, fifty make 1200. Episode 9: why a swarm scales when every drone knows less.
1
3
12
1,703
No meeting ever got faster when more people joined. Add one person and you add every conversation they are now in: six people make 15, fifty make 1200. Episode 9: why a swarm scales when every drone knows less.
1
5
2
17
3,431
Episode 8, if you missed it: the highest level of self-driving you can buy still needs your full attention. nitter.cf/lagrangedev/status/210…
LAGRANGE (@lagrangedev) profile pictureLAGRANGE
@lagrangedevOct 8
Your car says self-driving in the ads and still wants your hands on the wheel. The safety regulator says it out loud: the highest level you can buy needs your full attention. Episode 8: what autonomous actually means, and the one test that settles it.
5
462
A model gets retrained on a Tuesday and every proof about it has to start over. @chbpap, our chief scientist, walks through the Eurocrypt 2026 paper on proofs that update instead.
1
4
1
12
2,369
The paper, by Weijie Wang, Charalampos Papamanthou, Shravan Srinivasan and Dimitrios Papadopoulos: eprint.iacr.org/2024/1566
5
432
Load more