Avid Amoeba@lemmy.ca to Technology@lemmy.worldEnglish · 5 天前Compsci grads facing recession-like job prospects thanks to AI - Slinging coffee and waiting tables ain't just for liberal arts grads any more, say Census Bureau economistswww.theregister.comexternal-linkmessage-square78linkfedilinkarrow-up1228arrow-down17file-textcross-posted to: news@lemmy.world
arrow-up1221arrow-down1external-linkCompsci grads facing recession-like job prospects thanks to AI - Slinging coffee and waiting tables ain't just for liberal arts grads any more, say Census Bureau economistswww.theregister.comAvid Amoeba@lemmy.ca to Technology@lemmy.worldEnglish · 5 天前message-square78linkfedilinkfile-textcross-posted to: news@lemmy.world
minus-squareharmbugler@piefed.sociallinkfedilinkEnglisharrow-up4arrow-down1·4 天前Set theory, formal logic, foundations of mathematics, I mean it’s not unrelated.
minus-squarecuriousaur@reddthat.comlinkfedilinkEnglisharrow-up4·4 天前My advanced logic professor has us writing programs in Turing Machine 4 dot tape syntax that my poor TAs had to read. They had to actually step through the program to see if it succeeded since there were multiple possible successful solutions.
Set theory, formal logic, foundations of mathematics, I mean it’s not unrelated.
My advanced logic professor has us writing programs in Turing Machine 4 dot tape syntax that my poor TAs had to read. They had to actually step through the program to see if it succeeded since there were multiple possible successful solutions.