this post was submitted on 06 Mar 2024
522 points (96.1% liked)

Programmer Humor

32069 readers
468 users here now

Post funny things about programming here! (Or just rant about your favourite programming language.)

Rules:

founded 5 years ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 34 points 6 months ago (1 children)

HTML5 + CSS3 is Turing complete, but just basic html is not.

[–] [email protected] 8 points 6 months ago (3 children)

how does something get tested for turing completeness

[–] [email protected] 11 points 6 months ago (1 children)

@jackpot @KittyCat implementing a brainfuck interpreter for it is a useful method

[–] [email protected] 5 points 6 months ago (1 children)

Just about the only good reason for Brainfuck.

[–] [email protected] 3 points 6 months ago (1 children)

@frezik I mean that's literally it's purpose. being a minimal turing complete language.

[–] [email protected] 14 points 6 months ago

I could be wrong, but I don't think the creators envisioned it being a basis for easily proving the Turing Completeness of other languages, but it did. They were more thinking "how can I have the most fucked up language in the smallest package and still be Turning Complete?"

[–] [email protected] 39 points 6 months ago (1 children)
[–] [email protected] 8 points 6 months ago
[–] [email protected] 10 points 6 months ago

By building a simulated Turing machine, usually... or at least by demonstrating that all the components to do so are available.