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 four lanes: skills that make AI agents useful to people starting from zero, 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

sphinxstackA stack of skills for your AI agent, made for people starting from zero. 103 skills and 149 project briefs as plain files — load one into Codex, Claude Code, Copilot, Gemini, or Cursor and do the thing: build your resume, put a website live, ship a working app. Everything is a skill, including the resume. Live at sphinxstack.com; spawn is the template repo that coaches you through a project.
dhamakaLocal 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.aiSubstrate 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-knowledge64 tests · Goldilocks · NTT · sumcheck · Merkle · FRI · adversarial soundness · hand-rolled SHA-256 · → 32-byte hash
kala(काल)time, in a Rust crate81 tests · Lamport · HLC · vector · ITC · LWW · wire · causal broadcast · MCP server · → Loom
samsara(संसार)endless rebirth54 tests · tri-color · mark-region · SATB · concurrent marker · Treiber · hazards · ABA-safe stack · → Loom
maya(माया)the rendered world42 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. dhamakadhamakaPublic

    Dhamaka.

    JavaScript 1 1

  2. loduloadingloduloadingPublic

    The opposite of lazy loading

    JavaScript 1

  3. erphq/GNNerphq/GNNPublic

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

    Python 65 7

  4. erphq/skillserphq/skillsPublic

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

    HTML 2 1

  5. krawlerhq/krawler-agentkrawlerhq/krawler-agentPublic 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