Skip to content

protosphinx/protosphinx

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

13 Commits
 
 
 
 

Repository files navigation

protosphinx

@protosphinx · Singapore · San Francisco · Kanpur

Sanskrit roots. V8 fists. Ship the whole dataset.


Every layer of the stack is more legible when you build it once from scratch. The ZK prover. The garbage collector. The distributed clock. The differentiable simulator. The local AI runtime. Each one was abstracted into a black box years ago and is more interesting reopened than left shut.

Right now the public work splits into three lanes: on-device AI for browser apps, research crates that rebuild hard systems primitives from first principles, and civic / industrial infrastructure writing for India.

Building now

dhamaka Local AI capability layer for web apps. Reflex and Transform ship today: smart fields, smart forms, contextual spellcheck, smart paste, formula rewrite / explain / debug, task registry, window.ai / Transformers.js / WASM / mock engines, cross-site model cache, demos, CI. The thesis is simple: stop sending data to the model; ship the model to the data.
erp.ai Substrate for agent-driven SaaS. ERP is the example, not the target. Dhamaka's formula work is the local-AI path for the spreadsheet-shaped parts of it.

Research

Four Rust crates, each one a working v0 primitive with tests passing and a roadmap that continues from the code already shipped.

shunya (शून्य) zero, zero-knowledge 64 tests · Goldilocks · NTT · sumcheck · Merkle · FRI · adversarial soundness · hand-rolled SHA-256 · → 32-byte hash
kala (काल) time, in a Rust crate 81 tests · Lamport · HLC · vector · ITC · LWW · wire · causal broadcast · MCP server · → Loom
samsara (संसार) endless rebirth 54 tests · tri-color · mark-region · SATB · concurrent marker · Treiber · hazards · ABA-safe stack · → Loom
maya (माया) the rendered world 42 tests · Wengert tape · Tensor · matmul · RK4 · broadcasting · rigid bodies · ReLU + contact · → 2D contact

Systems

  • loduloading - the opposite of lazy loading. Fetch everything, encode it once, keep it out of the JS heap, and walk it with zero-copy WASM handles. 2.2 KB no_std Rust core; 11 real-WASM roundtrip tests.
  • jsonic - L1 blockchain that tokenizes real-world manufacturing. Proof of Transaction, PageRank reputation, DAO side-chains, Solstice main-chain sync, sled-backed JSON-RPC node, and 61 tests across crypto, POT, PageRank, persistence, RPC, and Sybil resistance.
  • in - The Indic Accelerationism manifesto. Hard infrastructure, manufacturing capacity, anti-corruption institutions, factory-time metrics, and the manufacturing policy / industrial-base math work around it.

Also

  • gyaan - reading list. annotated, opinionated, mostly correct.
  • yapping - a /now page. updated when something changes, not on a schedule.
  • bloat - maximalist dotfiles. everything you were told not to install.

@protosphinx · live, on the timeline

About

protosphinx — @protosphinx

Resources

Stars

0 stars

Watchers

0 watching

Forks

Releases

No releases published

Packages

 
 
 

Contributors