01
Research & Validation
Designing experiments, stress-testing claims, and separating a true answer from a plausible one.
Truth Computing
The problem-solving skills, frameworks, and projects we reach for when building. A living toolkit: the work we draw on when a new problem comes up.
Flagship Build
An end-to-end engine designed to take a PRD and a customer transcript and work toward an evidence-backed, executed, and validated outcome.
Give COLOSSUS the problem and the context around it, and it aims to do the rest: it works out what is likely to matter, turns the goal into a plan, carries the plan out with the right tools, reviews its own work, and is designed to improve with each run. Answers are intended to arrive with their supporting evidence attached, and the system is designed so that consequential actions require a human’s sign-off.
Proprietary architecture. We are in the process of patenting our technology. Technical specifics are intentionally withheld. No patent has yet issued, and no application is guaranteed to result in a patent. Performance characteristics are design targets, not benchmarked product guarantees. “Experienced computer scientists” refers to individuals consulted privately; it does not imply their endorsement, or that of any institution, of Truth Computing or its products.
Capabilities
Each capability reflects real work we’ve done, not just a list of interests. When a problem comes up, this is what we can bring to it.
01
Designing experiments, stress-testing claims, and separating a true answer from a plausible one.
02
Taking a model from notebook to product: data pipelines, fine-tuning, retrieval, and inference.
03
Building the substrate that keeps things fast, observable, and correct under load.
04
Reaching for the right abstraction: the proof, the bound, the structure that makes a hard problem tractable.
05
Finding the first users, the message that lands, and the channel that compounds.
06
Turning complex work into a story people remember, in film, copy, and brand.
07
Pricing the deal, sizing the raise, and putting capital where it compounds.
08
Designing the boards and circuits that turn compute into something physical and reliable.
09
Keeping the silicon and the data center running cool, efficient, and online.
Projects
Research, systems, and applied ML built from real problems. Each project is a head start on the next one.
RL Fine-Tuning of Language Models
Research into reinforcement learning techniques for shaping language model behavior beyond supervised training. Explores reward modeling, policy optimization, and preference alignment as tools for building more reliable AI systems.
Elo Refined Curriculum Training + RLOO
Stanford CS research with Donnie Raymond extending RLOO with curriculum learning. Problems and the agent are scored with an Elo rating system, and a Gaussian scheduler samples problems matched to the agent's current ability so difficulty ramps as the model improves. Built on the same RLOO training setup with extensive Elo metadata logging, evaluated on pass@k against SFT and vanilla RLOO baselines.
Swish Backend
Production Python backend service. Server-side foundation for a consumer application, covering API design, data modeling, and service architecture.
Decision Making Under Uncertainty
Final project for Stanford CS238. Applied probabilistic decision-making frameworks including MDPs, POMDPs, and policy search to a structured real-world problem, benchmarking solution quality across methods.
Strabismus Baseline Classifier
An academic research project: a baseline machine learning classifier exploring detection of strabismus from clinical data, establishing a reproducible performance benchmark in ophthalmology. This is research code only; it is not a medical device, has not been cleared or approved by the FDA or any regulator, and is not intended for clinical use, diagnosis, or treatment.
Logistic Regression for World Football XI
End-to-end ML pipeline selecting an optimal World XI from player performance data across global leagues. Covers data preprocessing, model training, predictive analytics, and player selection based on logistic regression outputs. A demonstration of principled player valuation using data.
Quantum Approximate Optimization, Traveling Salesman
Implementation and analysis of the Quantum Approximate Optimization Algorithm applied to the NP-hard Traveling Salesman Problem. Benchmarks quantum approaches against classical solvers and studies where quantum advantage emerges at scale.
Demystifyd
Helped product-manage a platform built to connect students and professionals internationally as they grow their careers. Contributed to discovery, product strategy, and go-to-market for the web product.
EZRecruit: Recruitment Management Platform
A proactive recruitment platform for university varsity coaches that consolidates recruit data, automates updates, and tracks interactions. Built end to end, from discovery through product strategy, design, and financial modeling (Stanford CEE250).
Predicting UFC Fight Outcomes
Machine learning models predicting MMA fight outcomes from fighting style, physical attributes, and experience. Combines logistic regression with a feed-forward neural network using dropout regularization (Stanford CS221).
Undergraduate Research Archive
Complete collection of undergraduate projects and academic papers spanning AI, optimization, applied mathematics, and systems. The full record of the work built before Truth Computing.
Project and course references describe academic and personal work by Truth Computing’s founders. References to Stanford University (including course numbers such as CS238) describe coursework and research and do not imply that Truth Computing is affiliated with, sponsored by, or endorsed by Stanford University. Product, project, and technology names are used for identification only and remain the trademarks of their respective owners; their use does not imply affiliation or endorsement. Linked repositories are hosted on individual founders’ accounts and may be governed by their own license terms.
Beyond the Toolkit
The work above is a sample. Each founder keeps a fuller record of the problems they’ve chased, from quantum optimization and product MVPs to documentary film. If you want to see more, start here.
Matthew Torre
Quantum approximate optimization (QAOA for the Traveling Salesman Problem), transformer fine-tuning and applied ML, sports-analytics models, and shipped product MVPs like Demystifyd and EZRecruit, built from discovery through strategy, design, and financial modeling.
See Matthew’s portfolio ›Mark Torre
Documentary film, journalism, and a custom stop-motion technique built from hundreds of thousands of curated photos. Field documentaries across California capturing how communities really live. This is the storytelling muscle behind the brand.
See Mark’s portfolio ›