The application is data.
Copenhagen, Denmark
Joined June 2012
- Tweets2K
- Following2.6K
- Followers1.9K
- Likes3.8K
Pinned Tweet
LinkedDataHub 6 is out.
The application is data: classes, forms, views, charts and access rules are RDF documents. You deploy an app by pushing a directory of RDF documents and the files they use, and an agent can write one.
What changed:
atomgraph.com/blog/linkeddat…
⚛ AtomGraph retweeted
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here: anthropic.com/research/forma…
⚛ AtomGraph retweeted
LinkedDataHub 6 is out.
The application is data: classes, forms, views, charts and access rules are RDF documents. You deploy an app by pushing a directory of RDF documents and the files they use, and an agent can write one.
What changed:
atomgraph.com/blog/linkeddat…
Agents use the same API humans do.
Every dataspace serves /AGENTS.md. The ldh CLI and its Claude Code plugin give an agent the same operations a person has, on the same documents, through the same interface.
Two public sites already run 6.2.2: linkeddatahub.com and linkeddata.lt.
To run it yourself: clone the tag, make up.
github.com/AtomGraph/LinkedD…
History is git.
Turn on versioning and every write is a commit, authored with the WebID of the agent that made it, human or AI. Every versioned document has a TimeMap, a TimeGate and past versions over Memento (RFC 7089).
⚛ AtomGraph retweeted
After six years in stealth, Atomic Machines is out. Our mission: on-demand, universal command of matter. First beachhead: the Matter Compiler, an AI-native manufacturing system that builds working micro-machines from code alone. No per-product tooling. No process development. Different code, different machine.
"Each team built a knowledge graph in its own field, then connected it to the other knowledge graphs through a shared technical fabric. The result is a single federated network rather than 18 separate projects."
nsf.gov/tip/updates/nsf-laun…
⚛ AtomGraph retweeted
we are officially out of stealth! join the frontier and get access to Jev on our website (link on profile)
After co-inventing ChatGPT, I kept asking myself: why have superhuman chat models not led to AGI?
I’ve spent the last 2 years in stealth building a new way to train models (RLCD), and a new type of frontier AI model that we are releasing today: Jev
• 20-200x faster
• 40-400x cheaper (w/ output tokens free)
• Frontier composable intelligence optimized for decisions
AFAICT the shortest path to AI-based economic revolution
⚛ AtomGraph retweeted
Three candidates often touted as the next runaway application for AI are lawyering, finance and customer service. All are experiencing significant growth. But all face their own hurdles economist.com/business/2026/…
⚛ AtomGraph retweeted
Steven Strogatz coauthored a book about how math is moving beyond human understanding. He spoke with WIRED about the seismic impact artificial intelligence has had on his life’s work. wired.com/story/mathematicia…
⚛ AtomGraph retweeted
Mathematicians have been trying to solve the Navier-Stokes problem for at least a century. OpenAI says a team of its agents have done it in just 88 hours bit.ly/4h2Gtvt
Photo: Science Photo Library
"Proponents of graph databases say they require the AI to do less processing, which can save on costs."
theinformation.com/newslette…
