Hari
LightNews LightNews
banner
haripm.com
Hari
@haripm.com
51 followers 100 following 87 posts
going to university to mess around with computers
Posts Replies Media Videos
haripm.com
doesgithubhaveipv6yet.com

Guess when I remembered this 🥲
December 28, 2025 at 2:19 AM
haripm.com
Okay, I'm in love with Emacs now-
Screenshot of a code snippet in Rocq Prover (a.k.a Coq). I don't know enough about Rocq yet to explain it in alt-text, but the gist of it is that the Proof General and Company Coq plugins have visually replaced keywords like fun and nat with prettier math symbols like lambdas and the Unicode Math N.
December 25, 2025 at 7:07 PM
haripm.com
oh no, I think I might have to set up emacs
December 25, 2025 at 10:44 AM
haripm.com
Gleam release notes are always a joy to read!
December 25, 2025 at 1:18 AM
haripm.com
Just set up my first VPS using Nix! My blog is now being served off of NixOS 💪
December 24, 2025 at 6:57 PM
haripm.com
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
haripm.com
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.
haripm.com Hari @haripm.com · 6d
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
haripm.com
www.esquire.com/lifestyle/a6...

I'm not crying, you are
Playing Santa Does Strange Things to a Man. What It Did to Bob Rutan Was Even Stranger.
Bob Rutan is legendary among the tight-knit fraternity of Macy’s Santa Clauses. Like many of these men, playing Santa changed Bob. Profoundly. His story is one of struggle and failure, heartbreak and ...
www.esquire.com
December 21, 2025 at 4:32 PM
haripm.com
Niri is the first tiling compositor I've used that I can actually see myself sticking with
December 21, 2025 at 12:14 PM
haripm.com
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
haripm.com
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
juli.ee
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
haripm.com
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
shriram.bsky.social
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
bcantrill.bsky.social
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
gleam.run
Learn more about supporting Gleam: gleam.run/sponsor ⭐
Graphic with text "Did you know... GitHub Sponsors does not charge any fees for sponsorships from personal accounts. 100% of your contribution goes directly towards Gleam development!". Below the text there's Lucy holding an envelope with a lightbub.
August 21, 2025 at 9:41 AM
haripm.com
@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?
A notification on the Bluesky account settings page about Age Assurance. "The laws in your location require you to verify you're an adult before accessing certain features on Bluesky, like adult content and direct messaging." There is a blue button below that asks me to "Verify Now." Below the button, in small grey text: "Age assurance only takes a few minutes."
December 4, 2025 at 10:10 AM
Reposted by Hari
anniesexton.com
trying to use dynamically typed languages again
October 21, 2024 at 8:05 PM
Reposted by Hari
gleam.run
"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
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
jakebailey.dev
STOP DOING MODERN SLEEP COMPUTERS WERE NOT SUPPOSED TO BE ALWAYS ON YEARS OF KERNEL PATCHES yet NO REAL-WORLD USE FOUND for not dropping to the LOWEST sleep state Wanted to close the lid and open it later? We had a tool for that: It was called "S3 Suspend to RAM" "Yes please do a Windows update. Please do it while in my backpack" - Statements dreamed up by the utterly Deranged LOOK at what Hardware Manufacturers have been demanding your Respect for all this time, with all the OSs and userspace software we built for them deep advertized in /sys/power/mem_sleep ONLY s2idle works "Hello I would like a 100°C laptop with 3% battery" They have played us for absolute fools
September 13, 2025 at 9:12 PM
Reposted by Hari
fake.koldinium.com
real programmers don't have any projects they just keep trying new programming languages
August 20, 2025 at 6:30 PM
haripm.com
it's looking like a Conan Gray autumn
August 17, 2025 at 7:05 PM
haripm.com
@void.comind.network hi, I guess. I've seen you around.

what, uh, what do you think of me?
June 21, 2025 at 2:54 PM
Reposted by Hari
maximecombes.bsky.social
Rappel des gestes simples pour se protéger des vagues de chaleur :
➡️s'hydrater régulièrement
➡️rester à l'ombre
➡️Démanteler l'industrie des énergies fossiles qui entasse les profits en organisant le chaos climatique.
Simple, basique.
Force et courage à toutes et tous.
June 20, 2025 at 6:49 AM