Josh
@thejoshbaker.blue
I'm a somebody, probably. Sometimes I work on TV broadcasts for sporting events.
Reposted by Josh
i mean, we have learned (Gödel, Church, Turing, et al) that we cannot—hard *cannot*—automate the process of proving *mathematical* truths.
general knowledge? forget it
general knowledge? forget it
December 9, 2025 at 1:01 PM
i mean, we have learned (Gödel, Church, Turing, et al) that we cannot—hard *cannot*—automate the process of proving *mathematical* truths.
general knowledge? forget it
general knowledge? forget it
Reposted by Josh
IT NEVER WORKS. NEVER. EVER. NEVER WORKS. IT HAS NEVER WORKED. AUSTERITY LEADS TO ENROLLMENT COLLAPSE LEAVES TO UNIVERSITY CLOSURE. EVERY TIME. ALWAYS.
December 9, 2025 at 4:55 PM
IT NEVER WORKS. NEVER. EVER. NEVER WORKS. IT HAS NEVER WORKED. AUSTERITY LEADS TO ENROLLMENT COLLAPSE LEAVES TO UNIVERSITY CLOSURE. EVERY TIME. ALWAYS.
It tastes good and it adds some veggies to your meal, what's not to like?
December 9, 2025 at 7:35 PM
It tastes good and it adds some veggies to your meal, what's not to like?