minus-squarejendrik@discuss.tchncs.detoProgramming@programming.dev•[CompSci] Is the specification / definition of an automaton (like a turing machine) a type of algorithm?linkfedilinkarrow-up13arrow-down1·3 months agoYes, that’s essencially the church-turing-thesis https://en.wikipedia.org/wiki/Church–Turing_thesis linkfedilink
minus-squarejendrik@discuss.tchncs.detoProgramming@beehaw.org•Can I email or text myself through Python or bash?linkfedilinkarrow-up7·6 months agoImplementing a telegram or discord bot might be easier linkfedilink
minus-squarejendrik@discuss.tchncs.detoProgramming@programming.dev•"Useless syntax sugar": Numbered block parameters in Rubylinkfedilinkarrow-up0·9 months agoExcept when Type::Method takes a reference, then it doesn’t just work linkfedilink
Yes, that’s essencially the church-turing-thesis
https://en.wikipedia.org/wiki/Church–Turing_thesis