AdamOuksili

Built and shipped a cross-media social discovery platform with Next.js 14, React, TypeScript, Prisma, PostgreSQL/Supabase, NextAuth, and Tailwind; 39 product pages and 100+ API route handlers.

Engineered recommendations and taste matching using 42-factor cultural fingerprints, pgvector, multidimensional taste/graph vectors, and 1,536-dimensional embeddings for semantic search and personalized discovery.

Built production workflows with Inngest, Redis, Supabase Realtime, Vercel Cron, Sentry, and GitHub Actions; integrated Spotify, Steam, Letterboxd, Goodreads, TMDB, and IGDB.

Built and launched a cross-platform desktop app with Tauri 2, Rust, React, and TypeScript: Markdown and LaTeX documents typeset with KaTeX and numbered like a paper, where every statement carries its status. Local-first, with signed automatic updates for macOS, Windows, and Linux released through GitHub Actions.

Designed an AI collaborator that works inside the document: Explore, Find gaps, Challenge, and Formalize pin findings to the line they concern, and no rewrite lands without consent. It runs on the user’s own plan through Sign in with ChatGPT (OAuth + PKCE) or on local Ollama models, streamed from Rust.

Integrated Lean 4 and Mathlib to check formalized steps on the user’s machine, naming any sorry or nonstandard axiom and refusing files that could run code. Credentials are encrypted with AES-256-GCM under a key held in the system keychain.