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

And the best part is we came up with the idea during the Hackathon. Check out our project here: devpost.com/software/we-...

devpost.com

Robosurge

Cursor for surgery.

010

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 · 27/05/2025

Just finished a new blog post! 🎉 👀 This goes into a deep dive into Python's two new type checkers, Pyrefly by Meta and ty by Astral (the team behind uv and ruff) Check it out here: blog.edward-li.com/tech/compari...

blog.edward-li.com

Pyrefly vs. ty: Comparing Python’s Two New Rust-Based Type Checkers

A deep dive into Meta's pyrefly and Astral's ty - two new Rust-based Python type checkers that both promise faster performance and better type inference.

2197

Edward Li @edward-li.com · 14/05/2025

Heyo, just added an RSS feed! Let me know if you have any feedback on it. (I personally don't use RSS so I don't know what the general conventions are)

110

Edward Li @edward-li.com · 15/04/2025

Just wrote down 14 of the most interesting Python features that I've come across in my career! blog.edward-li.com/tech/advance...

blog.edward-li.com

14 Advanced Python Features

Python is one of the most widely adopted programming languages in the world. Yet, because of it’s ease and simplicity to just “get something working”, it’s also one of the most misunderstood. If you s...

182

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

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

Just started a blog! Been wanting to do this for a while now, but never got the chance to sit down and set it up. A little empty ATM but hopefully I can get some cool content up in the following weeks. blog.edward-li.com

blog.edward-li.com

Edward Li's Blog

I'm Edward Li, a Computer Science and Physics student at the [University of British Columbia](https://www.ubc.ca)! Currently, I live in San Francisco building software agents at [Codegen](https://cod...

020

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

Checking out Bluesky! You can also find me here: - x.com/edwardjxli (nitter: nitter.hydranet.dev/edwardjxli) - github.com/EdwardJXLi - www.edward-li.com

050