Hacker News new | past | comments | ask | show | jobs | submit login
Verifying Nand2Tetris Assembly with Constrained Horn Clauses (2021) (philipzucker.com)
22 points by philzook on Nov 29, 2021 | hide | past | favorite | 4 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.




Consider applying for YC's Spring batch! Applications are open till Feb 11.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: