Scott Hao

systems @modal, cs @uwaterloo

[Melody Yu @melodyexists]

It's my last day as an intern on @modal's training team.

With the rise of RL, it's becoming increasingly critical to have robust, reliable observability. I wanted to share some of my work building an observability system for the Modal Training Gym (https://t.co/BGuTWqZQXv), built on top of @slime_framework & @radixark miles.

Thank you @qjoyliu, @peywalt, training team, and Modal for an awesome summer!

[Scott Hao @shao256]

It's my last week @modal.

This summer, I had the chance to work alongside @waltergoat, @colin_weld, @paulgb on our Sandbox product. It was my first time working on systems at this scale, and I couldn't be more grateful for their mentorship.

Sandboxes are full of gnarly distributed systems problems. I wrote about one of them - distributed locking - on my blog: https://t.co/ooYMVJhHqu

To ship it, I needed to break rules for practicality and performance. This led me to formally verify the design with TLA+ to catch the many race conditions.

This is also my first blog post! I don't share my writing often, but I'd like to do it more. Hope you enjoy.

[Scott Hao @shao256]

@_djdumpling @JaneStreetGroup this guy is so tough

[Scott Hao @shao256]

@ElijahKurien neat!

[Scott Hao @shao256]

bros getting backwards-deployed

[Alessio Toniolo @atoniolo76]

Today was my last day at Modal.

I had an amazing 6 months on the training team, working on sandbox infra (RDMA) and on-policy distillation methods.

Currently feeling quite ambivalent about it: will be missing the people here but also excited to start college at CMU this fall!

[Scott Hao @shao256]

@waltergoat waltergoat

[Scott Hao @shao256]

@modal like your local dj, i got big things coming soon

[Modal @modal]

https://t.co/tkQwK6erWw