About:

Hari is a 3rd year university student interested in programming languages, compilers, and formal methods, currently focusing on Rust and web development.

Website:

Specializations:

Interests:

Type systems Statically typed languages Programming languages Compilers Formal methods Rust
Subscribe to RSS:
The author shares their method for solving Advent of Code Day 3, applying Dijkstra's Structured Programming principles and reflecting on the learning process involved.
The author discusses their experience with Advent of Code and relates it to their Program Construction module at UCD, focusing on Edsger W. Dijkstra's Structured Programming. They explain the process of formally verifying programs...
The author recounts their experience creating a Discord bot for a pixel art website, which involved troubleshooting a DNS misconfiguration that prevented the bot from functioning on a server. Initially, the bot worked on their lap...
The blog post discusses the author's experience with writing a program in Go to generate truth tables using the Shunting Yard Algorithm. It explains the differences between infix and postfix notation, the workings of the algorithm...
A troubleshooting journey reveals DNS misconfigurations that prevented a Discord bot from functioning on a server, ultimately resolved by adjusting the container's DNS settings.
The author shares their experience configuring remote servers with NixOS on Hetzner Cloud, detailing installation processes, security measures, and service management.
A comprehensive guide to setting up Neovim on NixOS using home-manager, focusing on installation, configuration, and plugin management for enhanced productivity.
A Haskell mergesort implementation reveals insights about list manipulation and its relationship to insertion sort, highlighting the author's learning experience during an algorithms lecture.
A university sysadmin resolves a server's time synchronization issue by using the htpdate package to fetch time via HTTP requests instead of relying on the blocked NTP service.
The author, a sysadmin for a university computer society, discovers that the server's system clock has drifted by 20 minutes due to a blocked NTP service on the campus network. After considering manual time adjustments, the author...
The blog post discusses a mergesort implementation written during an algorithms lecture. The author reflects on their initial confusion regarding the use of 'take' and 'drop' functions in Haskell, realizing that both operate from ...
Transitioning from Docker to Podman, the author outlines the setup of Miniflux and DNS resolution using Nix, highlighting Podman's advantages.
A personal account of reorganizing a NixOS configuration, highlighting the learning process and the benefits of modularity in system setup.
The post explains how to use the Shunting Yard Algorithm in Go to convert logical expressions into postfix notation and evaluate truth tables.
The blog post details the author's experience setting up Neovim on NixOS, highlighting the challenges faced due to the complexity of both systems. The author emphasizes the importance of using Nix as the sole package manager for i...
Helix offers an intuitive editing model and streamlined configuration, making it a compelling choice for users transitioning from Neovim.
The blog post chronicles the author's journey in self-hosting applications on a cloud VM, highlighting challenges, security measures, and the services being utilized.
The author, a Computer Science student at University College Dublin, reviews the modules taken during the Autumn semester. They discuss core modules such as Object-Oriented Programming, Computer Networking, Databases, Digital Syst...
A review of the author's Autumn semester courses at UCD, highlighting experiences in Computer Science modules and a Creative Writing elective, along with personal reflections and future goals.
The author documents their experience setting up a personal self-hosted environment on an Azure VM, detailing the challenges faced during the setup process, including account verification and SSH security hardening. They discuss t...
The author reflects on their contributions to Gleam, personal health improvements through powerlifting, and the importance of individual expression online.
Simon Willison outlines his motivations for starting a link blog, focusing on critical engagement with content and personal accountability in recommendations.
Embracing imperfection in writing allows for creativity and progress, as the essence of a blog lies in its content rather than its presentation.