Edward Li

Robosurge Cursor for surgery.

And the best part is we came up with the idea during the Hackathon.

Check out our project here: devpost.com/software/we-...

- 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.

- 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.

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.

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...

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)

Just wrote down 14 of the most interesting Python features that I've come across in my career!

blog.edward-li.com/tech/advance...

Anyone going to PyCon 2025 👀? (or know of anyone that is going?)

Looking for potential roommates.

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

Checking out Bluesky! You can also find me here:

- x.com/edwardjxli
(nitter: nitter.hydranet.dev/edwardjxli)
- github.com/EdwardJXLi
- www.edward-li.com