My name is Basti Ortiz.

• AI Product Engineer (2025-Present) @ Casper Studios
• 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"

I am also a well-respected author who writes blog posts at dev.to about various topics and technologies. I am most known for my JavaScript and Rust articles. In no particular order, the following articles below are among my most well-received:

• Programming is Hard
• 🦀 Rust Reviewed: Is the hype justified? 🦀
• 18 Essential Videos That Fundamentally Shaped My Understanding of JavaScript
• The Proper Way to Write Async Constructors in JavaScript
• A Grammar-Based Naming Convention