Tootfinder

Opt-in global Mastodon full text search. Join the index!

@jamesthebard@social.linux.pizza
2026-02-23 21:35:56

Nerd sniped myself this time: after getting sniped yesterday with showing that for primes `p >= 5` that `24 | p^2 - 1`, I decided to look at primes `p, q` where `p, q >= 5` and see if `24 | p^2 - q^2`.
#math #nerdsnipe

Given primes p and q where both p and q are greater-than-or-equal-to 5, prove that 24 divides p squared - q squared.
@AdamCoffman@mathstodon.xyz
2025-12-25 02:29:34

Pedro the #Math Cat 🐈 πŸŽ€ with some more of his holiday merch. #MeowyCatmas everybody πŸŽ…
#cats #CatsOfMastodon

'Twas the night before Catmas
@davidbody@fosstodon.org
2025-12-11 16:42:56

Most of the math I know beyond "business calculus" is math I picked up in grad school (economics) or taught myself later. I'm constantly reminded there are gaps in my knowledge. For example, trigonometry doesn't come up much in economics or statistics. (1/n)
#math #learning

@seav@en.osm.town
2026-01-23 13:43:08

How many digits of Ο€ have you memorized?
#math #maths #pi #polls

@AdamCoffman@mathstodon.xyz
2026-01-24 05:04:03

For #Caturday , Pedro the #Math Cat 🐈 poses with a dramatic light flare
#cats #CatsOfMastodon

Backlit but still showing his white paws
The claw!
@alexanderadam@ruby.social
2026-01-09 23:38:59

So there's a #Mastodon instance for people that are into #math called mathstodon… and that instance allows users to use #LaTeX.
The

@jamesthebard@social.linux.pizza
2026-02-05 18:30:20

Yay, got nerd sniped with another math problem. I made it a smidge more difficult than it should've been, but I'm happy that I got the correct answer eventually.
The problem: Given `1 / tan(x) = tan(1 / x)`, solve for `x`.
#math #nerdsnipe

A screenshot of the text "Problem: Given `1 / tan(x) = tan(1/x)`, solve for `x`.
@AdamCoffman@mathstodon.xyz
2026-02-17 18:17:07

Pedro the #Math Cat 🐈 wants to know why it's taking me so long to grade these papers.
#cats #CatsOfMastodon

Because he's sitting on both the stack of papers and the answer key.
@SmartmanApps@dotnet.social
2025-12-01 05:46:00

1/7
This air-quote #Mathematics unquote article quantamagazine.org/a-new-bridg

OED definition of "finite", which includes "limited in size or extent", and shows that the root word is "finish"
@AdamCoffman@mathstodon.xyz
2026-02-17 19:11:26

#xkcd2501 #math

thanks https://marshdeer.github.io/xkcd2501-generator/
@AdamCoffman@mathstodon.xyz
2025-12-23 13:19:19

Pedro the #Math Cat 🐈 πŸŽ€ posing with his Pedro-themed holiday decor 🎁
#cats #CatsOfMastodon #MeowyChristmas

Pedro does not actually have his own merchandise line, yet.
@tomkalei@machteburch.social
2026-02-07 13:36:10

If Gauß had had an electronic calculator, would he have proved better and more theorems or weaker and fewer?
It would have spared him days and days of rote calculation but maybe this calculation was prerequisite for insight?
#math

@AdamCoffman@mathstodon.xyz
2026-01-09 14:28:41

RE: #math plans and

@AdamCoffman@mathstodon.xyz
2026-02-21 05:13:42

Pedro the #Math Cat 🐈 has some facial expressions. This one is "unimpressed".
#cats #CatsOfMastodon #Caturday

The many moods of Pedro
@AdamCoffman@mathstodon.xyz
2026-02-02 17:19:24

The #MathReviews math review of my latest joint paper 🐘 in analysis has appeared! πŸ“™
link for subscribers=
mathscinet.ams.org/mathscinet/

MR4929931
Coffman, Adam; Pan, Yifei; Zhang, Yuan
Unique continuation for a gradient inequality with Ln potential.
J. Math. Anal. Appl. 553 (2026), no. 1, Paper No. 129847, 20 pp.
@AdamCoffman@mathstodon.xyz
2025-12-20 14:04:37

Pedro the #Math Cat πŸˆπŸŽ€ settling his beans for a long winter's nap.
#Caturday #cats #CatsOfMastodon

All in fur, from his head to his foot
@AdamCoffman@mathstodon.xyz
2025-11-29 17:00:09

The #Caturday forecast is for a lot of snow. It's just started but Pedro the #Math Cat 🐈 would already rather be inside for πŸ¦ƒ and πŸ₯§.
#cats

Does Pedro need a matching pie-eating shirt?  Maybe just a Xmas sweater...
@tomkalei@machteburch.social
2026-01-28 13:19:34

OK, but the results are still just paper links, not what the LLM thinks about them. So the only thing that changed is that it is much much slower now?
Maybe the LLM just formulates a query to the old scholar? Too many layers of "oh how can we build an LLM into this"...
OK, nobody in #math uses Google Scholar like this anyway. We only use it look at publication records of people and do reverse citation search (which papers cite this one I have).

@AdamCoffman@mathstodon.xyz
2026-01-17 14:35:47

#Caturday nap time for Pedro the #Math Cat 🐈 in 3...2...1
#cats #CatsOfMastodon

Pre-nap
Big yawn
Pedro the Math cat Down for the count
@AdamCoffman@mathstodon.xyz
2025-12-13 14:33:15

Pedro the #Math Cat πŸˆπŸŽ€ is by now pretty sure that all Mariah Carey wants for #Christmas is him.
#Caturday #cats

Underneath the Christmas tree
@AdamCoffman@mathstodon.xyz
2025-12-06 05:01:00

Pedro the #Math Cat πŸˆπŸŽ€ is wondering who even wished for snow ❄️❄️ (probably not Mariah Carey)
#cats #CatsOfMastodon #Caturday

Pedro doesn't want a lot for Christmas
@AdamCoffman@mathstodon.xyz
2026-01-31 05:40:43

For #Caturday , a sleepy Pedro the #Math Cat 🐈 with the tiniest of blep
#cats #CatsOfMastodon

Tired kitty with soft blanket