Verifying Nand2Tetris Assembly with Constrained Horn Clauses (2021) | Hacker News Reader

Verifying Nand2Tetris Assembly with Constrained Horn Clauses (2021)

philipzucker.com

22 pointsphilzook4 comments

https://www.philipzucker.com/https:/www.philipzucker.com/nan...

Not sure what's happening, but that's the present link on HN. It should be:

https://www.philipzucker.com/nand2tetris-chc/

EDIT: Canonical link issue:

  <link rel="canonical" href="https:/www.philipzucker.com/nand2tetris-chc/" />
                                    ^

There's a typo there, causing HN to rewrite it as the first link.

Wow, thanks for finding that. I'll look into it. I've never had this problem before.

I checked a couple past posts and they have the same canonical link issue (on your site). But HN only recently started rewriting URLs to the canonical links if they were in the HTML so it's likely that it was just a non-issue (on HN) before today.

Neat article, by the way, and it has prompted me to get back to finishing Nand2Tetris.

I found the problem I think. I've had a typo in my global site url config for a year probably. Yikes.

Thanks! Nand2tetris is great stuff! I'm having a ball revisiting it and trying to apply recent stuff I've learned.

Reply on news.ycombinator.com