0x0@lemmy.zip to Programmer Humor · 1 month agorace conditionslemmy.zipimagemessage-square87linkfedilinkarrow-up1888arrow-down125
arrow-up1863arrow-down1imagerace conditionslemmy.zip0x0@lemmy.zip to Programmer Humor · 1 month agomessage-square87linkfedilink
minus-squareJackbyDevlinkfedilinkEnglisharrow-up1·29 days agoFun fact, some languages are not turing complete and I believe people would still consider them programming languages. They’re typically targeted at making mathematical proofs.
minus-squarenialv7@lemmy.worldlinkfedilinkarrow-up2·29 days agoI did say “general purpose”. And many proof assistants are Turing Complete actually, such as Lean.
minus-squareJackbyDevlinkfedilinkEnglisharrow-up1·29 days ago I did say “general purpose”. I did say “fun fact”.
Fun fact, some languages are not turing complete and I believe people would still consider them programming languages. They’re typically targeted at making mathematical proofs.
I did say “general purpose”. And many proof assistants are Turing Complete actually, such as Lean.
I did say “fun fact”.