Adding tags

content/blog/GPS-EXIF-data-from-photos-decimal-format.md

@@ -2,7 +2,7 @@
 title: "Retreiving GPS data in decimal format from EXIF data in photos"
 date: 2022-06-19T19:01:35-04:00
 draft: false
-tags: []
+tags: ["GPS"]
 math: false
 ---
 

content/blog/appimage.md

@@ -2,7 +2,7 @@
 title: "Deploying Binaries to other Linux Distros using Appimage"
 date: 2020-10-19T21:53:52-04:00
 draft: false
-tags: ["Packaging"]
+tags: ["Packaging", "Linux"]
 ---
 
 One way to distribute to different Linux distributions is to compile the source under each of them and distribute it separately.  This can be a pain to manage if you target multiple distributions and multiple versions of those distributions. Instead, let's take a look at AppImage. This allows us to package up our binaries and shared libraries under one file which we can distribute.

content/blog/appsusinginternet.md

@@ -2,7 +2,7 @@
 title: "Show Applications using the Internet"
 date: 2020-05-09T11:30:36-04:00
 draft: false
-tags: ["Linux"]
+tags: ["Linux", "Networking"]
 ---
 
 There's a great thread on [ask ubuntu](https://askubuntu.com/questions/104739/which-applications-are-using-internet) on seeing which applications are using the Internet. I'm going to add my own spin on the answers for future reference.

content/blog/archiving-toots.md

@@ -2,7 +2,7 @@
 title: "Archiving Toots"
 date: 2022-05-20T22:47:48-04:00
 draft: false
-tags: ["Hugo", "Mastodon"]
+tags: ["Hugo", "Mastodon", "Archive"]
 math: false
 ---
 In the spirit of [syndicating Mastodon toots](https://brandonrozek.com/blog/why-i-pesos-from-mastodon/)
@@ -11,7 +11,7 @@ files.
 
 In this post we'll go over:
 - [Mastodon API](#mastodon-api)
-- [Reformatting toot](#reformatting-toot)
+- [Reformatting Toot](#reformatting-toot)
 - [Creating the Markdown files](#creating-the-markdown-files)
 - [Conclusion](#conclusion)
 

content/blog/auto-updating-podman-containers.md

@@ -2,7 +2,7 @@
 title: "Automatically Updating Podman Containers"
 date: 2022-05-15T22:20:47-04:00
 draft: false
-tags: []
+tags: ["Linux", "Containers"]
 math: false
 ---
 

content/blog/autodeployterraform.md

@@ -2,7 +2,7 @@
 title: "Automatic Deployments with Terraform"
 date: 2020-05-08T22:45:18-04:00
 draft: false
-tags: []
+tags: ["Deployment"]
 ---
 
 I have recently written about [Packer](https://brandonrozek.com/blog/snapshotswithpacker/) to create system images or snapshots. This post will go over another [HashiCorp](https://www.hashicorp.com/) project named [Terraform](https://www.terraform.io/) that we can use to deploy that image to a VPS. Like before, I am going to go over how to setup this up in DigitalOcean. Check out [this list](https://www.terraform.io/docs/providers/index.html) for documentation on your favorite cloud provider.

content/blog/bandwidthlimitingapps.md

@@ -2,7 +2,7 @@
 title: "Bandwidth Limiting Applications"
 date: 2020-10-22T21:51:27-04:00
 draft: false
-tags: ["Linux"]
+tags: ["Linux", "Networking"]
 ---
 
 Whether it's web scraping or testing low latency connections, we want to be able to bandwidth limit certain applications. I've written about [rate limiting network interfaces](/blog/limitbandwidth/) before. This post focuses on the application level instead.

content/blog/blogworkflow.md

@@ -2,6 +2,7 @@
 title: "Blog Workflow"
 date: 2019-10-28T00:16:44-04:00
 draft: false
+tags: ["Hugo"]
 ---
 
 You may be curious on how I create content for this blog. There's pros and cons to my approach. One pro is that it's relatively easy for me to crank something out and upload it to my site. The downside is that it's not as easily customizable.

content/blog/borgbackup.md

@@ -2,6 +2,7 @@
 title: "Borg Backup"
 date: 2019-05-21T22:35:31-04:00
 draft: false
+tags: ["Backup"]
 ---
 
 I started using [Borg Backup](https://www.borgbackup.org/) in order to efficiently and securely do my backups. I did some research before choosing this solution as I required three things:

content/blog/common-mistake-induction-proofs.md

@@ -2,7 +2,7 @@
 title: "Most Common Mistake in Induction Proofs"
 date: 2022-05-15T22:49:34-04:00
 draft: false
-tags: []
+tags: ["Math"]
 math: true
 ---
 

content/blog/dafny-3-3-countermodel.md

@@ -2,7 +2,7 @@
 title: "Dafny v3.3 Show Countermodel"
 date: 2022-02-04T19:43:12-05:00
 draft: false
-tags: []
+tags: ["Formal Methods"]
 math: false
 ---
 

content/blog/dafny-loops.md

@@ -2,7 +2,7 @@
 title: "Reasoning through Loops in Dafny"
 date: 2022-02-05T00:22:58-05:00
 draft: false
-tags: []
+tags: ["Formal Methods"]
 math: true
 ---
 

content/blog/deep-recursion.md

@@ -2,7 +2,7 @@
 title: "Deep Recursion"
 date: 2022-11-11T14:45:17-05:00
 draft: false
-tags: ["Scala"]
+tags: ["Scala", "Functional Programming"]
 math: false
 ---
 

content/blog/different-views-of-fold.md

@@ -2,7 +2,7 @@
 title: "Different Views of Fold and Their Combinations"
 date: 2022-11-09T17:45:26-05:00
 draft: false
-tags: []
+tags: ["Scala", "Functional Programming"]
 math: true
 ---
 

content/blog/displaying-hikes-with-gpxstudio.md

@@ -2,7 +2,7 @@
 title: "Displaying Hikes with gpx.studio"
 date: 2022-05-23T16:35:01-04:00
 draft: false
-tags: []
+tags: ["Hugo", "GPS"]
 math: false
 ---
 
@@ -14,8 +14,8 @@ At the end of this post, we will achieve in creating an embed like the following
 
 To get there, we will talk about:
 
-- [Recording the walk](#recording-the-walk)
-- [Grabing an embed](#grabbing-an-embed)
+- [Recording the Walk](#recording-the-walk)
+- [Grabbing an embed](#grabbing-an-embed)
 - [Shortcodes for website](#shortcodes-for-website)
 - [Conclusion](#conclusion)
 

content/blog/doapi.md

@@ -2,7 +2,7 @@
 title: "Digital Ocean API"
 date: 2020-05-06T22:45:30-04:00
 draft: false
-tags: []
+tags: ["Deployment"]
 ---
 
 This post is meant for the times that you want to quickly query the Digital Ocean API v2, but do not want to download their great client [`doctl`](https://github.com/digitalocean/doctl). The prerequisite for this post is that you have a [personal access token](https://www.digitalocean.com/docs/apis-clis/api/create-personal-access-token/) configured inside the `$DO_TOKEN` environmental variable.

content/blog/docker-secrets.md

@@ -2,7 +2,7 @@
 title: "Docker Secrets"
 date: 2022-02-04T23:59:13-05:00
 draft: false
-tags: []
+tags: ["Containers"]
 math: false
 ---
 

content/blog/document-formats-and-plaintext.md

@@ -2,7 +2,7 @@
 title: "Document Formats and Plaintext"
 date: 2022-05-19T21:24:52-04:00
 draft: false
-tags: []
+tags: ["Documentation"]
 math: false
 ---
 

content/blog/espeak.md

@@ -2,7 +2,7 @@
 title: "Espeak"
 date: 2020-03-01T10:33:33-05:00
 draft: false
-tags: [ "Linux" ]
+tags: []
 ---
 
 `espeak` is a command line tool that lets you type in messages and have it said back to you.

content/blog/fold-not-only-reduces.md

@@ -2,7 +2,7 @@
 title: "Fold Not Only Reduces"
 date: 2022-11-09T15:15:10-05:00
 draft: false
-tags: []
+tags: ["Functional Programming", "Scala", "Haskell"]
 math: false
 ---
 

content/blog/git-bisect-broken-builds.md

@@ -2,7 +2,7 @@
 title: "Which commit broke the build? Using Git Bisect"
 date: 2022-05-03T01:15:55-04:00
 draft: false
-tags: []
+tags: ["Git"]
 math: false
 ---
 

content/blog/gpgkeygen.md

@@ -2,7 +2,7 @@
 title: "GPG Keygen"
 date: 2020-04-11T19:35:05-04:00
 draft: false
-tags: ["gpg"]
+tags: ["GPG"]
 ---
 
 GPG keys have a variety of different uses from sending encrypted emails to verifying git commits. Here I'll show how easy it is to create a public/private key-pair. Assuming you have the `gpg` client installed.

content/blog/internalca.md

@@ -2,7 +2,7 @@
 title: "Quick CA for internal LAN"
 date: 2020-04-18T16:26:53-04:00
 draft: false
-tags: ["Networking"]
+tags: ["Networking", "Security"]
 ---
 
 Setting up trusted HTTPs inside a network without exposure to the Internet requires creating a Certificate Authority. The audience for this post is oriented for people setting up services in a small low threat model environment. Additional cautions should be applied when setting this up for a business, for example working off an intermediate CA. 

content/blog/launchappsthroughterminal.md

@@ -2,7 +2,7 @@
 title: "Launch Apps through the Terminal"
 date: 2020-09-26T21:48:09-04:00
 draft: false
-tags: []
+tags: ["Linux"]
 ---
 
 Normally when you launch an application through the terminal, the standard output appears, and closing the terminal closes the application.

content/blog/manpandoc.md

@@ -2,6 +2,7 @@
 title: "Man Pages with Pandoc"
 date: 2019-11-07T21:42:08-05:00
 draft: false
+tags: ["Documentation"]
 ---
 
 [Ethan Martin](https://emar10.dev) recently showed off the Pandoc tool to me. In case you don't know, Pandoc is a swiss-army knife of markup languages. It allows you to easily convert from one markup language to another. 

content/blog/mirrorhugosite.md

@@ -2,7 +2,7 @@
 title: "Mirror a Hugo Site"
 date: 2020-12-07T22:41:17-05:00
 draft: false
-tags: ["Archive"]
+tags: ["Archive", "Hugo"]
 ---
 
 I'm a big proponent of having offline copies of content. Especially when I'm on travel and don't have easy Internet access. Using the built in hugo webserver and a reverse proxy, I will show how we can host a local mirror of a Hugo site.

content/blog/networkx-random-sample-graph.md

@@ -2,7 +2,7 @@
 title: "Networkx Random Sample Graph"
 date: 2022-04-07T19:48:12-04:00
 draft: false
-tags: []
+tags: ["Python"]
 math: false
 ---
 

content/blog/ngrok.md

@@ -2,6 +2,7 @@
 title: "Ngrok"
 date: 2019-11-20T20:56:19-05:00
 draft: false
+tags: ["Networking"]
 ---
 
 Let's say you want to spin up a quick demo for a client and you don't want to use a VPS, and they can't access your laptop through the network. 

content/blog/openmpi-fedora.md

@@ -2,7 +2,7 @@
 title: "OpenMPI on Fedora"
 date: 2022-05-03T00:52:38-04:00
 draft: false
-tags: []
+tags: ["Fedora"]
 math: false
 ---
 

content/blog/phonegpsforward.md

@@ -2,7 +2,7 @@
 title: "Forwarding Phone's GPS"
 date: 2020-11-08T00:58:11-05:00
 draft: false
-tags: []
+tags: ["GPS"]
 ---
 
 Sometimes I wish to open up [Marble](https://marble.kde.org/) which an a mapping application and see my current location on the globe. My laptop, however, doesn't have a GPS module in it. Though I realized that I carry around a device that does... My phone.

content/blog/pidhcp.md

@@ -2,7 +2,7 @@
 title: "DHCP for Raspberry Pi"
 date: 2021-02-15T22:46:21-05:00
 draft: false
-tags: []
+tags: ["Networking"]
 ---
 
 Recently I ran across the use case where I needed a Raspberry Pi to be connected to the Internet via a WiFI connection, while also providing DHCP leases through an Ethernet connection. I couldn't find a great way to achieve this with `dhcpcd` so instead I grabbed a tool that I'm more familiar with `dnsmasq`. 

content/blog/podman-nginx-tcpv6-http2-ready.md

@@ -2,7 +2,7 @@
 title: "Getting Podman and Nginx TCPv6 and HTTP/2 Ready"
 date: 2022-09-28T22:43:28-04:00
 draft: false
-tags: []
+tags: ["Networking", "Containers"]
 math: false
 ---
 

content/blog/program-verification-hoare-logic-dafny.md

@@ -2,7 +2,7 @@
 title: "Program Verification with Hoare Logic and Dafny"
 date: 2022-02-05T00:06:42-05:00
 draft: false
-tags: []
+tags: ["Formal Methods"]
 math: false
 ---
 

content/blog/proving-loop-invariants.md

@@ -2,7 +2,7 @@
 title: "Loop Invariants"
 date: 2022-02-26T19:17:21-05:00
 draft: false
-tags: []
+tags: ["Formal Methods"]
 math: true
 ---
 

content/blog/rclone.md

@@ -2,7 +2,7 @@
 title: "Rclone: The Swiss Army Knife of Cloud Storage"
 date: 2022-04-10T22:05:46-04:00
 draft: false
-tags: []
+tags: ["Backup"]
 math: false
 ---
 

content/blog/rebuildkernelakmod.md

@@ -2,7 +2,7 @@
 title: "Rebuild Kernel Modules with Akmods"
 date: 2022-02-04T19:37:04-05:00
 draft: false
-tags: []
+tags: ["Linux", "Fedora"]
 math: false
 ---
 

content/blog/s3-fuse.md

@@ -2,7 +2,7 @@
 title: "Mount Object Storage Locally using S3 Fuse"
 date: 2022-02-04T23:39:25-05:00
 draft: false
-tags: []
+tags: ["Storage"]
 math: false
 ---
 

content/blog/sharedpackerterraformconfig.md

@@ -2,7 +2,7 @@
 title: "Shared Packer & Terraform Config"
 date: 2020-05-08T22:59:30-04:00
 draft: false
-tags: []
+tags: ["Deployment"]
 ---
 
 You might have noticed from my last two posts on [Packer](https://brandonrozek.com/blog/snapshotswithpacker/) and [Terraform](https://brandonrozek.com/blog/autodeployterraform/) that the configuration files are highly similar. In fact, we can trick them into sharing a configuration file!

content/blog/shutdownafterjob.md

@@ -2,6 +2,7 @@
 title: "Shutdown After Job"
 date: 2019-08-30T20:43:56-04:00
 draft: false
+tags: ["Linux"]
 ---
 
 I'm back to running longer jobs as part of my research. If I run a task overnight, I want to conserve energy and not keep it running after I finish. I suppose this would also apply to cloud billing, you want it to do the job and then stop.

content/blog/snap-flatpak-aliases.md

@@ -2,7 +2,7 @@
 title: "Aliases for Snaps and Flatpaks"
 date: 2022-02-04T20:29:04-05:00
 draft: false
-tags: []
+tags: ["Linux"]
 math: false
 ---
 

content/blog/startgraphicalappsnoforwarding.md

@@ -2,7 +2,7 @@
 title: "Starting Graphical Applications Remotely without X-Forwarding"
 date: 2020-09-07T20:24:49-04:00
 draft: false
-tags: []
+tags: ["Linux", "SSH"]
 ---
 
 One of my favorite casual gaming setups is to use a slim laptop on my couch while streaming from my desktop using Steam Remote Play.  The downside though is that unless I want to get up, Steam needs to be already running on my desktop. This post describes how I start steam remotely from my couch so that I can stream my games without having to get up and set it up on my desktop first.

content/blog/trim-video-ffmpeg.md

@@ -2,7 +2,7 @@
 title: "How to trim a video using FFMPEG"
 date: 2022-09-28T18:46:32-04:00
 draft: false
-tags: []
+tags: ["Audio-Video"]
 math: false
 ---
 

content/blog/website-visible-on-the-fediverse.md

@@ -2,7 +2,7 @@
 title: "Having your Website Visible on the Fediverse"
 date: 2022-06-12T18:35:30-04:00
 draft: false
-tags: []
+tags: ["Mastodon"]
 math: false
 ---