Leyan Lo, smiling in a blue shirt and gray suit

Leyan Lo


Software engineer

Amateur violinist
Former world record Rubik’s cube solver

Blog

  •  ·  4 min read

    Migrating Medium Posts to Astro

    I had 11 old posts sitting on Medium. Since I already had a blog built with Astro, I decided to move them here so the Markdown and images could live with the rest of my site. I expected this to be mostly copy and paste. The text was easy. Images were not. I used ChatGPT Work with Codex to do the mig…

    Three illustrated cards showing Medium posts moving through Markdown into Astro
  •  ·  7 min read

    Exporting photos from the 1Core Family app

    A step-by-step guide to capturing your own 1Core gallery requests, downloading the original media, restoring dates, and cleaning up safely.

    Charles SSL Proxying Settings configured for api.1core.com
  •  ·  1 min read

    Building with Astro

    It feels like just yesterday, I started a blog with Next.js. I thought that was overkill for what I wanted in a blog, and decided to migrate to Astro instead. This feels lighter and also is a good excuse to learn the latest framework for SSGs. I was considering trying out 11ty as well, but there wer…

  •  ·  1 min read

    2024 Resolutions

    Happy new year! 2024 is the 22nd tetrahedral number. I miss the days of taking the AMC or AIME, where the tests would find a way to include the year in problems, making it useful to know the prime factorization of the years, e.g. 2024 = 2^3 * 11 * 23. I’ve always been conservative with New Year’s re…

Projects