Posts by [email protected] | |
Post #AvyzfYnHaaqMyZhrxA by [email protected] | |
0 likes, 0 repeats | |
LB: i’m not in perfect agreement with everything in Terrence’s thread, but … | |
Post #AvyzfZ0kmVcReM0cwy by [email protected] | |
0 likes, 0 repeats | |
@mcc yeah, kind of. I mean, computers come pretty close to making math *into* r… | |
Post #AvyzfZB2AHqIAEopyS by [email protected] | |
0 likes, 0 repeats | |
@mcc @aeva here is an example of what i mean: you can run a cellular automaton … | |
Post #AvyzfZH3nsfASvdeMq by [email protected] | |
0 likes, 0 repeats | |
@mcc @aeva this reality depends on the objectivity of math, because if you were… | |
Post #AvyzfZNRQ9lcmickJU by [email protected] | |
0 likes, 0 repeats | |
@mcc @aeva is this defeating the tyranny of the real? do i just have a more exp… | |
Post #AvyzfZyfBlXceA2TKa by [email protected] | |
0 likes, 0 repeats | |
the post i boosted is part of what makes me worried: if mechanized proofs start… | |
Post #AvzobaeLqHRdEhORbk by [email protected] | |
0 likes, 0 repeats | |
@JacquesC2 the word “objective” feels loaded here. I mean it in a very bori… | |
Post #AvzobakNTsGVXODG08 by [email protected] | |
0 likes, 0 repeats | |
@JacquesC2 what would you call the property of mathematics that makes this poss… | |
Post #Avzobaw4mNcg7fgbEe by [email protected] | |
0 likes, 0 repeats | |
@JacquesC2 sure. I agree with this. i would frame this as an issue with, in Tao… | |
Post #Aw0DdTtkPhDZjHaqNE by [email protected] | |
0 likes, 0 repeats | |
does mastodon support drafts yet? is it a client side thing? | |
Post #Aw69d8YWWuZifY0QTI by [email protected] | |
0 likes, 0 repeats | |
🐔 Animal #712 🦔I figured it out in 15 guesses!🟨🟨🟨🟨🟨🟨�… | |
Post #Aw69dBlkaBwCdRDX0K by [email protected] | |
0 likes, 0 repeats | |
🦦 Animal #713 🦢I figured it out in 5 guesses!🟥🟥🟨🟨🟩🔥 3 |… | |
Post #AwCEkQgbBZkre4q5XE by [email protected] | |
0 likes, 0 repeats | |
@koronkebitch i haven’t read all the replies but from skimming i think no one… | |
Post #AwCEkRt2inIrMxfXZQ by [email protected] | |
0 likes, 0 repeats | |
@koronkebitch investing significant time on education, outreach, making things … | |
Post #AwCEkT8K5T7VEdpG1g by [email protected] | |
0 likes, 0 repeats | |
@koronkebitch nonetheless that work does happen. i confess I am immediately pig… | |
Post #AwCRHaVGuAmf6E7PUm by [email protected] | |
0 likes, 0 repeats | |
if a cafe has a no laptop policy i think they should also be required to loan y… | |
Post #AwEPR9cHugKF0zkoL2 by [email protected] | |
0 likes, 0 repeats | |
the gamer terminology of casual vs hardcore has its problems of course but i’… | |
Post #AwEZLqMl3dnBP8b2lU by [email protected] | |
0 likes, 0 repeats | |
i want an inverse elaborator. lemme write my cryptic core calculus sigils but e… | |
Post #AwEqoA5F2Znrt0UZpg by [email protected] | |
0 likes, 0 repeats | |
i’ve taught students who are new to programming who try to justify their use … | |
Post #AwEqoABGgAckBhJOE4 by [email protected] | |
0 likes, 0 repeats | |
beyond just the education context… there really is a kind of abuser logic to … |