minus-squarejendrik@discuss.tchncs.detoLemmy Shitpost@lemmy.world•Monday ice creamlinkfedilinkarrow-up6·24 days agoVanilla ice with strawberry sauce, just in fancy linkfedilink
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@programming.dev•"Useless syntax sugar": Numbered block parameters in Rubylinkfedilinkarrow-up4·9 months agoExcept when Type::Method takes a reference, then it doesn’t just work linkfedilink
Vanilla ice with strawberry sauce, just in fancy