Top all-time · #3818
Jonathan Chan
Personal blog · ionathan.chmathprogramming
Jonathan Chan writes ⟨λ. closure ahead⟩, a personal blog at ionathan.ch about math and programming. Since 2022, 20 different Hacker News readers have linked it 21 times, most often “U+237C ⍼ Right Angle with Downwards Zigzag Arrow”. It is still writing: the last post was on 2026-11-01, and you can follow it by feed.
Too few sampled comments (10) to say how often HN recommends it.?
Why HN links it
HN readers link Jonathan Chan's posts on U+237C ⍼ (Angzarr), a Unicode character of unknown purpose, and on sized types in type systems. Commenters mostly cite them as sources or references.
Summarised by Claude from a sample of 10 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Most-linked posts?
- U+237C ⍼ Right Angle with Downwards Zigzag Arrow10 people · 10 mentions · first linked 2022-04-13
- /cv.html2 people · 2 mentions · first linked 2023-06-17
What Hacker News says?
And this... character with an unknown meaning or purpose: U+237C ⍼ RIGHT ANGLE WITH DOWNWARDS ZIGZAG ARROW ( https://ionathan.ch/2022/04/09/angzarr.html; https://news.ycombinator.com/item?id=31012865 )
Comment linking /2022/04/09/angzarr.html;
on “DNS Esoterica – Why you can't dig Switzerland”Submitted U+237C ⍼ Right Angle with Downwards Zigzag Arrow as a story · 659 points
HN discussionReminds me of the case of U+237C ⍼ RIGHT ANGLE WITH DOWNWARDS ZIGZAG ARROW [0], also discussed on HN [1]. [0] https://ionathan.ch/2022/04/09/angzarr.html [1] https://news.ycombinator.com/item?id=31012865
Comment linking /2022/04/09/angzarr.html
on “A Spectre Is Haunting Unicode (2018)”Submitted U+237C ⍼ Is Azimuth as a story · 18 points
HN discussionThis is also not my area of expertise, but considering they are using sized types to prove termination through well-foundness so they are probably suppose to be ordinals where we can have ω < ω+1 but for some reasons they decide to forgo to distinguish between everything larger than ω and denote it as inf. Edit: I found an explanation https://ionathan.ch/2021/08/04/sized-types.html
Comment linking /2021/08/04/sized-types.html
on “Counterexamples in Type Systems: programs that crash, segfault or explode (2021)”Submitted Update: U+237C ⍼ &Angzarr; as a story · 11 points
HN discussionCheck the photos in the article, specifically this one [1] "Haussystem Didot", the title of the catalog, refers to a letter setting by the printing agency Didot, which is the one I linked on wikipedia. The Gallica scans are linked in the wikipedia article. Each of those chapters has hundreds of pages. I highly doubt that you eye scanned thousands of pages in French handwritten and mixed typesetted ... within less th…
Comment linking /assets/images/angzarr/Berthold%201900.jpg
on “U+237C ⍼ Is Azimuth”Submitted U+237C ⍼ Is (Also) S9576 ⍼ as a story · 8 points
HN discussionLink to the actual article: https://ionathan.ch/2022/04/09/angzarr.html
Comment linking /2022/04/09/angzarr.html
on “The mystery of ⍼, a Unicode character of unknown purpose”Submitted U+237C ⍼ Right Angle with Downwards Zigzag Arrow (2022) as a story · 4 points
HN discussionThe "timeline" link in the article is broken (links to localhost:4000), correct link should be https://ionathan.ch/2022/04/09/angzarr.html#summary-timeline
Comment linking /2022/04/09/angzarr.html
on “Update: U+237C ⍼ &Angzarr;”Submitted Little LaTeX Pearls as a story · 3 points
HN discussion> Cambridge alum here (for my BA in 2009) but I'm in CA now. Would be willing to try putting in the request. Not sure how to contact Jonathan Chan... Look at https://ionathan.ch/cv.html
Comment linking /cv.html
on “Update: U+237C ⍼ &Angzarr;”Submitted What's in a GIF? as a story · 2 points
HN discussionAn email address is here: https://ionathan.ch/cv.html
Comment linking /cv.html
on “Update: U+237C ⍼ &Angzarr;”Submitted U+237C ⍼ Right angle with downwards Zig-zag arrow as a story · 1 points
HN discussionSeems like a nice follow on from https://ionathan.ch/2022/04/09/angzarr.html which was discussed here https://news.ycombinator.com/item?id=31012865
Comment linking /2022/04/09/angzarr.html
on “Xkcd: Weird Unicode Math Symbols”Submitted U+237C ⍼ Right Angle with Downwards Zigzag Arrow as a story · 1 points
HN discussionHow do you decide which characters to index? The current Unicode release (15.0) includes 149,186 individual characters. I suppose you can probably ignore U+237C (Right Angle with Downwards Zigzag Arrow) seeing as nobody seems to know what it denotes.[0][1] [0] https://news.ycombinator.com/item?id=31012865 [1] https://ionathan.ch/2022/04/09/angzarr.html
Comment linking /2022/04/09/angzarr.html
on “Unicode Character “𝕏” (U+1D54F)”Submitted U+237C ⍼ Right angle with downwards zigzag arrow as a story · 1 points
HN discussionSubmitted U+237C ⍼ Right Angle with Downwards Zigzag Arrow Is a Symbol for Azimuth as a story · 1 points
HN discussion
