CUDA seed search
public repositoryGPU-assisted exhaustive seed search with correctness gates, resumable heterogeneous-GPU runs, and reproducible results.
- CUDA
- profiling
- verification
- GPU
systems / tools / 2026
Python systems across backend, Linux infrastructure, secure connectivity, retrieval, and GPU compute.
GPU-assisted exhaustive seed search with correctness gates, resumable heterogeneous-GPU runs, and reproducible results.
Server-side control plane for asynchronous configuration issuance and Linux node lifecycle around AmneziaWG and Xray.
Self-hosted RAG and ReAct with hybrid retrieval, citations, local inference, and an independent evaluation pipeline.
Code-aware repository retrieval for coding agents: dense + sparse search, weighted RRF, bounded graph expansion, and freshness diagnostics.
Backend for a real-time collaborative canvas at a live event, with broadcast updates and action rate limiting; load-tested at 1.5-2K concurrent connections with broadcast latency below 50 ms.
seedforge / verified GPU search
A Noita seed deterministically defines a world. Seedforge reconstructs billions of those worlds on GPU, checks 22 target biomes for rare objects, and keeps only canonical, recoverable results.
The central work was making the inherited path operational, accurate, complete and crash-safe. Kernel profiling and tuning came after that foundation worked end to end.
project brief / 30 second read
A verified GPU system that exhaustively searches Noita worlds and preserves canonical, recoverable results.
The inherited CUDA search path did not run reliably, return correct results, or cover the full world. Performance only mattered after the system worked end to end.
I restored the native pipeline, proved CPU, V100 and RTX agreement, covered all 22 target biomes, and added crash-safe work distribution across two unequal GPUs.
The completed census scanned 2.147B world seeds. A separate dual-GPU run accepted all 433 cells with 0 missing and 0 invalid.
Build and runtime failures had to be solved before search performance mattered.
Native CUDA builds load Noita data, verify the selected device and stream structured progress and hits through a hardened bridge. A failed launch or an empty run is not accepted as work.
Source-informed phase highlight; measured values remain whole-kernel. These independent peak-utilization counters do not sum to 100%. FMA is not a pure FP32 counter. FP16, Tensor and TEX were 0% in this snapshot.
Sequence, lane masks, SM cohort and duration are schematic - not stage-time or per-SM telemetry. Static prechecks are configuration dependent; the profiled default coalmine command bypassed them. The 3.08-lane and pipeline counters are P6 diagnostic context, while this trace follows the final P7 search shape.
Peak compute and DRAM remain mostly idle. A historical P3 differential isolated pathfinding plus retry at 83.8%; the P6 counters above profile the whole kernel, and neither number is final-P7 stage-time attribution. Dependent memory work, queue pressure and only 3-4 active lanes still show meaningful headroom.
* 59.5k V100 + 75.7k RTX 5060 Ti, measured independently on the coalmine workload before orchestration overhead.
Seedforge extends the upstream NoitaSeedSearcherCUDA engine. Telescope parity is a sampled independent cross-check; documented residuals are not presented as exhaustive game parity.
vpn server / secure connectivity control plane
The system authenticates a device, finds protocol-ready capacity and returns an AWG or Xray configuration through one asynchronous Connect Flow.
The larger job is keeping the control-plane ledger and the Linux fleet truthful through retries, restarts, refills, cleanup and node lifecycle changes.
project brief / 30 second read
A secure-connectivity control plane that issues AWG or Xray configurations and keeps the Linux node fleet recoverable.
Concurrent reconnects, retries, restarts, and node drift had to stay consistent without duplicate allocations or lost work.
I designed the authenticated Connect Flow, durable PostgreSQL job queue, Redis status cache, transaction-safe allocation, and fleet maintenance workers.
Repeated requests converge on one durable job, each device keeps one active slot, and interrupted work returns safely to processing.
system story 01: One connection contract at the edge
The public path authenticates the user before any allocation work begins.
Nginx accepts the exact Connect Flow route. Auth-service verifies the access token; user-api then derives a stable device identity and resolves the allowed location, policy pool and protocol.
Control-plane work is coupled to relational node, slot and policy state. PostgreSQL keeps those invariants close, supports transactional enqueue where a flow needs it, and provides leases, delayed retry and deduplication without a second durability and backup plane.
Scoped choice, not a universal rule. Long remote handlers also consume database connections, so worker concurrency and pool headroom are explicit operational constraints.
Connect Flow is the current public issuance path; legacy /config is not presented as the primary interface.
Fleet cards are representative architecture, not live node counts or per-node telemetry.
rag_app / self-hosted evidence system
This is not a vector-database wrapper. The system maintains a changing corpus, plans each question, combines lexical and semantic recall, checks whether the evidence is sufficient, and only then writes a cited answer.
The full path is self-hosted across Windows, WSL2 and Docker: Qwen on a V100, embedding and reranking on an RTX 5060 Ti, and FastAPI plus Qdrant on CPU.
project brief / 30 second read
A self-hosted evidence system that answers questions over a changing Telegram corpus with inspectable citations.
Retrieval had to recover exact terms and semantic matches without allowing unsupported answers.
I combined ingestion, ReAct planning, exact and semantic retrieval, reranking, evidence checks, and local inference across Windows, WSL2, and Docker.
Across 120 reviewed cases, factual quality reached 0.898 on 105 answerable questions, evidence support reached 0.886 on 65 retrieval cases, and all 15 refusal cases were handled correctly.
system story 01: Turn a noisy feed into durable evidence
Telegram messages become repeatable Qdrant points with searchable text, metadata and three complementary vector views.
Telethon reads the selected channels. Short posts stay whole; long posts are split on natural boundaries. Dense, sparse BM25 and ColBERT vectors are encoded before a deterministic UUID5 upsert, so a rerun converges instead of duplicating the corpus.
The V100 runs in Windows TCC mode. GPU retrieval stays WSL2-native on the RTX 5060 Ti, while Docker remains CPU-only; explicit HTTP boundaries make that hardware constraint an ordinary service topology.
The trace is a recorded RUN-008 example, not live telemetry: 3 planned queries, 28 retrieved documents, 5 kept citations and 1.00 coverage.
Public metrics keep their denominators separate: RUN-009 has 120 reviewed questions; factual uses 105 answerable items, while evidence support uses the 65 retrieval-evidence cases.
repo-semantic-mcp / retrieval substrate for coding agents
Coding agents are strong once they have the right context. In an unfamiliar repository, the expensive part is locating implementation, tests, docs and configuration without mistaking a plausible match for evidence.
repo-semantic-mcp is not a hidden coding agent. It keeps repository maps fresh, combines meaning with exact terms, adds bounded structural context when useful, and hands the agent file ranges plus explicit verification actions.
project brief / 30 second read
A repository retrieval layer that gives coding agents the right files, line ranges, and verification steps before they edit.
In an unfamiliar codebase, plausible semantic matches are not enough. Implementation, tests, docs, and configuration must return as verifiable evidence.
I built language-aware indexing, exact and semantic retrieval, a bounded relation graph, freshness tracking, and MCP handoff.
The frozen self-repo baseline reached 83.3% recall @ 10. In 19 / 24 tasks, every expected file appeared within the top 20.
system story 01: Target one repository, then prove its map is current
A compact status check tells the agent whether search, watcher and graph state are usable before the first query.
One process can keep up to ten repositories mounted, while each retains its own index, manifest, watcher and graph lifecycle. Status and search never rebuild anything implicitly; recovery remains an explicit action.
If this gate reports recovery or a hard contract mismatch, retrieval explains the state; it does not silently rebuild the index or graph.
D dense · S sparse · G graph
The service returns grounded candidates and diagnostics. The coding agent still reads source, verifies exact literals, forms the change plan and owns the edit.
The request above is a representative schematic assembled from implemented contracts, not a recorded query or live telemetry. Graph expansion is optional and compatibility-auto is disabled by default.
Scale counts come from the dated May 7 private-repository checkpoint. Retrieval metrics come from a frozen 24-task self-repository, file-localization artifact with no line-range labels - not a neutral public benchmark; exact identifiers still require local rg.
PixelBattle / real-time event backend
PixelBattle powered a collaborative canvas for a live event. Participants joined over WebSocket, loaded the same field and changed it one accepted pixel at a time.
I owned the FastAPI backend and its protocol for the Flutter client: PostgreSQL held canonical users and pixels, while an in-process ConnectionManager held live sockets and selections and fanned accepted changes out sequentially.
project brief / 30 second read
A FastAPI and WebSocket backend for a collaborative live canvas where each accepted pixel becomes a consistent update for connected clients.
Concurrent participants needed one canonical canvas, per-user action limits, and protection against stale writes.
I built the backend and Flutter protocol. PostgreSQL holds canonical state, WebSocket distributes accepted changes, and Prometheus exposes runtime signals.
Load testing reached 1.5-2K simultaneous connections with broadcast latency below 50 ms.
system story 01: Open one persistent channel for the event
The first WebSocket message establishes a participant or administrator identity before live actions begin.
Participants join with a nickname and an optional existing user id; the manager registers their sockets, updates the connection gauge and broadcasts the new online count. Administrators use a JWT-backed flow and a separate socket list.
The concurrency and latency figures are reported load-test results. They are not derived from a Prometheus latency histogram.
The Flutter application appears only at the integration boundary; this story covers the backend and WebSocket contract.
The shown runtime is a single-instance design. Horizontal fan-out would require an explicit shared delivery layer and connection routing.
direct contact
Project source code is on GitHub. You can reach me by email or Telegram.