Remote
Ron Garcia
@rg9119@mathstodon.xyz
mastodon 4.7.2315 Followers
78 Following
29 Posts
Joined December 19, 2022
current status, courtesy of http://sigmaa.maa.org/rume/crume2019/Papers/50.pdf
Not a bad way to celebrate Canada Day: by updating my cv 🤗🇨🇦
Replying to
@MartinEscardo@mathstodon.xyz I quite regularly recommend Penelope Maddy's paper "What do we want a foundation to to: comparing set-theoretic, category-theoretic, and univalent approaches" is the most stimulating piece on the concept of "foundations" I've read to date. I don't agree with all the conclusions, but I agree that "There isn’t a unified concept of
‘foundation’; there are only mathematical jobs reasonably classified as ‘foundational’." I suspect your "universe of discourse" most closely aligns with Maddy's "Generous Arena", though I can imagine ways the alignment is not perfect.
https://faculty.sites.uci.edu/pjmaddy/files/2023/09/What-do-we-want-a-foundation-to-do.pdf
@regehr@mastodon.social I just discovered that I missed the 10 year anniversary of your (wonderful) "Teaching C" blog post (https://blog.regehr.org/archives/1393)
Has anything changed in your thinking in the ensuing decade?
"...AI is really unusual as a field because it's named after its aspirational objective that has not, as yet, been reached. It's kind of like if economics had been named 'universal prosperity'..."
Intersting interview with historian of technology Thomas Haigh (whose been serializing a history of AI in CACM recently) about his forthcoming "short history" of AI as a brand.
Replying to
@MartinEscardo also I maintain (and tell students) that learning to operate constructively/neutrally will make you better at operating classically when you want.
Replying to
@irene@discuss.systems On a related note from the early days of computing, you might be interested to know that the Metropolis Algorithm (core to statistical computing), named after Nicholas Metropolis, ought arguably be attributed to Ariana Rosenbluth who actually did the work of programming it.
https://en.wikipedia.org/wiki/Arianna_W._Rosenbluth
https://youtu.be/rZk2FqX2XnY?si=is88JXm3cl2kbdD7&t=1276
Replying to
@palvaro@discuss.systems @lindsey@recurse.social they're not even just nice, they're so well cared for!
Replying to
@palvaro@discuss.systems I am very jealous of your very healthy toenails.
Your poor "ring" toe tho
Replying to
@koronkebitch @wilbowma Well THIS aged poorly!!
https://mathstodon.xyz/@koronkebitch@types.pl/113154854734488806
😜
Replying to
@chrisamaphone <3 Those years in the POP group (and living in Pittsburgh) were really something special! Most of the time I felt like the PhD who was a few years behind all the grad students 😬 . Good thing we were all in it together!
Replying to
@lindsey@recurse.social @palvaro@discuss.systems my toenails don't look nearly so nice :(. Apparently icky-looking toenails runs in my family (but my doctor assures me my toenails are fine) 🥲