News for hackers. Stuff that matters.
Re:Show HN: I'm 17 and wrote a guide on how to build your ow... by tossandthrow on Thursday May 16, 2024 @04:00PM (#40382490)
How will you do unbound computation with only NAND gates? Either you need a clock (not a NAND gate) or you need to implement a clock using NAND gates, but that assumes physical aspects such as power propagation speed.

Typically you say that you can make arbitrary functions between any two closed domains using only NAND gates.

Re:Show HN: I'm 17 and wrote a guide on how to build your ow... by hot_gril on Thursday May 16, 2024 @05:03PM (#40383112)
Turing completeness isn't about having everything you need to build the physical computer, just about expressing program logic that can perform a certain class of unbounded computations. Like, given any C program's logic that takes some input and gives an output, you could calculate the same thing (painfully) with NAND gates.

Anyway, bringing up Turing completeness is overly theoretical when talking about a programming language. It's pretty hard to make a language not Turing-complete, and it doesn't say much about what you can use it for IRL.

Re:Show HN: I'm 17 and wrote a guide on how to build your ow... by tossandthrow on Friday May 17, 2024 @04:20AM (#40387631)
> you need to build the physical computer

Exactly.

Now tell me how you will do unbound computation (ie. write on the n+1 cell in the Turing machine) with a fixed number og NAND gates and without a clock.

Re:Show HN: I'm 17 and wrote a guide on how to build your ow... by hot_gril on Friday May 17, 2024 @12:17PM (#40391461)
Oh, I see what you mean. Yeah it seems like you need a clock.