ramblings of @harudagondi

@harudagondi's website and blog

harudagondi.space ↗RSS feed ↗14 posts

Latest posts

A mini-revamp to my blog for early 2026

Mar 17, 2026

Torturing rustc by Emulating HKTs, Causing an Inductive Cycle and Borking the Compiler

Mar 13, 2026

Parse, don't Validate and Type-Driven Design in Rust

Feb 21, 2026

How do I use PKMS properly?

Nov 30, 2025

Retrospective (Midyear 2023 – Midyear 2025)

Jun 7, 2025

A Rust Documentation Ecosystem Review

May 10, 2025

Midyear 2023 Retrospective

Aug 6, 2023

A 2022 retrospective

Dec 24, 2022

Does religion matter in the age of globalization? An essay.

Jun 14, 2022

Just rewritten my blog site (again!)

Dec 25, 2021

I don't like web development

Aug 7, 2021

Using Notion as the one-stop place for my thoughts, notes, and plans

Mar 12, 2021

Moving My Site, and Why I'm Changing Static Site Generators.

Nov 30, 2020

Arguments for Mass Promotion (BatStateU Edition)

May 8, 2020