Hari's Weblog

It's almost spring!

Now Podman is my best friend!

In my last post, I wrote about cleaning up the Nix flake I use to configure my laptop and promised to describe using Nix to manage remote servers in a later post.

I've been using NixOS since June 21 2025, according to my commit history, but I never bothered to really learn Nix after setting it up.Recently, a couple of my friends started getting into Nix themselves.I couldn't miss out on the fun, so decided to reboot

I'd really like for this website to be around in 20 years.

I've been using Helix since October 22 2025, according to the commit history on my system's Nix flake.

Simon Willison's approach to running a link blog.

I'm doing Advent of Code again this year, and part 1 of today's problem reminded me immediately of some of the problems I'm doing in my Program Construction module at UCD.

Of all the pieces of software I had to set up again when I switched to NixOS, Neovim took me the longest.

Something I realised while playing around with sorts in Haskell.

A while back, I came across a couple of other blogs by college students reviewing the courses they took over the previous semester.

I recently deployed a couple of services on a VM in the cloud so I could get my feet wet when it comes to self-hosting apps for my own personal use.

If you've gone through the first year of a undergraduate Computer Science degree, you'll have written enough truth tables to last you a lifetime.

A few months ago, one of NetSoc's committee members built an r/place clone just for NetSoc's members, and we figured it would be nice to have a Discord bot to periodically take screenshots of the pixel art website and post updates to our server.

While doing some routine maintenance on a society server running Ubuntu (I'm a sysadmin for my university's computer and networking society), I noticed that its system clock had drifted away from the true time by approximately 20 minutes.