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.
@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!
@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.
@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

@AdamCoffman@mathstodon.xyz
2026-02-17 19:11:26

#xkcd2501 #math

thanks https://marshdeer.github.io/xkcd2501-generator/
@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-03-21 04:10:36

Pedro the #Math Cat ๐Ÿˆ having an equinocturnal #Caturday snooze
#cats #CatsOfMastodon

Toebeans, floof
@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
@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-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
2026-02-28 05:07:46

Pedro the #Math Cat ๐Ÿˆ knows that everyone has to say "big stretch!" even when it is just a medium stretch.
#cats #CatsOfMastodon

More importantly, stretching is a healthy activity even in medium amounts.
@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
@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-03-15 01:14:03

Pedro the #Math Cat ๐Ÿˆ is pretty tired after an epic #PiDay2026 #Caturday
#cats

Napulent sleepi boi
@AdamCoffman@mathstodon.xyz
2026-03-14 14:09:47

It's both #Caturday and #PiDay and Pedro the #Math Cat ๐Ÿˆ is feeling cute, might round down later
#cats

Pedro rocking the pi accessory
@AdamCoffman@mathstodon.xyz
2026-03-14 04:05:49

It's both #Caturday and #PiDay and Pedro the #Math Cat ๐Ÿˆ is accessorizing \(\pi\)
#cats

Pedro is a handsome fellow even without the pi collar swag
@AdamCoffman@mathstodon.xyz
2026-03-07 05:24:16

Pedro the #Math Cat ๐Ÿˆ already planning mischief for next week's #Caturday #PiDay
#cats

Pedro, on the blanket, also planning lots of naps
@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
@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