(Hayden LeBaron) :: Software Engineer

Passionate about building systems that make sense. Experienced in full-stack functional programming. Interested in the intersection of agentic workflows, formal verification, type theory, DSLs, ontology, logic, and the principle of λόγος in Hellenistic thought.

Experience

Findd.AI (Jul 2025 - Present)

Hourly Workforce Management

Rapidly delivered BI POCs and MVPs implemented with agentic workflows - mitigating hallucinations and error propagation via context engineering, loosely coupled architectures, type-driven development, static code analysis, etc.

DataAnnotation (Jun 2025 - Jul 2025)

Attempted to train ChatGPT to take my job and trigger the Butlerian Jihad.

Visited my favorite monastaries and historical sites in Europe and Asia after Qwick's post-acquisition engineering team liquidation. Crammed language study 6 months prior to prep.

Software Engineer II (Jan 2023 - Mar 2025)

Rapidly delivered a W-2 onboarding micro-service and UX overhaul on a team of 2 in 6 months against a strict deadline, in response to a CA worker misclassification lawsuit.
- The timely success of this project prevented Qwick from being forced to vacate its largest markets (SFO, LA, NYC, CHI, etc.)
- Architected a workflow-DAGs-as-data approach to enable dynamic, compliant, per-user onboarding to the platform.
- Led the identification of previously misclassified users and automated payouts per the settlement.

Software Engineer I (Jan 2022 - Dec 2022)

Rewrote legacy p2p referral payout system, identifying and fixing bugs that saved an estimated >$100k/year in unnecessary/fraudulent payouts.
Forgot how to write a for-loop for >18 months.

Formed and led a team of 4 student devs in creating a scrum-inspired task management app to replace my problematic use (abuse?) of Jira as a personal to-do list.
Started an >6 months early to POC and do product/user research/experiments.