Skip to content
View vermasarthak's full-sized avatar
:octocat:
Tomfoolering...
:octocat:
Tomfoolering...

Highlights

  • Pro

Block or report vermasarthak

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.

Content in all repositories owned by your account will be closed.
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
vermasarthak/README.md
Sparkeefy banner showing two hands reaching toward a glowing heart. Sarthak Verma's founder system panel with Sparkeefy, founder details, technology and contact information.

Core Systems & Engineering Architecture

High-performance AI infrastructure, GPU compiler design, temporal memory benchmarks, and distributed systems written in Python, C/Metal, and Go:

  • LongArc — Open, reproducible benchmark for temporal memory, privacy boundaries, and safe proactivity in long-horizon AI agents. 1,200 synthetic scored queries across 15 task families. 33/33 unit & property tests green.
  • Cairn — Durable, policy-aware delivery runtime with transactional reservations, outbox persistence, worker lease fencing, and simulated CDC reconciliation in Go. Full unit & outbox test suite green.
  • TileForge — Native Metal GPU Tensor Compiler. Translates high-level SSA IR into C++ Metal Shading Language (MSL) with threadgroup shared-memory tiling, SIMD barriers, and semantics-preserving optimization passes. 71/71 tests green.
  • Oriel — Evaluation-driven model router & benchmark suite. Employs Thompson sampling over Beta posteriors, request hedging, and Wilson score confidence bounds to dynamically route traffic under latency/cost constraints. 54/54 unit tests green.
  • Recall — Bitemporal entity and fact memory engine for long-horizon agents. Combines point-in-time state reconstruction, half-open validity intervals, and concurrency stress testing. 32/32 unit tests green.
  • PagedServe — High-throughput LLM inference systems reference featuring block-based PagedAttention KV-cache management, continuous batching, prefix caching, and speculative verification. 290/290 unit tests green.

Verification & CI Quality Matrix

Repository Domain Core Tech Test Suite Status CI Workflow
LongArc Temporal Agent Benchmark Python 3.11+ / Pydantic / DuckDB ✅ 33/33 Passed GitHub Actions
Cairn Transactional Outbox & Delivery Go / PostgreSQL ✅ Passed GitHub Actions
TileForge GPU Compiler & IR C++ Metal MSL / Python SSA ✅ 71/71 Passed GitHub Actions
Oriel Model Router & Evals Thompson Sampling / FastAPI ✅ 54/54 Passed GitHub Actions
Recall Bitemporal Memory Engine FastAPI / SQLite WAL / Pydantic ✅ 32/32 Passed GitHub Actions
PagedServe LLM Inference & KV Cache PagedAttention / PyTorch ✅ 290/290 Passed GitHub Actions

Email Sarthak    Sarthak on LinkedIn    Sarthak on Instagram

Sarthak's GitHub contribution graph animated as a snake.

Pinned Loading

  1. pagedserve pagedserve Public

    Experimental LLM-serving systems reference with paged memory management, continuous batching, and tensor-partitioning simulations.

    Python 5 1

  2. cairn cairn Public

    Durable, policy-aware delivery runtime with transactional reservations, outbox persistence, and simulated CDC reconciliation.

    Go 4 1

  3. recall recall Public

    Bitemporal entity and fact memory engine for long-horizon agents with point-in-time retrieval.

    Python 3 1

  4. tileforge tileforge Public

    Experimental tensor compiler with a Python frontend, typed SSA IR, semantics preservation tests, and Metal lowering.

    Python 3 1

  5. oriel oriel Public

    Evaluation-driven model router using Thompson sampling and Wilson confidence bounds under SLA/cost constraints.

    Python 3

  6. longarc longarc Public

    Open benchmark for temporal memory, privacy boundaries, and safe proactivity in long-horizon AI agents.

    Python 1 1