Posts on mike's blog

Building DockBuddies — Pixel-Art Droids That Watch Your Copilot Sessions

Wed, 27 May 2026 22:00:00 -0400

I’ve been spending a lot of time lately with GitHub Copilot CLI — spinning up agents to help me write code, run tests, explore repos, the usual. One thing that kept bugging me was that I’d have three or four sessions going across different terminal tabs and completely lose track of what each one was doing. Is that agent still editing files? Did my test run finish? Which tab was working on the auth module again?

Why you need to add your custom fonts locally

Sun, 18 Jul 2021 20:34:10 -0400

Today, many developers utilize numerous fonts from all over the web to deliver a unique user interface for their clients. For example, developers use Google Fonts, a free, open-source library of fonts available for personal and commercial use. However, custom fonts and large icon libraries provide a potential performance degradation and slower first-paint time.

The issue

Here are some common ways developers insert fonts into their website:

<head>
  ...
  <!--Linking to a render-blocking resource into the webpage-->
  <link href="https://fonts.googleapis.com/css2?family=Josefin+Sans:wght@100&display=swap" rel="stylesheet">
</head>

body {
     /* and using in CSS */
     font-family: 'Josefin Sans', sans-serif;
}

In this example, the webpage must create an additional cross-origin network request to obtain the CSS file from Google’s font service. This network request adds multiple seconds to the render time for users with a poor connection.

How to Setup UFW on Raspberry Pi

Thu, 08 Apr 2021 20:34:10 -0400

This tutorial demonstrates how to configure a Raspberry Pi with UFW protection. UFW (Uncomplicated Firewall) is a program to manage simple network firewall rules in numerous Linux distros. Many users utilize UFW to block or allow specific transfer protocols or IP addresses in their Linux environment.

Prerequisites

To follow along in this tutorial, you will need the following: