< Projects />

LIVE DEMO ACTIVE

Systems

LLM Admission Gateway — Reserve, Commit, Expire

A rate limiter for inference traffic, where cost is tokens rather than requests and the dominant part of that cost is u…

TypeScript Node.js Redis Lua +3

EXPLORE()

PUBLISHED ACTIVE

Blockchain

hanfei-shu 术 — GPU Multi-Scalar Multiplication for Halo2

Multi-scalar multiplication eats 60–70% of Halo2 proving time. hanfei-shu moves it to the GPU: 3.3–4.8× over single-thr…

Rust CUDA Halo2 Pallas +2

EXPLORE()

LIVE DEMO ACTIVE

Tools

bibguard — Catching Hallucinated Citations Before Submission

One command verifies every reference in a .bib file against five scholarly databases, catching phantom DOIs, fabricated…

Python TypeScript Node.js Tauri +2

EXPLORE()

ACTIVE

Systems

Titans — A Nanosecond Fast Path with an LLM Slow Lane

An event-driven C++20 trading engine built around a hard boundary between a nanosecond fast path and an LLM-scale slow …

C++20 CMake Docker Prometheus +2

EXPLORE()

COMPLETED

Research

Index-Level Adversarial Memorization — When Retrieval Encodes Wrong Entity-Context Bindings

A false association does not have to be learned during pretraining. It can be preserved and amplified by the retrieval …

Python BM25 BGE-M3 mE5 +3

EXPLORE()

PUBLISHED COMPLETED

Research

Event-Triggered LLM Invocation — Uncertainty-Aware Sequential Decision Rules

When should a streaming pipeline pay for an LLM call? Cast as a risk-based sequential stopping problem, with six proved…

Python PyTorch vLLM CMAPSS +3

EXPLORE()

LIVE DEMO COMPLETED

AI/ML

TabletCraft

Accepted at C3NLP 2026 @ ACL. The first open-source system for bidirectional interaction with cuneiform — read Akkadian…

Python ByT5 PyTorch Transformers +3

EXPLORE()

COMPLETED

Tools

PaimonCore Boost

A Genshin Impact-inspired Windows CPU optimiser that keeps Intel P-cores active via adaptive multi-threaded load, deliv…

Python psutil threading NumPy +4

EXPLORE()

PRIVATE COMPLETED

Tools

Non-Euclidean Geometry Learning Path

A Rustlings-style interactive exercise system covering 63 exercises across 6 phases — from Euclidean review through hyp…

Python NumPy SciPy geomstats +4

EXPLORE()