partition five simulated replicas, write concurrently, lose messages, and inspect the retained history. an observed-remove map and multi-value registers preserve concurrent values until an explicit resolving write.
the replicas run in one browser simulation, not five geographic servers. network latencies are illustrative. the engine has deterministic regression tests and randomized convergence checks.
exploring software markets through dated source evidence.
company records, historical captures, and provenance make changing market descriptions inspectable. missing evidence and the age of a source remain part of the record.
a research prototype. market relationships are evidence to investigate, not validated investment recommendations.
Migrated an internal financial reporting platform to Tabular with zero downtime, owning implementation, telemetry, validation, and operational support.
Extended automated financial-value reconciliation between the legacy and replacement systems to preserve correctness during the migration.
Reduced representative filtering latency by up to 200x and user-visible Excel loading time by approximately 4x.
SSAS TabularSQLAzureTelemetry
Stakeholder Analytics · UVA
May 2025 – Mar 2026
Decision-Support Dashboards
Owned Tableau analytics products for institutional stakeholders from discovery through implementation, deployment, and ongoing support.
Translated ambiguous operational questions into SQL-backed metric definitions and decision-support dashboards.
Contributed to telemetry-informed optimization work that improved organization-wide dashboard load times by approximately 20%.
TableauSQLTelemetryStakeholder delivery
01
python · mujoco · control systems
robotics test bench + c-1n
six-legged robot simulation and control experiments.
PPO learns joint corrections and gait cadence for a six-legged MuJoCo robot. walk_fast_500 reaches 0.888 m/s in the recorded mean-policy run, with no falls across 24 fixed flat-ground evaluations.
tokenization, language modeling, and causal attention in pytorch.
pinned notebook records cover a tokenizer, a trained bigram baseline, and an attention block; the current source extends the study with transformer comparisons.
dated software-market evidence, from source capture to graph exploration.
python ingestion preserves source hashes, capture dates, and arrival times in postgresql. a read-only graph API connects pinned inventory co-listings to their exact retained records, with dated search and source audits in the browser.
co-listings are source observations, not verified company relationships or market share.
tournament data, player ratings, and a nightly pipeline.
tournament results feed a nightly duckdb/dbt pipeline with glicko-2 ratings. the dashboard validates shadow-database rebuilds before promotion, with a direct-write fallback. its experimental deck estimates use bayesian shrinkage and approximate 90% model intervals that exclude baseline uncertainty and dependence between cards.
procedural mantle, filaments, oral arms, and accretion disk. local files or captured tab audio drive the full application, with separate playback and visual-intensity controls.
the black-hole lensing is an artistic approximation. the homepage specimen is silent; the full app responds to audio.
a searchable lyric-sheet reader with focus mode and Genius annotations.
plain-text lyrics sit beside a decorative p5 cherry-blossom canvas, with focus mode and a separate panel for public Genius lyric annotations. reading remains usable without animation.
keyboard-controlled spotify desktop client for windows.
saved tracks, playlists, search, playback, and queue editing in a native desktop app. it ships as an nsis installer and stores tokens in windows credential manager.
estimated tempo controls travel speed. frequency bands shape the visual field, stereo width expands it, and detected attacks trigger decaying pulses.
tab-audio capture is implemented; sample audio requires a configured source. spotify authorization is implemented separately from the visual signal path.
local tracks, microphone input, or captured browser audio drive accretion fields, nebular dust, light echoes, and jets. the audio analysis stays in your browser.
census-tract analysis of social vulnerability and health.
the recorded notebook joins 78,815 census tracts and compares overall social vulnerability and four theme rankings with six selected health measures. outputs include a correlation heatmap, a diabetes scatterplot, and state-level correlations.
these are observational relationships. they don’t establish causation.
laplace relaxation, sheet gravity, and lattice sums. recorded outputs include relaxation plots and naive-versus-vectorized lattice-sum timings; some exercises remain unfinished.
an analysis of social vulnerability and six selected health measures, with 78,815 joined census tracts in the recorded notebook.
compared overall social vulnerability and four theme rankings with six selected health measures using a correlation heatmap, a diabetes scatterplot, and state-level correlations.
The analysis measures observational relationships and does not establish causation.
A competitive Pokémon TCG analytics platform that uses a DuckDB and dbt pipeline to produce live rankings, meta analysis, and matchup estimates.
the nightly pipeline ingests tournament data, recomputes glicko-2 ratings, and rebuilds dbt marts. the dashboard validates shadow builds before atomic promotion, with a direct-write fallback.
the experimental deck model uses bayesian shrinkage and approximate 90% model intervals that exclude baseline uncertainty and dependence between cards.