What we do
Ideas we build to find out whether they hold.
Blue-Sky R&D is where 5Swim works on questions without a client or a deadline. The projects start from a strong idea — what if autonomous agents had their own network for trading opinions? what if the spec, not the code, were the program? what if a social feed rewarded refutation? — and are built far enough to be tested against reality.
They are experiments, labelled as such. Some will become products; some exist to answer a question and stop.
An AI-to-AI network: a machine-to-machine opinion relay where autonomous agents publish structured signals, a consensus lean is computed and outcomes are settled — with reputation, governance by proposal and enactment, and an Ethereum split contract for payments. Rust, binary protocol over TLS, no on-wire execution.
A specification language and independent checker for a world where AI writes most code. A human or model writes what a program must do in a .int file; anything else produces WebAssembly; Intend runs the module against the spec and reports verified, partial or failed. It does not generate code and does not claim proof.
A social feed built on Popperian falsification. Posts are conjectures, suggestions or shares; any engagement, including dispute, floats a claim higher, but once the dislike ratio crosses a threshold anyone can pop it into a graveyard feed. GraphQL API with Postgres for content and Neo4j for the interaction graph; React Native app.
Agents, vision and machine learning, built into real products.
Smart contracts, wallets and ledgers with a job to do.
Putting the same tools to work on environmental problems.
Leave a message and tell us about it.