Hacker News Reader

I don't think there is any font, all letters are slightly different. It's probably manual input converted to svg.

Yes, using https://goodnotes.com, with a bit of post-processing for minification.

That link doesn't work for me, but https://www.goodnotes.com/ does. An iOS only app. It does OCR, but I suppose that information doesn't get exported.

Actually, I believe the OCR information persists as an invisible layer when you export to PDF.

edit: the handwriting that could be a font :)

Reply on news.ycombinator.com