{"@attributes":{"version":"2.0"},"channel":{"title":"Home on j-hui","link":"https:\/\/j-hui.com\/","description":"Recent content in Home on j-hui","generator":"Hugo -- gohugo.io","language":"en-US","copyright":"John Hui","lastBuildDate":"Wed, 22 Mar 2023 00:00:00 +0000","item":[{"title":"Normal Forms","link":"https:\/\/j-hui.com\/pages\/normal-forms\/","pubDate":"Wed, 22 Mar 2023 00:00:00 +0000","guid":"https:\/\/j-hui.com\/pages\/normal-forms\/","description":"This semester, my advisor is teaching a PL theory course that is being offered at Columbia for the first time ever. The course content is super exciting to me: if I could redo college and extend my education with just one class, this would be it. I’m not officially involved with the course (as a TA or a student), but I’m unofficially and happily a guinea pig for the new lecture material."},{"title":"Yet Another Git Guide","link":"https:\/\/j-hui.com\/pages\/yagg\/","pubDate":"Fri, 24 Sep 2021 00:00:00 +0000","guid":"https:\/\/j-hui.com\/pages\/yagg\/","description":"Introduction Useful commands Commits Commit history Branches Remotes Collaboration Concepts Commits and commit histories Branches Merging vs rebasing Introduction I use Git (and its companions like GitHub) a lot, but I’m still learning new things about it every day. As I do so, I’ll add to this document, written in the form of a tutorial to myself. This is something I’d like to keep public so that I can point friends and collaborators to this, to make sure we’re on the same page."}]}}