LAGRANGE (@lagrangedev) / X

LAGRANGE

3,321 posts

LAGRANGE

@lagrangedev

Halo: resilient coordination for autonomous systems. DeepProve: verifiable proof for AI. Defense & enterprise. @LagrangeFndn $LA

Los Angeles

Joined May 2022

Pinned
LAGRANGE
@lagrangedev
Jun 24
A drone swarm is only a swarm until the network breaks. After that, it's just a lot of drones flying alone. Everyone's racing to build more autonomous systems. Almost no one's building the engine that keeps them working as one. Today that changes. Introducing Halo, the
LAGRANGE reposted
LAGRANGE
@lagrangedev
13h
Reading about swarm coordination is one thing. Trying to break it yourself is better. We put the Halo playground online: drop assets on a map, cut the network, jam the comms, and see if the swarm holds.
LAGRANGE
@lagrangedev
7h
Nadella says you pay for AI twice. Once with money, once with the proprietary knowledge you reveal to make it useful. He's right and stopped one step short. The lab learns everything about your business. You learn nothing about what their model actually did with yours. His
Satya Nadella
@satyanadella
Jul 12
Article
The Reverse Information Paradox
In the age of intelligence, how should firms protect their core IP? Nobel Prize winning economist Kenneth Arrow famously described a paradox in the market for information. “Its value for the...
LAGRANGE
@lagrangedev
13h
Reading about swarm coordination is one thing. Trying to break it yourself is better. We put the Halo playground online: drop assets on a map, cut the network, jam the comms, and see if the swarm holds.
LAGRANGE
@lagrangedev
13h
Go run a scenario → playground.lagrange.dev
LAGRANGE
@lagrangedev
Jul 13
Farnborough opens in a week. Boeing confirmed the MQ-28 Ghost Bat makes its static debut: an uncrewed jet built to fly alongside crewed fighters, doing surveillance and electronic warfare. The halls will be full of autonomous aircraft next week. A lot of it will be seriously
Boeing Defense
@BoeingDefense
Jul 7
MQ-28 Ghost Bat is the first and only collaborative combat aircraft integrated into a multinational, joint force exercise at Valiant Shield '26. Flying alongside allied aircraft provided key insights into how MQ-28 operates within a unified force. More: boeing.mediaroom.com/news-releases-…
LAGRANGE
@lagrangedev
Jul 13
In a real fight, no single drone sees everything. Sensors disagree. Maps drift. Each one thinks it knows what's happening, and they're all a little wrong. Halo pulls them into one shared picture the whole swarm acts on together. Not a vote. One converged view of what's true.
00:00
LAGRANGE
@lagrangedev
Jul 10
Autonomy engineers: what's the first thing that actually breaks in the field? Not in the demo. In the field. We'll start: the comms link everyone swore was redundant.
LAGRANGE
@lagrangedev
Jul 10
Second place: the failure detector that calls a node dead because it went quiet for 900ms on a congested link.
LAGRANGE
@lagrangedev
Jul 9
"Okay, but what does Halo actually do once it's flying?" Fair question. It ships with four coordination patterns every real mission keeps reinventing, so your team doesn't have to: · one shared sensor picture, even under jamming · comms that route themselves around dead or
LAGRANGE
@lagrangedev
Jul 9
And none of it is your mission logic, that stays yours. Halo is the layer underneath that keeps a swarm a swarm.
LAGRANGE
@lagrangedev
Jul 8
The Pentagon just put nearly every unmanned program, ground, air, sea under a single autonomy czar. Consolidation is the easy half. Resilient coordination in contested environments is the hard half.
Business Insider
@BusinessInsider
Jul 3
A new Pentagon office, DRPM-UxS, gains significant authority over the US military's drones. This consolidation may redefine military drone strategies. bit.ly/3SFyqfz
LAGRANGE
@lagrangedev
Jul 7
The first two films showed the swarm surviving. This one shows it fighting back. The threat isn't only jamming anymore. It's another swarm. Coordinated intercept, offshore. Every drone shares the picture, decisions spread across the group, no central commander to take out.
00:00
LAGRANGE reposted
BOOUP
@BOOUP_KR
Jul 2
Booup X @lagrangedev 라그랑주 한국 커뮤니티가 채널 오픈! 라그랑주는 검증 가능한 AI 인프라 딥프루브와 드론·로봇 등 자율 시스템 코디네이션 기술 Halo를 개발하는 기술 중심 프로젝트입니다. 현재 BOOUP에서 진행 중인 라그랑주 이벤트는 다음과 같습니다 커뮤니티 입장 이벤트 → 입장만
LAGRANGE
@lagrangedev
Jul 3
250 years ago, a country bet on a then-radical idea: don't put all the power in one place. Distribute it, check it, and the whole thing holds even when parts fail. That's still the bet we build on today. It's the idea behind everything we make, from verifying every AI inference
LAGRANGE
@lagrangedev
Jul 2
How do you keep a swarm a swarm while the network is falling apart? Our chief scientist, Charalampos Papamanthou, broke down what's actually happening inside Halo. Short version:
LAGRANGE
@lagrangedev
Jul 2
Replying to @lagrangedev
4/ Decisions on three clocks: full consensus when there's time, neighborhood coordination when the swarm splits, and reflex in milliseconds when something is immediate.
LAGRANGE
@lagrangedev
Jul 2
The full breakdown → lagrange.dev/blog/halo-engi…
LAGRANGE
@lagrangedev
Jul 1
Everybody wants to talk about how many drones you can build. Nobody talks about what happens when half the swarm can't reach each other mid-mission. Comms jammed, GPS gone, the network in pieces. That's the actual problem. That's what Halo is for.
LAGRANGE
@lagrangedev
Jul 1
See it work →
Lagrange Defense | Verifiable Autonomy in Contested Ops
From lagrange.dev