Founder of Sequel. Mexicali. I build software where mistakes are expensive, and I like it when it feels inevitable after you use it.
- Admit: ticketing and POS for cinemas in Mexico. Pays the bills.
- Tesota: a coding agent that has to show its work.
- quint-check: Quint model checking from Node, without Java.
- Mortar: Java queries where you can see the SQL.
- Vigil: JWT auth for Spring Boot, so you don't write it again.
- Accord: a language whose compiler proves what the code promises. Experimental.
- Canasta: skills that keep coding agents in scope and leave decisions with you.
- Ehrlich: my Claude Code Hackathon project.
Most of what I use is open source, so most of what I make is too. I also send fixes back.
Research: questions we test in the open, including the ones that didn't work out.
Chinese food. Shrek 2. Blade Runner. Cyberpunk 2077.