My name is Basti Ortiz.
- AI Product Engineer (2025-Present) @ Casper Studios (acquired by Ode with Anthropic)
- Full-Stack Engineer (2024-2025) @ Verdn (YC W22)
- Director for Engineering (2023-2024) @ UP Center for Student Innovations
- Summa Cum Laude B.Sc. Computer Science @ University of the Philippines - Diliman
- Published Author of "Hotspotter: An Incentivized Crowdsensing System for WiFi and Cellular Network Coverage Visualization"
- Published Author of "Formalizing Resource Ownership Semantics of Spinlocks with the Coq Proof Assistant"
You've probably read some of my blog posts before.
- You're slicing your architecture wrong!
- Coding Agents as a First-Class Consideration in Project Structures
- The Mental Framework for Unlocking Agentic Workflows
- The Proper Way to Write Async Constructors in JavaScript
- 🔥 Simulating Course Schedules 600x Faster with Web Workers in CourseCast
- 🦀 Rust Reviewed: Is the hype justified? 🦀
- Programming is Hard
| Platform | User |
|---|---|
| ortiz@bastidood.dev | |
| 🌱 dev.to | @somedood |
| in/basti-ortiz | |
| @BastiDood | |
| @BastiDood | |
| 🦋 Bluesky | @bastidood.dev |