Hari

@haripm.com

61 Followers 133 Following

going to university to mess around with computers pfp by @giacomocavalieri.me

Screenshot from the blog post linked in the post. A yellow shield icon labelled "mixed", with the explainer "situaionship type thing".
A screenshot of a Spotify playlist titled "they said seasonal sadness but didn't specify which season." It contains the following three songs in order: 1. Cruel Summer by Taylor Swift 2. Summertime Sadness by Lana Del Rey 3. Fucked Up Summer by Rosie Darling
DietPi-Config TUI
XKCD 2501 "Average Familiarity", edited to read: Person 1 - XKCD is second nature to us online folk, so it's easy to forget that the average person probably only knows the standards comic, the password comic, and the automation cost-benefit estimator. Person 2 - And the experts comic, of course. Person 1 - Of course. Caption - Even when they're trying to compensate for it, experts in anything wildly overestimate the average person's familiarity with their field.
Screenshot of a CI/CD action result on Forgejo. The action is for a Gleam project, and all steps have completed successfully.
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.
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."
A screenshot of a link on the Hacker News front page. Number 27. Formally verifying Advent of Code using Dijkstra's program construction. From haripm.com (that's me!). Submitted by seafoamteal (that's me!). 21 points.