41554 blogs · [ { "id": "01a08781-aac8-71b6-bab0-f539d9d47fd1", "title": "A mini-revamp to my blog for early 2026", "url": "https://www.harudagondi.space/blog/mini-revamp-2026/", "published_at": "2026-03-17T15:00:00+00:00" }, { "id": "01a08781-aac8-71b6-bab0-f539dc191d14", "title": "Torturing rustc by Emulating HKTs, Causing an Inductive Cycle and Borking the Compiler", "url": "https://www.harudagondi.space/blog/torturing-rustc-by-emulating-hkts/", "published_at": "2026-03-13T15:00:00+00:00" }, { "id": "01a08781-aac8-71b6-bab0-f539dafb0a16", "title": "Parse, don't Validate and Type-Driven Design in Rust", "url": "https://www.harudagondi.space/blog/parse-dont-validate-and-type-driven-design-in-rust/", "published_at": "2026-02-21T12:00:00+00:00" }, { "id": "01a08781-aac8-71b6-bab0-f539d6e0f435", "title": "How do I use PKMS properly?", "url": "https://www.harudagondi.space/blog/how-do-i-use-pkms-properly/", "published_at": "2025-11-30T15:30:00+00:00" }, { "id": "01a08781-aac8-71b6-bab0-f539d565f180", "title": "Retrospective (Midyear 2023 – Midyear 2025)", "url": "https://www.harudagondi.space/blog/2023-2025-retrospective/", "published_at": "2025-06-07T07:00:00+00:00" }, { "id": "01a08781-aac8-71b6-bab0-f539db9c3331", "title": "A Rust Documentation Ecosystem Review", "url": "https://www.harudagondi.space/blog/rust-documentation-ecosystem-review/", "published_at": "2025-05-10T07:00:00+00:00" }, { "id": "01a08781-aac8-71b6-bab0-f539d8fa82f3", "title": "Midyear 2023 Retrospective", "url": "https://www.harudagondi.space/blog/midyear-2023-retrospective/", "published_at": "2023-08-06T12:00:00+00:00" }, { "id": "01a08781-aac8-71b6-bab0-f539d4eab2c3", "title": "A 2022 retrospective", "url": "https://www.harudagondi.space/blog/2022-retrospective/", "published_at": "2022-12-24T09:30:00+00:00" }, { "id": "01a08781-aac8-71b6-bab0-f539d722a7dc", "title": "Does religion matter in the age of globalization? An essay.", "url": "https://www.harudagondi.space/blog/does-religion-matter/", "published_at": "2022-06-14T15:00:00+00:00" }, { "id": "01a08781-aac8-71b6-bab0-f539d85f07e6", "title": "Just rewritten my blog site (again!)", "url": "https://www.harudagondi.space/blog/just-rewritten-my-blog-again/", "published_at": "2021-12-25T15:00:00+00:00" }, { "id": "01a08781-aac8-71b6-bab0-f539d7d5a182", "title": "I don't like web development", "url": "https://www.harudagondi.space/blog/i-dont-like-web-dev/", "published_at": "2021-08-07T16:00:00+00:00" }, { "id": "01a08781-aac8-71b6-bab0-f539daab9018", "title": "Using Notion as the one-stop place for my thoughts, notes, and plans", "url": "https://www.harudagondi.space/blog/notion/", "published_at": "2021-03-12T16:00:00+00:00" }, { "id": "01a08781-aac8-71b6-bab0-f539dd112851", "title": "Moving My Site, and Why I'm Changing Static Site Generators.", "url": "https://www.harudagondi.space/blog/welcome-to-my-blog/", "published_at": "2020-11-30T16:00:00+00:00" }, { "id": "01a08781-aac8-71b6-bab0-f539d640394d", "title": "Arguments for Mass Promotion (BatStateU Edition)", "url": "https://www.harudagondi.space/blog/arguments-for-mass-promotion/", "published_at": "2020-05-08T16:00:00+00:00" } ] posts Claim your blog

Back to harudagondi.space

Blog · corpus.blog/blogs/harudagondi.space/posts

harudagondi.space

harudagondi.space

2026

A mini-revamp to my blog for early 2026 original ↗

17 Mar 2026

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

13 Mar 2026

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

21 Feb 2026

2025

How do I use PKMS properly?original ↗

30 Nov 2025

Retrospective (Midyear 2023 – Midyear 2025)original ↗

7 Jun 2025

A Rust Documentation Ecosystem Review original ↗

10 May 2025

2023

Midyear 2023 Retrospective original ↗

6 Aug 2023

2022

A 2022 retrospective original ↗

24 Dec 2022

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

14 Jun 2022

2021

Just rewritten my blog site (again!)original ↗

25 Dec 2021

I don't like web development original ↗

7 Aug 2021

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

12 Mar 2021

2020

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

30 Nov 2020

Arguments for Mass Promotion (BatStateU Edition)original ↗

8 May 2020