Hacker News: zermelo44

New comment by zermelo44 in "“Why not just use Lean?”"

zermelo44 — Mon, 27 Apr 2026 15:08:52 +0000

Good post! +1

New comment by zermelo44 in "Why I left my tech job to work on chronic pain"

zermelo44 — Fri, 04 Jul 2025 17:48:30 +0000

Thanks for posting. I look forward to following along.

I have had chronic pain and other annoying functional neurological symptoms for the past 4 years. It started about halfway throughout my PhD.

I was born with congenital torticollis (fibrosis of the right sternocleidomastoid muscle) and had surgery for this twice when I was young. I also had 3 other surgical procedures for different reasons as a child.

Because my pain started in my neck and shoulder, I was set on believing that my previous surgeries were the cause of my pain. But as I learned more, meditated more, did yoga more, and faced pushback (and lots of confusion) from health professionals, it became clear that my symptoms are mainly "mind-body" (I hate that dualistic term).

I'd be very interested in talking more.

New comment by zermelo44 in "Geometric Search Trees"

zermelo44 — Mon, 16 Sep 2024 12:08:25 +0000

The presentation of the webpage is really really nice. Especially the highlighting/linking of mathematical definitions and bound variables.

How did you achieve this?

New comment by zermelo44 in "The Foundation of a Generic Theorem Prover (1989) [pdf]"

zermelo44 — Sat, 11 May 2024 17:27:40 +0000

Great paper for exploring the foundations of Isabelle. It's a shame the rest of the literature needed to properly understand Isabelle is scattered amongst many papers.