Hari
banner
haripm.com
Hari
@haripm.com
going to university to mess around with computers
Reposted by Hari
I like to remind people that nobody else will ever know how good the thing you WANTED to publish was, so all of those flaws that stand out to you are invisible to them

(And you just posted them all here for everyone to see, with screenshots!)
December 28, 2025 at 9:23 AM
Reposted by Hari
My favorite advice for blogging remains that you should hit publish while you are still actively unhappy with what you have written, because the only alternative is a huge folder full of drafts and never publishing anything at all
December 28, 2025 at 9:24 AM
doesgithubhaveipv6yet.com

Guess when I remembered this 🥲
December 28, 2025 at 2:19 AM
Okay, I'm in love with Emacs now-
December 25, 2025 at 7:07 PM
oh no, I think I might have to set up emacs
December 25, 2025 at 10:44 AM
Gleam release notes are always a joy to read!
December 25, 2025 at 1:18 AM
Just set up my first VPS using Nix! My blog is now being served off of NixOS 💪
December 24, 2025 at 6:57 PM
tangled.org/haripm.com/s...

This Nixmas, I'm finally getting around to rewriting my NixOS config. The laptop's done, going to be nixifiying my VPS next!

It's based heavily off of @lesbian.skin's NixOS configuration files, so big thanks there!
haripm.com/seafoam
Nix config files for my laptop and servers
tangled.org
December 22, 2025 at 9:41 PM
I've realised a big part of this is that I can use my touchpad like normal with Niri and all my gestures from Gnome just work. I think the other tiling WMs I've tried have taken too hardline a stance on being keyboard-only and that gets frustrating quick.
I've tried hyprland and river previously but both of them felt like too much work and I couldn't quite get myself to learn how to operate inside this new UX. Niri feels really intuitive already after just a few hours of use, and I'm already fairly fluent with the navigation.
December 22, 2025 at 5:00 PM
Niri is the first tiling compositor I've used that I can actually see myself sticking with
December 21, 2025 at 12:14 PM
finally finished watching K-Pop Demon Hunters and it was a religious experience
I don't usually watch movies more than once but this one I absolutely will
December 19, 2025 at 9:32 PM
days since I've closed a browser tab by using Ctrl+W to try and delete a word: 0
December 19, 2025 at 8:29 PM
Reposted by Hari
stop worrying about others sniping your ideas
stop rushing to claim to be the first
just do it better
December 17, 2025 at 10:51 AM
I wanted to write this myself once I was done with AoC, but @tymscar.com has covered pretty much everything I wanted to say already!

blog.tymscar.com/posts/gleama...
I Tried Gleam for Advent of Code, and I Get the Hype
A 12 day Advent of Code year convinced me Gleam is the real deal, thanks to Rust-like errors, great pipes, and surprisingly ergonomic FP.
blog.tymscar.com
December 13, 2025 at 7:44 PM
Reposted by Hari
Our focus is specifically on getting *CS* people into formal verification, hence the name, "Logic for Systems" (as opposed to "Logic for philosophical syllogisms", say). There's a book accompanied by a verification tool specifically designed for education (not a lot are!).
forge-fm.github.io/book/
How to Read this book - Logic for Systems: Lightweight Formal Methods for Everybody
forge-fm.github.io
December 13, 2025 at 12:25 PM
Reposted by Hari
I have put together a (long overdue!) draft RFD on using LLMs at @oxide.computer, but I know that there is a ton more to be said on the topic; thoughts and experiences welcome!
rfd.shared.oxide.computer/rfd/0576
576 - Using LLMs at Oxide / RFD / Oxide
rfd.shared.oxide.computer
December 7, 2025 at 1:06 AM
Reposted by Hari
Learn more about supporting Gleam: gleam.run/sponsor
August 21, 2025 at 9:41 AM
@bsky.app Ireland doesn't require age verification on all online platforms like the UK does with its Online Safety Act. Perhaps you're getting us confused?
December 4, 2025 at 10:10 AM
Reposted by Hari
trying to use dynamically typed languages again
October 21, 2024 at 8:05 PM
Reposted by Hari
"So far, the only bugs we've seen in our Gleam codebase are mistakes in business logic - nothing that would actually crash in production," says Georges Boris, Chief Design Officer at Uncover.

Read the full case study: gleam.run/case-studies...
No room for error | A case study of Gleam in production at Uncover
A case study of Gleam in production at Uncover
gleam.run
December 3, 2025 at 7:44 PM
haripm.com/blog/aoc-day...

I used Program Construction to solve today's #adventofcode with a formally verified algorithm, then spent the day hyperfocusing on writing this blog post 😅
Solving AoC Day 3 Without Thinking
[I'm doing](https://tangled.org/haripm.com/aoc_2025) [Advent of Code](https://adventofcode.com) again this year, and part 1 of [today's problem](https://adventofcode.com/2025/day/3) reminded me immedi...
haripm.com
December 3, 2025 at 6:23 PM
Reposted by Hari
September 13, 2025 at 9:12 PM
Reposted by Hari
real programmers don't have any projects they just keep trying new programming languages
August 20, 2025 at 6:30 PM
it's looking like a Conan Gray autumn
August 17, 2025 at 7:05 PM