theonewhowalks3.bsky.social
Professional mathematician, amateur classicist and gardener.
84 posts
720 followers
1,194 following
Prolific Poster
Conversation Starter
comment in response to
post
My question is why has Tim Walz not deleted any of his posts praising Vance Boelter?
comment in response to
post
comment in response to
post
I would greatly appreciate your responses!
comment in response to
post
one thing that is extremely clear from reading Discworld is how much Terry Pratchett loved and revered libraries
it was fitting that the Librarian was clearly one of the happiest beings on the Disc
comment in response to
post
"...they sometimes leave with additional books in tow"
Sometimes John... Sometimes?
I'm not sure about others, but I have to limit my bookstore visits over fear of bankruptcy. As I say to friends, reading is a novel experience. 😁
comment in response to
post
Hmm, it'll be interesting to see where they top out. I can't imagine they can keep getting much better, but I never thought they could reach the level of producing complete paragraphs, so my intuition is a bit out of depth.
comment in response to
post
Okay, that's actually reasonably good; probably better than some proofs of Mantel's Theorem I have written.
comment in response to
post
Okay, this Gemini 2.5 can prove Mantel's Theorem, which is the first time I have seen an LLM capable of repeating a proof, though it does get distracted half way through and start repeating itself nonsensically for a bit.
comment in response to
post
SHE IS SO BEAUTIFUL 🌸🌺🌷🌻🌼🪻🌹
comment in response to
post
B
comment in response to
post
Yo! Get this
comment in response to
post
So cute. Sea otter ? Maybe? They melt my heart. 😎🦑
comment in response to
post
The lone squire from the third kingdom dragged himself away, beaten, bloodied, but holding them at a stalemate.
And it just goes to prove that when math reigns supreme, the squire of the high pot and noose is equal to the sum of the squires of the other two sides. 🙃
comment in response to
post
Wait, yeah I think I have only heard any of these as last names.