illy [Shrimple-mode] :protomoji_orange_flag_lesbian: (@illyBytes)

mjdxp @mjdxp@labyrinth.zone

1mo

every stackoverflow help request is either:

"hello i installed kali linux on my computer now how do i hack my friend. also what happened to windows its my dads computer help"

or

"I'm taking a high level graduate computer science course in which the professor has assigned us to write a program to solve the halting problem in Java. How do I use enums? I'm only familiar with C++ and JavaScript. It is due in four hours, so please respond quickly."

1

4

3

4

1

sugar [i use akkoma btw] 🏳️‍🌈 @sugar@snug.moe

1mo

@mjdxp halting problem is easy

design a non-turing-complete language that doesn't allow infinite loops, and then say that the program always halts

2

1

2

0

sugar [i use akkoma btw] 🏳️‍🌈 @sugar@snug.moe

1mo

@mjdxp for a practical example consider c++, without i/o, volatiles, atomics, any kind of synchronization operations, or trivial infinite loops

according to c++ standard, infinite loops if you don't do any of above are ub, hence any attempt at solving halting problem could assume that a program that has an infinite loop is invalid, and c++ implementations are allowed to do anything, including making it terminate

2

1

2

0

illy [Shrimple-mode]

@illyBytes@shrimp.imsofucking.gay

1mo

@sugar @mjdxp i wanna learn this cpp variant :3

1

0

1