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!)
(And you just posted them all here for everyone to see, with screenshots!)
December 28, 2025 at 9:23 AM
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!)
(And you just posted them all here for everyone to see, with screenshots!)
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
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 2:19 AM
Okay, I'm in love with Emacs now-
December 25, 2025 at 7:07 PM
Okay, I'm in love with Emacs now-
oh no, I think I might have to set up emacs
December 25, 2025 at 10:44 AM
oh no, I think I might have to set up emacs
Gleam release notes are always a joy to read!
Gleam v1.14.0 is out now! Merry Christmas everyone! 🎁
gleam.run/news/the-hap...
gleam.run/news/the-hap...
The happy holidays release 2025 🎁 | Gleam programming language
News post: Gleam v1.14.0 released
gleam.run
December 25, 2025 at 1:18 AM
Gleam release notes are always a joy to read!
Just set up my first VPS using Nix! My blog is now being served off of NixOS 💪
December 24, 2025 at 6:57 PM
Just set up my first VPS using Nix! My blog is now being served off of NixOS 💪
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!
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
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!
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!
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
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.
Niri is the first tiling compositor I've used that I can actually see myself sticking with
December 21, 2025 at 12:14 PM
Niri is the first tiling compositor I've used that I can actually see myself sticking with
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
I don't usually watch movies more than once but this one I absolutely will
December 19, 2025 at 9:32 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
I don't usually watch movies more than once but this one I absolutely will
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
days since I've closed a browser tab by using Ctrl+W to try and delete a word: 0
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...
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
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...
blog.tymscar.com/posts/gleama...
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/
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
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/
forge-fm.github.io/book/
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
rfd.shared.oxide.computer/rfd/0576
576 - Using LLMs at Oxide / RFD / Oxide
rfd.shared.oxide.computer
December 7, 2025 at 1:06 AM
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
rfd.shared.oxide.computer/rfd/0576
Reposted by Hari
Learn more about supporting Gleam: gleam.run/sponsor ⭐
August 21, 2025 at 9:41 AM
Learn more about supporting Gleam: gleam.run/sponsor ⭐
@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
@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?
Reposted by Hari
trying to use dynamically typed languages again
October 21, 2024 at 8:05 PM
trying to use dynamically typed languages again
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...
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
"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...
Read the full case study: gleam.run/case-studies...
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 😅
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
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 😅
I used Program Construction to solve today's #adventofcode with a formally verified algorithm, then spent the day hyperfocusing on writing this blog post 😅
Reposted by Hari
Reposted by Hari
real programmers don't have any projects they just keep trying new programming languages
August 20, 2025 at 6:30 PM
real programmers don't have any projects they just keep trying new programming languages
it's looking like a Conan Gray autumn
August 17, 2025 at 7:05 PM
it's looking like a Conan Gray autumn