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

Replies Reposts Media

Pinned
LAGRANGE
@lagrangedev
Aug 18
You can't stop this swarm. That's the point. Jam its comms. Spoof its GPS. Shoot three out of the sky. It re-plans and finishes anyway. Your score is how many seconds you cost it. holdtheswarm.lagrange.dev/?utm_source=x&…
00:00
9
LAGRANGE
@lagrangedev
23h
A pilot can fly one drone. Not as a figure of speech: federal regulation says one person, one aircraft, and everything past that is a waiver somebody had to go ask for. Episode 7: why the ceiling is arithmetic, and what has to change before a swarm can fly itself. Under a
00:00
1
LAGRANGE
@lagrangedev
Sep 30
A signed log will tell you the right model ran. So will a signed log from a system that quietly ran a cheaper one and typed the expensive name into the file. A proof cannot do that. Change the model, change the input, change one number in the output, and it stops verifying.
LAGRANGE
@lagrangedev
Sep 3
Something goes wrong and someone senior asks what the system actually did. You pull the logs. The logs say the model ran. Then they ask how you know the logs are complete, and there isn't an answer, because the system doing the work is the same system deciding what to write
3
LAGRANGE
@lagrangedev
Sep 30
Korea is the second biggest country playing our swarm game and we never targeted it once. Fifty drones, three weapons, about a minute in a browser. Most people leave half their shots unused.
HOLD THE SWARM. A drone game.
From holdtheswarm.lagrange.dev
1
LAGRANGE
@lagrangedev
Sep 29
Filmed in Seoul back in April. Cafe Lagrange, fifty six seconds, mostly people arguing about proofs over coffee. Korea Blockchain Week is on this week, which felt like the right excuse to put it up.
1