auto iMessage ingestion, calendar sync, AI-generated todos, and Garmin biometrics in a pixel art Monet theme
deep dive →
poker solver with 100K iterations of CFR+, card bucketing, and a web app with live 13x13 range heatmaps
deep dive →
French reading companion — Gemini splits books into scenes with translation, vocab, and comprehension quizzes
deep dive →
Sean P. May
Boston, MA
swe, math, and whatever looks interesting
i really like hard problems
built an agentic AI tutor at NExT, now i'm doing quant research and heading to Capital One this summer. triathlons, prompting, reading, and stacking some chips in between
auto iMessage ingestion, calendar sync, AI-generated todos, and Garmin biometrics in a pixel art Monet theme
deep dive →poker solver with 100K iterations of CFR+, card bucketing, and a web app with live 13x13 range heatmaps
deep dive →French reading companion — Gemini splits books into scenes with translation, vocab, and comprehension quizzes
deep dive →about me
- #1
- #2
- #3
- #4
- #5
- #6
- #7
- #8
- #9
- #10
where i've been
projects
things i've built, some cool and some just for learning
deep dives
📊Life-Dashboard
auto iMessage ingestion, calendar sync, AI-generated todos, and Garmin biometrics in a pixel art Monet theme
- auto imessage ingestion that parses conversations into action items, reminders, and context for the AI task generation
- calendar + project integration that pulls events, deadlines, and repo activity into one daily view
- openai responses api generates prioritized todos and daily briefings from messages, calendar, project state, and garmin data
LecteurAide
French reading companion — Gemini splits books into scenes with translation, vocab, and comprehension quizzes
- six-stage pipeline: PDF extraction, heading stripping, sentence segmentation, cloud translation, chunking, and gemini annotation
- context-aware scene segmentation that passes previous scene summaries forward so the narrative stays coherent across chunks
- SSE-streaming upload progress, keyboard-navigable scene reader, and click-to-jump vocab highlighting
Human Digit Recognition
two-stage CV pipeline: find the hand, then count the fingers. custom dataset and a Flask demo
- two CNNs (~7.5M params each): 4-layer conv stack + 9-layer dense head on 28x28 grayscale inputs
- custom dataset with a canvas-based bounding-box annotation tool and albumentations augmentation
- cross-platform inference with automatic CUDA/MPS/CPU device detection
Wildfire Modeling
wildfire research — satellite data downloads, JSON normalization, logistic regressions, and a canvas viewer for the outputs
- earth engine download and normalization pipeline
- locational spread + continuation regression workflows
- lightweight local viewer for GOFER-style JSON outputs
PokerML
poker solver with 100K iterations of CFR+, card bucketing, and a web app with live 13x13 range heatmaps
- CFR+ with external sampling: 100K iterations, regret clamping, bucket-cached traversal across all 4 streets
- k-means preflop abstraction (10 buckets) + empirical CDF postflop bucketing with sampled board completions
- fastapi web UI where you play against the bot with a live 13x13 range heatmap showing action probabilities per hand
project archive
prediction market MM with sentiment-driven spread pricing, inventory risk management, and a React dashboard for monitoring everything
my portfolio — live Garmin and Spotify widgets, a filterable project archive, and individual writeups for each project
MBTA commute solver — multi-leg trip matching with walk and transfer buffers, plus a leave-by planner
hex Reversi with composable AI strategies, cube-coordinate geometry, and adapter-pattern integration for third-party providers
upload your notes, get back Anki decks and difficulty-weighted cheat sheets. CrewAI agents and ChromaDB under the hood
793-line C shell with recursive piping, I/O redirection, quote-aware tokenizer, and 5 built-in commands
GA solver with tournament selection, single-point crossover, and adaptive mutation. solves N=8 in around 500 generations
maze generator with animated BFS and DFS solvers, plus a manual play mode with arrow keys
let's talk
i'm always down for hard problems, interesting projects, or just a good conversation. worst case you get a fast reply