💾 Archived View for dioskouroi.xyz › thread › 29381480 captured on 2021-11-30 at 20:18:30. Gemini links have been rewritten to link to archived content

-=-=-=-=-=-=-

Verifying Nand2Tetris Assembly with Constrained Horn Clauses (2021)

Author: philzook

Score: 22

Comments: 4

Date: 2021-11-29 16:11:13

Web Link

________________________________________________________________________________

Jtsummers wrote at 2021-11-29 16:42:05:

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.

philzook wrote at 2021-11-29 19:09:33:

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

Jtsummers wrote at 2021-11-29 19:12:44:

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.

philzook wrote at 2021-11-29 19:20:12:

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.