Sabitlenmiş Tweet
We decided to let claude do the hard work and explain what Shrine is
English
Axiomatic Systems
38 posts
Axiomatic Systems
@axsyscorp
Autocompleting the Noosphere
Namespace Katılım Şubat 2025
8 Takip Edilen326 Takipçiler
Axiomatic Systems retweetledi
An operating system that treats persistence, concurrency, and virtualization as primitives has already failed to account for the conditions under which anything can persist, interleave, or be virtualized.
English
Axiomatic Systems retweetledi
@urbit @flowerornament @sol_plunder @cloudhead @kathryndevaney @tloncorporation @johnsonmxe - that this functional minimum has implications for neuroscience, AI, and political science
- that this functional minimum is our product, Shrine
- that the scarcity model of informational capitalism (eyeballs, data) is currently imploding
English
- First system with persistent row-polymorphism
- First system with trust-polymorphism (entire end user applications are agnostic to their “trusted res”, (run the same application on a rollup, blockchain, a trusted third-party or p2p)
English
- First system that diagonalizes between effects and files
- First system where schema migration is just a lens
- First system where git is a library, not infrastructure
- First filesystem where permissions are just views
English
It’s maybe worth talking about what Shrine did first:
- First purely functional persistent prototype object system
- First filesystem with a coherent theory of transactions, up to monadic IO
- First system where CRDTs are a transformation over any application
English
English
@PeatySipper @jmrphy Check out @axsyscorp It‘s a completely reworked Urbit kernel to serve as canvas for an LLM agent to create and run bespoke software for you.
English
how long until there is a computer where the only thing is an agentic terminal like Claude Code? seems like most of apps, windows, and tabs can be done away with if you generalize only a little bit from how well it already works
who's building this?
English
Axiomatic Systems retweetledi
Axiomatic Systems, I believe they're called.
Aram Hăvărneanu@aramh
Theory vs pragmatism is a false dichotomy. In reality better theory leads to better practical results. Sometimes you're stuck with a theory. That's unfortunate, and you might need to hack your way out of a problem. But that is not pragmatism. It's a hack. It's debt.
English
@axsyscorp Medicine cannot be a science because seeks cures for disease, an impossibility. A cure would come from the outside, forcing the being into health.
Whereas health comes from within by itself _under certain conditions_. The science of health is _hygiene_.
Maybe this helps.
English
Everything you think of as a “category”, is in fact the shadow of a perspective.
English