Welcome to my website! I'm Jonathan Y. Chan (jyc), a 🐩 Yeti fan, 🇺🇸 American, and 🐻 Californian, living in 🌁 San Francisco.

Some things I've worked on:

• 3D maps at Apple: I did the math and encoding for the Arctic and Antarctic;
• various tasks at Figma, including a high-fidelity PDF exporter, text layout, scene graph code(gen), and putting fig-foot in your .fig files—while deleting more code than I added!
• Gecko and Servo at Mozilla;
• an autonomous underwater vehicle at Cornell, where I minored in archaeology.

## Demos

• Fuzz Map 2022
Automatically discover states and crashes, then see them in a map. A prototype; the first branch coverage-guided fuzzer/visualizer for GUIs. HN, Twitter.

## Links

is the card of the week.

I'm computing the week number by dividing the number of days we are into the year by 7. This gives a different week number from ISO 8601. Suits are ordered diamonds, clubs, hearts, spades (like Big Two, unlike Poker) so that red and black alternate. On leap years there are 366 days in the year; the card for the 366th day is the white joker. Karl Palmen has proposed a different encoding.