4 ms·
Verifying Nand2Tetris Assembly with Constrained Horn Clauses (2021)
- Jtsummers 5y agohttps://www.philipzucker.com/https:/www.philipzucker.com/nand2tetris-chc/ 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/ 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.
- philzook 5y agoWow, thanks for finding that. I'll look into it. I've never had this problem before.
- Jtsummers 5y agoI 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.
- philzook 5y agoI 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.