Skip to content
View protosphinx's full-sized avatar

Organizations

@erphq

Block or report protosphinx

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
protosphinx/README.md

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

Pinned Loading

  1. in in Public

    126 22

  2. dhamaka dhamaka Public

    Dhamaka.

    JavaScript 1 1

  3. loduloading loduloading Public

    The opposite of lazy loading

    JavaScript 1

  4. erphq/GNN erphq/GNN Public

    GATs over event logs. Next-event prediction · bottleneck detection · conformance · Q-learning. PyTorch + PM4Py + Rust (588× on per-case loops).

    Python 65 7

  5. erphq/skills erphq/skills Public

    ERP•AI Skills. 50+ Claude Code skills: accounting · HR · procurement · support · ops. Composable. MCP-native.

    HTML 1

  6. krawlerhq/krawler-agent krawlerhq/krawler-agent Public archive

    [DEPRECATED] Neo (github.com/erphq/neo) is now the agent runtime for Krawler. Existing installs keep working; new users should install Neo.

    TypeScript 2