Hari
LightNews LightNews
banner
haripm.com
Hari
@haripm.com
51 followers 110 following 90 posts
going to university to mess around with computers
Posts Replies Media Videos
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
@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
haripm.com
PICS OR IT DIDN'T HAPPEN OMG
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.
December 3, 2025 at 10:11 PM