Providing software consulting services to clients. Notable projects include: helping a large health savings provider migrate between banking providers.

Incubated and built CodeYam, an AI tool that helps you maintain codebases by analyzing and visualizing components. Technologies included: Typescript (AST and TS Compiler APIs), AI integration architecture (OpenAI), Remix.js, Render, Supabase.Built a crypto wallet and distributed apps on the Sui blockchain. Technologies included: TypeScript, React, Redux, Sui blockchain, Rust, Move (a blockchain prog lang), Chrome Extension, React Native targeting iOS and Android, non-interactive zero-knowledge proofs, and more.

Worked on incubator projects. Technologies include Nextjs, Typescript

Formerly YCR (YCombinator Research). Built and maintained the distribution platform for the Universal Basic Income research project, transacting over $1 million monthly to participants. Technologies included Elm, Elixir, Phoenix.

Built a remote communication server for EIoT devices (Environmental Internet of Things) measuring bulk water usage, operational across the globe. Technologies include Kotlin, Spring, Mqtt protocol.

Worked on covid response projects that went live in New York, New Jersey, and Philadelphia. Integrated with multiple Government and Health APIs. Technologies included Elixir, PhoenixWorked on stealth incubator projects. Notable research included real-time gaming in Elixir via websockets and Phoenix LiveView, and video-conferencing and live-stream broadcasting in Elixir with WebRTC and stream-stiching technologies.

Advised on infrastructure and deployment pipelines, tool and technology decisions, etc.

Worked on incubator projects. Technologies include Nextjs, Typescript

My clients included Fortune 500 companies, startups, and governments. I wrote full-stack, production code in most major programming languages, frameworks, and architectures. I deployed production code on most major platforms. I coached my clients on process and best practices.

"On Circular Temporal Logic", unpublished, under Dr Justin Bledin. Abstract of abstract: The logical properties of circular time are too strict. Weakening them would lead to fruitful future research.

"On the Empirical Irrelevance of Mathematical Entities", unpublished, under Dr Cory Juhl and Dr Richard Sainsbury. Abstract of abstract: A mathematized and non-mathematized scientific theory with equivalent empirical predictions implies the empirical irrelevance of the mathematical entities therein. Thus, assuming the current standard scientific model can indeed be non-mathematized, the mathematical entities therein are empirically irrelevant.