iiinova — where your digital self keeps evolving

Edward Li

@edward-li.com

100 followers 503 following 10 posts

🇨🇦🐲🚀 Computer Science & Physics @ UBC | Schulich Leaders | CTF w/ Maple Bacon & Team MMM | Team Lead @ UBCRocket | Host @ Atelier ⁂ x.com/edwardjxli github.com/EdwardJXLi www.edward-li.com

Posts Replies Media

Edward Li @edward-li.com · 17/02/2026

- Created Nix flakes for reproducible builds on both our production and development environments. - Used dependent type theory in Lean to prove that trajectories are within safe physical bounds.

110

Edward Li @edward-li.com · 17/02/2026

- Designed a custom algorithm to convert LIDAR data into 3d coordinates. - Built a multi-LLM robotic agent using OpenAI's GPT-5.2 and Google DeepMind's Gemini Robotics-ER 1.5. - Mapped real-time orientation data from a Meta Quest 3 onto a physical moving camera arm.

100

Edward Li @edward-li.com · 17/02/2026

Came out of a 2 year long hackathon retirement to win 🏆 GRAND PRIZE at TreeHacks 2026 !!! In 36 hours, we: - Manufactured, designed, and built an entire 4-armed surgery robot (+ a 6am trip to Home Depot). - Wrote our own inverse kinematics control system.

121

Edward Li @edward-li.com · 31/03/2025

Anyone going to PyCon 2025 👀? (or know of anyone that is going?) Looking for potential roommates.

031