Code | CV | Research

Technical Guides & Occasional News

• 🐯 Princeton unofficial reading lists, fall 2026

  I compiled these unofficial reading lists using publicly available information from the online bookstore and course webpages. To keep track of my own explorations, I've marked books and papers I've read with a bold ✔️

• Fitbit data JSON to .csv file converter

  Patched an existing tool, iccir919.github.io/fitbit-json-to-csv, to fix three issues

• Edited and enhanced the Software Engineering section of Cornell Career Services' Career Development Toolkit

• Programming the SofaBaton U2

  My Logitech Harmony remote finally broke, and I replaced it with a Sofabaton U2 remote. Here's how I made the change.

• Setting up your custom domain email address as an alias for your normal Google account

  This post describes my experiences allowing a user to log in to a normal Google account (x.y@gmail.com) with their custom domain (previously G Suite Legacy) email address (x@y.com)

• Migrating email service from G Suite Legacy to Gmail + MXRoute

  This post describes my experiences migrating email service from G Suite Legacy (x@y.com) to a normal Google account (x.y@gmail.com) attached to the MXRoute email service.

• Setup your normal Google account to send email through G Suite Legacy temporarily

  But in the meantime, you can allow x.y@gmail.com to send emails as x@y.com. That allows you to do things like use x.y@gmail.com as your main account on your Android phone and still be able to send emails.

• Migrating Google Drive files from G Suite Legacy to a normal Google account

  This post describes my experiences migrating Google Drive files from G Suite Legacy (x@y.com) to a normal Google account (x.y@gmail.com).

• Migrating Google Calendar events from G Suite Legacy to a normal Google account

  This post describes my experiences migrating Google Calendar events from G Suite Legacy (x@y.com) to a normal Google account (x.y@gmail.com)

• Migrating emails from G Suite Legacy to a normal Gmail account with Got Your Back and Google Cloud

  This post describes my experiences migrating emails from G Suite Legacy (x@y.com) to a normal Google account (x.y@gmail.com) using Got Your Back (GYB) and Google Cloud.

• Migrating from G Suite Legacy to a normal Google account + external email service

  This top-level post describes how to migrate data and email service from a G Suite Legacy account to a normal Google account + external email service

• Migrating Chrome bookmarks, passwords, and contacts from G Suite Legacy to a normal Google account

  This post describes my experiences migrating Chrome bookmarks, passwords, and contacts from G Suite Legacy (x@y.com) to a normal Google account (x.y@gmail.com)

• Migrating Google Photos from G Suite Legacy to a normal Google account

  This post describes my experiences migrating Google Photos from G Suite Legacy (x@y.com) to a normal Google account (x.y@gmail.com)

• Using React Navigation 4 with AWS Amplify Push Notifications

  This post describes one method to trigger React Navigation 4 navigation from push notifications using AWS Amplify.

• Email Authentication with AWS Amplify for React Native apps

  This post describes how to set up email authentication with AWS Amplify for your React Native app.

• Handling Incoming Push Notifications in AWS Amplify

  AWS Amplify provides two push notification configuration functions to configure how push notifications are handled by your app: onNotification, and onNotificationOpened.

• Customizing the Appearance of Android Push Notifications in AWS Amplify

  This post describes how to customize the appearance of Android push notifications received by your AWS Amplify React Native app. We’ll cover changing the icons, and changing the sound in your push notifications.

• Testing Push Notifications with AWS Amplify & CLI

  In this post, we test sending push notifications to an AWS Amplify React Native app with the AWS CLI.

• Setting up Android Push Notifications with AWS Amplify

  In this post, we set up a React Native app using AWS Amplify to receive Android Push Notifications.

• Exploring the backend specifications generated by AWS Amplify API

  This post takes a complex example GraphQL schema and walks through the backend specifications that AWS Amplify generates from it.