About
Who is doing this, and why
Vibe Math Lab is the practitioner lane of an independent research practice run by Tyler Orden. The research side lives at Checkable, a public notebook where integer-sequence extensions, computational records, and applied-statistics results are logged with a source and a verification method attached to every claim. This site exists because the discipline behind that ledger is useful to people who are not trying to publish a paper: anyone using an LLM to get to a quantitative answer and needing to know whether to trust it.
Tyler Orden is a Senior Product Manager on FDA-cleared clinical AI by day. Vibe Math Lab and Checkable both run on the same discipline used to ship regulated software: nothing ships because it sounds right, it ships because it survived an attempt to break it.
The record this is built on
- 34 credited contributions to the Online Encyclopedia of Integer Sequences, authored and extended entries, each independently verifiable by its A-number.
- Dual independent implementations required before a computational result is trusted, on the theory that agreement between two programs that share an unexamined assumption is not evidence of anything.
- Checkpoint and resume with bit-identical verification on every long-running computation, so an interrupted run cannot silently produce a different answer than an uninterrupted one.
- An append-only audit ledger: every claim carries a source, a verification method, and a date, and nothing gets deleted when it turns out to be wrong; it gets marked and superseded, so the record of what was believed and when is never rewritten.
AI disclosure
Analysis and drafting assisted by Claude (Anthropic); every result independently verified by recomputation, external ground truth, or expert review.
That line applies to the research record behind this site and to this site's own copy. Where the guide and the course describe methodology, the methodology is real and drawn from the practice above; the course curriculum itself is written by Tyler before it ships.