aditya mishra
bit2swaz · rust/go · systems & backend
india
i'm 18, a rust/go engineer, currently in my second year of uni. systems and backend is what i specialize in.
distributed systems and databases are my main niche. lately i'm deep into making them provably reliable: deterministic simulation testing now, formal verification next ^^
currently athydradb ↗a fast graph database on object storage for ai agents, working on whatever i can get my hands on.projects
see allSiphon // 16-service self-retraining ML loopsystems · mlA TikTok-shaped recommendation system: bots watch videos, every watch and skip streams back, and the ranking model retrains itself and only ships if it's measurably better.Engram // distributed Raft + ANN searchsystems · ai infraA distributed memory backend for LLM agents: short-term messages, long-term vector search, pinned facts, auto-extracted knowledge graphs, and cross-session shared memory, all replicated across a Raft cluster.Sonar // proof in <200k compute unitssystems · blockchainLets Solana apps prove a heavy calculation was done correctly off-chain, without redoing it.
writing
see allopen source
see all
latest merged