Sets are one of Python’s built-in types, and they’re very useful for deduplicating and comparing collections of data. Sets have tons of useful built-in functionality, and this post covers a lot. Here are some jump links to make life easier: Creating a set There are a few options: Check if a set contains a member […]
Archives for July 2023
Countries of the world
During the 2020 Olympics, I was curious about the competitors’ countries. Sure, I could google each one and load up its wikipedia page, but that’s a lot of information and the wikipedia sidebar isn’t the easiest thing to parse at a glance. So, I created my own small web app to summarize countries for me […]
Git tips and tricks
Git is an essential development tool, and an endless stream of things to learn. This post is some of the tips, tricks, and configurations I use to make life easier day-to-day. Here’s what’s below: Disclaimer: I’m not a git expert. These are just things that have come in handy in my years as a heavy […]
Git Stash
Git stash is for stashing away changes you need but aren’t quite ready to commit. The command saves your local modifications away and reverts the working directory to match the HEAD commit. – Git Docs There are a few important stash-related commands. Git stash Say you’re on the main branch, and you started making edits […]
Git Diff
When you want to compare two branches, use git diff. I usually like to pair it with the –stat option for a quick visual summary. Git diff branch_name.. Let’s say I’m on a test branch, and I want to see how that branch differs from main. I can get a quick overview via git diff […]