mrwright.bsky.social @mrwright.bsky.social · 28/03/2026With transfinite induction you don't need explicit successor vs. limit cases, either. Both of those and the base case are all just special cases of "if it holds for everything less than me, it holds for me, too." 100
mrwright.bsky.social @mrwright.bsky.social · 17/03/2026Universal Studios implies the existence of Existential Studios. 062
mrwright.bsky.social @mrwright.bsky.social · 18/10/2025I've been impressed that even when one of my hands is shifted by one on the keyboard, it can still figure it out. 020
mrwright.bsky.social @mrwright.bsky.social · 13/08/2025slightly diminish a band: They Probably Aren't Giants 030
Reposted by @mrwright.bsky.socialdddominic @dominic.cool · 15/07/2025Absolute bullshit cowardice from the CMU admin. Disappointed in my alma mater, and I hope the students can maliciously comply with this nonsense in their typical creative way 3134
mrwright.bsky.social @mrwright.bsky.social · 23/06/2025Though also, even if memory access is O(1), it's still O(whatever your hash function takes), which I think in practice will be O(log n) for n distinct items since that's what the key length needs to be. (And if you ignore more bits than that of the key, you increase the collision rate.) 110
mrwright.bsky.social @mrwright.bsky.social · 23/06/2025If you account for general relativity, I think it's even sqrt(n)--if you try to store information too densely, it'll collapse into a black hole. 120
mrwright.bsky.social @mrwright.bsky.social · 12/05/2025Designed by none other than Leon Theremin. *That* Leon Theremin. 061
mrwright.bsky.social @mrwright.bsky.social · 02/10/2024I got a text from them too recently! And they were so nice, they even signed it "have a delightful day filled with success and positivity," a very idiomatic phrase often used by American government agencies! 000
mrwright.bsky.social @mrwright.bsky.social · 08/09/2024I've been playing that (on PC) and enjoying it! 110
mrwright.bsky.social @mrwright.bsky.social · 30/07/2024In 1991 I think. en.wikipedia.org/wiki/SimAnten.wikipedia.orgSimAnt - Wikipedia 000
mrwright.bsky.social @mrwright.bsky.social · 09/04/2024Learned today that there's a recent paper about mathematical crochet (archive.bridgesmathart.org/2023/bridges...) that cites me!archive.bridgesmathart.org 030
mrwright.bsky.social @mrwright.bsky.social · 24/02/2024After managing to avoid it for years, I finally got covid :(. (Luckily, so far it seems to be a mild case of it; hopefully it'll stay that way!) 120
mrwright.bsky.social @mrwright.bsky.social · 30/01/2024Now I'm thinking about this song in a whole different light. www.youtube.com/watch?v=E8fk...youtube.comThey Might Be Giants - They'll Need A Crane (Official Audio)From They Might Be Giants album Lincoln. Purchase from Apple Music at http://geni.us/tJuZ or Amazon at http://geni.us/3kaP.Stream They Might Be Giants on Spo... 010
mrwright.bsky.social @mrwright.bsky.social · 28/10/2023The North Branch Trail is really pretty right now. 010
mrwright.bsky.social @mrwright.bsky.social · 12/09/2023As of a few weeks ago, I finally have the basement machine shop I'd wanted for a long time! 150
mrwright.bsky.social @mrwright.bsky.social · 12/09/2023Finally made it over here (thank you, @hazelnym.bsky.social!). Hopefully I'll post more often than I did on that other site! 060
